rawSignCheck :: ByteString -> ByteString -> Property
rawSignCheck bs bs' = monadicIO $ do
  key <- run generate1024BitRSA
  let signature    = rawRSASign key bs
  assert . rawRSAVerify key bs $ signature
  assert . not . rawRSAVerify key bs' $ signature

-- | Assert that torDomain computes the correct domain
rawSignCheck :: ByteString -> ByteString -> Property
rawSignCheck bs bs' = monadicIO $ do
  key <- run generate1024BitRSA
  let signature    = rawRSASign key bs
  assert . rawRSAVerify key bs $ signature
  assert . not . rawRSAVerify key bs' $ signature

-- | Assert that torDomain computes the correct domain
rawSignCheck bs bs' = monadicIO $ do
  key <- run generate1024BitRSA
  let signature    = rawRSASign key bs
  assert . rawRSAVerify key bs $ signature
  assert . not . rawRSAVerify key bs' $ signature

-- | Assert that torDomain computes the correct domain