blob: 9026cc0be78b3bbcc2075d1bbdaa7d213ef27a9f [file] [log] [blame]
Andrey Pronin9b10e512021-04-13 11:18:53 -07001/* Copyright 2018 The Chromium OS Authors. All rights reserved.
2 * Use of this source code is governed by a BSD-style license that can be
3 * found in the LICENSE file.
4 */
5
Andrey Pronincd7bcce2021-04-14 00:54:12 -07006#include <string.h>
7
Andrey Pronin04db55a2021-04-26 22:09:34 -07008#include "pinweaver.h"
9#include "pinweaver_eal.h"
10
Andrey Pronincd7bcce2021-04-14 00:54:12 -070011/* TODO(apronin): get rid of temporary #defines */
12
13#ifndef SHA256_DIGEST_SIZE
14#define SHA256_DIGEST_SIZE (256/8)
15#endif
16
17#ifndef AES256_BLOCK_CIPHER_KEY_SIZE
18#define AES256_BLOCK_CIPHER_KEY_SIZE (256/8)
19#endif
20
21#ifndef EC_SUCCESS
22#define EC_SUCCESS 0
23#endif
24
25#ifndef MIN
26#define MIN(a,b) ((a) < (b) ? (a) : (b))
27#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -070028
29/* Compile time sanity checks. */
30/* Make sure the hash size is consistent with dcrypto. */
31BUILD_ASSERT(PW_HASH_SIZE >= SHA256_DIGEST_SIZE);
32
33/* sizeof(struct leaf_data_t) % 16 should be zero */
34BUILD_ASSERT(sizeof(struct leaf_sensitive_data_t) % PW_WRAP_BLOCK_SIZE == 0);
35
36BUILD_ASSERT(sizeof(((struct merkle_tree_t *)0)->wrap_key) ==
37 AES256_BLOCK_CIPHER_KEY_SIZE);
38
39/* Verify that the nvmem_vars log entries have the correct sizes. */
40BUILD_ASSERT(sizeof(struct pw_long_term_storage_t) +
41 sizeof(struct pw_log_storage_t) <= PW_MAX_VAR_USAGE);
42
43/* Verify that the request structs will fit into the message. */
44BUILD_ASSERT(PW_MAX_MESSAGE_SIZE >=
45 sizeof(struct pw_request_header_t) +
Howard Yangd4d2e7a2022-08-02 17:57:53 +080046 sizeof(union {pw_request_insert_leaf_t insert_leaf;
47 pw_request_remove_leaf_t remove_leaf;
48 pw_request_try_auth_t try_auth;
49 pw_request_reset_auth_t reset_auth;
50 pw_request_get_log_t get_log;
51 pw_request_log_replay_t log_replay; }) +
Andrey Pronin9b10e512021-04-13 11:18:53 -070052 sizeof(struct leaf_public_data_t) +
53 sizeof(struct leaf_sensitive_data_t) +
54 PW_MAX_PATH_SIZE);
55
56#define PW_MAX_RESPONSE_SIZE (sizeof(struct pw_response_header_t) + \
Howard Yangd4d2e7a2022-08-02 17:57:53 +080057 sizeof(union {pw_response_insert_leaf_t insert_leaf; \
58 pw_response_try_auth_t try_auth; \
59 pw_response_reset_auth_t reset_auth; \
60 pw_response_log_replay_t log_replay; }) + \
Andrey Pronin9b10e512021-04-13 11:18:53 -070061 PW_LEAF_PAYLOAD_SIZE)
62#define PW_VALID_PCR_CRITERIA_SIZE \
63 (sizeof(struct valid_pcr_value_t) * PW_MAX_PCR_CRITERIA_COUNT)
Howard Yangaa7a8972022-07-26 16:39:36 +080064#define PW_EXPIRATION_DATA_SIZE (sizeof(struct pw_timestamp_t) + 4)
Andrey Pronin9b10e512021-04-13 11:18:53 -070065/* Verify that the request structs will fit into the message. */
66BUILD_ASSERT(PW_MAX_MESSAGE_SIZE >= PW_MAX_RESPONSE_SIZE);
Andrey Pronin9b10e512021-04-13 11:18:53 -070067
68/* PW_MAX_PATH_SIZE should not change unless PW_LEAF_MAJOR_VERSION changes too.
69 * Update these statements whenever these constants are changed to remind future
70 * maintainers about this requirement.
71 *
72 * This requirement helps guarantee that forward compatibility across the same
73 * PW_LEAF_MAJOR_VERSION doesn't break because of a path length becoming too
74 * long after new fields are added to struct wrapped_leaf_data_t or its sub
75 * fields.
76 */
77BUILD_ASSERT(PW_LEAF_MAJOR_VERSION == 0);
78BUILD_ASSERT(PW_MAX_PATH_SIZE == 1024);
79
80/* If fields are appended to struct leaf_sensitive_data_t, an encryption
81 * operation should be performed on them reusing the same IV since the prefix
82 * won't change.
83 *
84 * If any data in the original struct leaf_sensitive_data_t changes, a new IV
85 * should be generated and stored as part of the log for a replay to be
86 * possible.
87 */
88BUILD_ASSERT(sizeof(struct leaf_sensitive_data_t) == 3 * PW_SECRET_SIZE);
89
Andrey Pronincd7bcce2021-04-14 00:54:12 -070090#define RESTART_TIMER_THRESHOLD (10 /* seconds */)
Andrey Pronin9b10e512021-04-13 11:18:53 -070091
92/* This var caches the restart count so the nvram log structure doesn't need to
93 * be walked every time try_auth request is made.
94 */
95uint32_t pw_restart_count;
96
97/******************************************************************************/
98/* Struct helper functions.
99 */
100
101void import_leaf(const struct unimported_leaf_data_t *unimported,
102 struct imported_leaf_data_t *imported)
103{
104 imported->head = &unimported->head;
105 imported->hmac = unimported->hmac;
106 imported->iv = unimported->iv;
107 imported->pub = (const struct leaf_public_data_t *)unimported->payload;
108 imported->cipher_text = unimported->payload + unimported->head.pub_len;
109 imported->hashes = (const uint8_t (*)[PW_HASH_SIZE])(
110 imported->cipher_text + unimported->head.sec_len);
111}
112
113/******************************************************************************/
114/* Basic operations required by the Merkle tree.
115 */
116
Andrey Pronin9b10e512021-04-13 11:18:53 -0700117/* Creates an empty merkle_tree with the given parameters. */
118static int create_merkle_tree(struct bits_per_level_t bits_per_level,
119 struct height_t height,
120 struct merkle_tree_t *merkle_tree)
121{
122 uint16_t fan_out = 1 << bits_per_level.v;
123 uint8_t temp_hash[PW_HASH_SIZE] = {};
124 uint8_t hx;
125 uint16_t kx;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700126 pinweaver_eal_sha256_ctx_t ctx;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700127
128 merkle_tree->bits_per_level = bits_per_level;
129 merkle_tree->height = height;
130
Leo Lai788f41e2021-08-11 00:36:24 +0800131 int ret;
132
Andrey Pronin9b10e512021-04-13 11:18:53 -0700133 /* Initialize the root hash. */
134 for (hx = 0; hx < height.v; ++hx) {
Leo Lai788f41e2021-08-11 00:36:24 +0800135 ret = pinweaver_eal_sha256_init(&ctx);
136 if (ret)
137 return ret;
138 for (kx = 0; kx < fan_out; ++kx) {
139 ret = pinweaver_eal_sha256_update(&ctx, temp_hash,
140 PW_HASH_SIZE);
141 if (ret) {
142 pinweaver_eal_sha256_final(&ctx, temp_hash);
143 return ret;
144 }
145 }
146 ret = pinweaver_eal_sha256_final(&ctx, temp_hash);
147 if (ret)
148 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700149 }
Leo Laidb207912021-08-11 16:41:18 +0800150 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
151 sizeof(merkle_tree->root), temp_hash,
152 PW_HASH_SIZE);
153 if (ret != EC_SUCCESS)
154 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700155
Leo Lai788f41e2021-08-11 00:36:24 +0800156 ret = pinweaver_eal_rand_bytes(
157 merkle_tree->key_derivation_nonce,
158 sizeof(merkle_tree->key_derivation_nonce));
159 if (ret)
160 return ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700161 return pinweaver_eal_derive_keys(merkle_tree);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700162}
163
164/* Computes the HMAC for an encrypted leaf using the key in the merkle_tree. */
Leo Lai788f41e2021-08-11 00:36:24 +0800165static int compute_hmac(const struct merkle_tree_t *merkle_tree,
166 const struct imported_leaf_data_t *imported_leaf_data,
167 uint8_t result[PW_HASH_SIZE])
Andrey Pronin9b10e512021-04-13 11:18:53 -0700168{
Leo Lai788f41e2021-08-11 00:36:24 +0800169 int ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700170 pinweaver_eal_hmac_sha256_ctx_t hmac;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700171
Leo Lai788f41e2021-08-11 00:36:24 +0800172 ret = pinweaver_eal_hmac_sha256_init(&hmac, merkle_tree->hmac_key,
173 sizeof(merkle_tree->hmac_key));
174 if (ret)
175 return ret;
176 ret = pinweaver_eal_hmac_sha256_update(
177 &hmac, imported_leaf_data->head,
178 sizeof(*imported_leaf_data->head));
179 if (ret) {
180 pinweaver_eal_hmac_sha256_final(&hmac, result);
181 return ret;
182 }
183 ret = pinweaver_eal_hmac_sha256_update(&hmac, imported_leaf_data->iv,
184 sizeof(PW_WRAP_BLOCK_SIZE));
185 if (ret) {
186 pinweaver_eal_hmac_sha256_final(&hmac, result);
187 return ret;
188 }
189 ret = pinweaver_eal_hmac_sha256_update(
190 &hmac, imported_leaf_data->pub,
191 imported_leaf_data->head->pub_len);
192 if (ret) {
193 pinweaver_eal_hmac_sha256_final(&hmac, result);
194 return ret;
195 }
196 ret = pinweaver_eal_hmac_sha256_update(
197 &hmac, imported_leaf_data->cipher_text,
198 imported_leaf_data->head->sec_len);
199 if (ret) {
200 pinweaver_eal_hmac_sha256_final(&hmac, result);
201 return ret;
202 }
203 return pinweaver_eal_hmac_sha256_final(&hmac, result);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700204}
205
206/* Computes the root hash for the specified path and child hash. */
Leo Lai788f41e2021-08-11 00:36:24 +0800207static int compute_root_hash(const struct merkle_tree_t *merkle_tree,
208 struct label_t path,
209 const uint8_t hashes[][PW_HASH_SIZE],
210 const uint8_t child_hash[PW_HASH_SIZE],
211 uint8_t new_root[PW_HASH_SIZE])
Andrey Pronin9b10e512021-04-13 11:18:53 -0700212{
213 /* This is one less than the fan out, the number of sibling hashes. */
214 const uint16_t num_aux = (1 << merkle_tree->bits_per_level.v) - 1;
215 const uint16_t path_suffix_mask = num_aux;
216 uint8_t temp_hash[PW_HASH_SIZE];
217 uint8_t hx = 0;
218 uint64_t index = path.v;
Leo Laidb207912021-08-11 16:41:18 +0800219 int ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700220
Leo Lai788f41e2021-08-11 00:36:24 +0800221 if (compute_hash(hashes, num_aux,
222 (struct index_t){ index & path_suffix_mask },
223 child_hash, temp_hash)) {
224 return PW_ERR_CRYPTO_FAILURE;
225 }
Andrey Pronin9b10e512021-04-13 11:18:53 -0700226 for (hx = 1; hx < merkle_tree->height.v; ++hx) {
227 hashes += num_aux;
228 index = index >> merkle_tree->bits_per_level.v;
Leo Lai788f41e2021-08-11 00:36:24 +0800229 if (compute_hash(hashes, num_aux,
230 (struct index_t){ index & path_suffix_mask },
231 temp_hash, temp_hash)) {
232 return PW_ERR_CRYPTO_FAILURE;
233 }
Andrey Pronin9b10e512021-04-13 11:18:53 -0700234 }
Leo Laidb207912021-08-11 16:41:18 +0800235 ret = pinweaver_eal_memcpy_s(new_root, PW_HASH_SIZE, temp_hash,
236 sizeof(temp_hash));
237 if (ret != EC_SUCCESS)
238 return PW_ERR_INTERNAL_FAILURE;
Leo Lai788f41e2021-08-11 00:36:24 +0800239 return EC_SUCCESS;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700240}
241
242/* Checks to see the specified path is valid. The length of the path should be
243 * validated prior to calling this function.
244 *
245 * Returns 0 on success or an error code otherwise.
246 */
247static int authenticate_path(const struct merkle_tree_t *merkle_tree,
248 struct label_t path,
249 const uint8_t hashes[][PW_HASH_SIZE],
250 const uint8_t child_hash[PW_HASH_SIZE])
251{
252 uint8_t parent[PW_HASH_SIZE];
253
Leo Lai788f41e2021-08-11 00:36:24 +0800254 if (compute_root_hash(merkle_tree, path, hashes, child_hash, parent) !=
255 0)
256 return PW_ERR_CRYPTO_FAILURE;
Yi Chouddf3b452021-08-11 13:40:11 +0800257 if (pinweaver_eal_safe_memcmp(parent, merkle_tree->root,
258 sizeof(parent)) != 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700259 return PW_ERR_PATH_AUTH_FAILED;
260 return EC_SUCCESS;
261}
262
263static void init_wrapped_leaf_data(
264 struct wrapped_leaf_data_t *wrapped_leaf_data)
265{
266 wrapped_leaf_data->head.leaf_version.major = PW_LEAF_MAJOR_VERSION;
267 wrapped_leaf_data->head.leaf_version.minor = PW_LEAF_MINOR_VERSION;
268 wrapped_leaf_data->head.pub_len = sizeof(wrapped_leaf_data->pub);
269 wrapped_leaf_data->head.sec_len =
270 sizeof(wrapped_leaf_data->cipher_text);
271}
272
273/* Encrypts the leaf meta data. */
274static int encrypt_leaf_data(const struct merkle_tree_t *merkle_tree,
275 const struct leaf_data_t *leaf_data,
276 struct wrapped_leaf_data_t *wrapped_leaf_data)
277{
Leo Laidb207912021-08-11 16:41:18 +0800278 int ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700279 /* Generate a random IV.
280 *
281 * If fields are appended to struct leaf_sensitive_data_t, an encryption
282 * operation should be performed on them reusing the same IV since the
283 * prefix won't change.
284 *
285 * If any data of in the original struct leaf_sensitive_data_t changes,
286 * a new IV should be generated and stored as part of the log for a
287 * replay to be possible.
288 */
Leo Lai788f41e2021-08-11 00:36:24 +0800289 if (pinweaver_eal_rand_bytes(wrapped_leaf_data->iv,
290 sizeof(wrapped_leaf_data->iv))) {
291 return PW_ERR_CRYPTO_FAILURE;
292 }
Leo Laidb207912021-08-11 16:41:18 +0800293 ret = pinweaver_eal_memcpy_s(&wrapped_leaf_data->pub,
294 sizeof(wrapped_leaf_data->pub),
295 &leaf_data->pub, sizeof(leaf_data->pub));
296 if (ret != EC_SUCCESS)
297 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin1197a0d2021-05-14 20:18:05 -0700298 if (pinweaver_eal_aes256_ctr(merkle_tree->wrap_key,
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700299 sizeof(merkle_tree->wrap_key),
300 wrapped_leaf_data->iv,
301 &leaf_data->sec,
302 sizeof(leaf_data->sec),
303 wrapped_leaf_data->cipher_text)) {
Andrey Pronin9b10e512021-04-13 11:18:53 -0700304 return PW_ERR_CRYPTO_FAILURE;
305 }
306 return EC_SUCCESS;
307}
308
309/* Decrypts the leaf meta data. */
310static int decrypt_leaf_data(
311 const struct merkle_tree_t *merkle_tree,
312 const struct imported_leaf_data_t *imported_leaf_data,
313 struct leaf_data_t *leaf_data)
314{
Leo Laidb207912021-08-11 16:41:18 +0800315 int ret;
316 ret = pinweaver_eal_memcpy_s(&leaf_data->pub, sizeof(leaf_data->pub),
317 imported_leaf_data->pub,
318 MIN(imported_leaf_data->head->pub_len,
319 sizeof(struct leaf_public_data_t)));
320 if (ret != EC_SUCCESS)
321 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin1197a0d2021-05-14 20:18:05 -0700322 if (pinweaver_eal_aes256_ctr(merkle_tree->wrap_key,
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700323 sizeof(merkle_tree->wrap_key),
324 imported_leaf_data->iv,
325 imported_leaf_data->cipher_text,
326 sizeof(leaf_data->sec),
327 &leaf_data->sec)) {
Andrey Pronin9b10e512021-04-13 11:18:53 -0700328 return PW_ERR_CRYPTO_FAILURE;
329 }
330 return EC_SUCCESS;
331}
332
333static int handle_leaf_update(
334 const struct merkle_tree_t *merkle_tree,
335 const struct leaf_data_t *leaf_data,
336 const uint8_t hashes[][PW_HASH_SIZE],
337 struct wrapped_leaf_data_t *wrapped_leaf_data,
338 uint8_t new_root[PW_HASH_SIZE],
339 const struct imported_leaf_data_t *optional_old_wrapped_data)
340{
341 int ret;
342 struct imported_leaf_data_t ptrs;
343
344 init_wrapped_leaf_data(wrapped_leaf_data);
345 if (optional_old_wrapped_data == NULL) {
346 ret = encrypt_leaf_data(merkle_tree, leaf_data,
347 wrapped_leaf_data);
348 if (ret != EC_SUCCESS)
349 return ret;
350 } else {
Leo Laidb207912021-08-11 16:41:18 +0800351 ret = pinweaver_eal_memcpy_s(wrapped_leaf_data->iv,
352 sizeof(wrapped_leaf_data->iv),
353 optional_old_wrapped_data->iv,
354 sizeof(wrapped_leaf_data->iv));
355 if (ret != EC_SUCCESS)
356 return PW_ERR_INTERNAL_FAILURE;
357 ret = pinweaver_eal_memcpy_s(&wrapped_leaf_data->pub,
358 sizeof(wrapped_leaf_data->pub),
359 &leaf_data->pub,
360 sizeof(leaf_data->pub));
361 if (ret != EC_SUCCESS)
362 return PW_ERR_INTERNAL_FAILURE;
363 ret = pinweaver_eal_memcpy_s(
364 wrapped_leaf_data->cipher_text,
365 sizeof(wrapped_leaf_data->cipher_text),
366 optional_old_wrapped_data->cipher_text,
367 sizeof(wrapped_leaf_data->cipher_text));
368 if (ret != EC_SUCCESS)
369 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700370 }
371
372 import_leaf((const struct unimported_leaf_data_t *)wrapped_leaf_data,
373 &ptrs);
Leo Lai788f41e2021-08-11 00:36:24 +0800374 ret = compute_hmac(merkle_tree, &ptrs, wrapped_leaf_data->hmac);
375 if (ret)
376 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700377
Leo Lai788f41e2021-08-11 00:36:24 +0800378 ret = compute_root_hash(merkle_tree, leaf_data->pub.label, hashes,
379 wrapped_leaf_data->hmac, new_root);
380 if (ret)
381 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700382
383 return EC_SUCCESS;
384}
385
386/******************************************************************************/
387/* Parameter and state validation functions.
388 */
389
390static int validate_tree_parameters(struct bits_per_level_t bits_per_level,
391 struct height_t height)
392{
393 uint8_t fan_out = 1 << bits_per_level.v;
394
395 if (bits_per_level.v < BITS_PER_LEVEL_MIN ||
396 bits_per_level.v > BITS_PER_LEVEL_MAX)
397 return PW_ERR_BITS_PER_LEVEL_INVALID;
398
399 if (height.v < HEIGHT_MIN ||
400 height.v > HEIGHT_MAX(bits_per_level.v) ||
401 ((fan_out - 1) * height.v) * PW_HASH_SIZE > PW_MAX_PATH_SIZE)
402 return PW_ERR_HEIGHT_INVALID;
403
404 return EC_SUCCESS;
405}
406
407/* Verifies that merkle_tree has been initialized. */
408static int validate_tree(const struct merkle_tree_t *merkle_tree)
409{
410 if (validate_tree_parameters(merkle_tree->bits_per_level,
411 merkle_tree->height) != EC_SUCCESS)
412 return PW_ERR_TREE_INVALID;
413 return EC_SUCCESS;
414}
415
416/* Checks the following conditions:
417 * Extra index fields should be all zero.
418 */
419static int validate_label(const struct merkle_tree_t *merkle_tree,
420 struct label_t path)
421{
422 uint8_t shift_by = merkle_tree->bits_per_level.v *
423 merkle_tree->height.v;
424
425 if ((path.v >> shift_by) == 0)
426 return EC_SUCCESS;
427 return PW_ERR_LABEL_INVALID;
428}
429
430/* Checks the following conditions:
431 * Columns should be strictly increasing.
432 * Zeroes for filler at the end of the delay_schedule are permitted.
433 */
434static int validate_delay_schedule(const struct delay_schedule_entry_t
435 delay_schedule[PW_SCHED_COUNT])
436{
437 size_t x;
438
439 /* The first entry should not be useless. */
Yi Choueed2b652021-08-11 13:47:15 +0800440 if (delay_schedule[0].attempt_count.v == 0 ||
441 delay_schedule[0].time_diff.v == 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700442 return PW_ERR_DELAY_SCHEDULE_INVALID;
443
444 for (x = PW_SCHED_COUNT - 1; x > 0; --x) {
445 if (delay_schedule[x].attempt_count.v == 0) {
446 if (delay_schedule[x].time_diff.v != 0)
447 return PW_ERR_DELAY_SCHEDULE_INVALID;
448 } else if (delay_schedule[x].attempt_count.v <=
449 delay_schedule[x - 1].attempt_count.v ||
450 delay_schedule[x].time_diff.v <=
451 delay_schedule[x - 1].time_diff.v) {
452 return PW_ERR_DELAY_SCHEDULE_INVALID;
453 }
454 }
455 return EC_SUCCESS;
456}
457
458static int validate_pcr_value(const struct valid_pcr_value_t
459 valid_pcr_criteria[PW_MAX_PCR_CRITERIA_COUNT])
460{
461 size_t index;
462 uint8_t sha256_of_selected_pcr[SHA256_DIGEST_SIZE];
463
464 for (index = 0; index < PW_MAX_PCR_CRITERIA_COUNT; ++index) {
465 /* The criteria with bitmask[0] = bitmask[1] = 0 is considered
466 * the end of list criteria. If it happens that the first
467 * bitmask is zero, we consider that no criteria has to be
468 * satisfied and return success in that case.
469 */
470 if (valid_pcr_criteria[index].bitmask[0] == 0 &&
471 valid_pcr_criteria[index].bitmask[1] == 0) {
472 if (index == 0)
473 return EC_SUCCESS;
474
475 return PW_ERR_PCR_NOT_MATCH;
476 }
477
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700478 if (pinweaver_eal_get_current_pcr_digest(
479 valid_pcr_criteria[index].bitmask,
480 sha256_of_selected_pcr)) {
481 PINWEAVER_EAL_INFO(
Andrey Pronin9b10e512021-04-13 11:18:53 -0700482 "PinWeaver: Read PCR error, bitmask: %d, %d",
483 valid_pcr_criteria[index].bitmask[0],
484 valid_pcr_criteria[index].bitmask[1]);
485 return PW_ERR_PCR_NOT_MATCH;
486 }
487
488 /* Check if the curent PCR digest is the same as expected by
489 * criteria.
490 */
Yi Chouddf3b452021-08-11 13:40:11 +0800491 if (pinweaver_eal_safe_memcmp(sha256_of_selected_pcr,
492 valid_pcr_criteria[index].digest,
493 SHA256_DIGEST_SIZE) == 0) {
Andrey Pronin9b10e512021-04-13 11:18:53 -0700494 return EC_SUCCESS;
495 }
496 }
497
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700498 PINWEAVER_EAL_INFO("PinWeaver: No criteria matches PCR values");
Andrey Pronin9b10e512021-04-13 11:18:53 -0700499 return PW_ERR_PCR_NOT_MATCH;
500}
501
Leo Lai8c9892c2021-06-22 21:32:02 +0800502static uint32_t expected_payload_len(int minor_version)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700503{
504 switch (minor_version) {
505 case 0:
Howard Yangaa7a8972022-07-26 16:39:36 +0800506#if !BIOMETRICS_DEV
Andrey Pronin9b10e512021-04-13 11:18:53 -0700507 return PW_LEAF_PAYLOAD_SIZE - PW_VALID_PCR_CRITERIA_SIZE;
Howard Yangaa7a8972022-07-26 16:39:36 +0800508#else
509 return PW_LEAF_PAYLOAD_SIZE - PW_VALID_PCR_CRITERIA_SIZE
510 - PW_EXPIRATION_DATA_SIZE - sizeof(struct pw_leaf_type_t);
511 case 1:
512 return PW_LEAF_PAYLOAD_SIZE - PW_EXPIRATION_DATA_SIZE
513 - sizeof(struct pw_leaf_type_t);
514#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -0700515 case PW_LEAF_MINOR_VERSION:
516 return PW_LEAF_PAYLOAD_SIZE;
517 default:
518 return 0;
519 }
520}
521
522static int validate_leaf_header(const struct leaf_header_t *head,
523 uint16_t payload_len, uint16_t aux_hash_len)
524{
525 uint32_t leaf_payload_len = head->pub_len + head->sec_len;
526
527 if (head->leaf_version.major != PW_LEAF_MAJOR_VERSION)
528 return PW_ERR_LEAF_VERSION_MISMATCH;
529
530 if (head->leaf_version.minor <= PW_LEAF_MINOR_VERSION &&
531 leaf_payload_len !=
532 expected_payload_len(head->leaf_version.minor)) {
533 return PW_ERR_LENGTH_INVALID;
534 }
535
536 if (payload_len != leaf_payload_len + aux_hash_len * PW_HASH_SIZE)
537 return PW_ERR_LENGTH_INVALID;
538
Yi Choue416ce32021-08-11 19:57:24 +0800539 if (head->sec_len < sizeof(struct leaf_sensitive_data_t))
540 return PW_ERR_LENGTH_INVALID;
541
Andrey Pronin9b10e512021-04-13 11:18:53 -0700542 return EC_SUCCESS;
543}
544
545/* Common validation for requests that include a path to authenticate. */
546static int validate_request_with_path(const struct merkle_tree_t *merkle_tree,
547 struct label_t path,
548 const uint8_t hashes[][PW_HASH_SIZE],
549 const uint8_t hmac[PW_HASH_SIZE])
550{
551 int ret;
552
553 ret = validate_tree(merkle_tree);
554 if (ret != EC_SUCCESS)
555 return ret;
556
557 ret = validate_label(merkle_tree, path);
558 if (ret != EC_SUCCESS)
559 return ret;
560
561 return authenticate_path(merkle_tree, path, hashes, hmac);
562}
563
564/* Common validation for requests that import a leaf. */
565static int validate_request_with_wrapped_leaf(
566 const struct merkle_tree_t *merkle_tree,
567 uint16_t payload_len,
568 const struct unimported_leaf_data_t *unimported_leaf_data,
569 struct imported_leaf_data_t *imported_leaf_data,
570 struct leaf_data_t *leaf_data)
571{
572 int ret;
573 uint8_t hmac[PW_HASH_SIZE];
574
575 ret = validate_leaf_header(&unimported_leaf_data->head, payload_len,
576 get_path_auxiliary_hash_count(merkle_tree));
577 if (ret != EC_SUCCESS)
578 return ret;
579
580 import_leaf(unimported_leaf_data, imported_leaf_data);
581 ret = validate_request_with_path(merkle_tree,
582 imported_leaf_data->pub->label,
583 imported_leaf_data->hashes,
584 imported_leaf_data->hmac);
585 if (ret != EC_SUCCESS)
586 return ret;
587
Leo Lai788f41e2021-08-11 00:36:24 +0800588 ret = compute_hmac(merkle_tree, imported_leaf_data, hmac);
589 if (ret != EC_SUCCESS)
590 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700591 /* Safe memcmp is used here to prevent an attacker from being able to
592 * brute force a valid HMAC for a crafted wrapped_leaf_data.
593 * memcmp provides an attacker a timing side-channel they can use to
594 * determine how much of a prefix is correct.
595 */
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700596 if (pinweaver_eal_safe_memcmp(hmac, unimported_leaf_data->hmac,
597 sizeof(hmac)))
Andrey Pronin9b10e512021-04-13 11:18:53 -0700598 return PW_ERR_HMAC_AUTH_FAILED;
599
600 ret = decrypt_leaf_data(merkle_tree, imported_leaf_data, leaf_data);
601 if (ret != EC_SUCCESS)
602 return ret;
603
604 /* The code below handles version upgrades. */
605 if (unimported_leaf_data->head.leaf_version.minor == 0 &&
606 unimported_leaf_data->head.leaf_version.major == 0) {
607 /* Populate the leaf_data with default pcr value */
608 memset(&leaf_data->pub.valid_pcr_criteria, 0,
609 PW_VALID_PCR_CRITERIA_SIZE);
610 }
611
Howard Yangaa7a8972022-07-26 16:39:36 +0800612#if BIOMETRICS_DEV
613 if (unimported_leaf_data->head.leaf_version.major == 0 &&
614 unimported_leaf_data->head.leaf_version.minor <= 1) {
615 /* Populate the leaf_data with default expiration timestamp value,
616 * expiration_delay_s will be set to 0 too, meaning the leaf won't
617 * expire.
618 */
619 memset(&leaf_data->pub.expiration_ts, 0, PW_EXPIRATION_DATA_SIZE);
620 /* Populate the leaf_data with default leaf type. */
621 leaf_data->pub.leaf_type.v = PW_LEAF_TYPE_NORMAL;
622 }
623#endif
624
Andrey Pronin9b10e512021-04-13 11:18:53 -0700625 return EC_SUCCESS;
626}
627
628/* Sets the value of ts to the current notion of time. */
629static void update_timestamp(struct pw_timestamp_t *ts)
630{
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700631 ts->timer_value = pinweaver_eal_seconds_since_boot();
Andrey Pronin9b10e512021-04-13 11:18:53 -0700632 ts->boot_count = pw_restart_count;
633}
634
Howard Yangc96c5e82022-07-29 17:11:22 +0800635/* Checks if an auth attempt can be made or not based on the delay schedule:
636 * - EC_SUCCESS is returned when a new attempt can be made,
637 * - PW_ERR_EXPIRED is returned if the leaf is expired, and otherwise
638 * - PW_ERR_RATE_LIMIT_REACHED is returned with seconds_to_wait updated to
639 * the remaining waiting time required.
Andrey Pronin9b10e512021-04-13 11:18:53 -0700640 */
641static int test_rate_limit(struct leaf_data_t *leaf_data,
642 struct time_diff_t *seconds_to_wait)
643{
644 uint64_t ready_time;
645 uint8_t x;
646 struct pw_timestamp_t current_time;
647 struct time_diff_t delay = {0};
648
Howard Yangc96c5e82022-07-29 17:11:22 +0800649 update_timestamp(&current_time);
650
651#if BIOMETRICS_DEV
652 if (leaf_data->pub.expiration_delay_s.v != 0 &&
653 (leaf_data->pub.expiration_ts.boot_count != current_time.boot_count ||
654 leaf_data->pub.expiration_ts.timer_value <= current_time.timer_value)) {
655 return PW_ERR_EXPIRED;
656 }
657#endif
Howard Yangaa7a8972022-07-26 16:39:36 +0800658
Andrey Pronin9b10e512021-04-13 11:18:53 -0700659 /* This loop ends when x is one greater than the index that applies. */
660 for (x = 0; x < ARRAY_SIZE(leaf_data->pub.delay_schedule); ++x) {
661 /* Stop if a null entry is reached. The first part of the delay
662 * schedule has a list of increasing (attempt_count, time_diff)
663 * pairs with any unused entries zeroed out at the end.
664 */
665 if (leaf_data->pub.delay_schedule[x].attempt_count.v == 0)
666 break;
667
668 /* Stop once a delay schedule entry is reached whose
669 * threshold is greater than the current number of
670 * attempts.
671 */
672 if (leaf_data->pub.attempt_count.v <
673 leaf_data->pub.delay_schedule[x].attempt_count.v)
674 break;
675 }
676
677 /* If the first threshold was greater than the current number of
678 * attempts, there is no delay. Otherwise, grab the delay from the
679 * entry prior to the one that was too big.
680 */
681 if (x > 0)
682 delay = leaf_data->pub.delay_schedule[x - 1].time_diff;
683
684 if (delay.v == 0)
685 return EC_SUCCESS;
686
687 if (delay.v == PW_BLOCK_ATTEMPTS) {
688 seconds_to_wait->v = PW_BLOCK_ATTEMPTS;
689 return PW_ERR_RATE_LIMIT_REACHED;
690 }
691
Howard Yang2b189b22022-07-29 11:11:34 +0800692 if (leaf_data->pub.last_access_ts.boot_count == current_time.boot_count)
693 ready_time = delay.v + leaf_data->pub.last_access_ts.timer_value;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700694 else
695 ready_time = delay.v;
696
697 if (current_time.timer_value >= ready_time)
698 return EC_SUCCESS;
699
700 seconds_to_wait->v = ready_time - current_time.timer_value;
701 return PW_ERR_RATE_LIMIT_REACHED;
702}
703
704/******************************************************************************/
705/* Logging implementation.
706 */
707
708/* Once the storage version is incremented, the update code needs to be written
709 * to handle differences in the structs.
710 *
711 * See the two comments "Add storage format updates here." below.
712 */
713BUILD_ASSERT(PW_STORAGE_VERSION == 0);
714
715void force_restart_count(uint32_t mock_value)
716{
717 pw_restart_count = mock_value;
718}
719
720/* Returns EC_SUCCESS if the root hash was found. Sets *index to the first index
721 * of the log entry with a matching root hash, or the index of the last valid
722 * entry.
723 */
724static int find_relevant_entry(const struct pw_log_storage_t *log,
725 const uint8_t root[PW_HASH_SIZE], int *index)
726{
727 /* Find the relevant log entry. */
728 for (*index = 0; *index < PW_LOG_ENTRY_COUNT; ++*index) {
Howard Yangc2f080c2022-07-29 11:28:13 +0800729 if (log->entries[*index].type.v == LOG_PW_MT_INVALID)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700730 break;
Yi Chouddf3b452021-08-11 13:40:11 +0800731 if (pinweaver_eal_safe_memcmp(root, log->entries[*index].root,
732 PW_HASH_SIZE) == 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700733 return EC_SUCCESS;
734 }
735 --*index;
736 return PW_ERR_ROOT_NOT_FOUND;
737}
738
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700739/* TODO(apronin): get rid of temporary redirect methods */
740
Andrey Pronin9b10e512021-04-13 11:18:53 -0700741static int load_log_data(struct pw_log_storage_t *log)
742{
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700743 return pinweaver_eal_storage_get_log(log);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700744}
745
746int store_log_data(const struct pw_log_storage_t *log)
747{
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700748 return pinweaver_eal_storage_set_log(log);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700749}
750
751static int load_merkle_tree(struct merkle_tree_t *merkle_tree)
752{
753 int ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700754
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700755 PINWEAVER_EAL_INFO("PinWeaver: Loading Tree!");
Andrey Pronin9b10e512021-04-13 11:18:53 -0700756
757 /* Handle the immutable data. */
758 {
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700759 struct pw_long_term_storage_t tree;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700760
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700761 ret = pinweaver_eal_storage_get_tree_data(&tree);
762 if (ret != EC_SUCCESS)
763 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700764
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700765 merkle_tree->bits_per_level = tree.bits_per_level;
766 merkle_tree->height = tree.height;
Leo Laidb207912021-08-11 16:41:18 +0800767 ret = pinweaver_eal_memcpy_s(
768 merkle_tree->key_derivation_nonce,
769 sizeof(merkle_tree->key_derivation_nonce),
770 tree.key_derivation_nonce,
771 sizeof(tree.key_derivation_nonce));
772 if (ret != EC_SUCCESS)
773 return ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700774 ret = pinweaver_eal_derive_keys(merkle_tree);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700775 if (ret != EC_SUCCESS)
776 return ret;
777 }
778
779 /* Handle the root hash. */
780 {
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700781 ret = pinweaver_eal_storage_init_state(merkle_tree->root,
782 &pw_restart_count);
783 if (ret != EC_SUCCESS)
784 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700785 }
786
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700787 PINWEAVER_EAL_INFO("PinWeaver: Loaded Tree. restart_count = %d",
Andrey Pronin9b10e512021-04-13 11:18:53 -0700788 pw_restart_count);
789
790 return EC_SUCCESS;
791}
792
793/* This should only be called when a new tree is created. */
794int store_merkle_tree(const struct merkle_tree_t *merkle_tree)
795{
796 int ret;
797
798 /* Handle the immutable data. */
799 {
800 struct pw_long_term_storage_t data;
801
802 data.storage_version = PW_STORAGE_VERSION;
803 data.bits_per_level = merkle_tree->bits_per_level;
804 data.height = merkle_tree->height;
Leo Laidb207912021-08-11 16:41:18 +0800805 ret = pinweaver_eal_memcpy_s(data.key_derivation_nonce,
806 sizeof(data.key_derivation_nonce),
807 merkle_tree->key_derivation_nonce,
808 sizeof(data.key_derivation_nonce));
809 if (ret != EC_SUCCESS)
810 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700811
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700812 ret = pinweaver_eal_storage_set_tree_data(&data);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700813 if (ret != EC_SUCCESS)
814 return ret;
815 }
816
817 /* Handle the root hash. */
818 {
819 struct pw_log_storage_t log = {};
820 struct pw_get_log_entry_t *entry = log.entries;
821
822 log.storage_version = PW_STORAGE_VERSION;
Howard Yangc2f080c2022-07-29 11:28:13 +0800823 entry->type.v = LOG_PW_RESET_TREE;
Leo Laidb207912021-08-11 16:41:18 +0800824 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root),
825 merkle_tree->root,
826 sizeof(merkle_tree->root));
827 if (ret != EC_SUCCESS)
828 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700829
830 ret = store_log_data(&log);
831 if (ret == EC_SUCCESS)
832 pw_restart_count = 0;
833 return ret;
834 }
835
836}
837
838static int log_roll_for_append(struct pw_log_storage_t *log)
839{
840 int ret;
841
842 ret = load_log_data(log);
843 if (ret != EC_SUCCESS)
844 return ret;
845
846 memmove(&log->entries[1], &log->entries[0],
847 sizeof(log->entries[0]) * (PW_LOG_ENTRY_COUNT - 1));
848 memset(&log->entries[0], 0, sizeof(log->entries[0]));
849 return EC_SUCCESS;
850}
851
852int log_insert_leaf(struct label_t label, const uint8_t root[PW_HASH_SIZE],
853 const uint8_t hmac[PW_HASH_SIZE])
854{
855 int ret;
856 struct pw_log_storage_t log;
857 struct pw_get_log_entry_t *entry = log.entries;
858
859 ret = log_roll_for_append(&log);
860 if (ret != EC_SUCCESS)
861 return ret;
862
Howard Yangc2f080c2022-07-29 11:28:13 +0800863 entry->type.v = LOG_PW_INSERT_LEAF;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700864 entry->label.v = label.v;
Leo Laidb207912021-08-11 16:41:18 +0800865 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root), root,
866 sizeof(entry->root));
867 if (ret != EC_SUCCESS)
868 return ret;
869 ret = pinweaver_eal_memcpy_s(entry->leaf_hmac, sizeof(entry->leaf_hmac),
870 hmac, sizeof(entry->leaf_hmac));
871 if (ret != EC_SUCCESS)
872 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700873
874 return store_log_data(&log);
875}
876
877int log_remove_leaf(struct label_t label, const uint8_t root[PW_HASH_SIZE])
878{
879 int ret;
880 struct pw_log_storage_t log;
881 struct pw_get_log_entry_t *entry = log.entries;
882
883 ret = log_roll_for_append(&log);
884 if (ret != EC_SUCCESS)
885 return ret;
886
Howard Yangc2f080c2022-07-29 11:28:13 +0800887 entry->type.v = LOG_PW_REMOVE_LEAF;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700888 entry->label.v = label.v;
Leo Laidb207912021-08-11 16:41:18 +0800889 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root), root,
890 sizeof(entry->root));
891 if (ret != EC_SUCCESS)
892 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700893
894 return store_log_data(&log);
895}
896
897int log_auth(struct label_t label, const uint8_t root[PW_HASH_SIZE], int code,
Howard Yangaa7a8972022-07-26 16:39:36 +0800898 struct pw_timestamp_t last_access_ts,
899 struct pw_timestamp_t expiration_ts)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700900{
901 int ret;
902 struct pw_log_storage_t log;
903 struct pw_get_log_entry_t *entry = log.entries;
904
905 ret = log_roll_for_append(&log);
906 if (ret != EC_SUCCESS)
907 return ret;
908
Howard Yangc2f080c2022-07-29 11:28:13 +0800909 entry->type.v = LOG_PW_TRY_AUTH;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700910 entry->label.v = label.v;
Leo Laidb207912021-08-11 16:41:18 +0800911 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root), root,
912 sizeof(entry->root));
913 if (ret != EC_SUCCESS)
914 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700915 entry->return_code = code;
Howard Yang2b189b22022-07-29 11:11:34 +0800916 ret = pinweaver_eal_memcpy_s(&entry->last_access_ts,
917 sizeof(entry->last_access_ts), &last_access_ts,
918 sizeof(entry->last_access_ts));
Leo Laidb207912021-08-11 16:41:18 +0800919 if (ret != EC_SUCCESS)
920 return ret;
Howard Yangaa7a8972022-07-26 16:39:36 +0800921#if BIOMETRICS_DEV
922 ret = pinweaver_eal_memcpy_s(&entry->expiration_ts,
923 sizeof(entry->expiration_ts), &expiration_ts,
924 sizeof(entry->expiration_ts));
925 if (ret != EC_SUCCESS)
926 return ret;
927#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -0700928
929 return store_log_data(&log);
930}
931
932/******************************************************************************/
933/* Per-request-type handler implementations.
934 */
935
936static int pw_handle_reset_tree(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +0800937 const pw_request_reset_tree_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -0700938 uint16_t req_size)
939{
940 struct merkle_tree_t new_tree = {};
941 int ret;
942
943 if (req_size != sizeof(*request))
944 return PW_ERR_LENGTH_INVALID;
945
946 ret = validate_tree_parameters(request->bits_per_level,
947 request->height);
948 if (ret != EC_SUCCESS)
949 return ret;
950
951 ret = create_merkle_tree(request->bits_per_level, request->height,
952 &new_tree);
953 if (ret != EC_SUCCESS)
954 return ret;
955
956 ret = store_merkle_tree(&new_tree);
957 if (ret != EC_SUCCESS)
958 return ret;
959
Leo Laidb207912021-08-11 16:41:18 +0800960 ret = pinweaver_eal_memcpy_s(merkle_tree, sizeof(*merkle_tree),
961 &new_tree, sizeof(new_tree));
962 if (ret != EC_SUCCESS)
963 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700964 return EC_SUCCESS;
965}
966
Howard Yangbde88942022-08-05 17:59:01 +0800967#if BIOMETRICS_DEV
968
969static int generate_ba_secrets(const struct merkle_tree_t *merkle_tree,
970 uint8_t auth_channel,
971 uint8_t low_entropy_secret[PW_SECRET_SIZE],
972 uint8_t high_entropy_secret[PW_SECRET_SIZE])
973{
974 int ret;
975 struct pw_ba_pk_status_t pk_status;
976 struct pw_ba_pk_t pk;
977 pinweaver_eal_hmac_sha256_ctx_t hmac;
978
979 if (auth_channel >= PW_BA_PK_ENTRY_COUNT) {
980 return PW_ERR_BIO_AUTH_CHANNEL_INVALID;
981 }
982
983 /* An established Pk on the specified auth channel is required
984 * to create a biometrics limiter leaf.
985 */
986 ret = pinweaver_eal_get_ba_pk(auth_channel, &pk_status, &pk);
987 if (ret != EC_SUCCESS)
988 return ret;
989 if (pk_status.v != PW_BA_PK_ESTABLISHED)
990 return PW_ERR_BIO_AUTH_PK_NOT_ESTABLISHED;
991
992 /* hmac-sha256 Pk and auth_channel into LEC. */
993 if (pinweaver_eal_hmac_sha256_init(&hmac, merkle_tree->hmac_key,
994 sizeof(merkle_tree->hmac_key))) {
995 return PW_ERR_CRYPTO_FAILURE;
996 }
997 if (pinweaver_eal_hmac_sha256_update(&hmac, pk.key, PW_SECRET_SIZE)) {
998 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
999 return PW_ERR_CRYPTO_FAILURE;
1000 }
1001 if (pinweaver_eal_hmac_sha256_update(&hmac, &auth_channel,
1002 sizeof(auth_channel))) {
1003 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1004 return PW_ERR_CRYPTO_FAILURE;
1005 }
1006 if (pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret))
1007 return PW_ERR_CRYPTO_FAILURE;
1008
1009 /* Randomly generate LabelSeed, which is HEC too. */
1010 if (pinweaver_eal_rand_bytes(high_entropy_secret, PW_SECRET_SIZE))
1011 return PW_ERR_CRYPTO_FAILURE;
1012
1013 return EC_SUCCESS;
1014}
1015
1016#endif
1017
Andrey Pronin9b10e512021-04-13 11:18:53 -07001018static int pw_handle_insert_leaf(struct merkle_tree_t *merkle_tree,
Howard Yangbde88942022-08-05 17:59:01 +08001019 pw_request_insert_leaf_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001020 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001021 pw_response_insert_leaf_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001022 uint16_t *response_size)
1023{
1024 int ret = EC_SUCCESS;
1025 struct leaf_data_t leaf_data = {};
Leo Lai65749082021-08-10 16:32:18 +08001026 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001027 const uint8_t empty_hash[PW_HASH_SIZE] = {};
1028 uint8_t new_root[PW_HASH_SIZE];
Howard Yangc96c5e82022-07-29 17:11:22 +08001029#if BIOMETRICS_DEV
1030 uint32_t delay_s;
1031#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001032
1033 if (req_size != sizeof(*request) +
1034 get_path_auxiliary_hash_count(merkle_tree) *
1035 PW_HASH_SIZE)
1036 return PW_ERR_LENGTH_INVALID;
1037
1038 ret = validate_request_with_path(merkle_tree, request->label,
1039 request->path_hashes, empty_hash);
1040 if (ret != EC_SUCCESS)
1041 return ret;
1042
1043 ret = validate_delay_schedule(request->delay_schedule);
1044 if (ret != EC_SUCCESS)
1045 return ret;
1046
1047 memset(&leaf_data, 0, sizeof(leaf_data));
1048 leaf_data.pub.label.v = request->label.v;
Leo Laidb207912021-08-11 16:41:18 +08001049 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.valid_pcr_criteria,
1050 sizeof(leaf_data.pub.valid_pcr_criteria),
1051 request->valid_pcr_criteria,
1052 sizeof(request->valid_pcr_criteria));
1053 if (ret != EC_SUCCESS)
1054 return PW_ERR_INTERNAL_FAILURE;
1055 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.delay_schedule,
1056 sizeof(leaf_data.pub.delay_schedule),
1057 &request->delay_schedule,
1058 sizeof(request->delay_schedule));
1059 if (ret != EC_SUCCESS)
1060 return PW_ERR_INTERNAL_FAILURE;
Howard Yangaa7a8972022-07-26 16:39:36 +08001061
1062#if BIOMETRICS_DEV
Howard Yangaa7a8972022-07-26 16:39:36 +08001063 if (request->expiration_delay_s.v != 0) {
Howard Yangc96c5e82022-07-29 17:11:22 +08001064 update_timestamp(&leaf_data.pub.expiration_ts);
1065 delay_s = request->expiration_delay_s.v;
1066 if (leaf_data.pub.expiration_ts.timer_value <= UINT64_MAX - delay_s) {
1067 leaf_data.pub.expiration_ts.timer_value += delay_s;
1068 } else {
1069 // Timer has become too large, and expiration won't work properly.
1070 return PW_ERR_INTERNAL_FAILURE;
1071 }
1072 leaf_data.pub.expiration_delay_s.v = delay_s;
Howard Yangaa7a8972022-07-26 16:39:36 +08001073 }
1074
Howard Yangbde88942022-08-05 17:59:01 +08001075 leaf_data.pub.leaf_type.v = request->leaf_type.v;
1076 if (request->leaf_type.v == PW_LEAF_TYPE_BIOMETRICS) {
1077 /* LEC and HEC need to be populated. */
1078 ret = generate_ba_secrets(
1079 merkle_tree,
1080 request->auth_channel,
1081 request->low_entropy_secret,
1082 request->high_entropy_secret);
1083 if (ret != EC_SUCCESS)
Howard Yang41d5eb22022-09-14 02:16:56 +08001084 return ret;
Howard Yangbde88942022-08-05 17:59:01 +08001085 } else if (request->leaf_type.v != PW_LEAF_TYPE_NORMAL) {
Howard Yangaa7a8972022-07-26 16:39:36 +08001086 return PW_ERR_INTERNAL_FAILURE;
1087 }
1088#endif
1089
Leo Laidb207912021-08-11 16:41:18 +08001090 ret = pinweaver_eal_memcpy_s(&leaf_data.sec.low_entropy_secret,
1091 sizeof(leaf_data.sec.low_entropy_secret),
1092 &request->low_entropy_secret,
1093 sizeof(request->low_entropy_secret));
1094 if (ret != EC_SUCCESS)
1095 return PW_ERR_INTERNAL_FAILURE;
1096 ret = pinweaver_eal_memcpy_s(&leaf_data.sec.high_entropy_secret,
1097 sizeof(leaf_data.sec.high_entropy_secret),
1098 &request->high_entropy_secret,
1099 sizeof(request->high_entropy_secret));
1100 if (ret != EC_SUCCESS)
1101 return PW_ERR_INTERNAL_FAILURE;
1102 ret = pinweaver_eal_memcpy_s(&leaf_data.sec.reset_secret,
1103 sizeof(leaf_data.sec.reset_secret),
1104 &request->reset_secret,
1105 sizeof(request->reset_secret));
1106 if (ret != EC_SUCCESS)
1107 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001108
1109 ret = handle_leaf_update(merkle_tree, &leaf_data, request->path_hashes,
1110 &wrapped_leaf_data, new_root, NULL);
1111 if (ret != EC_SUCCESS)
1112 return ret;
1113
1114 ret = log_insert_leaf(request->label, new_root,
1115 wrapped_leaf_data.hmac);
1116 if (ret != EC_SUCCESS)
1117 return ret;
1118
Leo Laidb207912021-08-11 16:41:18 +08001119 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1120 sizeof(merkle_tree->root), new_root,
1121 sizeof(new_root));
1122 if (ret != EC_SUCCESS)
1123 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001124
Leo Laidb207912021-08-11 16:41:18 +08001125 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1126 sizeof(wrapped_leaf_data),
1127 &wrapped_leaf_data,
1128 sizeof(wrapped_leaf_data));
1129 if (ret != EC_SUCCESS)
1130 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001131
1132 *response_size = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1133
1134 return ret;
1135}
1136
1137static int pw_handle_remove_leaf(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001138 const pw_request_remove_leaf_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001139 uint16_t req_size)
1140{
1141 int ret = EC_SUCCESS;
1142 const uint8_t empty_hash[PW_HASH_SIZE] = {};
1143 uint8_t new_root[PW_HASH_SIZE];
1144
1145 if (req_size != sizeof(*request) +
1146 get_path_auxiliary_hash_count(merkle_tree) *
1147 PW_HASH_SIZE)
1148 return PW_ERR_LENGTH_INVALID;
1149
1150 ret = validate_request_with_path(merkle_tree, request->leaf_location,
1151 request->path_hashes,
1152 request->leaf_hmac);
1153 if (ret != EC_SUCCESS)
1154 return ret;
1155
Leo Lai788f41e2021-08-11 00:36:24 +08001156 ret = compute_root_hash(merkle_tree, request->leaf_location,
1157 request->path_hashes, empty_hash, new_root);
1158 if (ret != EC_SUCCESS)
1159 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001160
1161 ret = log_remove_leaf(request->leaf_location, new_root);
1162 if (ret != EC_SUCCESS)
1163 return ret;
1164
Leo Laidb207912021-08-11 16:41:18 +08001165 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1166 sizeof(merkle_tree->root), new_root,
1167 sizeof(new_root));
1168 if (ret != EC_SUCCESS)
1169 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001170 return ret;
1171}
1172
1173/* Processes a try_auth request.
1174 *
1175 * The valid fields in response based on return code are:
1176 * EC_SUCCESS -> unimported_leaf_data and high_entropy_secret
1177 * PW_ERR_RATE_LIMIT_REACHED -> seconds_to_wait
1178 * PW_ERR_LOWENT_AUTH_FAILED -> unimported_leaf_data
1179 */
1180static int pw_handle_try_auth(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001181 const pw_request_try_auth_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001182 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001183 pw_response_try_auth_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001184 uint16_t *data_length)
1185{
1186 int ret = EC_SUCCESS;
1187 struct leaf_data_t leaf_data = {};
1188 struct imported_leaf_data_t imported_leaf_data;
Andrey Pronin8ec6dc52021-08-12 14:00:09 -07001189 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001190 struct time_diff_t seconds_to_wait;
Howard Yangaa7a8972022-07-26 16:39:36 +08001191 struct pw_timestamp_t expiration_ts = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001192 uint8_t zeros[PW_SECRET_SIZE] = {};
1193 uint8_t new_root[PW_HASH_SIZE];
1194
1195 /* These variables help eliminate the possibility of a timing side
1196 * channel that would allow an attacker to prevent the log write.
1197 */
1198 volatile int auth_result;
1199
1200 volatile struct {
1201 uint32_t attempts;
1202 int ret;
1203 uint8_t *secret;
1204 uint8_t *reset_secret;
1205 } results_table[2] = {
1206 { 0, PW_ERR_LOWENT_AUTH_FAILED, zeros, zeros },
1207 { 0, EC_SUCCESS, leaf_data.sec.high_entropy_secret,
1208 leaf_data.sec.reset_secret },
1209 };
1210
1211 if (req_size < sizeof(*request))
1212 return PW_ERR_LENGTH_INVALID;
1213
1214 ret = validate_request_with_wrapped_leaf(
1215 merkle_tree, req_size - sizeof(*request),
1216 &request->unimported_leaf_data, &imported_leaf_data,
1217 &leaf_data);
1218 if (ret != EC_SUCCESS)
1219 return ret;
1220
1221 /* Check if at least one PCR criteria is satisfied if the leaf is
1222 * bound to PCR.
1223 */
1224 ret = validate_pcr_value(leaf_data.pub.valid_pcr_criteria);
1225 if (ret != EC_SUCCESS)
1226 return ret;
1227
1228 ret = test_rate_limit(&leaf_data, &seconds_to_wait);
1229 if (ret != EC_SUCCESS) {
1230 *data_length = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1231 memset(response, 0, *data_length);
Howard Yangc96c5e82022-07-29 17:11:22 +08001232 if (ret == PW_ERR_RATE_LIMIT_REACHED) {
1233 pinweaver_eal_memcpy_s(&response->seconds_to_wait,
1234 sizeof(response->seconds_to_wait),
1235 &seconds_to_wait,
1236 sizeof(seconds_to_wait));
1237 }
Andrey Pronin9b10e512021-04-13 11:18:53 -07001238 return ret;
1239 }
1240
Howard Yang2b189b22022-07-29 11:11:34 +08001241 update_timestamp(&leaf_data.pub.last_access_ts);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001242
1243 /* Precompute the failed attempts. */
1244 results_table[0].attempts = leaf_data.pub.attempt_count.v;
1245 if (results_table[0].attempts != UINT32_MAX)
1246 ++results_table[0].attempts;
Howard Yangbde88942022-08-05 17:59:01 +08001247 #if BIOMETRICS_DEV
1248 if (leaf_data.pub.leaf_type.v == PW_LEAF_TYPE_BIOMETRICS) {
1249 /* Always increase attempts for biometrics limiter leaf type. */
Howard Yang268a62f2022-09-14 07:54:32 +08001250 results_table[1].ret = PW_ERR_SUCCESS_WITH_INCREMENT;
Howard Yangbde88942022-08-05 17:59:01 +08001251 results_table[1].attempts = results_table[0].attempts;
1252 }
1253 #endif
Howard Yangaa7a8972022-07-26 16:39:36 +08001254
Andrey Pronin9b10e512021-04-13 11:18:53 -07001255 /**********************************************************************/
1256 /* After this:
1257 * 1) results_table should not be changed;
1258 * 2) the runtime of the code paths for failed and successful
1259 * authentication attempts should not diverge.
1260 */
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001261 auth_result = pinweaver_eal_safe_memcmp(
1262 request->low_entropy_secret,
1263 leaf_data.sec.low_entropy_secret,
1264 sizeof(request->low_entropy_secret)) == 0;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001265 leaf_data.pub.attempt_count.v = results_table[auth_result].attempts;
1266
1267 /* This has a non-constant time path, but it doesn't convey information
1268 * about whether a PW_ERR_LOWENT_AUTH_FAILED happened or not.
1269 */
1270 ret = handle_leaf_update(merkle_tree, &leaf_data,
1271 imported_leaf_data.hashes, &wrapped_leaf_data,
1272 new_root, &imported_leaf_data);
1273 if (ret != EC_SUCCESS)
1274 return ret;
1275
Howard Yangaa7a8972022-07-26 16:39:36 +08001276
1277#if BIOMETRICS_DEV
1278 expiration_ts = leaf_data.pub.expiration_ts;
1279#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001280 ret = log_auth(wrapped_leaf_data.pub.label, new_root,
Howard Yangaa7a8972022-07-26 16:39:36 +08001281 results_table[auth_result].ret, leaf_data.pub.last_access_ts,
1282 expiration_ts);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001283 if (ret != EC_SUCCESS) {
Leo Laidb207912021-08-11 16:41:18 +08001284 pinweaver_eal_memcpy_s(new_root, sizeof(new_root),
1285 merkle_tree->root,
1286 sizeof(merkle_tree->root));
Andrey Pronin9b10e512021-04-13 11:18:53 -07001287 return ret;
1288 }
1289 /**********************************************************************/
1290 /* At this point the log should be written so it should be safe for the
1291 * runtime of the code paths to diverge.
1292 */
1293
Leo Laidb207912021-08-11 16:41:18 +08001294 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1295 sizeof(merkle_tree->root), new_root,
1296 sizeof(new_root));
1297 if (ret != EC_SUCCESS)
1298 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001299
1300 *data_length = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1301 memset(response, 0, *data_length);
1302
Leo Laidb207912021-08-11 16:41:18 +08001303 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1304 sizeof(wrapped_leaf_data),
1305 &wrapped_leaf_data,
1306 sizeof(wrapped_leaf_data));
1307 if (ret != EC_SUCCESS)
1308 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001309
Leo Laidb207912021-08-11 16:41:18 +08001310 ret = pinweaver_eal_memcpy_s(&response->high_entropy_secret,
1311 sizeof(response->high_entropy_secret),
1312 results_table[auth_result].secret,
1313 sizeof(response->high_entropy_secret));
1314 if (ret != EC_SUCCESS)
1315 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001316
Leo Laidb207912021-08-11 16:41:18 +08001317 ret = pinweaver_eal_memcpy_s(&response->reset_secret,
1318 sizeof(response->reset_secret),
1319 results_table[auth_result].reset_secret,
1320 sizeof(response->reset_secret));
1321 if (ret != EC_SUCCESS)
1322 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001323
1324 return results_table[auth_result].ret;
1325}
1326
1327static int pw_handle_reset_auth(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001328 const pw_request_reset_auth_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001329 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001330 pw_response_reset_auth_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001331 uint16_t *response_size)
1332{
1333 int ret = EC_SUCCESS;
1334 struct leaf_data_t leaf_data = {};
1335 struct imported_leaf_data_t imported_leaf_data;
Andrey Pronin8ec6dc52021-08-12 14:00:09 -07001336 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Howard Yangaa7a8972022-07-26 16:39:36 +08001337 struct pw_timestamp_t expiration_ts = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001338 uint8_t new_root[PW_HASH_SIZE];
Howard Yangc96c5e82022-07-29 17:11:22 +08001339#if BIOMETRICS_DEV
1340 uint32_t delay_s;
1341#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001342
1343 if (req_size < sizeof(*request))
1344 return PW_ERR_LENGTH_INVALID;
1345
1346 ret = validate_request_with_wrapped_leaf(
1347 merkle_tree, req_size - sizeof(*request),
1348 &request->unimported_leaf_data, &imported_leaf_data,
1349 &leaf_data);
1350 if (ret != EC_SUCCESS)
1351 return ret;
1352
1353 /* Safe memcmp is used here to prevent an attacker from being able to
1354 * brute force the reset secret and use it to unlock the leaf.
1355 * memcmp provides an attacker a timing side-channel they can use to
1356 * determine how much of a prefix is correct.
1357 */
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001358 if (pinweaver_eal_safe_memcmp(request->reset_secret,
1359 leaf_data.sec.reset_secret,
1360 sizeof(request->reset_secret)) != 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -07001361 return PW_ERR_RESET_AUTH_FAILED;
1362
1363 leaf_data.pub.attempt_count.v = 0;
1364
Howard Yangaa7a8972022-07-26 16:39:36 +08001365#if BIOMETRICS_DEV
Howard Yangc96c5e82022-07-29 17:11:22 +08001366 if (request->strong_reset && leaf_data.pub.expiration_delay_s.v != 0) {
1367 update_timestamp(&leaf_data.pub.expiration_ts);
1368 delay_s = leaf_data.pub.expiration_delay_s.v;
1369 if (leaf_data.pub.expiration_ts.timer_value <= UINT64_MAX - delay_s) {
1370 leaf_data.pub.expiration_ts.timer_value += delay_s;
1371 } else {
1372 leaf_data.pub.expiration_ts.timer_value = UINT64_MAX;
1373 }
Howard Yangaa7a8972022-07-26 16:39:36 +08001374 }
1375#endif
1376
Andrey Pronin9b10e512021-04-13 11:18:53 -07001377 ret = handle_leaf_update(merkle_tree, &leaf_data,
1378 imported_leaf_data.hashes, &wrapped_leaf_data,
1379 new_root, &imported_leaf_data);
1380 if (ret != EC_SUCCESS)
1381 return ret;
1382
Howard Yangaa7a8972022-07-26 16:39:36 +08001383#if BIOMETRICS_DEV
1384 expiration_ts = leaf_data.pub.expiration_ts;
1385#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001386 ret = log_auth(leaf_data.pub.label, new_root, ret,
Howard Yangaa7a8972022-07-26 16:39:36 +08001387 leaf_data.pub.last_access_ts, expiration_ts);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001388 if (ret != EC_SUCCESS)
1389 return ret;
1390
Leo Laidb207912021-08-11 16:41:18 +08001391 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1392 sizeof(merkle_tree->root), new_root,
1393 sizeof(new_root));
1394 if (ret != EC_SUCCESS)
1395 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001396
Leo Laidb207912021-08-11 16:41:18 +08001397 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1398 sizeof(wrapped_leaf_data),
1399 &wrapped_leaf_data,
1400 sizeof(wrapped_leaf_data));
1401 if (ret != EC_SUCCESS)
1402 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001403
Howard Yang9f21e3d2022-08-01 18:24:58 +08001404#if !BIOMETRICS_DEV
Leo Laidb207912021-08-11 16:41:18 +08001405 ret = pinweaver_eal_memcpy_s(response->high_entropy_secret,
1406 sizeof(response->high_entropy_secret),
1407 leaf_data.sec.high_entropy_secret,
1408 sizeof(response->high_entropy_secret));
Howard Yang9f21e3d2022-08-01 18:24:58 +08001409#endif
Leo Laidb207912021-08-11 16:41:18 +08001410 if (ret != EC_SUCCESS)
1411 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001412
1413 *response_size = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1414
1415 return ret;
1416}
1417
1418static int pw_handle_get_log(const struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001419 const pw_request_get_log_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001420 uint16_t req_size,
1421 struct pw_get_log_entry_t response[],
1422 uint16_t *response_size)
1423{
1424 int ret;
1425 int x;
1426 struct pw_log_storage_t log;
1427
1428 if (req_size != sizeof(*request))
1429 return PW_ERR_LENGTH_INVALID;
1430
1431 ret = validate_tree(merkle_tree);
1432 if (ret != EC_SUCCESS)
1433 return ret;
1434
1435 ret = load_log_data(&log);
1436 if (ret != EC_SUCCESS)
1437 return ret;
1438
1439 /* Find the relevant log entry. The return value isn't used because if
1440 * the entry isn't found the entire log is returned. This makes it
1441 * easier to recover when the log is too short.
1442 *
1443 * Here is an example:
1444 * 50 attempts have been made against a leaf that becomes out of sync
1445 * because of a disk flush failing. The copy of the leaf on disk is
1446 * behind by 50 and the log contains less than 50 entries. The CrOS
1447 * implementation can check the public parameters of the local copy with
1448 * the log entry to determine that leaf is out of sync. It can then send
1449 * any valid copy of that leaf with a log replay request that will only
1450 * succeed if the HMAC of the resulting leaf matches the log entry.
1451 */
1452 find_relevant_entry(&log, request->root, &x);
1453 /* If there are no valid entries, return. */
1454 if (x < 0)
1455 return EC_SUCCESS;
1456
1457 /* Copy the entries in reverse order. */
1458 while (1) {
Leo Laidb207912021-08-11 16:41:18 +08001459 ret = pinweaver_eal_memcpy_s(&response[x], sizeof(response[x]),
1460 &log.entries[x],
1461 sizeof(log.entries[x]));
1462 if (ret != EC_SUCCESS)
1463 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001464 *response_size += sizeof(log.entries[x]);
1465 if (x == 0)
1466 break;
1467 --x;
1468 }
1469
1470 return EC_SUCCESS;
1471}
1472
1473static int pw_handle_log_replay(const struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001474 const pw_request_log_replay_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001475 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001476 pw_response_log_replay_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001477 uint16_t *response_size)
1478{
1479 int ret;
1480 int x;
1481 struct pw_log_storage_t log;
1482 struct leaf_data_t leaf_data = {};
1483 struct imported_leaf_data_t imported_leaf_data;
Andrey Pronin8ec6dc52021-08-12 14:00:09 -07001484 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001485 uint8_t hmac[PW_HASH_SIZE];
1486 uint8_t root[PW_HASH_SIZE];
1487
1488 if (req_size < sizeof(*request))
1489 return PW_ERR_LENGTH_INVALID;
1490
1491 ret = validate_tree(merkle_tree);
1492 if (ret != EC_SUCCESS)
1493 return ret;
1494
1495 /* validate_request_with_wrapped_leaf() isn't used here because the
1496 * path validation is delayed to allow any valid copy of the same leaf
1497 * to be used in the replay operation as long as the result passes path
1498 * validation.
1499 */
1500 ret = validate_leaf_header(&request->unimported_leaf_data.head,
1501 req_size - sizeof(*request),
1502 get_path_auxiliary_hash_count(merkle_tree));
1503 if (ret != EC_SUCCESS)
1504 return ret;
1505
1506 import_leaf(&request->unimported_leaf_data, &imported_leaf_data);
1507
1508 ret = load_log_data(&log);
1509 if (ret != EC_SUCCESS)
1510 return ret;
1511
1512 /* Find the relevant log entry. */
1513 ret = find_relevant_entry(&log, request->log_root, &x);
1514 if (ret != EC_SUCCESS)
1515 return ret;
1516
1517 /* The other message types don't need to be handled by Cr50. */
Howard Yangc2f080c2022-07-29 11:28:13 +08001518 if (log.entries[x].type.v != LOG_PW_TRY_AUTH)
Andrey Pronin9b10e512021-04-13 11:18:53 -07001519 return PW_ERR_TYPE_INVALID;
1520
Leo Lai788f41e2021-08-11 00:36:24 +08001521 ret = compute_hmac(merkle_tree, &imported_leaf_data, hmac);
1522 if (ret != EC_SUCCESS)
1523 return ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001524 if (pinweaver_eal_safe_memcmp(hmac,
1525 request->unimported_leaf_data.hmac,
1526 sizeof(hmac)))
Andrey Pronin9b10e512021-04-13 11:18:53 -07001527 return PW_ERR_HMAC_AUTH_FAILED;
1528
1529 ret = decrypt_leaf_data(merkle_tree, &imported_leaf_data, &leaf_data);
1530 if (ret != EC_SUCCESS)
1531 return ret;
1532
1533 if (leaf_data.pub.label.v != log.entries[x].label.v)
1534 return PW_ERR_LABEL_INVALID;
1535
1536 /* Update the metadata to match the log. */
1537 if (log.entries[x].return_code == EC_SUCCESS)
1538 leaf_data.pub.attempt_count.v = 0;
1539 else
1540 ++leaf_data.pub.attempt_count.v;
Howard Yang2b189b22022-07-29 11:11:34 +08001541 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.last_access_ts,
1542 sizeof(leaf_data.pub.last_access_ts),
1543 &log.entries[x].last_access_ts,
1544 sizeof(leaf_data.pub.last_access_ts));
Leo Laidb207912021-08-11 16:41:18 +08001545 if (ret != EC_SUCCESS)
1546 return PW_ERR_INTERNAL_FAILURE;
Howard Yangaa7a8972022-07-26 16:39:36 +08001547#if BIOMETRICS_DEV
1548 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.expiration_ts,
1549 sizeof(leaf_data.pub.expiration_ts),
1550 &log.entries[x].expiration_ts,
1551 sizeof(leaf_data.pub.expiration_ts));
1552 if (ret != EC_SUCCESS)
1553 return PW_ERR_INTERNAL_FAILURE;
1554#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001555
1556 ret = handle_leaf_update(merkle_tree, &leaf_data,
1557 imported_leaf_data.hashes, &wrapped_leaf_data,
1558 root, &imported_leaf_data);
1559 if (ret != EC_SUCCESS)
1560 return ret;
1561
Yi Chouddf3b452021-08-11 13:40:11 +08001562 if (pinweaver_eal_safe_memcmp(root, log.entries[x].root, PW_HASH_SIZE))
Andrey Pronin9b10e512021-04-13 11:18:53 -07001563 return PW_ERR_PATH_AUTH_FAILED;
1564
Leo Laidb207912021-08-11 16:41:18 +08001565 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1566 sizeof(wrapped_leaf_data),
1567 &wrapped_leaf_data,
1568 sizeof(wrapped_leaf_data));
1569 if (ret != EC_SUCCESS)
1570 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001571
1572 *response_size = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1573
1574 return EC_SUCCESS;
1575}
1576
Howard Yangf3a5e9f2022-08-01 21:52:27 +08001577#if BIOMETRICS_DEV
1578static int pw_handle_sys_info(pw_response_sys_info_t *response,
1579 uint16_t *response_size)
1580{
1581 update_timestamp(&response->current_ts);
1582 *response_size = sizeof(*response);
1583 return EC_SUCCESS;
1584}
Howard Yangfad8b972022-08-05 16:58:33 +08001585
1586static int pw_handle_generate_pk(struct merkle_tree_t *merkle_tree,
1587 const pw_request_generate_ba_pk_t *request,
1588 uint16_t req_size,
1589 pw_response_generate_ba_pk_t *response,
1590 uint16_t *response_size)
1591{
1592 int ret;
1593 uint8_t auth_channel;
1594 struct pw_ba_pk_status_t pk_status;
1595 struct pw_ba_pk_t pk;
1596 uint8_t secret[PW_SECRET_SIZE];
1597 size_t secret_size = PW_SECRET_SIZE;
1598 pinweaver_eal_sha256_ctx_t sha;
1599
1600 if (req_size != sizeof(*request))
1601 return PW_ERR_LENGTH_INVALID;
1602 auth_channel = request->auth_channel;
1603
1604 /* Currently we only support v0 public key format. */
1605 if (request->client_pbk.version != 0) {
1606 return PW_ERR_BIO_AUTH_PUBLIC_KEY_VERSION_MISMATCH;
1607 }
1608 response->server_pbk.version = 0;
1609
1610 if (auth_channel >= PW_BA_PK_ENTRY_COUNT) {
1611 return PW_ERR_BIO_AUTH_CHANNEL_INVALID;
1612 }
1613
1614 /* Pk can only be generated on the specified auth_channel slot
1615 * if no Pk is established yet and it's not blocked.
1616 */
1617 ret = pinweaver_eal_get_ba_pk(auth_channel, &pk_status, &pk);
1618 if (ret != EC_SUCCESS)
1619 return ret;
1620 if (pk_status.v != PW_BA_PK_NOT_ESTABLISHED)
1621 return PW_ERR_BIO_AUTH_ACCESS_DENIED;
1622
1623 /* Perform ECDH to derive the shared secret. */
1624 ret = pinweaver_eal_ecdh_derive(&request->client_pbk.pt,
1625 secret, &secret_size, &response->server_pbk.pt);
1626 if (ret != EC_SUCCESS)
1627 return ret;
1628 if (secret_size != PW_SECRET_SIZE)
1629 return PW_ERR_INTERNAL_FAILURE;
1630
1631 /* sha256 the shared secret into Pk. */
1632 if (pinweaver_eal_sha256_init(&sha)) {
1633 return PW_ERR_CRYPTO_FAILURE;
1634 }
1635 if (pinweaver_eal_sha256_update(&sha, secret, secret_size)) {
1636 pinweaver_eal_sha256_final(&sha, pk.key);
1637 return PW_ERR_CRYPTO_FAILURE;
1638 }
1639 if (pinweaver_eal_sha256_final(&sha, pk.key))
1640 return PW_ERR_CRYPTO_FAILURE;
1641
1642 /* Persist the Pk. */
1643 ret = pinweaver_eal_set_ba_pk(auth_channel, &pk);
1644 if (ret != EC_SUCCESS)
1645 return ret;
1646
1647 *response_size = sizeof(*response);
1648 return EC_SUCCESS;
1649}
Howard Yangae6a9182022-08-08 12:24:19 +08001650
1651static int calculate_session_key(const uint8_t client_nonce[PW_SECRET_SIZE],
1652 const uint8_t server_nonce[PW_SECRET_SIZE],
1653 const struct pw_ba_pk_t *pk,
1654 uint8_t session_key[PW_SECRET_SIZE])
1655{
1656 pinweaver_eal_sha256_ctx_t sha;
1657
1658 /* Session key = hash(client_nonce, server_nonce, Pk) */
1659 if (pinweaver_eal_sha256_init(&sha)) {
1660 return PW_ERR_CRYPTO_FAILURE;
1661 }
1662 if (pinweaver_eal_sha256_update(&sha, client_nonce, PW_SECRET_SIZE)) {
1663 pinweaver_eal_sha256_final(&sha, session_key);
1664 return PW_ERR_CRYPTO_FAILURE;
1665 }
1666 if (pinweaver_eal_sha256_update(&sha, server_nonce, PW_SECRET_SIZE)) {
1667 pinweaver_eal_sha256_final(&sha, session_key);
1668 return PW_ERR_CRYPTO_FAILURE;
1669 }
1670 if (pinweaver_eal_sha256_update(&sha, pk->key, PW_SECRET_SIZE)) {
1671 pinweaver_eal_sha256_final(&sha, session_key);
1672 return PW_ERR_CRYPTO_FAILURE;
1673 }
1674 if (pinweaver_eal_sha256_final(&sha, session_key))
1675 return PW_ERR_CRYPTO_FAILURE;
1676
1677 return EC_SUCCESS;
1678}
1679
1680static int pw_handle_start_bio_auth(struct merkle_tree_t *merkle_tree,
1681 pw_request_start_bio_auth_t *request,
1682 uint16_t req_size,
1683 pw_response_start_bio_auth_t *response,
1684 uint16_t *response_size)
1685{
1686 int ret;
1687 uint8_t auth_channel;
1688 uint8_t *low_entropy_secret, *client_nonce;
1689 uint8_t high_entropy_secret[PW_SECRET_SIZE];
1690 uint8_t session_key[PW_SECRET_SIZE], server_nonce[PW_SECRET_SIZE];
1691 struct pw_ba_pk_status_t pk_status;
1692 struct pw_ba_pk_t pk;
1693 pinweaver_eal_hmac_sha256_ctx_t hmac;
1694 size_t source_offset, dest_offset;
1695 uint16_t source_size;
1696 /* We share the response buffer to prevent allocating extra space. */
1697 pw_response_try_auth_t * const try_auth_response =
1698 (pw_response_try_auth_t *)response;
1699
1700 /* We leave the h_aux length validation to pw_handle_try_auth. */
1701 if (req_size < sizeof(*request))
1702 return PW_ERR_LENGTH_INVALID;
1703 auth_channel = request->auth_channel;
1704 client_nonce = request->client_nonce;
1705 low_entropy_secret = request->uninit_request.low_entropy_secret;
1706
1707 if (auth_channel >= PW_BA_PK_ENTRY_COUNT) {
1708 return PW_ERR_BIO_AUTH_CHANNEL_INVALID;
1709 }
1710
1711 /* An established Pk on the specified auth channel is required
1712 * to authenticate a rate-limiter.
1713 */
1714 ret = pinweaver_eal_get_ba_pk(auth_channel, &pk_status, &pk);
1715 if (ret != EC_SUCCESS)
1716 return ret;
1717 if (pk_status.v != PW_BA_PK_ESTABLISHED)
1718 return PW_ERR_BIO_AUTH_PK_NOT_ESTABLISHED;
1719
1720 /* hmac-sha256 Pk and label into LEC. */
1721 if (pinweaver_eal_hmac_sha256_init(&hmac, merkle_tree->hmac_key,
1722 sizeof(merkle_tree->hmac_key))) {
1723 return PW_ERR_CRYPTO_FAILURE;
1724 }
1725 if (pinweaver_eal_hmac_sha256_update(&hmac, pk.key, PW_SECRET_SIZE)) {
1726 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1727 return PW_ERR_CRYPTO_FAILURE;
1728 }
1729 if (pinweaver_eal_hmac_sha256_update(&hmac, &auth_channel,
1730 sizeof(auth_channel))) {
1731 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1732 return PW_ERR_CRYPTO_FAILURE;
1733 }
1734 if (pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret))
1735 return PW_ERR_CRYPTO_FAILURE;
1736
1737 /* Perform nonce exchange to generate session key. */
1738 if (pinweaver_eal_rand_bytes(server_nonce, PW_SECRET_SIZE))
1739 return PW_ERR_CRYPTO_FAILURE;
1740 calculate_session_key(client_nonce, server_nonce, &pk, session_key);
1741
1742 /* Handle try_auth return codes.
1743 * Note that we should limit the errors that could happen after
1744 * performing try_auth because the merkle tree root is already
1745 * updated, and we want to make sure the client gets the suitable
1746 * error codes if unimported_leaf_data is provided in the response.
1747 * Therefore, we only allow unexpected errors (internal and crypto errors)
1748 * starting from this point.
1749 */
1750 ret = pw_handle_try_auth(
1751 merkle_tree,
1752 &request->uninit_request,
1753 req_size - offsetof(pw_request_start_bio_auth_t, uninit_request),
1754 try_auth_response,
1755 response_size);
1756 switch (ret) {
Howard Yang268a62f2022-09-14 07:54:32 +08001757 case PW_ERR_SUCCESS_WITH_INCREMENT:
Howard Yangae6a9182022-08-08 12:24:19 +08001758 case PW_ERR_LOWENT_AUTH_FAILED: {
1759 /* We need HEC later, and the response might be overwritten
1760 * before we use it, so copy it first.
1761 */
1762 if (pinweaver_eal_memcpy_s(
1763 high_entropy_secret,
1764 PW_SECRET_SIZE,
1765 try_auth_response->high_entropy_secret,
1766 PW_SECRET_SIZE)) {
1767 return PW_ERR_INTERNAL_FAILURE;
1768 }
1769
1770 /* Move the unimported leaf data to the correct position. */
1771 source_offset = offsetof(pw_response_try_auth_t, unimported_leaf_data);
1772 dest_offset =
1773 offsetof(pw_response_start_bio_auth_t, unimported_leaf_data);
1774 source_size = *response_size - source_offset;
1775 *response_size = dest_offset + source_size;
1776 memmove(&response->unimported_leaf_data,
1777 &try_auth_response->unimported_leaf_data,
1778 source_size);
1779 if (ret == PW_ERR_LOWENT_AUTH_FAILED)
1780 return PW_ERR_LOWENT_AUTH_FAILED;
1781 break;
1782 }
Howard Yang268a62f2022-09-14 07:54:32 +08001783 /* The return code shouldn't be EC_SUCCESS when doing try_auth
1784 * for a biometrics leaf.
1785 */
1786 case EC_SUCCESS: {
1787 return PW_ERR_INTERNAL_FAILURE;
1788 }
Howard Yangae6a9182022-08-08 12:24:19 +08001789 /* Other error codes have no valid fields in the response. */
1790 default: {
1791 *response_size = 0;
1792 return ret;
1793 }
1794 }
1795
1796 /* Encrypt the HEC using session key, and fill in other response fields. */
1797 if (pinweaver_eal_rand_bytes(response->iv, sizeof(response->iv)))
1798 return PW_ERR_CRYPTO_FAILURE;
1799 if (pinweaver_eal_aes256_ctr(session_key,
1800 PW_SECRET_SIZE,
1801 response->iv,
1802 high_entropy_secret,
1803 PW_SECRET_SIZE,
1804 response->encrypted_high_entropy_secret)) {
1805 return PW_ERR_CRYPTO_FAILURE;
1806 }
1807 if (pinweaver_eal_memcpy_s(
1808 response->server_nonce,
1809 PW_SECRET_SIZE,
1810 server_nonce,
1811 PW_SECRET_SIZE)) {
1812 return PW_ERR_INTERNAL_FAILURE;
1813 }
1814
1815 return EC_SUCCESS;
1816}
Howard Yangf3a5e9f2022-08-01 21:52:27 +08001817#endif
1818
Andrey Pronin9b10e512021-04-13 11:18:53 -07001819struct merkle_tree_t pw_merkle_tree;
1820
Andrey Pronin9b10e512021-04-13 11:18:53 -07001821/******************************************************************************/
1822/* Non-static functions.
1823 */
1824
1825void pinweaver_init(void)
1826{
1827 load_merkle_tree(&pw_merkle_tree);
1828}
1829
1830int get_path_auxiliary_hash_count(const struct merkle_tree_t *merkle_tree)
1831{
1832 return ((1 << merkle_tree->bits_per_level.v) - 1) *
1833 merkle_tree->height.v;
1834}
1835
1836/* Computes the SHA256 parent hash of a set of child hashes given num_hashes
1837 * sibling hashes in hashes[] and the index of child_hash.
1838 *
1839 * Assumptions:
1840 * num_hashes == fan_out - 1
1841 * ARRAY_SIZE(hashes) == num_hashes
1842 * 0 <= location <= num_hashes
1843 */
Leo Lai788f41e2021-08-11 00:36:24 +08001844int compute_hash(const uint8_t hashes[][PW_HASH_SIZE], uint16_t num_hashes,
1845 struct index_t location,
1846 const uint8_t child_hash[PW_HASH_SIZE],
1847 uint8_t result[PW_HASH_SIZE])
Andrey Pronin9b10e512021-04-13 11:18:53 -07001848{
Leo Lai788f41e2021-08-11 00:36:24 +08001849 int ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001850 pinweaver_eal_sha256_ctx_t ctx;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001851
Leo Lai788f41e2021-08-11 00:36:24 +08001852 ret = pinweaver_eal_sha256_init(&ctx);
1853 if (ret)
1854 return ret;
Yi Chou89f8d532021-08-12 16:36:46 +08001855 if (location.v > 0) {
1856 ret = pinweaver_eal_sha256_update(&ctx, hashes[0],
1857 PW_HASH_SIZE * location.v);
1858 if (ret) {
1859 pinweaver_eal_sha256_final(&ctx, result);
1860 return ret;
1861 }
Leo Lai788f41e2021-08-11 00:36:24 +08001862 }
1863 ret = pinweaver_eal_sha256_update(&ctx, child_hash, PW_HASH_SIZE);
1864 if (ret) {
1865 pinweaver_eal_sha256_final(&ctx, result);
1866 return ret;
1867 }
1868 if (location.v < num_hashes) {
1869 ret = pinweaver_eal_sha256_update(
1870 &ctx, hashes[location.v],
1871 PW_HASH_SIZE * (num_hashes - location.v));
1872 if (ret) {
1873 pinweaver_eal_sha256_final(&ctx, result);
1874 return ret;
1875 }
1876 }
1877 return pinweaver_eal_sha256_final(&ctx, result);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001878}
1879
1880/* If a request from older protocol comes, this method should make it
1881 * compatible with the current request structure.
1882 */
1883int make_compatible_request(struct merkle_tree_t *merkle_tree,
1884 struct pw_request_t *request)
1885{
1886 switch (request->header.version) {
1887 case 0:
1888 /* The switch from protocol version 0 to 1 means all the
1889 * requests have the same format, except insert_leaf.
1890 * Update the request in that case.
1891 */
1892 if (request->header.type.v == PW_INSERT_LEAF) {
1893 unsigned char *src = (unsigned char *)
1894 (&request->data.insert_leaf00.path_hashes);
1895 unsigned char *dest = (unsigned char *)
Howard Yangaa7a8972022-07-26 16:39:36 +08001896 (&request->data.insert_leaf01.path_hashes);
Yi Chouc3901ca2021-08-11 14:11:15 +08001897 const uint16_t src_size =
1898 request->header.data_length -
1899 offsetof(struct pw_request_insert_leaf00_t,
1900 path_hashes);
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001901 if (offsetof(struct pw_request_insert_leaf01_t,
Andrey Proninee44ef02021-08-13 15:11:38 -07001902 path_hashes) + src_size >
1903 PW_MAX_MESSAGE_SIZE) {
Yi Chouc3901ca2021-08-11 14:11:15 +08001904 /* The total length of request overflowed. */
1905 return 0;
1906 }
1907 memmove(dest, src, src_size);
Howard Yangaa7a8972022-07-26 16:39:36 +08001908 memset(&request->data.insert_leaf01.valid_pcr_criteria, 0,
Yi Chouc3901ca2021-08-11 14:11:15 +08001909 PW_VALID_PCR_CRITERIA_SIZE);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001910 request->header.data_length +=
1911 PW_VALID_PCR_CRITERIA_SIZE;
1912 }
1913 /* Fallthrough to make compatible from next version */
Leo Lai8c9892c2021-06-22 21:32:02 +08001914 __attribute__((fallthrough));
Howard Yangaa7a8972022-07-26 16:39:36 +08001915#if BIOMETRICS_DEV
1916 case 1:
1917 /* The switch from protocol version 1 to 2 means all the
1918 * requests have the same format, except insert_leaf and
1919 * reset_auth.
1920 * Update the request in that case.
1921 */
1922 if (request->header.type.v == PW_INSERT_LEAF) {
1923 unsigned char *src = (unsigned char *)
1924 (&request->data.insert_leaf01.path_hashes);
1925 unsigned char *dest = (unsigned char *)
1926 (&request->data.insert_leaf.path_hashes);
1927 const size_t src_offset = offsetof(struct pw_request_insert_leaf01_t,
1928 path_hashes);
1929 const size_t dest_offset = offsetof(struct pw_request_insert_leaf02_t,
1930 path_hashes);
1931 const uint16_t src_size = request->header.data_length - src_offset;
1932 if (dest_offset + src_size > PW_MAX_MESSAGE_SIZE) {
1933 /* The total length of request overflowed. */
1934 return 0;
1935 }
1936 memmove(dest, src, src_size);
1937 request->data.insert_leaf.expiration_delay_s.v = 0;
1938 request->data.insert_leaf.leaf_type.v = PW_LEAF_TYPE_NORMAL;
1939 request->header.data_length += dest_offset - src_offset;
1940 } else if (request->header.type.v == PW_RESET_AUTH) {
1941 unsigned char *src = (unsigned char *)
1942 (&request->data.reset_auth00.unimported_leaf_data);
1943 unsigned char *dest = (unsigned char *)
1944 (&request->data.reset_auth.unimported_leaf_data);
1945 const uint16_t src_size =
1946 request->header.data_length -
1947 offsetof(struct pw_request_reset_auth00_t,
1948 unimported_leaf_data);
1949 if (offsetof(struct pw_request_reset_auth02_t,
1950 unimported_leaf_data) + src_size >
1951 PW_MAX_MESSAGE_SIZE) {
1952 /* The total length of request overflowed. */
1953 return 0;
1954 }
1955 memmove(dest, src, src_size);
1956 request->data.reset_auth.strong_reset = 0;
1957 request->header.data_length += 1;
1958 }
1959 /* Fallthrough to make compatible from next version */
1960 __attribute__((fallthrough));
1961#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001962 case PW_PROTOCOL_VERSION:
1963 return 1;
1964 }
1965 /* Unsupported version. */
1966 return 0;
1967}
1968
1969/* Converts the response to be understandable by an older protocol.
1970 */
1971void make_compatible_response(int version, int req_type,
1972 struct pw_response_t *response)
1973{
Howard Yangaa7a8972022-07-26 16:39:36 +08001974#if BIOMETRICS_DEV
1975 size_t offset;
1976#endif
1977
Andrey Pronin9b10e512021-04-13 11:18:53 -07001978 if (version >= PW_PROTOCOL_VERSION)
1979 return;
1980
1981 response->header.version = version;
1982 if (version == 0) {
1983 if (req_type == PW_TRY_AUTH) {
1984 unsigned char *src = (unsigned char *)
1985 (&response->data.try_auth.unimported_leaf_data);
1986 unsigned char *dest = (unsigned char *)
1987 (&response->data.try_auth00.unimported_leaf_data);
1988 memmove(dest, src,
1989 PW_LEAF_PAYLOAD_SIZE +
1990 sizeof(struct unimported_leaf_data_t));
1991 response->header.data_length -= PW_SECRET_SIZE;
1992 }
1993 }
Howard Yangaa7a8972022-07-26 16:39:36 +08001994
1995#if BIOMETRICS_DEV
1996 if (version <= 1) {
1997 if (req_type == PW_GET_LOG) {
1998 for (offset = 0;
1999 offset + sizeof(struct pw_get_log_entry_t) <=
2000 response->header.data_length;
2001 offset += sizeof(struct pw_get_log_entry_t)) {
2002 struct pw_get_log_entry_t * entry =
2003 (struct pw_get_log_entry_t *) (response->data.get_log + offset);
2004 /* LOG_PW_TRY_AUTH00's union variant is the prefix of
2005 * LOG_PW_TRY_AUTH's, so we can just change the type here.
2006 */
2007 if (entry->type.v == LOG_PW_TRY_AUTH)
2008 entry->type.v = LOG_PW_TRY_AUTH00;
2009 }
Howard Yang9f21e3d2022-08-01 18:24:58 +08002010 } else if (req_type == PW_RESET_AUTH) {
2011 unsigned char *src = (unsigned char *)
2012 (&response->data.reset_auth02.unimported_leaf_data);
2013 unsigned char *dest = (unsigned char *)
2014 (&response->data.reset_auth00.unimported_leaf_data);
2015 memmove(dest, src,
2016 PW_LEAF_PAYLOAD_SIZE +
2017 sizeof(struct unimported_leaf_data_t));
2018 /* clients from protocol version <= 1 won't be able to retrieve
2019 * the HEC from reset_auth anymore, they can parse the response
2020 * with same structure but need to deal with the logical change
2021 * themselves.
2022 */
2023 memset(response->data.reset_auth00.high_entropy_secret, 0,
2024 PW_SECRET_SIZE);
2025 response->header.data_length += PW_SECRET_SIZE;
Howard Yangaa7a8972022-07-26 16:39:36 +08002026 }
2027 }
2028#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07002029}
2030
Andrey Pronincd7bcce2021-04-14 00:54:12 -07002031enum pinweaver_command_res_t pinweaver_command(void *request_buf,
2032 size_t request_size,
2033 void *response_buf,
2034 size_t *response_size) {
2035 struct pw_request_t *request = request_buf;
2036 struct pw_response_t *response = response_buf;
2037
2038 if (request_size < sizeof(request->header)) {
2039 PINWEAVER_EAL_INFO(
2040 "PinWeaver: message smaller than a header (%zd).\n",
2041 request_size);
2042 return PW_CMD_RES_TOO_SMALL;
2043 }
2044
2045 if (request_size != request->header.data_length +
2046 sizeof(request->header)) {
2047 PINWEAVER_EAL_INFO(
2048 "PinWeaver: header size mismatch %zd != %zd.\n",
2049 request_size,
2050 request->header.data_length + sizeof(request->header));
2051 return PW_CMD_RES_SIZE;
2052 }
2053
2054 /* The response_size is validated by compile time checks. */
2055
2056 /* The return value of this function call is intentionally unused. */
2057 pw_handle_request(&pw_merkle_tree, request, response);
2058
2059 *response_size = response->header.data_length +
2060 sizeof(response->header);
2061
2062 /* The response is only sent for EC_SUCCESS so it is used even for
2063 * errors which are reported through header.return_code.
2064 */
2065 return PW_CMD_RES_SUCCESS;
2066}
2067
2068
Andrey Pronin9b10e512021-04-13 11:18:53 -07002069/* Handles the message in request using the context in merkle_tree and writes
2070 * the results to response. The return value captures any error conditions that
2071 * occurred or EC_SUCCESS if there were no errors.
2072 *
2073 * This implementation is written to handle the case where request and response
2074 * exist at the same memory location---are backed by the same buffer. This means
2075 * the implementation requires that no reads are made to request after response
2076 * has been written to.
2077 */
2078int pw_handle_request(struct merkle_tree_t *merkle_tree,
2079 struct pw_request_t *request,
2080 struct pw_response_t *response)
2081{
2082 int32_t ret;
2083 uint16_t resp_length;
2084 /* Store the message type of the request since it may be overwritten
2085 * inside the switch whenever response and request overlap in memory.
2086 */
2087 struct pw_message_type_t type = request->header.type;
2088 int version = request->header.version;
2089
2090 resp_length = 0;
2091
2092 if (!make_compatible_request(merkle_tree, request)) {
2093 ret = PW_ERR_VERSION_MISMATCH;
2094 goto cleanup;
2095 }
2096 switch (type.v) {
2097 case PW_RESET_TREE:
2098 ret = pw_handle_reset_tree(merkle_tree,
2099 &request->data.reset_tree,
2100 request->header.data_length);
2101 break;
2102 case PW_INSERT_LEAF:
2103 ret = pw_handle_insert_leaf(merkle_tree,
2104 &request->data.insert_leaf,
2105 request->header.data_length,
2106 &response->data.insert_leaf,
2107 &resp_length);
2108 break;
2109 case PW_REMOVE_LEAF:
2110 ret = pw_handle_remove_leaf(merkle_tree,
2111 &request->data.remove_leaf,
2112 request->header.data_length);
2113 break;
2114 case PW_TRY_AUTH:
2115 ret = pw_handle_try_auth(merkle_tree, &request->data.try_auth,
2116 request->header.data_length,
2117 &response->data.try_auth,
2118 &resp_length);
2119 break;
2120 case PW_RESET_AUTH:
2121 ret = pw_handle_reset_auth(merkle_tree,
2122 &request->data.reset_auth,
2123 request->header.data_length,
2124 &response->data.reset_auth,
2125 &resp_length);
2126 break;
2127 case PW_GET_LOG:
2128 ret = pw_handle_get_log(merkle_tree, &request->data.get_log,
2129 request->header.data_length,
2130 (void *)&response->data, &resp_length);
2131 break;
2132 case PW_LOG_REPLAY:
2133 ret = pw_handle_log_replay(merkle_tree,
2134 &request->data.log_replay,
2135 request->header.data_length,
2136 &response->data.log_replay,
2137 &resp_length);
2138 break;
Howard Yangf3a5e9f2022-08-01 21:52:27 +08002139#if BIOMETRICS_DEV
2140 case PW_SYS_INFO:
2141 ret = pw_handle_sys_info(&response->data.sys_info, &resp_length);
2142 break;
Howard Yangfad8b972022-08-05 16:58:33 +08002143 case PW_GENERATE_BA_PK:
2144 ret = pw_handle_generate_pk(merkle_tree,
2145 &request->data.generate_pk,
2146 request->header.data_length,
2147 &response->data.generate_pk,
2148 &resp_length);
2149 break;
Howard Yangae6a9182022-08-08 12:24:19 +08002150 case PW_START_BIO_AUTH:
2151 ret = pw_handle_start_bio_auth(merkle_tree,
2152 &request->data.start_bio_auth,
2153 request->header.data_length,
2154 &response->data.start_bio_auth,
2155 &resp_length);
2156 break;
Howard Yangf3a5e9f2022-08-01 21:52:27 +08002157#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07002158 default:
2159 ret = PW_ERR_TYPE_INVALID;
2160 break;
2161 }
2162cleanup:
2163 response->header.version = PW_PROTOCOL_VERSION;
2164 response->header.data_length = resp_length;
2165 response->header.result_code = ret;
Leo Laidb207912021-08-11 16:41:18 +08002166 if (pinweaver_eal_memcpy_s(&response->header.root,
2167 sizeof(response->header.root),
2168 merkle_tree->root,
2169 sizeof(merkle_tree->root))) {
2170 ret = PW_ERR_INTERNAL_FAILURE;
2171 }
Andrey Pronin9b10e512021-04-13 11:18:53 -07002172
2173 make_compatible_response(version, type.v, response);
2174
2175 return ret;
2176};