Module Tls.Handshake_crypto13

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