package hacl_x25519

  1. Overview
  2. Docs
Primitives for Elliptic Curve Cryptography taken from Project Everest

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. E
    Etienne Millon <me@emillon.org>
  2. I
    INRIA and Microsoft Corporation

Maintainers

  1. E
    Etienne Millon <me@emillon.org>

Sources

hacl_x25519-v0.2.2.tbz
sha256=816754a8e8f9739d0e6d98ced6e50b026a28d59232445c5051a66e4332cc572d
sha512=9a0fb07af4af999a12cb65f3bc15487c5999ddf6fff0a923cf4b8087a15933632266be55ec01cff3b15d354c9e526d906a7e15aee84c743f58f8cdfe899b110d

doc/hacl_x25519/Hacl_ed25519/index.html

Module Hacl_ed25519Source

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.

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.