package mirage-crypto-ec
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Curve 25519 DSA, also known as Ed25519.
Serialisation
priv_of_cstruct cs decodes a private key from the buffer cs. If the provided data is invalid, an error is returned.
val priv_to_cstruct : priv -> Cstruct.tpriv_to_cstruct p encode the private key p to a buffer.
pub_of_cstruct cs decodes a public key from the buffer cs. If the provided data is invalid, an error is returned.
val pub_to_cstruct : pub -> Cstruct.tpub_to_cstruct p encodes the public key p into a buffer.
Deriving the public key
Key generation
generate ~rng generates a key pair using the provided random number generator.
Cryptographic operations
val sign : key:priv -> Cstruct.t -> Cstruct.tsign ~key msg signs the message msg using the private key. The result is the concatenation of r and s, as specified in RFC 8032.
val verify : key:pub -> Cstruct.t -> msg:Cstruct.t -> boolverify ~key signature msg verifies the signature on the message msg with the public key. The return value is true if verification was successful, false otherwise.