module type Buffer = sig ... endAbstract representation of buffers
Representation of Bytes.t buffers
module Hacl_Hash : sig ... endmodule Hacl_Spec : sig ... endval pow2 : int -> Z.tmodule AEADDefs : sig ... endmodule HashDefs : sig ... endmodule type Chacha20_Poly1305_generic = sig ... endmodule type Curve25519_generic = sig ... endSee here for detailed usage instructions.
module type EdDSA_generic = sig ... endSee here for detailed usage instructions.
module type HashFunction_generic = sig ... endmodule type MAC_generic = sig ... endFor Poly1305, buffers have the following size constraints:
module type HKDF_generic = sig ... endBuffers have the following size constraints with respect to the digest size of the underlying hash function, digest_len:
module type ECDSA_generic = sig ... endBuffers have the following size constraints:
module type Blake2_generic = sig ... endBuffers have the following size constraints:
module type Chacha20_Poly1305 =
Chacha20_Poly1305_generic with type bytes = CBytes.tmodule type Curve25519 = Curve25519_generic with type bytes = CBytes.tSee here for detailed usage instructions.
module type EdDSA = EdDSA_generic with type bytes = CBytes.tSee here for detailed usage instructions.
module type HashFunction = HashFunction_generic with type bytes = CBytes.tmodule type MAC = MAC_generic with type bytes = CBytes.tFor Poly1305, buffers have the following size constraints:
module type HKDF = HKDF_generic with type bytes = CBytes.tBuffers have the following size constraints with respect to the digest size of the underlying hash function, digest_len:
module type ECDSA = ECDSA_generic with type bytes = CBytes.tBuffers have the following size constraints:
module type Blake2 = Blake2_generic with type bytes = CBytes.tBuffers have the following size constraints: