package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Library
Module
Module type
Parameter
Class
Class type
type spec_Hash_Definitions_hash_alg = Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg : Unsigned.uint8 Ctypes.typ
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_224 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_256 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_384 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_512 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA1 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_MD5 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_Blake2S : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_Blake2B : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA3_256 : Unsigned.UInt8.t
type spec_Frodo_Params_frodo_gen_a = Unsigned.UInt8.t
val spec_Frodo_Params_frodo_gen_a : Unsigned.uint8 Ctypes.typ
val spec_Frodo_Params_frodo_gen_a_Spec_Frodo_Params_SHAKE128 : Unsigned.UInt8.t
val spec_Frodo_Params_frodo_gen_a_Spec_Frodo_Params_AES128 : Unsigned.UInt8.t
type spec_FFDHE_ffdhe_alg = Unsigned.UInt8.t
val spec_FFDHE_ffdhe_alg : Unsigned.uint8 Ctypes.typ
val spec_FFDHE_ffdhe_alg_Spec_FFDHE_FFDHE2048 : Unsigned.UInt8.t
val spec_FFDHE_ffdhe_alg_Spec_FFDHE_FFDHE3072 : Unsigned.UInt8.t
val spec_FFDHE_ffdhe_alg_Spec_FFDHE_FFDHE4096 : Unsigned.UInt8.t
val spec_FFDHE_ffdhe_alg_Spec_FFDHE_FFDHE6144 : Unsigned.UInt8.t
val spec_FFDHE_ffdhe_alg_Spec_FFDHE_FFDHE8192 : Unsigned.UInt8.t
type spec_Cipher_Expansion_impl = Unsigned.UInt8.t
val spec_Cipher_Expansion_impl : Unsigned.uint8 Ctypes.typ
val spec_Cipher_Expansion_impl_Spec_Cipher_Expansion_Hacl_CHACHA20 : Unsigned.UInt8.t
val spec_Cipher_Expansion_impl_Spec_Cipher_Expansion_Vale_AES128 : Unsigned.UInt8.t
val spec_Cipher_Expansion_impl_Spec_Cipher_Expansion_Vale_AES256 : Unsigned.UInt8.t
type spec_Agile_AEAD_alg = Unsigned.UInt8.t
val spec_Agile_AEAD_alg : Unsigned.uint8 Ctypes.typ
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES128_GCM : Unsigned.UInt8.t
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES256_GCM : Unsigned.UInt8.t
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_CHACHA20_POLY1305 : Unsigned.UInt8.t
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES128_CCM : Unsigned.UInt8.t
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES256_CCM : Unsigned.UInt8.t
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES128_CCM8 : Unsigned.UInt8.t
val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES256_CCM8 : Unsigned.UInt8.t
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