Module `Tls.Handshake_crypto13`Source

Sourceval cdiv : int -> int -> int

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

val not_all_zero : 
  (Cstruct.t, [> `Fatal of [> `InvalidDH ] ] as 'a) result ->
  (Cstruct.t, 'a) result

Source

val dh_shared : 
  [< `Finite_field of Mirage_crypto_pk.Dh.secret
  | `P256 of Mirage_crypto_ec.P256.Dh.secret
  | `P384 of Mirage_crypto_ec.P384.Dh.secret
  | `P521 of Mirage_crypto_ec.P521.Dh.secret
  | `X25519 of Mirage_crypto_ec.X25519.secret ] ->
  Cstruct.t ->
  (Cstruct.t,
    [> `Fatal of [> `BadECDH of Mirage_crypto_ec.error | `InvalidDH ] ])
    result

Source

val dh_gen_key : 
  [< `FFDHE2048
  | `FFDHE3072
  | `FFDHE4096
  | `FFDHE6144
  | `FFDHE8192
  | `P256
  | `P384
  | `P521
  | `X25519 ] ->
  [> `Finite_field of Mirage_crypto_pk.Dh.secret
  | `P256 of Mirage_crypto_ec.P256.Dh.secret
  | `P384 of Mirage_crypto_ec.P384.Dh.secret
  | `P521 of Mirage_crypto_ec.P521.Dh.secret
  | `X25519 of Mirage_crypto_ec.X25519.secret ]
  * Cstruct.t

Sourceval trace : string -> Cstruct.t -> unit

Source

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

Sourceval hkdflabel : string -> Cstruct.t -> Cstruct.uint16 -> Cstruct.t

Source

val derive_secret_no_hash : 
  Mirage_crypto.Hash.hash ->
  Cstruct.t ->
  ?length:Cstruct.uint16 ->
  ?ctx:Cstruct.t ->
  string ->
  Cstruct.t

Sourceval derive_secret : State.kdf -> string -> Cstruct.t -> Cstruct.t

Sourceval empty : Ciphersuite.ciphersuite13 -> State.kdf

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

Source

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

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

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

Source

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

Source

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

Sourceval app_secret_n_1 : State.kdf -> Cstruct.t -> Cstruct.t * State.crypto_context

Sourceval exporter : State.kdf -> Cstruct.t -> Cstruct.t

Sourceval resumption : State.kdf -> Cstruct.t -> Cstruct.t

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

Source

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

package tls

Module Tls.Handshake_crypto13Source

Module `Tls.Handshake_crypto13`Source