package tls

  1. Overview
  2. Docs
val (<+>) : Cstruct.t -> Cstruct.t -> Cstruct.t
val cdiv : int -> int -> int
val not_all_zero : Cstruct.t option -> Cstruct.t option
val share_appropriate_length : [< `FFDHE2048 | `FFDHE3072 | `FFDHE4096 | `FFDHE6144 | `FFDHE8192 | `P256 | `X25519 ] -> Cstruct.t -> (unit, [> `Fatal of [> `InvalidDH ] ]) result
val dh_shared : [< `FFDHE2048 | `FFDHE3072 | `FFDHE4096 | `FFDHE6144 | `FFDHE8192 | `P256 | `X25519 ] -> [> `Fiat of Fiat_p256.secret | `Hacl of Hacl_x25519.secret | `Mirage_crypto of Mirage_crypto_pk.Dh.secret ] -> Cstruct.t -> Cstruct.t option
val dh_gen_key : [< `FFDHE2048 | `FFDHE3072 | `FFDHE4096 | `FFDHE6144 | `FFDHE8192 | `P256 | `X25519 ] -> [> `Fiat of Fiat_p256.secret | `Hacl of Hacl_x25519.secret | `Mirage_crypto of Mirage_crypto_pk.Dh.secret ] * Cstruct.t
val trace : string -> Cstruct.t -> unit
val pp_hash_k_n : [< `AES_128_CCM_SHA256 | `AES_128_GCM_SHA256 | `AES_256_GCM_SHA384 ] -> Ciphersuite.aead_cipher * [> `SHA256 | `SHA384 ] * int * int
val hkdflabel : string -> Cstruct.t -> Cstruct.uint16 -> Cstruct.t
val derive_secret_no_hash : Mirage_crypto.Hash.hash -> Cstruct.t -> ?length:Cstruct.uint16 -> ?ctx:Cstruct.t -> string -> Cstruct.t
val derive_secret : State.kdf -> string -> Cstruct.t -> Cstruct.t
val derive : State.kdf -> Cstruct.t -> State.kdf
val traffic_key : [< `AES_128_CCM_SHA256 | `AES_128_GCM_SHA256 | `AES_256_GCM_SHA384 ] -> Cstruct.t -> Cstruct.t * Cstruct.t
val ctx : State.kdf -> string -> Cstruct.t -> State.crypto_context
val app_secret_n_1 : State.kdf -> Cstruct.t -> Cstruct.t * State.crypto_context
val exporter : State.kdf -> Cstruct.t -> Cstruct.t
val resumption : State.kdf -> Cstruct.t -> Cstruct.t
OCaml

Innovation. Community. Security.