package hacl_x25519

You can search for identifiers within the package.

in-package search v0.2.0

package hacl_x25519

hacl_x25519
- CHANGES
- LICENSE
- README
- Library hacl_x25519
  - Hacl_ed25519
  - Hacl_x25519
- Sources
  - hacl_x25519
    
    hacl_ed25519.ml
    
    hacl_x25519.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Hacl_ed25519`Source

Ed25519, as defined by RFC 8032.

Sourcetype priv

The type of a private key.

Sourceval priv : Cstruct.t -> priv

priv p generates a private key from p, which must be 32 byte long.

raises Invalid_argument
if p is not 32 bytes.

Sourceval encode_priv : priv -> Cstruct.t

encode_priv p is the private key encoded into a buffer.

Sourceval priv_to_public : priv -> Cstruct.t

priv_to_public p outputs the public key of p.

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

sign priv msg signs msg with priv.

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

verify ~pub ~msg ~signature verifies the signature of the msg with the public key pub. Returns true if verification is successful, false otherwise.

package hacl_x25519

Module Hacl_ed25519Source

Module `Hacl_ed25519`Source