• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /* Copyright (c) 2016, Google Inc.
2  *
3  * Permission to use, copy, modify, and/or distribute this software for any
4  * purpose with or without fee is hereby granted, provided that the above
5  * copyright notice and this permission notice appear in all copies.
6  *
7  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10  * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12  * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13  * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14 
15 #include <openssl/ssl.h>
16 
17 #include <assert.h>
18 #include <string.h>
19 
20 #include <algorithm>
21 #include <utility>
22 
23 #include <openssl/aead.h>
24 #include <openssl/bytestring.h>
25 #include <openssl/digest.h>
26 #include <openssl/hkdf.h>
27 #include <openssl/hmac.h>
28 #include <openssl/mem.h>
29 
30 #include "../crypto/internal.h"
31 #include "internal.h"
32 
33 
34 BSSL_NAMESPACE_BEGIN
35 
init_key_schedule(SSL_HANDSHAKE * hs,uint16_t version,const SSL_CIPHER * cipher)36 static bool init_key_schedule(SSL_HANDSHAKE *hs, uint16_t version,
37                               const SSL_CIPHER *cipher) {
38   if (!hs->transcript.InitHash(version, cipher)) {
39     return false;
40   }
41 
42   // Initialize the secret to the zero key.
43   hs->ResizeSecrets(hs->transcript.DigestLen());
44   OPENSSL_memset(hs->secret().data(), 0, hs->secret().size());
45 
46   return true;
47 }
48 
hkdf_extract_to_secret(SSL_HANDSHAKE * hs,Span<const uint8_t> in)49 static bool hkdf_extract_to_secret(SSL_HANDSHAKE *hs, Span<const uint8_t> in) {
50   size_t len;
51   if (!HKDF_extract(hs->secret().data(), &len, hs->transcript.Digest(),
52                     in.data(), in.size(), hs->secret().data(),
53                     hs->secret().size())) {
54     return false;
55   }
56   assert(len == hs->secret().size());
57   return true;
58 }
59 
tls13_init_key_schedule(SSL_HANDSHAKE * hs,Span<const uint8_t> psk)60 bool tls13_init_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> psk) {
61   if (!init_key_schedule(hs, ssl_protocol_version(hs->ssl), hs->new_cipher)) {
62     return false;
63   }
64 
65   // Handback includes the whole handshake transcript, so we cannot free the
66   // transcript buffer in the handback case.
67   if (!hs->handback) {
68     hs->transcript.FreeBuffer();
69   }
70   return hkdf_extract_to_secret(hs, psk);
71 }
72 
tls13_init_early_key_schedule(SSL_HANDSHAKE * hs,Span<const uint8_t> psk)73 bool tls13_init_early_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> psk) {
74   SSL *const ssl = hs->ssl;
75   return init_key_schedule(hs, ssl_session_protocol_version(ssl->session.get()),
76                            ssl->session->cipher) &&
77          hkdf_extract_to_secret(hs, psk);
78 }
79 
label_to_span(const char * label)80 static Span<const char> label_to_span(const char *label) {
81   return MakeConstSpan(label, strlen(label));
82 }
83 
hkdf_expand_label(Span<uint8_t> out,const EVP_MD * digest,Span<const uint8_t> secret,Span<const char> label,Span<const uint8_t> hash)84 static bool hkdf_expand_label(Span<uint8_t> out, const EVP_MD *digest,
85                               Span<const uint8_t> secret,
86                               Span<const char> label,
87                               Span<const uint8_t> hash) {
88   Span<const char> protocol_label = label_to_span("tls13 ");
89   ScopedCBB cbb;
90   CBB child;
91   Array<uint8_t> hkdf_label;
92   if (!CBB_init(cbb.get(), 2 + 1 + protocol_label.size() + label.size() + 1 +
93                                hash.size()) ||
94       !CBB_add_u16(cbb.get(), out.size()) ||
95       !CBB_add_u8_length_prefixed(cbb.get(), &child) ||
96       !CBB_add_bytes(&child,
97                      reinterpret_cast<const uint8_t *>(protocol_label.data()),
98                      protocol_label.size()) ||
99       !CBB_add_bytes(&child, reinterpret_cast<const uint8_t *>(label.data()),
100                      label.size()) ||
101       !CBB_add_u8_length_prefixed(cbb.get(), &child) ||
102       !CBB_add_bytes(&child, hash.data(), hash.size()) ||
103       !CBBFinishArray(cbb.get(), &hkdf_label)) {
104     return false;
105   }
106 
107   return HKDF_expand(out.data(), out.size(), digest, secret.data(),
108                      secret.size(), hkdf_label.data(), hkdf_label.size());
109 }
110 
111 static const char kTLS13LabelDerived[] = "derived";
112 
tls13_advance_key_schedule(SSL_HANDSHAKE * hs,Span<const uint8_t> in)113 bool tls13_advance_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> in) {
114   uint8_t derive_context[EVP_MAX_MD_SIZE];
115   unsigned derive_context_len;
116   return EVP_Digest(nullptr, 0, derive_context, &derive_context_len,
117                     hs->transcript.Digest(), nullptr) &&
118          hkdf_expand_label(hs->secret(), hs->transcript.Digest(), hs->secret(),
119                            label_to_span(kTLS13LabelDerived),
120                            MakeConstSpan(derive_context, derive_context_len)) &&
121          hkdf_extract_to_secret(hs, in);
122 }
123 
124 // derive_secret derives a secret of length |out.size()| and writes the result
125 // in |out| with the given label, the current base secret, and the most
126 // recently-saved handshake context. It returns true on success and false on
127 // error.
derive_secret(SSL_HANDSHAKE * hs,Span<uint8_t> out,Span<const char> label)128 static bool derive_secret(SSL_HANDSHAKE *hs, Span<uint8_t> out,
129                           Span<const char> label) {
130   uint8_t context_hash[EVP_MAX_MD_SIZE];
131   size_t context_hash_len;
132   if (!hs->transcript.GetHash(context_hash, &context_hash_len)) {
133     return false;
134   }
135 
136   return hkdf_expand_label(out, hs->transcript.Digest(), hs->secret(), label,
137                            MakeConstSpan(context_hash, context_hash_len));
138 }
139 
tls13_set_traffic_key(SSL * ssl,enum ssl_encryption_level_t level,enum evp_aead_direction_t direction,const SSL_SESSION * session,Span<const uint8_t> traffic_secret)140 bool tls13_set_traffic_key(SSL *ssl, enum ssl_encryption_level_t level,
141                            enum evp_aead_direction_t direction,
142                            const SSL_SESSION *session,
143                            Span<const uint8_t> traffic_secret) {
144   uint16_t version = ssl_session_protocol_version(session);
145   UniquePtr<SSLAEADContext> traffic_aead;
146   Span<const uint8_t> secret_for_quic;
147   if (ssl->quic_method != nullptr) {
148     // Install a placeholder SSLAEADContext so that SSL accessors work. The
149     // encryption itself will be handled by the SSL_QUIC_METHOD.
150     traffic_aead =
151         SSLAEADContext::CreatePlaceholderForQUIC(version, session->cipher);
152     secret_for_quic = traffic_secret;
153   } else {
154     // Look up cipher suite properties.
155     const EVP_AEAD *aead;
156     size_t discard;
157     if (!ssl_cipher_get_evp_aead(&aead, &discard, &discard, session->cipher,
158                                  version, SSL_is_dtls(ssl))) {
159       return false;
160     }
161 
162     const EVP_MD *digest = ssl_session_get_digest(session);
163 
164     // Derive the key.
165     size_t key_len = EVP_AEAD_key_length(aead);
166     uint8_t key_buf[EVP_AEAD_MAX_KEY_LENGTH];
167     auto key = MakeSpan(key_buf, key_len);
168     if (!hkdf_expand_label(key, digest, traffic_secret, label_to_span("key"),
169                            {})) {
170       return false;
171     }
172 
173     // Derive the IV.
174     size_t iv_len = EVP_AEAD_nonce_length(aead);
175     uint8_t iv_buf[EVP_AEAD_MAX_NONCE_LENGTH];
176     auto iv = MakeSpan(iv_buf, iv_len);
177     if (!hkdf_expand_label(iv, digest, traffic_secret, label_to_span("iv"),
178                            {})) {
179       return false;
180     }
181 
182     traffic_aead = SSLAEADContext::Create(direction, session->ssl_version,
183                                           SSL_is_dtls(ssl), session->cipher,
184                                           key, Span<const uint8_t>(), iv);
185   }
186 
187   if (!traffic_aead) {
188     return false;
189   }
190 
191   if (traffic_secret.size() >
192           OPENSSL_ARRAY_SIZE(ssl->s3->read_traffic_secret) ||
193       traffic_secret.size() >
194           OPENSSL_ARRAY_SIZE(ssl->s3->write_traffic_secret)) {
195     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
196     return false;
197   }
198 
199   if (direction == evp_aead_open) {
200     if (!ssl->method->set_read_state(ssl, level, std::move(traffic_aead),
201                                      secret_for_quic)) {
202       return false;
203     }
204     OPENSSL_memmove(ssl->s3->read_traffic_secret, traffic_secret.data(),
205                     traffic_secret.size());
206     ssl->s3->read_traffic_secret_len = traffic_secret.size();
207   } else {
208     if (!ssl->method->set_write_state(ssl, level, std::move(traffic_aead),
209                                       secret_for_quic)) {
210       return false;
211     }
212     OPENSSL_memmove(ssl->s3->write_traffic_secret, traffic_secret.data(),
213                     traffic_secret.size());
214     ssl->s3->write_traffic_secret_len = traffic_secret.size();
215   }
216 
217   return true;
218 }
219 
220 
221 static const char kTLS13LabelExporter[] = "exp master";
222 
223 static const char kTLS13LabelClientEarlyTraffic[] = "c e traffic";
224 static const char kTLS13LabelClientHandshakeTraffic[] = "c hs traffic";
225 static const char kTLS13LabelServerHandshakeTraffic[] = "s hs traffic";
226 static const char kTLS13LabelClientApplicationTraffic[] = "c ap traffic";
227 static const char kTLS13LabelServerApplicationTraffic[] = "s ap traffic";
228 
tls13_derive_early_secret(SSL_HANDSHAKE * hs)229 bool tls13_derive_early_secret(SSL_HANDSHAKE *hs) {
230   SSL *const ssl = hs->ssl;
231   if (!derive_secret(hs, hs->early_traffic_secret(),
232                      label_to_span(kTLS13LabelClientEarlyTraffic)) ||
233       !ssl_log_secret(ssl, "CLIENT_EARLY_TRAFFIC_SECRET",
234                       hs->early_traffic_secret())) {
235     return false;
236   }
237   return true;
238 }
239 
tls13_derive_handshake_secrets(SSL_HANDSHAKE * hs)240 bool tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs) {
241   SSL *const ssl = hs->ssl;
242   if (!derive_secret(hs, hs->client_handshake_secret(),
243                      label_to_span(kTLS13LabelClientHandshakeTraffic)) ||
244       !ssl_log_secret(ssl, "CLIENT_HANDSHAKE_TRAFFIC_SECRET",
245                       hs->client_handshake_secret()) ||
246       !derive_secret(hs, hs->server_handshake_secret(),
247                      label_to_span(kTLS13LabelServerHandshakeTraffic)) ||
248       !ssl_log_secret(ssl, "SERVER_HANDSHAKE_TRAFFIC_SECRET",
249                       hs->server_handshake_secret())) {
250     return false;
251   }
252 
253   return true;
254 }
255 
tls13_derive_application_secrets(SSL_HANDSHAKE * hs)256 bool tls13_derive_application_secrets(SSL_HANDSHAKE *hs) {
257   SSL *const ssl = hs->ssl;
258   ssl->s3->exporter_secret_len = hs->transcript.DigestLen();
259   if (!derive_secret(hs, hs->client_traffic_secret_0(),
260                      label_to_span(kTLS13LabelClientApplicationTraffic)) ||
261       !ssl_log_secret(ssl, "CLIENT_TRAFFIC_SECRET_0",
262                       hs->client_traffic_secret_0()) ||
263       !derive_secret(hs, hs->server_traffic_secret_0(),
264                      label_to_span(kTLS13LabelServerApplicationTraffic)) ||
265       !ssl_log_secret(ssl, "SERVER_TRAFFIC_SECRET_0",
266                       hs->server_traffic_secret_0()) ||
267       !derive_secret(
268           hs, MakeSpan(ssl->s3->exporter_secret, ssl->s3->exporter_secret_len),
269           label_to_span(kTLS13LabelExporter)) ||
270       !ssl_log_secret(ssl, "EXPORTER_SECRET",
271                       MakeConstSpan(ssl->s3->exporter_secret,
272                                     ssl->s3->exporter_secret_len))) {
273     return false;
274   }
275 
276   return true;
277 }
278 
279 static const char kTLS13LabelApplicationTraffic[] = "traffic upd";
280 
tls13_rotate_traffic_key(SSL * ssl,enum evp_aead_direction_t direction)281 bool tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction) {
282   Span<uint8_t> secret;
283   if (direction == evp_aead_open) {
284     secret = MakeSpan(ssl->s3->read_traffic_secret,
285                       ssl->s3->read_traffic_secret_len);
286   } else {
287     secret = MakeSpan(ssl->s3->write_traffic_secret,
288                       ssl->s3->write_traffic_secret_len);
289   }
290 
291   const SSL_SESSION *session = SSL_get_session(ssl);
292   const EVP_MD *digest = ssl_session_get_digest(session);
293   return hkdf_expand_label(secret, digest, secret,
294                            label_to_span(kTLS13LabelApplicationTraffic), {}) &&
295          tls13_set_traffic_key(ssl, ssl_encryption_application, direction,
296                                session, secret);
297 }
298 
299 static const char kTLS13LabelResumption[] = "res master";
300 
tls13_derive_resumption_secret(SSL_HANDSHAKE * hs)301 bool tls13_derive_resumption_secret(SSL_HANDSHAKE *hs) {
302   if (hs->transcript.DigestLen() > SSL_MAX_MASTER_KEY_LENGTH) {
303     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
304     return false;
305   }
306   hs->new_session->secret_length = hs->transcript.DigestLen();
307   return derive_secret(
308       hs, MakeSpan(hs->new_session->secret, hs->new_session->secret_length),
309       label_to_span(kTLS13LabelResumption));
310 }
311 
312 static const char kTLS13LabelFinished[] = "finished";
313 
314 // tls13_verify_data sets |out| to be the HMAC of |context| using a derived
315 // Finished key for both Finished messages and the PSK binder. |out| must have
316 // space available for |EVP_MAX_MD_SIZE| bytes.
tls13_verify_data(uint8_t * out,size_t * out_len,const EVP_MD * digest,uint16_t version,Span<const uint8_t> secret,Span<const uint8_t> context)317 static bool tls13_verify_data(uint8_t *out, size_t *out_len,
318                               const EVP_MD *digest, uint16_t version,
319                               Span<const uint8_t> secret,
320                               Span<const uint8_t> context) {
321   uint8_t key_buf[EVP_MAX_MD_SIZE];
322   auto key = MakeSpan(key_buf, EVP_MD_size(digest));
323   unsigned len;
324   if (!hkdf_expand_label(key, digest, secret,
325                          label_to_span(kTLS13LabelFinished), {}) ||
326       HMAC(digest, key.data(), key.size(), context.data(), context.size(), out,
327            &len) == nullptr) {
328     return false;
329   }
330   *out_len = len;
331   return true;
332 }
333 
tls13_finished_mac(SSL_HANDSHAKE * hs,uint8_t * out,size_t * out_len,bool is_server)334 bool tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len,
335                         bool is_server) {
336   Span<const uint8_t> traffic_secret =
337       is_server ? hs->server_handshake_secret() : hs->client_handshake_secret();
338 
339   uint8_t context_hash[EVP_MAX_MD_SIZE];
340   size_t context_hash_len;
341   if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
342       !tls13_verify_data(out, out_len, hs->transcript.Digest(),
343                          hs->ssl->version, traffic_secret,
344                          MakeConstSpan(context_hash, context_hash_len))) {
345     return 0;
346   }
347   return 1;
348 }
349 
350 static const char kTLS13LabelResumptionPSK[] = "resumption";
351 
tls13_derive_session_psk(SSL_SESSION * session,Span<const uint8_t> nonce)352 bool tls13_derive_session_psk(SSL_SESSION *session, Span<const uint8_t> nonce) {
353   const EVP_MD *digest = ssl_session_get_digest(session);
354   // The session initially stores the resumption_master_secret, which we
355   // override with the PSK.
356   auto session_secret = MakeSpan(session->secret, session->secret_length);
357   return hkdf_expand_label(session_secret, digest, session_secret,
358                            label_to_span(kTLS13LabelResumptionPSK), nonce);
359 }
360 
361 static const char kTLS13LabelExportKeying[] = "exporter";
362 
tls13_export_keying_material(SSL * ssl,Span<uint8_t> out,Span<const uint8_t> secret,Span<const char> label,Span<const uint8_t> context)363 bool tls13_export_keying_material(SSL *ssl, Span<uint8_t> out,
364                                   Span<const uint8_t> secret,
365                                   Span<const char> label,
366                                   Span<const uint8_t> context) {
367   if (secret.empty()) {
368     assert(0);
369     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
370     return false;
371   }
372 
373   const EVP_MD *digest = ssl_session_get_digest(SSL_get_session(ssl));
374 
375   uint8_t hash_buf[EVP_MAX_MD_SIZE];
376   uint8_t export_context_buf[EVP_MAX_MD_SIZE];
377   unsigned hash_len;
378   unsigned export_context_len;
379   if (!EVP_Digest(context.data(), context.size(), hash_buf, &hash_len, digest,
380                   nullptr) ||
381       !EVP_Digest(nullptr, 0, export_context_buf, &export_context_len, digest,
382                   nullptr)) {
383     return false;
384   }
385 
386   auto hash = MakeConstSpan(hash_buf, hash_len);
387   auto export_context = MakeConstSpan(export_context_buf, export_context_len);
388   uint8_t derived_secret_buf[EVP_MAX_MD_SIZE];
389   auto derived_secret = MakeSpan(derived_secret_buf, EVP_MD_size(digest));
390   return hkdf_expand_label(derived_secret, digest, secret, label,
391                            export_context) &&
392          hkdf_expand_label(out, digest, derived_secret,
393                            label_to_span(kTLS13LabelExportKeying), hash);
394 }
395 
396 static const char kTLS13LabelPSKBinder[] = "res binder";
397 
tls13_psk_binder(uint8_t * out,size_t * out_len,uint16_t version,const EVP_MD * digest,Span<const uint8_t> psk,Span<const uint8_t> context)398 static bool tls13_psk_binder(uint8_t *out, size_t *out_len, uint16_t version,
399                              const EVP_MD *digest, Span<const uint8_t> psk,
400                              Span<const uint8_t> context) {
401   uint8_t binder_context[EVP_MAX_MD_SIZE];
402   unsigned binder_context_len;
403   if (!EVP_Digest(NULL, 0, binder_context, &binder_context_len, digest, NULL)) {
404     return false;
405   }
406 
407   uint8_t early_secret[EVP_MAX_MD_SIZE] = {0};
408   size_t early_secret_len;
409   if (!HKDF_extract(early_secret, &early_secret_len, digest, psk.data(),
410                     psk.size(), NULL, 0)) {
411     return false;
412   }
413 
414   uint8_t binder_key_buf[EVP_MAX_MD_SIZE] = {0};
415   auto binder_key = MakeSpan(binder_key_buf, EVP_MD_size(digest));
416   if (!hkdf_expand_label(binder_key, digest,
417                          MakeConstSpan(early_secret, early_secret_len),
418                          label_to_span(kTLS13LabelPSKBinder),
419                          MakeConstSpan(binder_context, binder_context_len)) ||
420       !tls13_verify_data(out, out_len, digest, version, binder_key, context)) {
421     return false;
422   }
423 
424   assert(*out_len == EVP_MD_size(digest));
425   return true;
426 }
427 
hash_transcript_and_truncated_client_hello(SSL_HANDSHAKE * hs,uint8_t * out,size_t * out_len,const EVP_MD * digest,Span<const uint8_t> client_hello,size_t binders_len)428 static bool hash_transcript_and_truncated_client_hello(
429     SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, const EVP_MD *digest,
430     Span<const uint8_t> client_hello, size_t binders_len) {
431   // Truncate the ClientHello.
432   if (binders_len + 2 < binders_len || client_hello.size() < binders_len + 2) {
433     return false;
434   }
435   client_hello = client_hello.subspan(0, client_hello.size() - binders_len - 2);
436 
437   ScopedEVP_MD_CTX ctx;
438   unsigned len;
439   if (!hs->transcript.CopyToHashContext(ctx.get(), digest) ||
440       !EVP_DigestUpdate(ctx.get(), client_hello.data(), client_hello.size()) ||
441       !EVP_DigestFinal_ex(ctx.get(), out, &len)) {
442     return false;
443   }
444 
445   *out_len = len;
446   return true;
447 }
448 
tls13_write_psk_binder(SSL_HANDSHAKE * hs,Span<uint8_t> msg)449 bool tls13_write_psk_binder(SSL_HANDSHAKE *hs, Span<uint8_t> msg) {
450   SSL *const ssl = hs->ssl;
451   const EVP_MD *digest = ssl_session_get_digest(ssl->session.get());
452   size_t hash_len = EVP_MD_size(digest);
453 
454   ScopedEVP_MD_CTX ctx;
455   uint8_t context[EVP_MAX_MD_SIZE];
456   size_t context_len;
457   uint8_t verify_data[EVP_MAX_MD_SIZE];
458   size_t verify_data_len;
459   if (!hash_transcript_and_truncated_client_hello(
460           hs, context, &context_len, digest, msg,
461           1 /* length prefix */ + hash_len) ||
462       !tls13_psk_binder(
463           verify_data, &verify_data_len, ssl->session->ssl_version, digest,
464           MakeConstSpan(ssl->session->secret, ssl->session->secret_length),
465           MakeConstSpan(context, context_len)) ||
466       verify_data_len != hash_len) {
467     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
468     return false;
469   }
470 
471   OPENSSL_memcpy(msg.data() + msg.size() - verify_data_len, verify_data,
472                  verify_data_len);
473   return true;
474 }
475 
tls13_verify_psk_binder(SSL_HANDSHAKE * hs,SSL_SESSION * session,const SSLMessage & msg,CBS * binders)476 bool tls13_verify_psk_binder(SSL_HANDSHAKE *hs, SSL_SESSION *session,
477                              const SSLMessage &msg, CBS *binders) {
478   uint8_t context[EVP_MAX_MD_SIZE];
479   size_t context_len;
480   uint8_t verify_data[EVP_MAX_MD_SIZE];
481   size_t verify_data_len;
482   CBS binder;
483   if (!hash_transcript_and_truncated_client_hello(hs, context, &context_len,
484                                                   hs->transcript.Digest(),
485                                                   msg.raw, CBS_len(binders)) ||
486       !tls13_psk_binder(verify_data, &verify_data_len, hs->ssl->version,
487                         hs->transcript.Digest(),
488                         MakeConstSpan(session->secret, session->secret_length),
489                         MakeConstSpan(context, context_len)) ||
490       // We only consider the first PSK, so compare against the first binder.
491       !CBS_get_u8_length_prefixed(binders, &binder)) {
492     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
493     return false;
494   }
495 
496   bool binder_ok =
497       CBS_len(&binder) == verify_data_len &&
498       CRYPTO_memcmp(CBS_data(&binder), verify_data, verify_data_len) == 0;
499 #if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
500   binder_ok = true;
501 #endif
502   if (!binder_ok) {
503     OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
504     return false;
505   }
506 
507   return true;
508 }
509 
tls13_ech_accept_confirmation(SSL_HANDSHAKE * hs,bssl::Span<uint8_t> out,bssl::Span<const uint8_t> server_hello_ech_conf)510 bool tls13_ech_accept_confirmation(
511     SSL_HANDSHAKE *hs, bssl::Span<uint8_t> out,
512     bssl::Span<const uint8_t> server_hello_ech_conf) {
513   // Compute the hash of the transcript concatenated with
514   // |server_hello_ech_conf| without modifying |hs->transcript|.
515   uint8_t context_hash[EVP_MAX_MD_SIZE];
516   unsigned context_hash_len;
517   ScopedEVP_MD_CTX ctx;
518   if (!hs->transcript.CopyToHashContext(ctx.get(), hs->transcript.Digest()) ||
519       !EVP_DigestUpdate(ctx.get(), server_hello_ech_conf.data(),
520                         server_hello_ech_conf.size()) ||
521       !EVP_DigestFinal_ex(ctx.get(), context_hash, &context_hash_len)) {
522     return false;
523   }
524 
525   // Per draft-ietf-tls-esni-09, accept_confirmation is computed with
526   // Derive-Secret, which derives a secret of size Hash.length. That value is
527   // then truncated to the first 8 bytes. Note this differs from deriving an
528   // 8-byte secret because the target length is included in the derivation.
529   uint8_t accept_confirmation_buf[EVP_MAX_MD_SIZE];
530   bssl::Span<uint8_t> accept_confirmation =
531       MakeSpan(accept_confirmation_buf, hs->transcript.DigestLen());
532   if (!hkdf_expand_label(accept_confirmation, hs->transcript.Digest(),
533                          hs->secret(), label_to_span("ech accept confirmation"),
534                          MakeConstSpan(context_hash, context_hash_len))) {
535     return false;
536   }
537 
538   if (out.size() > accept_confirmation.size()) {
539     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
540     return false;
541   }
542   OPENSSL_memcpy(out.data(), accept_confirmation.data(), out.size());
543   return true;
544 }
545 
546 BSSL_NAMESPACE_END
547