Module Mirage_crypto_ec.Ed25519Source

Curve 25519 DSA, also known as Ed25519.

Sourcetype priv

The type for private keys.

Sourcetype pub

The type for public keys.

Serialisation

Sourceval priv_of_cstruct : Cstruct.t -> (priv, error) result

priv_of_cstruct cs decodes a private key from the buffer cs. If the provided data is invalid, an error is returned.

Sourceval priv_to_cstruct : priv -> Cstruct.t

priv_to_cstruct p encode the private key p to a buffer.

Sourceval pub_of_cstruct : Cstruct.t -> (pub, error) result

pub_of_cstruct cs decodes a public key from the buffer cs. If the provided data is invalid, an error is returned.

Sourceval pub_to_cstruct : pub -> Cstruct.t

pub_to_cstruct p encodes the public key p into a buffer.

Deriving the public key

Sourceval pub_of_priv : priv -> pub

pub_of_priv p extracts the public key from the private key p.

Key generation

Sourceval generate : ?g:Mirage_crypto_rng.g -> unit -> priv * pub

generate ~g () generates a key pair.

Cryptographic operations

Sourceval sign : key:priv -> Cstruct.t -> Cstruct.t

sign ~key msg signs the message msg using the private key. The result is the concatenation of r and s, as specified in RFC 8032.

Sourceval verify : key:pub -> Cstruct.t -> msg:Cstruct.t -> bool

verify ~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.