package tls

  1. Overview
  2. Docs
val answer_server_hello : State.handshake_state -> Core.client_hello -> Core.server_hello -> (Core.group * [< `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 ]) list -> string -> string -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context ] list, [> `Fatal of [> `Handshake of [> `BadDH of string | `BadECDH of Mirage_crypto_ec.error | `Fragments | `Message of string ] ] ]) result
val answer_hello_retry_request : State.handshake_state -> Core.client_hello -> Core.hello_retry -> 'a -> string -> String.t -> (State.handshake_state * [> `Record of Packet.content_type * string ] list, [> `Fatal of [> `Handshake of [> `Message of string ] ] ]) result
val answer_encrypted_extensions : State.handshake_state -> State.session_data13 -> string -> string -> [> `ALPN of string ] list -> string -> string -> (State.handshake_state * 'a list, 'b) result
val answer_certificate : State.handshake_state -> State.session_data13 -> string -> string -> Core.signature_algorithm list option -> (string * 'a) list -> string -> string -> (State.handshake_state * 'b list, [> `Error of [> `AuthenticationFailure of X509.Validation.validation_error ] | `Fatal of [> `Bad_certificate of string ] ]) result
val answer_certificate_verify : State.handshake_state -> State.session_data13 -> string -> string -> Core.signature_algorithm list option -> string -> string -> String.t -> (State.handshake_state * 'a list, [> `Error of [> `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list ] | `Fatal of [> `Bad_certificate of string | `Decode of string | `Handshake of [> `Message of string ] ] ]) result
val answer_certificate_request : State.handshake_state -> State.session_data13 -> string -> string -> [> `SignatureAlgorithms of Core.signature_algorithm list ] list -> string -> string -> (State.handshake_state * 'a list, 'b) result
val answer_finished : State.handshake_state -> State.session_data13 -> string -> string -> Core.signature_algorithm list option -> String.t -> string -> String.t -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context | `Record of Packet.content_type * string ] list, [> `Error of [> `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list ] | `Fatal of [> `Bad_certificate of string | `Handshake of [> `Fragments | `Message of string ] ] ]) result
val answer_session_ticket : State.handshake_state -> Core.session_ticket -> (State.handshake_state * 'a list, 'b) result
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 * string ] list, [> `Fatal of [> `Handshake of [> `Fragments | `Message of string ] ] ]) result
val handle_handshake : State.client13_handshake_state -> State.handshake_state -> string -> (State.handshake_state * [> `Change_dec of State.crypto_context | `Change_enc of State.crypto_context | `Record of Packet.content_type * string ] list, [> `Error of [> `AuthenticationFailure of X509.Validation.validation_error | `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list ] | `Fatal of [> `Bad_certificate of string | `Decode of string | `Handshake of [> `BadDH of string | `BadECDH of Mirage_crypto_ec.error | `Fragments | `Message of string ] | `Unexpected of [> `Handshake of Core.tls_handshake ] ] ]) result
OCaml

Innovation. Community. Security.