tls 0.12.3 · OCaml Package

val (<+>) : Cstruct.t -> Cstruct.t -> Cstruct.t

val cdiv : int -> int -> int

val left_pad_dh : Mirage_crypto_pk.Dh.group -> Cstruct.t -> Cstruct.t

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 ] ]) Stdlib.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
  | `CHACHA20_POLY1305_SHA256 ] ->
  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 empty : Ciphersuite.ciphersuite13 -> State.kdf

val derive : State.kdf -> Cstruct.t -> State.kdf

val traffic_key : 
  [< `AES_128_CCM_SHA256
  | `AES_128_GCM_SHA256
  | `AES_256_GCM_SHA384
  | `CHACHA20_POLY1305_SHA256 ] ->
  Cstruct.t ->
  Cstruct.t * Cstruct.t

val ctx : State.kdf -> string -> Cstruct.t -> State.crypto_context

val early_traffic : State.kdf -> Cstruct.t -> Cstruct.t * State.crypto_context

val hs_ctx : 
  State.kdf ->
  Cstruct.t ->
  Cstruct.t * State.crypto_context * Cstruct.t * State.crypto_context

val app_ctx : 
  State.kdf ->
  Cstruct.t ->
  Cstruct.t * State.crypto_context * 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

val res_secret : Mirage_crypto.Hash.hash -> Cstruct.t -> Cstruct.t -> Cstruct.t

val finished : 
  Mirage_crypto.Hash.hash ->
  Cstruct.t ->
  Cstruct.t ->
  Mirage_crypto.Hash.digest

package tls