package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hacl_star.SharedDefsSource

Sourcemodule type Buffer = sig ... end

Abstract representation of buffers

Sourcemodule CBytes : Buffer with type t = Bytes.t and type buf = Bytes.t Ctypes.ocaml

Representation of Bytes.t buffers

Sourcemodule Hacl_Hash : sig ... end
Sourcemodule Hacl_Spec : sig ... end
Sourceval max_uint32 : Z.t
Sourceval max_uint64 : Z.t
Sourceval pow2_31 : Z.t
Sourceval check_max_buffer_len : int -> unit
Sourcemodule AEADDefs : sig ... end
Sourcemodule HashDefs : sig ... end
Sourcemodule type Chacha20_Poly1305_generic = sig ... end
Sourcemodule type Curve25519_generic = sig ... end

See here for detailed usage instructions.

Sourcemodule type EdDSA_generic = sig ... end

See here for detailed usage instructions.

Sourcemodule type HashFunction_generic = sig ... end
Sourcemodule type MAC_generic = sig ... end

For Poly1305, buffers have the following size constraints:

Sourcemodule type HKDF_generic = sig ... end

Buffers have the following size constraints with respect to the digest size of the underlying hash function, digest_len:

Sourcemodule type ECDSA_generic = sig ... end

Buffers have the following size constraints:

Sourcemodule type Blake2_generic = sig ... end

Buffers have the following size constraints:

See here for detailed usage instructions.

Sourcemodule type EdDSA = EdDSA_generic with type bytes = CBytes.t

See here for detailed usage instructions.

Sourcemodule type MAC = MAC_generic with type bytes = CBytes.t

For Poly1305, buffers have the following size constraints:

Sourcemodule type HKDF = HKDF_generic with type bytes = CBytes.t

Buffers have the following size constraints with respect to the digest size of the underlying hash function, digest_len:

Sourcemodule type ECDSA = ECDSA_generic with type bytes = CBytes.t

Buffers have the following size constraints:

Sourcemodule type Blake2 = Blake2_generic with type bytes = CBytes.t

Buffers have the following size constraints:

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct