package tls

  1. Overview
  2. Docs
val answer_server_hello : State.handshake_state -> Core.client_hello -> Core.server_hello -> (Core.group * [> `Fiat of Fiat_p256.secret | `Hacl of Hacl_x25519.secret | `Mirage_crypto of Mirage_crypto_pk.Dh.secret ]) list -> Cstruct_sexp.t -> Cstruct_sexp.t -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context ] list) State.t
val answer_hello_retry_request : State.handshake_state -> Core.client_hello -> Core.hello_retry -> 'a -> Mirage_crypto.Hash.digest -> Cstruct.t -> (State.handshake_state * [> `Record of Packet.content_type * Cstruct.t ] list) State.t
val answer_encrypted_extensions : State.handshake_state -> State.session_data13 -> Cstruct_sexp.t -> Cstruct_sexp.t -> [> `ALPN of string ] list -> Cstruct_sexp.t -> Cstruct_sexp.t -> (State.handshake_state * 'a list) State.t
val answer_certificate : State.handshake_state -> State.session_data13 -> Cstruct_sexp.t -> Cstruct_sexp.t -> (Cstruct.t * 'a) list -> Cstruct_sexp.t -> Cstruct_sexp.t -> (State.handshake_state * 'b list) State.t
val answer_finished : State.handshake_state -> State.session_data13 -> Cstruct.t -> Cstruct.t -> Cstruct.t -> Cstruct.t -> Cstruct.t -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context | `Record of Packet.content_type * Cstruct.t ] list) State.t
val answer_session_ticket : State.handshake_state -> Core.session_ticket -> (State.handshake_state * 'a list) State.t
val handle_key_update : State.handshake_state -> Packet.key_update_request_type -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context | `Record of Packet.content_type * Cstruct.t ] list) State.t
val handle_handshake : State.client13_handshake_state -> State.handshake_state -> Cstruct_sexp.t -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context | `Record of Packet.content_type * Cstruct.t ] list) State.t
OCaml

Innovation. Community. Security.