| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Crypto
Synopsis
- verifyEd25519Signature :: Alternative f => ByteString -> ByteString -> ByteString -> f Bool
- verifyEcdsaSecp256k1Signature :: ByteString -> ByteString -> ByteString -> Emitter (EvaluationResult Bool)
- verifySchnorrSecp256k1Signature :: ByteString -> ByteString -> ByteString -> Emitter (EvaluationResult Bool)
Documentation
verifyEd25519Signature Source #
Arguments
| :: Alternative f | |
| => ByteString | Public Key (32 bytes) |
| -> ByteString | Message (arbitrary length) |
| -> ByteString | Signature (64 bytes) |
| -> f Bool |
Ed25519 signature verification This will fail if the key or the signature are not of the expected length.
verifyEcdsaSecp256k1Signature Source #
Arguments
| :: ByteString | Public key (64 bytes) |
| -> ByteString | Message hash (32 bytes) |
| -> ByteString | Signature (64 bytes) |
| -> Emitter (EvaluationResult Bool) |
Verify an ECDSA signature made using the SECP256k1 curve.
Note
This takes a message hash, rather than a general blob of bytes; thus, it is limited in length.
verifySchnorrSecp256k1Signature Source #
Arguments
| :: ByteString | Public key (64 bytes) |
| -> ByteString | Message (arbitrary length) |
| -> ByteString | Signature (64 bytes) |
| -> Emitter (EvaluationResult Bool) |
Verify a Schnorr signature made using the SECP256k1 curve.
Note
Unlike verifyEcdsaSecp256k1Signature, this can accept messages of arbitrary
form and length.