package mirage-crypto-ec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Serialisation
Deriving the public key
Key generation
Cryptographic operations

mirage-crypto-ec
- Mirage_crypto_ec
  - Dh
  - Dh_dsa
    
    Dh
    
    Dsa
    
    K_gen
    
    Precompute
  - Dsa
    
    K_gen
    
    Precompute
  - Ed25519
  - P224
    
    Dh
    
    Dsa
    
    K_gen
    
    Precompute
  - P256
    
    Dh
    
    Dsa
    
    K_gen
    
    Precompute
  - P384
    
    Dh
    
    Dsa
    
    K_gen
    
    Precompute
  - P521
    
    Dh
    
    Dsa
    
    K_gen
    
    Precompute
  - X25519

Legend:
Library
Module
Module type
Parameter
Class
Class type

Curve 25519 DSA, also known as Ed25519.

type priv

The type for private keys.

type pub

The type for public keys.

Serialisation

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

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.t

priv_to_cstruct p encode the private key p to a buffer.

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

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.t

pub_to_cstruct p encodes the public key p into a buffer.

Deriving the public key

val pub_of_priv : priv -> pub

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

Key generation

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

generate ~g () generates a key pair.

Cryptographic operations

val 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.

val 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.