-- | Check the sign and verify functions
signCheck :: ByteString -> ByteString -> Property
signCheck bs bs' = monadicIO $ do
  key <- run generate1024BitRSA
  let signature    = sign key bs
  assert . verify key bs $ signature
  assert . not . verify key bs' $ signature

-- | Check the raw sign and verify functions
signCheck :: ByteString -> ByteString -> Property
signCheck bs bs' = monadicIO $ do
  key <- run generate1024BitRSA
  let signature    = sign key bs
  assert . verify key bs $ signature
  assert . not . verify key bs' $ signature

-- | Check the raw sign and verify functions
signCheck bs bs' = monadicIO $ do
  key <- run generate1024BitRSA
  let signature    = sign key bs
  assert . verify key bs $ signature
  assert . not . verify key bs' $ signature

-- | Check the raw sign and verify functions