package mirage-crypto-ec

You can search for identifiers within the package.

in-package search v0.2.0

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

Curve 25519 Diffie-Hellman, also known as X25519.

type secret

Type for private keys.

val secret_of_cs : 
  ?compress:bool ->
  Cstruct.t ->
  (secret * Cstruct.t, error) Stdlib.result

secret_of_cs ~compress secret decodes the provided buffer as secret. If compress is provided and true (defaults to false), the shared part will be compressed. May result in an error if the buffer had an invalid length or was not in bounds.

val gen_key : 
  ?compress:bool ->
  ?g:Mirage_crypto_rng.g ->
  unit ->
  secret * Cstruct.t

gen_key ~compress ~g () generates a private and a public key for Ephemeral Diffie-Hellman. If compress is provided and true (defaults to false), the shared part will be compressed. The returned key pair MUST only be used for a single key exchange.

The generated private key is checked to be greater than zero and lower than the group order meaning the public key cannot be the point at inifinity.

val key_exchange : secret -> Cstruct.t -> (Cstruct.t, error) Stdlib.result

key_exchange secret received_public_key performs Diffie-Hellman key exchange using your secret and the data received from the other party. Returns the shared secret or an error if the received data is wrongly encoded, doesn't represent a point on the curve or represent the point at infinity.

The shared secret is returned as is i.e. not stripped from leading 0x00 bytes.

The public key encoding is described in SEC 1 from SECG.