package mirage-crypto-ec
Library
Module
Module type
Parameter
Class
Class type
Digital signature algorithm.
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
val generate : ?g:Mirage_crypto_rng.g -> unit -> priv * pubgenerate ~g () generates a key pair.
Cryptographic operations
val sign : key:priv -> ?k:Cstruct.t -> Cstruct.t -> Cstruct.t * Cstruct.tsign ~key ~k digest signs the message digest using the private key. The digest is not processed further - it should be the hash of the message to sign. If k is not provided, it is computed using the deterministic construction from RFC 6979. The result is a pair of r and s.
val verify : key:pub -> (Cstruct.t * Cstruct.t) -> Cstruct.t -> boolverify ~key (r, s) digest verifies the signature r, s on the message digest with the public key. The return value is true if verification was successful, false otherwise. If the message has more bits than the group order, the result is false.