Module `Tls.Handshake_crypto13`Source

Sourceval cdiv : int -> int -> int

Sourceval left_pad_dh : Mirage_crypto_pk.Dh.group -> string -> string

val not_all_zero : 
  (string, [> `Fatal of [> `Handshake of [> `BadDH of string ] ] ] as 'a)
    result ->
  (string, '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 ] ->
  string ->
  (string,
    [> `Fatal of
         [> `Handshake of
              [> `BadDH of string | `BadECDH of Mirage_crypto_ec.error ] ] ])
    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 ]
  * string

Sourceval trace : string -> string -> 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 -> string -> int -> string

Source

val derive_secret_no_hash : 
  Digestif.hash' ->
  string ->
  ?length:int ->
  ?ctx:string ->
  string ->
  string

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

Sourceval empty : Ciphersuite.ciphersuite13 -> State.kdf

Sourceval derive : State.kdf -> string -> State.kdf

Source

val traffic_key : 
  [< `AES_128_CCM_SHA256
  | `AES_128_GCM_SHA256
  | `AES_256_GCM_SHA384
  | `CHACHA20_POLY1305_SHA256 ] ->
  string ->
  string * string

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

Sourceval early_traffic : State.kdf -> String.t -> string * State.crypto_context

Source

val hs_ctx : 
  State.kdf ->
  String.t ->
  string * State.crypto_context * string * State.crypto_context

Source

val app_ctx : 
  State.kdf ->
  String.t ->
  string * State.crypto_context * string * State.crypto_context

Sourceval app_secret_n_1 : State.kdf -> string -> string * State.crypto_context

Sourceval exporter : State.kdf -> String.t -> string

Sourceval resumption : State.kdf -> String.t -> string

Sourceval res_secret : Digestif.hash' -> string -> string -> string

Sourceval finished : Digestif.hash' -> string -> String.t -> string

package tls

Module Tls.Handshake_crypto13Source

Module `Tls.Handshake_crypto13`Source