Handshake_client13 (u.aae5aa2db682c0173016e6de592577d8.tls.0.12.8.doc.tls.Tls.Handshake

Source

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

Source

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

Source

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

Source

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

Source

val answer_certificate_verify : 
  State.handshake_state ->
  State.session_data13 ->
  Cstruct_sexp.t ->
  Cstruct_sexp.t ->
  Cstruct.t ->
  Cstruct_sexp.t ->
  Cstruct_sexp.t ->
  (State.handshake_state * 'a list) State.t

Source

val answer_certificate_request : 
  State.handshake_state ->
  State.session_data13 ->
  Cstruct_sexp.t ->
  Cstruct_sexp.t ->
  'a ->
  Cstruct_sexp.t ->
  Cstruct_sexp.t ->
  (State.handshake_state * 'b list) State.t

Source

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

Source

val answer_session_ticket : 
  State.handshake_state ->
  Core.session_ticket ->
  (State.handshake_state * 'a list) State.t

Source

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

Source

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