text: /* Copyright (c) 2018, Google Inc.
   *
   * Permission to use, copy, modify, and/or distribute this software for any
   * purpose with or without fee is hereby granted, provided that the above
   * copyright notice and this permission notice appear in all copies.
   *
   * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
   * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
   * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
   * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
   * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
   * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
   * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
  
  #include <openssl_grpc/ssl.h>
  
  #include <openssl_grpc/bytestring.h>
  
  #include "internal.h"
  
  
  BSSL_NAMESPACE_BEGIN
  
  constexpr int kHandoffVersion = 0;
  constexpr int kHandbackVersion = 0;
  
  static const unsigned kHandoffTagALPS = CBS_ASN1_CONTEXT_SPECIFIC | 0;
  
  // early_data_t represents the state of early data in a more compact way than
  // the 3 bits used by the implementation.
  enum early_data_t {
    early_data_not_offered = 0,
    early_data_accepted = 1,
    early_data_rejected_hrr = 2,
    early_data_skipped = 3,
  
    early_data_max_value = early_data_skipped,
  };
  
  // serialize_features adds a description of features supported by this binary to
  // |out|.  Returns true on success and false on error.
  static bool serialize_features(CBB *out) {
    CBB ciphers;
    if (!CBB_add_asn1(out, &ciphers, CBS_ASN1_OCTETSTRING)) {
      return false;
    }
    Span<const SSL_CIPHER> all_ciphers = AllCiphers();
    for (const SSL_CIPHER& cipher : all_ciphers) {
      if (!CBB_add_u16(&ciphers, static_cast<uint16_t>(cipher.id))) {
        return false;
      }
    }
    CBB curves;
    if (!CBB_add_asn1(out, &curves, CBS_ASN1_OCTETSTRING)) {
      return false;
    }
    for (const NamedGroup& g : NamedGroups()) {
      if (!CBB_add_u16(&curves, g.group_id)) {
        return false;
      }
    }
    // ALPS is a draft protocol and may change over time. The handoff structure
    // contains a [0] IMPLICIT OCTET STRING OPTIONAL, containing a list of u16
    // ALPS versions that the binary supports. For now we name them by codepoint.
    // Once ALPS is finalized and past the support horizon, this field can be
    // removed.
    CBB alps;
    if (!CBB_add_asn1(out, &alps, kHandoffTagALPS) ||
        !CBB_add_u16(&alps, TLSEXT_TYPE_application_settings)) {
      return false;
    }
    return CBB_flush(out);
  }
  
  bool SSL_serialize_handoff(const SSL *ssl, CBB *out,
                             SSL_CLIENT_HELLO *out_hello) {
    const SSL3_STATE *const s3 = ssl->s3;
    if (!ssl->server ||
        s3->hs == nullptr ||
        s3->rwstate != SSL_ERROR_HANDOFF) {
      return false;
    }
  
    CBB seq;
    SSLMessage msg;
    Span<const uint8_t> transcript = s3->hs->transcript.buffer();
    if (!CBB_add_asn1(out, &seq, CBS_ASN1_SEQUENCE) ||
        !CBB_add_asn1_uint64(&seq, kHandoffVersion) ||
        !CBB_add_asn1_octet_string(&seq, transcript.data(), transcript.size()) ||
        !CBB_add_asn1_octet_string(&seq,
                                   reinterpret_cast<uint8_t *>(s3->hs_buf->data),
                                   s3->hs_buf->length) ||
        !serialize_features(&seq) ||
        !CBB_flush(out) ||
        !ssl->method->get_message(ssl, &msg) ||
        !ssl_client_hello_init(ssl, out_hello, msg)) {
      return false;
    }
  
    return true;
  }
  
  bool SSL_decline_handoff(SSL *ssl) {
    const SSL3_STATE *const s3 = ssl->s3;
    if (!ssl->server ||
        s3->hs == nullptr ||
        s3->rwstate != SSL_ERROR_HANDOFF) {
      return false;
    }
  
    s3->hs->config->handoff = false;
    return true;
  }
  
  // apply_remote_features reads a list of supported features from |in| and
  // (possibly) reconfigures |ssl| to disallow the negotation of features whose
  // support has not been indicated.  (This prevents the the handshake from
  // committing to features that are not supported on the handoff/handback side.)
  static bool apply_remote_features(SSL *ssl, CBS *in) {
    CBS ciphers;
    if (!CBS_get_asn1(in, &ciphers, CBS_ASN1_OCTETSTRING)) {
      return false;
    }
    bssl::UniquePtr<STACK_OF(SSL_CIPHER)> supported(sk_SSL_CIPHER_new_null());
    while (CBS_len(&ciphers)) {
      uint16_t id;
      if (!CBS_get_u16(&ciphers, &id)) {
        return false;
      }
      const SSL_CIPHER *cipher = SSL_get_cipher_by_value(id);
      if (!cipher) {
        continue;
      }
      if (!sk_SSL_CIPHER_push(supported.get(), cipher)) {
        return false;
      }
    }
    STACK_OF(SSL_CIPHER) *configured =
        ssl->config->cipher_list ? ssl->config->cipher_list->ciphers.get()
                                 : ssl->ctx->cipher_list->ciphers.get();
    bssl::UniquePtr<STACK_OF(SSL_CIPHER)> unsupported(sk_SSL_CIPHER_new_null());
    for (const SSL_CIPHER *configured_cipher : configured) {
      if (sk_SSL_CIPHER_find(supported.get(), nullptr, configured_cipher)) {
        continue;
      }
      if (!sk_SSL_CIPHER_push(unsupported.get(), configured_cipher)) {
        return false;
      }
    }
    if (sk_SSL_CIPHER_num(unsupported.get()) && !ssl->config->cipher_list) {
      ssl->config->cipher_list = bssl::MakeUnique<SSLCipherPreferenceList>();
      if (!ssl->config->cipher_list->Init(*ssl->ctx->cipher_list)) {
        return false;
      }
    }
    for (const SSL_CIPHER *unsupported_cipher : unsupported.get()) {
      ssl->config->cipher_list->Remove(unsupported_cipher);
    }
    if (sk_SSL_CIPHER_num(SSL_get_ciphers(ssl)) == 0) {
      return false;
    }
  
    CBS curves;
    if (!CBS_get_asn1(in, &curves, CBS_ASN1_OCTETSTRING)) {
      return false;
    }
    Array<uint16_t> supported_curves;
    if (!supported_curves.Init(CBS_len(&curves) / 2)) {
      return false;
    }
    size_t idx = 0;
    while (CBS_len(&curves)) {
      uint16_t curve;
      if (!CBS_get_u16(&curves, &curve)) {
        return false;
      }
      supported_curves[idx++] = curve;
    }
    Span<const uint16_t> configured_curves =
        tls1_get_grouplist(ssl->s3->hs.get());
    Array<uint16_t> new_configured_curves;
    if (!new_configured_curves.Init(configured_curves.size())) {
      return false;
    }
    idx = 0;
    for (uint16_t configured_curve : configured_curves) {
      bool ok = false;
      for (uint16_t supported_curve : supported_curves) {
        if (supported_curve == configured_curve) {
          ok = true;
          break;
        }
      }
      if (ok) {
        new_configured_curves[idx++] = configured_curve;
      }
    }
    if (idx == 0) {
      return false;
    }
    new_configured_curves.Shrink(idx);
    ssl->config->supported_group_list = std::move(new_configured_curves);
  
    CBS alps;
    CBS_init(&alps, nullptr, 0);
    if (!CBS_get_optional_asn1(in, &alps, /*out_present=*/nullptr,
                               kHandoffTagALPS)) {
      return false;
    }
    bool supports_alps = false;
    while (CBS_len(&alps) != 0) {
      uint16_t id;
      if (!CBS_get_u16(&alps, &id)) {
        return false;
      }
      // For now, we only support one ALPS code point, so we only need to extract
      // a boolean signal from the feature list.
      if (id == TLSEXT_TYPE_application_settings) {
        supports_alps = true;
        break;
      }
    }
    if (!supports_alps) {
      ssl->config->alps_configs.clear();
    }
  
    return true;
  }
  
  // uses_disallowed_feature returns true iff |ssl| enables a feature that
  // disqualifies it for split handshakes.
  static bool uses_disallowed_feature(const SSL *ssl) {
    return ssl->method->is_dtls || (ssl->config->cert && ssl->config->cert->dc) ||
           ssl->config->quic_transport_params.size() > 0;
  }
  
  bool SSL_apply_handoff(SSL *ssl, Span<const uint8_t> handoff) {
    if (uses_disallowed_feature(ssl)) {
      return false;
    }
  
    CBS seq, handoff_cbs(handoff);
    uint64_t handoff_version;
    if (!CBS_get_asn1(&handoff_cbs, &seq, CBS_ASN1_SEQUENCE) ||
        !CBS_get_asn1_uint64(&seq, &handoff_version) ||
        handoff_version != kHandoffVersion) {
      return false;
    }
  
    CBS transcript, hs_buf;
    if (!CBS_get_asn1(&seq, &transcript, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1(&seq, &hs_buf, CBS_ASN1_OCTETSTRING) ||
        !apply_remote_features(ssl, &seq)) {
      return false;
    }
  
    SSL_set_accept_state(ssl);
  
    SSL3_STATE *const s3 = ssl->s3;
    s3->v2_hello_done = true;
    s3->has_message = true;
  
    s3->hs_buf.reset(BUF_MEM_new());
    if (!s3->hs_buf ||
        !BUF_MEM_append(s3->hs_buf.get(), CBS_data(&hs_buf), CBS_len(&hs_buf))) {
      return false;
    }
  
    if (CBS_len(&transcript) != 0) {
      s3->hs->transcript.Update(transcript);
      s3->is_v2_hello = true;
    }
    s3->hs->handback = true;
  
    return true;
  }
  
  bool SSL_serialize_handback(const SSL *ssl, CBB *out) {
    if (!ssl->server || uses_disallowed_feature(ssl)) {
      return false;
    }
    const SSL3_STATE *const s3 = ssl->s3;
    SSL_HANDSHAKE *const hs = s3->hs.get();
    handback_t type;
    switch (hs->state) {
      case state12_read_change_cipher_spec:
        type = handback_after_session_resumption;
        break;
      case state12_read_client_certificate:
        type = handback_after_ecdhe;
        break;
      case state12_finish_server_handshake:
        type = handback_after_handshake;
        break;
      case state12_tls13:
        if (hs->tls13_state != state13_send_half_rtt_ticket) {
          return false;
        }
        type = handback_tls13;
        break;
      default:
        return false;
    }
  
    size_t hostname_len = 0;
    if (s3->hostname) {
      hostname_len = strlen(s3->hostname.get());
    }
  
    Span<const uint8_t> transcript;
    if (type != handback_after_handshake) {
      transcript = s3->hs->transcript.buffer();
    }
    size_t write_iv_len = 0;
    const uint8_t *write_iv = nullptr;
    if ((type == handback_after_session_resumption ||
         type == handback_after_handshake) &&
        ssl->version == TLS1_VERSION &&
        SSL_CIPHER_is_block_cipher(s3->aead_write_ctx->cipher()) &&
        !s3->aead_write_ctx->GetIV(&write_iv, &write_iv_len)) {
      return false;
    }
    size_t read_iv_len = 0;
    const uint8_t *read_iv = nullptr;
    if (type == handback_after_handshake &&
        ssl->version == TLS1_VERSION &&
        SSL_CIPHER_is_block_cipher(s3->aead_read_ctx->cipher()) &&
        !s3->aead_read_ctx->GetIV(&read_iv, &read_iv_len)) {
        return false;
    }
  
    // TODO(mab): make sure everything is serialized.
    CBB seq, key_share;
    const SSL_SESSION *session;
    if (type == handback_tls13) {
      session = hs->new_session.get();
    } else {
      session = s3->session_reused ? ssl->session.get() : hs->new_session.get();
    }
    if (!CBB_add_asn1(out, &seq, CBS_ASN1_SEQUENCE) ||
        !CBB_add_asn1_uint64(&seq, kHandbackVersion) ||
        !CBB_add_asn1_uint64(&seq, type) ||
        !CBB_add_asn1_octet_string(&seq, s3->read_sequence,
                                   sizeof(s3->read_sequence)) ||
        !CBB_add_asn1_octet_string(&seq, s3->write_sequence,
                                   sizeof(s3->write_sequence)) ||
        !CBB_add_asn1_octet_string(&seq, s3->server_random,
                                   sizeof(s3->server_random)) ||
        !CBB_add_asn1_octet_string(&seq, s3->client_random,
                                   sizeof(s3->client_random)) ||
        !CBB_add_asn1_octet_string(&seq, read_iv, read_iv_len) ||
        !CBB_add_asn1_octet_string(&seq, write_iv, write_iv_len) ||
        !CBB_add_asn1_bool(&seq, s3->session_reused) ||
        !CBB_add_asn1_bool(&seq, s3->channel_id_valid) ||
        !ssl_session_serialize(session, &seq) ||
        !CBB_add_asn1_octet_string(&seq, s3->next_proto_negotiated.data(),
                                   s3->next_proto_negotiated.size()) ||
        !CBB_add_asn1_octet_string(&seq, s3->alpn_selected.data(),
                                   s3->alpn_selected.size()) ||
        !CBB_add_asn1_octet_string(
            &seq, reinterpret_cast<uint8_t *>(s3->hostname.get()),
            hostname_len) ||
        !CBB_add_asn1_octet_string(&seq, s3->channel_id,
                                   sizeof(s3->channel_id)) ||
        !CBB_add_asn1_bool(&seq, ssl->s3->token_binding_negotiated) ||
        !CBB_add_asn1_uint64(&seq, ssl->s3->negotiated_token_binding_param) ||
        !CBB_add_asn1_bool(&seq, s3->hs->next_proto_neg_seen) ||
        !CBB_add_asn1_bool(&seq, s3->hs->cert_request) ||
        !CBB_add_asn1_bool(&seq, s3->hs->extended_master_secret) ||
        !CBB_add_asn1_bool(&seq, s3->hs->ticket_expected) ||
        !CBB_add_asn1_uint64(&seq, SSL_CIPHER_get_id(s3->hs->new_cipher)) ||
        !CBB_add_asn1_octet_string(&seq, transcript.data(), transcript.size()) ||
        !CBB_add_asn1(&seq, &key_share, CBS_ASN1_SEQUENCE)) {
      return false;
    }
    if (type == handback_after_ecdhe &&
        !s3->hs->key_shares[0]->Serialize(&key_share)) {
      return false;
    }
    if (type == handback_tls13) {
      early_data_t early_data;
      // Check early data invariants.
      if (ssl->enable_early_data ==
          (s3->early_data_reason == ssl_early_data_disabled)) {
        return false;
      }
      if (hs->early_data_offered) {
        if (s3->early_data_accepted && !s3->skip_early_data) {
          early_data = early_data_accepted;
        } else if (!s3->early_data_accepted && !s3->skip_early_data) {
          early_data = early_data_rejected_hrr;
        } else if (!s3->early_data_accepted && s3->skip_early_data) {
          early_data = early_data_skipped;
        } else {
          return false;
        }
      } else if (!s3->early_data_accepted && !s3->skip_early_data) {
        early_data = early_data_not_offered;
      } else {
        return false;
      }
      if (!CBB_add_asn1_octet_string(&seq, hs->client_traffic_secret_0().data(),
                                     hs->client_traffic_secret_0().size()) ||
          !CBB_add_asn1_octet_string(&seq, hs->server_traffic_secret_0().data(),
                                     hs->server_traffic_secret_0().size()) ||
          !CBB_add_asn1_octet_string(&seq, hs->client_handshake_secret().data(),
                                     hs->client_handshake_secret().size()) ||
          !CBB_add_asn1_octet_string(&seq, hs->server_handshake_secret().data(),
                                     hs->server_handshake_secret().size()) ||
          !CBB_add_asn1_octet_string(&seq, hs->secret().data(),
                                     hs->secret().size()) ||
          !CBB_add_asn1_octet_string(&seq, s3->exporter_secret,
                                     s3->exporter_secret_len) ||
          !CBB_add_asn1_bool(&seq, s3->used_hello_retry_request) ||
          !CBB_add_asn1_bool(&seq, hs->accept_psk_mode) ||
          !CBB_add_asn1_int64(&seq, s3->ticket_age_skew) ||
          !CBB_add_asn1_uint64(&seq, s3->early_data_reason) ||
          !CBB_add_asn1_uint64(&seq, early_data)) {
        return false;
      }
      if (early_data == early_data_accepted &&
          !CBB_add_asn1_octet_string(&seq, hs->early_traffic_secret().data(),
                                     hs->early_traffic_secret().size())) {
        return false;
      }
    }
    return CBB_flush(out);
  }
  
  static bool CopyExact(Span<uint8_t> out, const CBS *in) {
    if (CBS_len(in) != out.size()) {
      return false;
    }
    OPENSSL_memcpy(out.data(), CBS_data(in), out.size());
    return true;
  }
  
  bool SSL_apply_handback(SSL *ssl, Span<const uint8_t> handback) {
    if (ssl->do_handshake != nullptr ||
        ssl->method->is_dtls) {
      return false;
    }
  
    SSL3_STATE *const s3 = ssl->s3;
    uint64_t handback_version, negotiated_token_binding_param, cipher, type_u64;
  
    CBS seq, read_seq, write_seq, server_rand, client_rand, read_iv, write_iv,
        next_proto, alpn, hostname, channel_id, transcript, key_share;
    int session_reused, channel_id_valid, cert_request, extended_master_secret,
        ticket_expected, token_binding_negotiated, next_proto_neg_seen;
    SSL_SESSION *session = nullptr;
  
    CBS handback_cbs(handback);
    if (!CBS_get_asn1(&handback_cbs, &seq, CBS_ASN1_SEQUENCE) ||
        !CBS_get_asn1_uint64(&seq, &handback_version) ||
        handback_version != kHandbackVersion ||
        !CBS_get_asn1_uint64(&seq, &type_u64) ||
        type_u64 > handback_max_value) {
      return false;
    }
  
    handback_t type = static_cast<handback_t>(type_u64);
    if (!CBS_get_asn1(&seq, &read_seq, CBS_ASN1_OCTETSTRING) ||
        CBS_len(&read_seq) != sizeof(s3->read_sequence) ||
        !CBS_get_asn1(&seq, &write_seq, CBS_ASN1_OCTETSTRING) ||
        CBS_len(&write_seq) != sizeof(s3->write_sequence) ||
        !CBS_get_asn1(&seq, &server_rand, CBS_ASN1_OCTETSTRING) ||
        CBS_len(&server_rand) != sizeof(s3->server_random) ||
        !CBS_copy_bytes(&server_rand, s3->server_random,
                        sizeof(s3->server_random)) ||
        !CBS_get_asn1(&seq, &client_rand, CBS_ASN1_OCTETSTRING) ||
        CBS_len(&client_rand) != sizeof(s3->client_random) ||
        !CBS_copy_bytes(&client_rand, s3->client_random,
                        sizeof(s3->client_random)) ||
        !CBS_get_asn1(&seq, &read_iv, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1(&seq, &write_iv, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1_bool(&seq, &session_reused) ||
        !CBS_get_asn1_bool(&seq, &channel_id_valid)) {
      return false;
    }
  
    s3->hs = ssl_handshake_new(ssl);
    SSL_HANDSHAKE *const hs = s3->hs.get();
    if (!session_reused || type == handback_tls13) {
      hs->new_session =
          SSL_SESSION_parse(&seq, ssl->ctx->x509_method, ssl->ctx->pool);
      session = hs->new_session.get();
    } else {
      ssl->session =
          SSL_SESSION_parse(&seq, ssl->ctx->x509_method, ssl->ctx->pool);
      session = ssl->session.get();
    }
  
    if (!session || !CBS_get_asn1(&seq, &next_proto, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1(&seq, &alpn, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1(&seq, &hostname, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1(&seq, &channel_id, CBS_ASN1_OCTETSTRING) ||
        CBS_len(&channel_id) != sizeof(s3->channel_id) ||
        !CBS_copy_bytes(&channel_id, s3->channel_id,
                        sizeof(s3->channel_id)) ||
        !CBS_get_asn1_bool(&seq, &token_binding_negotiated) ||
        !CBS_get_asn1_uint64(&seq, &negotiated_token_binding_param) ||
        !CBS_get_asn1_bool(&seq, &next_proto_neg_seen) ||
        !CBS_get_asn1_bool(&seq, &cert_request) ||
        !CBS_get_asn1_bool(&seq, &extended_master_secret) ||
        !CBS_get_asn1_bool(&seq, &ticket_expected) ||
        !CBS_get_asn1_uint64(&seq, &cipher)) {
      return false;
    }
    if ((hs->new_cipher =
             SSL_get_cipher_by_value(static_cast<uint16_t>(cipher))) == nullptr) {
      return false;
    }
    if (!CBS_get_asn1(&seq, &transcript, CBS_ASN1_OCTETSTRING) ||
        !CBS_get_asn1(&seq, &key_share, CBS_ASN1_SEQUENCE)) {
      return false;
    }
    CBS client_handshake_secret, server_handshake_secret, client_traffic_secret_0,
        server_traffic_secret_0, secret, exporter_secret, early_traffic_secret;
    if (type == handback_tls13) {
      int used_hello_retry_request, accept_psk_mode;
      uint64_t early_data, early_data_reason;
      int64_t ticket_age_skew;
      if (!CBS_get_asn1(&seq, &client_traffic_secret_0, CBS_ASN1_OCTETSTRING) ||
          !CBS_get_asn1(&seq, &server_traffic_secret_0, CBS_ASN1_OCTETSTRING) ||
          !CBS_get_asn1(&seq, &client_handshake_secret, CBS_ASN1_OCTETSTRING) ||
          !CBS_get_asn1(&seq, &server_handshake_secret, CBS_ASN1_OCTETSTRING) ||
          !CBS_get_asn1(&seq, &secret, CBS_ASN1_OCTETSTRING) ||
          !CBS_get_asn1(&seq, &exporter_secret, CBS_ASN1_OCTETSTRING) ||
          !CBS_get_asn1_bool(&seq, &used_hello_retry_request) ||
          !CBS_get_asn1_bool(&seq, &accept_psk_mode) ||
          !CBS_get_asn1_int64(&seq, &ticket_age_skew) ||
          !CBS_get_asn1_uint64(&seq, &early_data_reason) ||
          early_data_reason > ssl_early_data_reason_max_value ||
          !CBS_get_asn1_uint64(&seq, &early_data) ||
          early_data > early_data_max_value) {
        return false;
      }
      early_data_t early_data_type = static_cast<early_data_t>(early_data);
      if (early_data_type == early_data_accepted &&
          !CBS_get_asn1(&seq, &early_traffic_secret, CBS_ASN1_OCTETSTRING)) {
        return false;
      }
      if (ticket_age_skew > std::numeric_limits<int32_t>::max() ||
          ticket_age_skew < std::numeric_limits<int32_t>::min()) {
        return false;
      }
      s3->ticket_age_skew = static_cast<int32_t>(ticket_age_skew);
      s3->used_hello_retry_request = used_hello_retry_request;
      hs->accept_psk_mode = accept_psk_mode;
  
      s3->early_data_reason =
          static_cast<ssl_early_data_reason_t>(early_data_reason);
      ssl->enable_early_data = s3->early_data_reason != ssl_early_data_disabled;
      s3->skip_early_data = false;
      s3->early_data_accepted = false;
      hs->early_data_offered = false;
      switch (early_data_type) {
        case early_data_not_offered:
          break;
        case early_data_accepted:
          s3->early_data_accepted = true;
          hs->early_data_offered = true;
          hs->can_early_write = true;
          hs->can_early_read = true;
          hs->in_early_data = true;
          break;
        case early_data_rejected_hrr:
          hs->early_data_offered = true;
          break;
        case early_data_skipped:
          s3->skip_early_data = true;
          hs->early_data_offered = true;
          break;
        default:
          return false;
      }
    } else {
      s3->early_data_reason = ssl_early_data_protocol_version;
    }
  
    ssl->version = session->ssl_version;
    s3->have_version = true;
    if (!ssl_method_supports_version(ssl->method, ssl->version) ||
        session->cipher != hs->new_cipher ||
        ssl_protocol_version(ssl) < SSL_CIPHER_get_min_version(session->cipher) ||
        SSL_CIPHER_get_max_version(session->cipher) < ssl_protocol_version(ssl)) {
      return false;
    }
    ssl->do_handshake = ssl_server_handshake;
    ssl->server = true;
    switch (type) {
      case handback_after_session_resumption:
        hs->state = state12_read_change_cipher_spec;
        if (!session_reused) {
          return false;
        }
        break;
      case handback_after_ecdhe:
        hs->state = state12_read_client_certificate;
        if (session_reused) {
          return false;
        }
        break;
      case handback_after_handshake:
        hs->state = state12_finish_server_handshake;
        break;
      case handback_tls13:
        hs->state = state12_tls13;
        hs->tls13_state = state13_send_half_rtt_ticket;
        break;
      default:
        return false;
    }
    s3->session_reused = session_reused;
    s3->channel_id_valid = channel_id_valid;
    s3->next_proto_negotiated.CopyFrom(next_proto);
    s3->alpn_selected.CopyFrom(alpn);
  
    const size_t hostname_len = CBS_len(&hostname);
    if (hostname_len == 0) {
      s3->hostname.reset();
    } else {
      char *hostname_str = nullptr;
      if (!CBS_strdup(&hostname, &hostname_str)) {
        return false;
      }
      s3->hostname.reset(hostname_str);
    }
  
    s3->token_binding_negotiated = token_binding_negotiated;
    s3->negotiated_token_binding_param =
        static_cast<uint8_t>(negotiated_token_binding_param);
    hs->next_proto_neg_seen = next_proto_neg_seen;
    hs->wait = ssl_hs_flush;
    hs->extended_master_secret = extended_master_secret;
    hs->ticket_expected = ticket_expected;
    s3->aead_write_ctx->SetVersionIfNullCipher(ssl->version);
    hs->cert_request = cert_request;
  
    if (type != handback_after_handshake &&
        (!hs->transcript.Init() ||
         !hs->transcript.InitHash(ssl_protocol_version(ssl), hs->new_cipher) ||
         !hs->transcript.Update(transcript))) {
      return false;
    }
    if (type == handback_tls13) {
      hs->ResizeSecrets(hs->transcript.DigestLen());
      if (!CopyExact(hs->client_traffic_secret_0(), &client_traffic_secret_0) ||
          !CopyExact(hs->server_traffic_secret_0(), &server_traffic_secret_0) ||
          !CopyExact(hs->client_handshake_secret(), &client_handshake_secret) ||
          !CopyExact(hs->server_handshake_secret(), &server_handshake_secret) ||
          !CopyExact(hs->secret(), &secret) ||
          !CopyExact({s3->exporter_secret, hs->transcript.DigestLen()},
                     &exporter_secret)) {
        return false;
      }
      s3->exporter_secret_len = CBS_len(&exporter_secret);
  
      if (s3->early_data_accepted &&
          !CopyExact(hs->early_traffic_secret(), &early_traffic_secret)) {
        return false;
      }
    }
    Array<uint8_t> key_block;
    switch (type) {
      case handback_after_session_resumption:
        // The write keys are installed after server Finished, but the client
        // keys must wait for ChangeCipherSpec.
        if (!tls1_configure_aead(ssl, evp_aead_seal, &key_block, session,
                                 write_iv)) {
          return false;
        }
        break;
      case handback_after_ecdhe:
        // The premaster secret is not yet computed, so install no keys.
        break;
      case handback_after_handshake:
        // The handshake is complete, so both keys are installed.
        if (!tls1_configure_aead(ssl, evp_aead_seal, &key_block, session,
                                 write_iv) ||
            !tls1_configure_aead(ssl, evp_aead_open, &key_block, session,
                                 read_iv)) {
          return false;
        }
        break;
      case handback_tls13:
        // After server Finished, the application write keys are installed, but
        // none of the read keys. The read keys are installed in the state machine
        // immediately after processing handback.
        if (!tls13_set_traffic_key(ssl, ssl_encryption_application, evp_aead_seal,
                                   hs->new_session.get(),
                                   hs->server_traffic_secret_0())) {
          return false;
        }
        break;
    }
    if (!CopyExact({s3->read_sequence, sizeof(s3->read_sequence)}, &read_seq) ||
        !CopyExact({s3->write_sequence, sizeof(s3->write_sequence)},
                   &write_seq)) {
      return false;
    }
    if (type == handback_after_ecdhe &&
        (hs->key_shares[0] = SSLKeyShare::Create(&key_share)) == nullptr) {
      return false;
    }
    return true;  // Trailing data allowed for extensibility.
  }
  
  BSSL_NAMESPACE_END
  