blob: b10b8f680ca5a3c1a4dd1f2bfe3997df0a66c1a1 [file] [log] [blame]
Edward Hill01d709d2022-09-22 18:26:19 +00001/* Copyright 2018 The ChromiumOS Authors
Andrey Pronin9b10e512021-04-13 11:18:53 -07002 * 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
Howard Yang66161af2022-09-22 18:54:06 +080097#if BIOMETRICS_DEV
98/* If non-zero, Pk establishment is blocked. The client should send a
99 * block_generate_ba_pk command after the client platform passed the stage
100 * that Pk establishment is allowed. This reduces the risk of active attackers
101 * trying to establish Pk with the server.
102 */
103int generate_ba_pk_blocked;
104#endif
105
Andrey Pronin9b10e512021-04-13 11:18:53 -0700106/******************************************************************************/
107/* Struct helper functions.
108 */
109
110void import_leaf(const struct unimported_leaf_data_t *unimported,
111 struct imported_leaf_data_t *imported)
112{
113 imported->head = &unimported->head;
114 imported->hmac = unimported->hmac;
115 imported->iv = unimported->iv;
116 imported->pub = (const struct leaf_public_data_t *)unimported->payload;
117 imported->cipher_text = unimported->payload + unimported->head.pub_len;
118 imported->hashes = (const uint8_t (*)[PW_HASH_SIZE])(
119 imported->cipher_text + unimported->head.sec_len);
120}
121
122/******************************************************************************/
123/* Basic operations required by the Merkle tree.
124 */
125
Andrey Pronin9b10e512021-04-13 11:18:53 -0700126/* Creates an empty merkle_tree with the given parameters. */
127static int create_merkle_tree(struct bits_per_level_t bits_per_level,
128 struct height_t height,
129 struct merkle_tree_t *merkle_tree)
130{
131 uint16_t fan_out = 1 << bits_per_level.v;
132 uint8_t temp_hash[PW_HASH_SIZE] = {};
133 uint8_t hx;
134 uint16_t kx;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700135 pinweaver_eal_sha256_ctx_t ctx;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700136
137 merkle_tree->bits_per_level = bits_per_level;
138 merkle_tree->height = height;
139
Leo Lai788f41e2021-08-11 00:36:24 +0800140 int ret;
141
Andrey Pronin9b10e512021-04-13 11:18:53 -0700142 /* Initialize the root hash. */
143 for (hx = 0; hx < height.v; ++hx) {
Leo Lai788f41e2021-08-11 00:36:24 +0800144 ret = pinweaver_eal_sha256_init(&ctx);
145 if (ret)
146 return ret;
147 for (kx = 0; kx < fan_out; ++kx) {
148 ret = pinweaver_eal_sha256_update(&ctx, temp_hash,
149 PW_HASH_SIZE);
150 if (ret) {
151 pinweaver_eal_sha256_final(&ctx, temp_hash);
152 return ret;
153 }
154 }
155 ret = pinweaver_eal_sha256_final(&ctx, temp_hash);
156 if (ret)
157 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700158 }
Leo Laidb207912021-08-11 16:41:18 +0800159 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
160 sizeof(merkle_tree->root), temp_hash,
161 PW_HASH_SIZE);
162 if (ret != EC_SUCCESS)
163 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700164
Leo Lai788f41e2021-08-11 00:36:24 +0800165 ret = pinweaver_eal_rand_bytes(
166 merkle_tree->key_derivation_nonce,
167 sizeof(merkle_tree->key_derivation_nonce));
168 if (ret)
169 return ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700170 return pinweaver_eal_derive_keys(merkle_tree);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700171}
172
Edward Hill01d709d2022-09-22 18:26:19 +0000173static size_t hmac_iv_size(int minor_version)
174{
175 if (minor_version == 2)
176 return PW_HMAC_IV_SIZE_V2;
177 else
178 return PW_HMAC_IV_SIZE_V1;
179}
180
Andrey Pronin9b10e512021-04-13 11:18:53 -0700181/* Computes the HMAC for an encrypted leaf using the key in the merkle_tree. */
Leo Lai788f41e2021-08-11 00:36:24 +0800182static int compute_hmac(const struct merkle_tree_t *merkle_tree,
183 const struct imported_leaf_data_t *imported_leaf_data,
184 uint8_t result[PW_HASH_SIZE])
Andrey Pronin9b10e512021-04-13 11:18:53 -0700185{
Leo Lai788f41e2021-08-11 00:36:24 +0800186 int ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700187 pinweaver_eal_hmac_sha256_ctx_t hmac;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700188
Leo Lai788f41e2021-08-11 00:36:24 +0800189 ret = pinweaver_eal_hmac_sha256_init(&hmac, merkle_tree->hmac_key,
190 sizeof(merkle_tree->hmac_key));
191 if (ret)
192 return ret;
193 ret = pinweaver_eal_hmac_sha256_update(
194 &hmac, imported_leaf_data->head,
195 sizeof(*imported_leaf_data->head));
196 if (ret) {
197 pinweaver_eal_hmac_sha256_final(&hmac, result);
198 return ret;
199 }
200 ret = pinweaver_eal_hmac_sha256_update(&hmac, imported_leaf_data->iv,
Edward Hill01d709d2022-09-22 18:26:19 +0000201 hmac_iv_size(imported_leaf_data->head->leaf_version.minor));
Leo Lai788f41e2021-08-11 00:36:24 +0800202 if (ret) {
203 pinweaver_eal_hmac_sha256_final(&hmac, result);
204 return ret;
205 }
206 ret = pinweaver_eal_hmac_sha256_update(
207 &hmac, imported_leaf_data->pub,
208 imported_leaf_data->head->pub_len);
209 if (ret) {
210 pinweaver_eal_hmac_sha256_final(&hmac, result);
211 return ret;
212 }
213 ret = pinweaver_eal_hmac_sha256_update(
214 &hmac, imported_leaf_data->cipher_text,
215 imported_leaf_data->head->sec_len);
216 if (ret) {
217 pinweaver_eal_hmac_sha256_final(&hmac, result);
218 return ret;
219 }
220 return pinweaver_eal_hmac_sha256_final(&hmac, result);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700221}
222
223/* Computes the root hash for the specified path and child hash. */
Leo Lai788f41e2021-08-11 00:36:24 +0800224static int compute_root_hash(const struct merkle_tree_t *merkle_tree,
225 struct label_t path,
226 const uint8_t hashes[][PW_HASH_SIZE],
227 const uint8_t child_hash[PW_HASH_SIZE],
228 uint8_t new_root[PW_HASH_SIZE])
Andrey Pronin9b10e512021-04-13 11:18:53 -0700229{
230 /* This is one less than the fan out, the number of sibling hashes. */
231 const uint16_t num_aux = (1 << merkle_tree->bits_per_level.v) - 1;
232 const uint16_t path_suffix_mask = num_aux;
233 uint8_t temp_hash[PW_HASH_SIZE];
234 uint8_t hx = 0;
235 uint64_t index = path.v;
Leo Laidb207912021-08-11 16:41:18 +0800236 int ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700237
Leo Lai788f41e2021-08-11 00:36:24 +0800238 if (compute_hash(hashes, num_aux,
239 (struct index_t){ index & path_suffix_mask },
240 child_hash, temp_hash)) {
241 return PW_ERR_CRYPTO_FAILURE;
242 }
Andrey Pronin9b10e512021-04-13 11:18:53 -0700243 for (hx = 1; hx < merkle_tree->height.v; ++hx) {
244 hashes += num_aux;
245 index = index >> merkle_tree->bits_per_level.v;
Leo Lai788f41e2021-08-11 00:36:24 +0800246 if (compute_hash(hashes, num_aux,
247 (struct index_t){ index & path_suffix_mask },
248 temp_hash, temp_hash)) {
249 return PW_ERR_CRYPTO_FAILURE;
250 }
Andrey Pronin9b10e512021-04-13 11:18:53 -0700251 }
Leo Laidb207912021-08-11 16:41:18 +0800252 ret = pinweaver_eal_memcpy_s(new_root, PW_HASH_SIZE, temp_hash,
253 sizeof(temp_hash));
254 if (ret != EC_SUCCESS)
255 return PW_ERR_INTERNAL_FAILURE;
Leo Lai788f41e2021-08-11 00:36:24 +0800256 return EC_SUCCESS;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700257}
258
259/* Checks to see the specified path is valid. The length of the path should be
260 * validated prior to calling this function.
261 *
262 * Returns 0 on success or an error code otherwise.
263 */
264static int authenticate_path(const struct merkle_tree_t *merkle_tree,
265 struct label_t path,
266 const uint8_t hashes[][PW_HASH_SIZE],
267 const uint8_t child_hash[PW_HASH_SIZE])
268{
269 uint8_t parent[PW_HASH_SIZE];
270
Leo Lai788f41e2021-08-11 00:36:24 +0800271 if (compute_root_hash(merkle_tree, path, hashes, child_hash, parent) !=
272 0)
273 return PW_ERR_CRYPTO_FAILURE;
Yi Chouddf3b452021-08-11 13:40:11 +0800274 if (pinweaver_eal_safe_memcmp(parent, merkle_tree->root,
275 sizeof(parent)) != 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700276 return PW_ERR_PATH_AUTH_FAILED;
277 return EC_SUCCESS;
278}
279
280static void init_wrapped_leaf_data(
281 struct wrapped_leaf_data_t *wrapped_leaf_data)
282{
283 wrapped_leaf_data->head.leaf_version.major = PW_LEAF_MAJOR_VERSION;
284 wrapped_leaf_data->head.leaf_version.minor = PW_LEAF_MINOR_VERSION;
285 wrapped_leaf_data->head.pub_len = sizeof(wrapped_leaf_data->pub);
286 wrapped_leaf_data->head.sec_len =
287 sizeof(wrapped_leaf_data->cipher_text);
288}
289
290/* Encrypts the leaf meta data. */
291static int encrypt_leaf_data(const struct merkle_tree_t *merkle_tree,
292 const struct leaf_data_t *leaf_data,
293 struct wrapped_leaf_data_t *wrapped_leaf_data)
294{
Leo Laidb207912021-08-11 16:41:18 +0800295 int ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700296 /* Generate a random IV.
297 *
298 * If fields are appended to struct leaf_sensitive_data_t, an encryption
299 * operation should be performed on them reusing the same IV since the
300 * prefix won't change.
301 *
302 * If any data of in the original struct leaf_sensitive_data_t changes,
303 * a new IV should be generated and stored as part of the log for a
304 * replay to be possible.
305 */
Leo Lai788f41e2021-08-11 00:36:24 +0800306 if (pinweaver_eal_rand_bytes(wrapped_leaf_data->iv,
307 sizeof(wrapped_leaf_data->iv))) {
308 return PW_ERR_CRYPTO_FAILURE;
309 }
Leo Laidb207912021-08-11 16:41:18 +0800310 ret = pinweaver_eal_memcpy_s(&wrapped_leaf_data->pub,
311 sizeof(wrapped_leaf_data->pub),
312 &leaf_data->pub, sizeof(leaf_data->pub));
313 if (ret != EC_SUCCESS)
314 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin1197a0d2021-05-14 20:18:05 -0700315 if (pinweaver_eal_aes256_ctr(merkle_tree->wrap_key,
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700316 sizeof(merkle_tree->wrap_key),
317 wrapped_leaf_data->iv,
318 &leaf_data->sec,
319 sizeof(leaf_data->sec),
320 wrapped_leaf_data->cipher_text)) {
Andrey Pronin9b10e512021-04-13 11:18:53 -0700321 return PW_ERR_CRYPTO_FAILURE;
322 }
323 return EC_SUCCESS;
324}
325
326/* Decrypts the leaf meta data. */
327static int decrypt_leaf_data(
328 const struct merkle_tree_t *merkle_tree,
329 const struct imported_leaf_data_t *imported_leaf_data,
330 struct leaf_data_t *leaf_data)
331{
Leo Laidb207912021-08-11 16:41:18 +0800332 int ret;
333 ret = pinweaver_eal_memcpy_s(&leaf_data->pub, sizeof(leaf_data->pub),
334 imported_leaf_data->pub,
335 MIN(imported_leaf_data->head->pub_len,
336 sizeof(struct leaf_public_data_t)));
337 if (ret != EC_SUCCESS)
338 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin1197a0d2021-05-14 20:18:05 -0700339 if (pinweaver_eal_aes256_ctr(merkle_tree->wrap_key,
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700340 sizeof(merkle_tree->wrap_key),
341 imported_leaf_data->iv,
342 imported_leaf_data->cipher_text,
343 sizeof(leaf_data->sec),
344 &leaf_data->sec)) {
Andrey Pronin9b10e512021-04-13 11:18:53 -0700345 return PW_ERR_CRYPTO_FAILURE;
346 }
347 return EC_SUCCESS;
348}
349
350static int handle_leaf_update(
351 const struct merkle_tree_t *merkle_tree,
352 const struct leaf_data_t *leaf_data,
353 const uint8_t hashes[][PW_HASH_SIZE],
354 struct wrapped_leaf_data_t *wrapped_leaf_data,
355 uint8_t new_root[PW_HASH_SIZE],
356 const struct imported_leaf_data_t *optional_old_wrapped_data)
357{
358 int ret;
359 struct imported_leaf_data_t ptrs;
360
361 init_wrapped_leaf_data(wrapped_leaf_data);
362 if (optional_old_wrapped_data == NULL) {
363 ret = encrypt_leaf_data(merkle_tree, leaf_data,
364 wrapped_leaf_data);
365 if (ret != EC_SUCCESS)
366 return ret;
367 } else {
Leo Laidb207912021-08-11 16:41:18 +0800368 ret = pinweaver_eal_memcpy_s(wrapped_leaf_data->iv,
369 sizeof(wrapped_leaf_data->iv),
370 optional_old_wrapped_data->iv,
371 sizeof(wrapped_leaf_data->iv));
372 if (ret != EC_SUCCESS)
373 return PW_ERR_INTERNAL_FAILURE;
374 ret = pinweaver_eal_memcpy_s(&wrapped_leaf_data->pub,
375 sizeof(wrapped_leaf_data->pub),
376 &leaf_data->pub,
377 sizeof(leaf_data->pub));
378 if (ret != EC_SUCCESS)
379 return PW_ERR_INTERNAL_FAILURE;
380 ret = pinweaver_eal_memcpy_s(
381 wrapped_leaf_data->cipher_text,
382 sizeof(wrapped_leaf_data->cipher_text),
383 optional_old_wrapped_data->cipher_text,
384 sizeof(wrapped_leaf_data->cipher_text));
385 if (ret != EC_SUCCESS)
386 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700387 }
388
389 import_leaf((const struct unimported_leaf_data_t *)wrapped_leaf_data,
390 &ptrs);
Leo Lai788f41e2021-08-11 00:36:24 +0800391 ret = compute_hmac(merkle_tree, &ptrs, wrapped_leaf_data->hmac);
392 if (ret)
393 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700394
Leo Lai788f41e2021-08-11 00:36:24 +0800395 ret = compute_root_hash(merkle_tree, leaf_data->pub.label, hashes,
396 wrapped_leaf_data->hmac, new_root);
397 if (ret)
398 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700399
400 return EC_SUCCESS;
401}
402
403/******************************************************************************/
404/* Parameter and state validation functions.
405 */
406
407static int validate_tree_parameters(struct bits_per_level_t bits_per_level,
408 struct height_t height)
409{
410 uint8_t fan_out = 1 << bits_per_level.v;
411
412 if (bits_per_level.v < BITS_PER_LEVEL_MIN ||
413 bits_per_level.v > BITS_PER_LEVEL_MAX)
414 return PW_ERR_BITS_PER_LEVEL_INVALID;
415
416 if (height.v < HEIGHT_MIN ||
417 height.v > HEIGHT_MAX(bits_per_level.v) ||
418 ((fan_out - 1) * height.v) * PW_HASH_SIZE > PW_MAX_PATH_SIZE)
419 return PW_ERR_HEIGHT_INVALID;
420
421 return EC_SUCCESS;
422}
423
424/* Verifies that merkle_tree has been initialized. */
425static int validate_tree(const struct merkle_tree_t *merkle_tree)
426{
427 if (validate_tree_parameters(merkle_tree->bits_per_level,
428 merkle_tree->height) != EC_SUCCESS)
429 return PW_ERR_TREE_INVALID;
430 return EC_SUCCESS;
431}
432
433/* Checks the following conditions:
434 * Extra index fields should be all zero.
435 */
436static int validate_label(const struct merkle_tree_t *merkle_tree,
437 struct label_t path)
438{
439 uint8_t shift_by = merkle_tree->bits_per_level.v *
440 merkle_tree->height.v;
441
442 if ((path.v >> shift_by) == 0)
443 return EC_SUCCESS;
444 return PW_ERR_LABEL_INVALID;
445}
446
447/* Checks the following conditions:
448 * Columns should be strictly increasing.
449 * Zeroes for filler at the end of the delay_schedule are permitted.
450 */
451static int validate_delay_schedule(const struct delay_schedule_entry_t
452 delay_schedule[PW_SCHED_COUNT])
453{
454 size_t x;
455
456 /* The first entry should not be useless. */
Yi Choueed2b652021-08-11 13:47:15 +0800457 if (delay_schedule[0].attempt_count.v == 0 ||
458 delay_schedule[0].time_diff.v == 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700459 return PW_ERR_DELAY_SCHEDULE_INVALID;
460
461 for (x = PW_SCHED_COUNT - 1; x > 0; --x) {
462 if (delay_schedule[x].attempt_count.v == 0) {
463 if (delay_schedule[x].time_diff.v != 0)
464 return PW_ERR_DELAY_SCHEDULE_INVALID;
465 } else if (delay_schedule[x].attempt_count.v <=
466 delay_schedule[x - 1].attempt_count.v ||
467 delay_schedule[x].time_diff.v <=
468 delay_schedule[x - 1].time_diff.v) {
469 return PW_ERR_DELAY_SCHEDULE_INVALID;
470 }
471 }
472 return EC_SUCCESS;
473}
474
475static int validate_pcr_value(const struct valid_pcr_value_t
476 valid_pcr_criteria[PW_MAX_PCR_CRITERIA_COUNT])
477{
478 size_t index;
479 uint8_t sha256_of_selected_pcr[SHA256_DIGEST_SIZE];
480
481 for (index = 0; index < PW_MAX_PCR_CRITERIA_COUNT; ++index) {
482 /* The criteria with bitmask[0] = bitmask[1] = 0 is considered
483 * the end of list criteria. If it happens that the first
484 * bitmask is zero, we consider that no criteria has to be
485 * satisfied and return success in that case.
486 */
487 if (valid_pcr_criteria[index].bitmask[0] == 0 &&
488 valid_pcr_criteria[index].bitmask[1] == 0) {
489 if (index == 0)
490 return EC_SUCCESS;
491
492 return PW_ERR_PCR_NOT_MATCH;
493 }
494
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700495 if (pinweaver_eal_get_current_pcr_digest(
496 valid_pcr_criteria[index].bitmask,
497 sha256_of_selected_pcr)) {
498 PINWEAVER_EAL_INFO(
Andrey Pronin9b10e512021-04-13 11:18:53 -0700499 "PinWeaver: Read PCR error, bitmask: %d, %d",
500 valid_pcr_criteria[index].bitmask[0],
501 valid_pcr_criteria[index].bitmask[1]);
502 return PW_ERR_PCR_NOT_MATCH;
503 }
504
505 /* Check if the curent PCR digest is the same as expected by
506 * criteria.
507 */
Yi Chouddf3b452021-08-11 13:40:11 +0800508 if (pinweaver_eal_safe_memcmp(sha256_of_selected_pcr,
509 valid_pcr_criteria[index].digest,
510 SHA256_DIGEST_SIZE) == 0) {
Andrey Pronin9b10e512021-04-13 11:18:53 -0700511 return EC_SUCCESS;
512 }
513 }
514
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700515 PINWEAVER_EAL_INFO("PinWeaver: No criteria matches PCR values");
Andrey Pronin9b10e512021-04-13 11:18:53 -0700516 return PW_ERR_PCR_NOT_MATCH;
517}
518
Leo Lai8c9892c2021-06-22 21:32:02 +0800519static uint32_t expected_payload_len(int minor_version)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700520{
521 switch (minor_version) {
522 case 0:
Howard Yangaa7a8972022-07-26 16:39:36 +0800523#if !BIOMETRICS_DEV
Andrey Pronin9b10e512021-04-13 11:18:53 -0700524 return PW_LEAF_PAYLOAD_SIZE - PW_VALID_PCR_CRITERIA_SIZE;
Howard Yangaa7a8972022-07-26 16:39:36 +0800525#else
526 return PW_LEAF_PAYLOAD_SIZE - PW_VALID_PCR_CRITERIA_SIZE
527 - PW_EXPIRATION_DATA_SIZE - sizeof(struct pw_leaf_type_t);
528 case 1:
529 return PW_LEAF_PAYLOAD_SIZE - PW_EXPIRATION_DATA_SIZE
530 - sizeof(struct pw_leaf_type_t);
531#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -0700532 case PW_LEAF_MINOR_VERSION:
533 return PW_LEAF_PAYLOAD_SIZE;
534 default:
535 return 0;
536 }
537}
538
539static int validate_leaf_header(const struct leaf_header_t *head,
540 uint16_t payload_len, uint16_t aux_hash_len)
541{
542 uint32_t leaf_payload_len = head->pub_len + head->sec_len;
543
544 if (head->leaf_version.major != PW_LEAF_MAJOR_VERSION)
545 return PW_ERR_LEAF_VERSION_MISMATCH;
546
547 if (head->leaf_version.minor <= PW_LEAF_MINOR_VERSION &&
548 leaf_payload_len !=
549 expected_payload_len(head->leaf_version.minor)) {
550 return PW_ERR_LENGTH_INVALID;
551 }
552
553 if (payload_len != leaf_payload_len + aux_hash_len * PW_HASH_SIZE)
554 return PW_ERR_LENGTH_INVALID;
555
Yi Choue416ce32021-08-11 19:57:24 +0800556 if (head->sec_len < sizeof(struct leaf_sensitive_data_t))
557 return PW_ERR_LENGTH_INVALID;
558
Andrey Pronin9b10e512021-04-13 11:18:53 -0700559 return EC_SUCCESS;
560}
561
562/* Common validation for requests that include a path to authenticate. */
563static int validate_request_with_path(const struct merkle_tree_t *merkle_tree,
564 struct label_t path,
565 const uint8_t hashes[][PW_HASH_SIZE],
566 const uint8_t hmac[PW_HASH_SIZE])
567{
568 int ret;
569
570 ret = validate_tree(merkle_tree);
571 if (ret != EC_SUCCESS)
572 return ret;
573
574 ret = validate_label(merkle_tree, path);
575 if (ret != EC_SUCCESS)
576 return ret;
577
578 return authenticate_path(merkle_tree, path, hashes, hmac);
579}
580
581/* Common validation for requests that import a leaf. */
582static int validate_request_with_wrapped_leaf(
583 const struct merkle_tree_t *merkle_tree,
584 uint16_t payload_len,
585 const struct unimported_leaf_data_t *unimported_leaf_data,
586 struct imported_leaf_data_t *imported_leaf_data,
587 struct leaf_data_t *leaf_data)
588{
589 int ret;
590 uint8_t hmac[PW_HASH_SIZE];
591
592 ret = validate_leaf_header(&unimported_leaf_data->head, payload_len,
593 get_path_auxiliary_hash_count(merkle_tree));
594 if (ret != EC_SUCCESS)
595 return ret;
596
597 import_leaf(unimported_leaf_data, imported_leaf_data);
598 ret = validate_request_with_path(merkle_tree,
599 imported_leaf_data->pub->label,
600 imported_leaf_data->hashes,
601 imported_leaf_data->hmac);
602 if (ret != EC_SUCCESS)
603 return ret;
604
Leo Lai788f41e2021-08-11 00:36:24 +0800605 ret = compute_hmac(merkle_tree, imported_leaf_data, hmac);
606 if (ret != EC_SUCCESS)
607 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700608 /* Safe memcmp is used here to prevent an attacker from being able to
609 * brute force a valid HMAC for a crafted wrapped_leaf_data.
610 * memcmp provides an attacker a timing side-channel they can use to
611 * determine how much of a prefix is correct.
612 */
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700613 if (pinweaver_eal_safe_memcmp(hmac, unimported_leaf_data->hmac,
614 sizeof(hmac)))
Andrey Pronin9b10e512021-04-13 11:18:53 -0700615 return PW_ERR_HMAC_AUTH_FAILED;
616
617 ret = decrypt_leaf_data(merkle_tree, imported_leaf_data, leaf_data);
618 if (ret != EC_SUCCESS)
619 return ret;
620
621 /* The code below handles version upgrades. */
622 if (unimported_leaf_data->head.leaf_version.minor == 0 &&
623 unimported_leaf_data->head.leaf_version.major == 0) {
624 /* Populate the leaf_data with default pcr value */
625 memset(&leaf_data->pub.valid_pcr_criteria, 0,
626 PW_VALID_PCR_CRITERIA_SIZE);
627 }
628
Howard Yangaa7a8972022-07-26 16:39:36 +0800629#if BIOMETRICS_DEV
630 if (unimported_leaf_data->head.leaf_version.major == 0 &&
631 unimported_leaf_data->head.leaf_version.minor <= 1) {
632 /* Populate the leaf_data with default expiration timestamp value,
633 * expiration_delay_s will be set to 0 too, meaning the leaf won't
634 * expire.
635 */
636 memset(&leaf_data->pub.expiration_ts, 0, PW_EXPIRATION_DATA_SIZE);
637 /* Populate the leaf_data with default leaf type. */
638 leaf_data->pub.leaf_type.v = PW_LEAF_TYPE_NORMAL;
639 }
640#endif
641
Andrey Pronin9b10e512021-04-13 11:18:53 -0700642 return EC_SUCCESS;
643}
644
645/* Sets the value of ts to the current notion of time. */
646static void update_timestamp(struct pw_timestamp_t *ts)
647{
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700648 ts->timer_value = pinweaver_eal_seconds_since_boot();
Andrey Pronin9b10e512021-04-13 11:18:53 -0700649 ts->boot_count = pw_restart_count;
650}
651
Howard Yangc96c5e82022-07-29 17:11:22 +0800652/* Checks if an auth attempt can be made or not based on the delay schedule:
653 * - EC_SUCCESS is returned when a new attempt can be made,
654 * - PW_ERR_EXPIRED is returned if the leaf is expired, and otherwise
655 * - PW_ERR_RATE_LIMIT_REACHED is returned with seconds_to_wait updated to
656 * the remaining waiting time required.
Andrey Pronin9b10e512021-04-13 11:18:53 -0700657 */
658static int test_rate_limit(struct leaf_data_t *leaf_data,
659 struct time_diff_t *seconds_to_wait)
660{
661 uint64_t ready_time;
662 uint8_t x;
663 struct pw_timestamp_t current_time;
664 struct time_diff_t delay = {0};
665
Howard Yangc96c5e82022-07-29 17:11:22 +0800666 update_timestamp(&current_time);
667
668#if BIOMETRICS_DEV
669 if (leaf_data->pub.expiration_delay_s.v != 0 &&
670 (leaf_data->pub.expiration_ts.boot_count != current_time.boot_count ||
671 leaf_data->pub.expiration_ts.timer_value <= current_time.timer_value)) {
672 return PW_ERR_EXPIRED;
673 }
674#endif
Howard Yangaa7a8972022-07-26 16:39:36 +0800675
Andrey Pronin9b10e512021-04-13 11:18:53 -0700676 /* This loop ends when x is one greater than the index that applies. */
677 for (x = 0; x < ARRAY_SIZE(leaf_data->pub.delay_schedule); ++x) {
678 /* Stop if a null entry is reached. The first part of the delay
679 * schedule has a list of increasing (attempt_count, time_diff)
680 * pairs with any unused entries zeroed out at the end.
681 */
682 if (leaf_data->pub.delay_schedule[x].attempt_count.v == 0)
683 break;
684
685 /* Stop once a delay schedule entry is reached whose
686 * threshold is greater than the current number of
687 * attempts.
688 */
689 if (leaf_data->pub.attempt_count.v <
690 leaf_data->pub.delay_schedule[x].attempt_count.v)
691 break;
692 }
693
694 /* If the first threshold was greater than the current number of
695 * attempts, there is no delay. Otherwise, grab the delay from the
696 * entry prior to the one that was too big.
697 */
698 if (x > 0)
699 delay = leaf_data->pub.delay_schedule[x - 1].time_diff;
700
701 if (delay.v == 0)
702 return EC_SUCCESS;
703
704 if (delay.v == PW_BLOCK_ATTEMPTS) {
705 seconds_to_wait->v = PW_BLOCK_ATTEMPTS;
706 return PW_ERR_RATE_LIMIT_REACHED;
707 }
708
Howard Yang2b189b22022-07-29 11:11:34 +0800709 if (leaf_data->pub.last_access_ts.boot_count == current_time.boot_count)
710 ready_time = delay.v + leaf_data->pub.last_access_ts.timer_value;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700711 else
712 ready_time = delay.v;
713
714 if (current_time.timer_value >= ready_time)
715 return EC_SUCCESS;
716
717 seconds_to_wait->v = ready_time - current_time.timer_value;
718 return PW_ERR_RATE_LIMIT_REACHED;
719}
720
721/******************************************************************************/
722/* Logging implementation.
723 */
724
725/* Once the storage version is incremented, the update code needs to be written
726 * to handle differences in the structs.
727 *
728 * See the two comments "Add storage format updates here." below.
729 */
730BUILD_ASSERT(PW_STORAGE_VERSION == 0);
731
732void force_restart_count(uint32_t mock_value)
733{
734 pw_restart_count = mock_value;
735}
736
737/* Returns EC_SUCCESS if the root hash was found. Sets *index to the first index
738 * of the log entry with a matching root hash, or the index of the last valid
739 * entry.
740 */
741static int find_relevant_entry(const struct pw_log_storage_t *log,
742 const uint8_t root[PW_HASH_SIZE], int *index)
743{
744 /* Find the relevant log entry. */
745 for (*index = 0; *index < PW_LOG_ENTRY_COUNT; ++*index) {
Howard Yangc2f080c2022-07-29 11:28:13 +0800746 if (log->entries[*index].type.v == LOG_PW_MT_INVALID)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700747 break;
Yi Chouddf3b452021-08-11 13:40:11 +0800748 if (pinweaver_eal_safe_memcmp(root, log->entries[*index].root,
749 PW_HASH_SIZE) == 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700750 return EC_SUCCESS;
751 }
752 --*index;
753 return PW_ERR_ROOT_NOT_FOUND;
754}
755
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700756/* TODO(apronin): get rid of temporary redirect methods */
757
Andrey Pronin9b10e512021-04-13 11:18:53 -0700758static int load_log_data(struct pw_log_storage_t *log)
759{
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700760 return pinweaver_eal_storage_get_log(log);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700761}
762
763int store_log_data(const struct pw_log_storage_t *log)
764{
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700765 return pinweaver_eal_storage_set_log(log);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700766}
767
768static int load_merkle_tree(struct merkle_tree_t *merkle_tree)
769{
770 int ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700771
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700772 PINWEAVER_EAL_INFO("PinWeaver: Loading Tree!");
Andrey Pronin9b10e512021-04-13 11:18:53 -0700773
774 /* Handle the immutable data. */
775 {
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700776 struct pw_long_term_storage_t tree;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700777
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700778 ret = pinweaver_eal_storage_get_tree_data(&tree);
779 if (ret != EC_SUCCESS)
780 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700781
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700782 merkle_tree->bits_per_level = tree.bits_per_level;
783 merkle_tree->height = tree.height;
Leo Laidb207912021-08-11 16:41:18 +0800784 ret = pinweaver_eal_memcpy_s(
785 merkle_tree->key_derivation_nonce,
786 sizeof(merkle_tree->key_derivation_nonce),
787 tree.key_derivation_nonce,
788 sizeof(tree.key_derivation_nonce));
789 if (ret != EC_SUCCESS)
790 return ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700791 ret = pinweaver_eal_derive_keys(merkle_tree);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700792 if (ret != EC_SUCCESS)
793 return ret;
794 }
795
796 /* Handle the root hash. */
797 {
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700798 ret = pinweaver_eal_storage_init_state(merkle_tree->root,
799 &pw_restart_count);
800 if (ret != EC_SUCCESS)
801 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700802 }
803
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700804 PINWEAVER_EAL_INFO("PinWeaver: Loaded Tree. restart_count = %d",
Andrey Pronin9b10e512021-04-13 11:18:53 -0700805 pw_restart_count);
806
807 return EC_SUCCESS;
808}
809
810/* This should only be called when a new tree is created. */
811int store_merkle_tree(const struct merkle_tree_t *merkle_tree)
812{
813 int ret;
814
815 /* Handle the immutable data. */
816 {
817 struct pw_long_term_storage_t data;
818
819 data.storage_version = PW_STORAGE_VERSION;
820 data.bits_per_level = merkle_tree->bits_per_level;
821 data.height = merkle_tree->height;
Leo Laidb207912021-08-11 16:41:18 +0800822 ret = pinweaver_eal_memcpy_s(data.key_derivation_nonce,
823 sizeof(data.key_derivation_nonce),
824 merkle_tree->key_derivation_nonce,
825 sizeof(data.key_derivation_nonce));
826 if (ret != EC_SUCCESS)
827 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700828
Andrey Pronincd7bcce2021-04-14 00:54:12 -0700829 ret = pinweaver_eal_storage_set_tree_data(&data);
Andrey Pronin9b10e512021-04-13 11:18:53 -0700830 if (ret != EC_SUCCESS)
831 return ret;
832 }
833
834 /* Handle the root hash. */
835 {
836 struct pw_log_storage_t log = {};
837 struct pw_get_log_entry_t *entry = log.entries;
838
839 log.storage_version = PW_STORAGE_VERSION;
Howard Yangc2f080c2022-07-29 11:28:13 +0800840 entry->type.v = LOG_PW_RESET_TREE;
Leo Laidb207912021-08-11 16:41:18 +0800841 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root),
842 merkle_tree->root,
843 sizeof(merkle_tree->root));
844 if (ret != EC_SUCCESS)
845 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700846
847 ret = store_log_data(&log);
848 if (ret == EC_SUCCESS)
849 pw_restart_count = 0;
850 return ret;
851 }
852
853}
854
855static int log_roll_for_append(struct pw_log_storage_t *log)
856{
857 int ret;
858
859 ret = load_log_data(log);
860 if (ret != EC_SUCCESS)
861 return ret;
862
863 memmove(&log->entries[1], &log->entries[0],
864 sizeof(log->entries[0]) * (PW_LOG_ENTRY_COUNT - 1));
865 memset(&log->entries[0], 0, sizeof(log->entries[0]));
866 return EC_SUCCESS;
867}
868
869int log_insert_leaf(struct label_t label, const uint8_t root[PW_HASH_SIZE],
870 const uint8_t hmac[PW_HASH_SIZE])
871{
872 int ret;
873 struct pw_log_storage_t log;
874 struct pw_get_log_entry_t *entry = log.entries;
875
876 ret = log_roll_for_append(&log);
877 if (ret != EC_SUCCESS)
878 return ret;
879
Howard Yangc2f080c2022-07-29 11:28:13 +0800880 entry->type.v = LOG_PW_INSERT_LEAF;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700881 entry->label.v = label.v;
Leo Laidb207912021-08-11 16:41:18 +0800882 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root), root,
883 sizeof(entry->root));
884 if (ret != EC_SUCCESS)
885 return ret;
886 ret = pinweaver_eal_memcpy_s(entry->leaf_hmac, sizeof(entry->leaf_hmac),
887 hmac, sizeof(entry->leaf_hmac));
888 if (ret != EC_SUCCESS)
889 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700890
891 return store_log_data(&log);
892}
893
894int log_remove_leaf(struct label_t label, const uint8_t root[PW_HASH_SIZE])
895{
896 int ret;
897 struct pw_log_storage_t log;
898 struct pw_get_log_entry_t *entry = log.entries;
899
900 ret = log_roll_for_append(&log);
901 if (ret != EC_SUCCESS)
902 return ret;
903
Howard Yangc2f080c2022-07-29 11:28:13 +0800904 entry->type.v = LOG_PW_REMOVE_LEAF;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700905 entry->label.v = label.v;
Leo Laidb207912021-08-11 16:41:18 +0800906 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root), root,
907 sizeof(entry->root));
908 if (ret != EC_SUCCESS)
909 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700910
911 return store_log_data(&log);
912}
913
914int log_auth(struct label_t label, const uint8_t root[PW_HASH_SIZE], int code,
Howard Yangaa7a8972022-07-26 16:39:36 +0800915 struct pw_timestamp_t last_access_ts,
916 struct pw_timestamp_t expiration_ts)
Andrey Pronin9b10e512021-04-13 11:18:53 -0700917{
918 int ret;
919 struct pw_log_storage_t log;
920 struct pw_get_log_entry_t *entry = log.entries;
921
922 ret = log_roll_for_append(&log);
923 if (ret != EC_SUCCESS)
924 return ret;
925
Howard Yangc2f080c2022-07-29 11:28:13 +0800926 entry->type.v = LOG_PW_TRY_AUTH;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700927 entry->label.v = label.v;
Leo Laidb207912021-08-11 16:41:18 +0800928 ret = pinweaver_eal_memcpy_s(entry->root, sizeof(entry->root), root,
929 sizeof(entry->root));
930 if (ret != EC_SUCCESS)
931 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700932 entry->return_code = code;
Howard Yang2b189b22022-07-29 11:11:34 +0800933 ret = pinweaver_eal_memcpy_s(&entry->last_access_ts,
934 sizeof(entry->last_access_ts), &last_access_ts,
935 sizeof(entry->last_access_ts));
Leo Laidb207912021-08-11 16:41:18 +0800936 if (ret != EC_SUCCESS)
937 return ret;
Howard Yangaa7a8972022-07-26 16:39:36 +0800938#if BIOMETRICS_DEV
939 ret = pinweaver_eal_memcpy_s(&entry->expiration_ts,
940 sizeof(entry->expiration_ts), &expiration_ts,
941 sizeof(entry->expiration_ts));
942 if (ret != EC_SUCCESS)
943 return ret;
944#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -0700945
946 return store_log_data(&log);
947}
948
949/******************************************************************************/
950/* Per-request-type handler implementations.
951 */
952
953static int pw_handle_reset_tree(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +0800954 const pw_request_reset_tree_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -0700955 uint16_t req_size)
956{
957 struct merkle_tree_t new_tree = {};
958 int ret;
959
960 if (req_size != sizeof(*request))
961 return PW_ERR_LENGTH_INVALID;
962
963 ret = validate_tree_parameters(request->bits_per_level,
964 request->height);
965 if (ret != EC_SUCCESS)
966 return ret;
967
968 ret = create_merkle_tree(request->bits_per_level, request->height,
969 &new_tree);
970 if (ret != EC_SUCCESS)
971 return ret;
972
973 ret = store_merkle_tree(&new_tree);
974 if (ret != EC_SUCCESS)
975 return ret;
976
Leo Laidb207912021-08-11 16:41:18 +0800977 ret = pinweaver_eal_memcpy_s(merkle_tree, sizeof(*merkle_tree),
978 &new_tree, sizeof(new_tree));
979 if (ret != EC_SUCCESS)
980 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -0700981 return EC_SUCCESS;
982}
983
Howard Yangbde88942022-08-05 17:59:01 +0800984#if BIOMETRICS_DEV
985
986static int generate_ba_secrets(const struct merkle_tree_t *merkle_tree,
987 uint8_t auth_channel,
988 uint8_t low_entropy_secret[PW_SECRET_SIZE],
989 uint8_t high_entropy_secret[PW_SECRET_SIZE])
990{
991 int ret;
Howard Yangbde88942022-08-05 17:59:01 +0800992 struct pw_ba_pk_t pk;
993 pinweaver_eal_hmac_sha256_ctx_t hmac;
994
995 if (auth_channel >= PW_BA_PK_ENTRY_COUNT) {
996 return PW_ERR_BIO_AUTH_CHANNEL_INVALID;
997 }
998
999 /* An established Pk on the specified auth channel is required
1000 * to create a biometrics limiter leaf.
1001 */
Howard Yang19fa7b12023-01-11 13:36:06 +08001002 ret = pinweaver_eal_storage_get_ba_pk(auth_channel, &pk);
Howard Yangbde88942022-08-05 17:59:01 +08001003 if (ret != EC_SUCCESS)
1004 return ret;
Howard Yangbde88942022-08-05 17:59:01 +08001005
1006 /* hmac-sha256 Pk and auth_channel into LEC. */
1007 if (pinweaver_eal_hmac_sha256_init(&hmac, merkle_tree->hmac_key,
1008 sizeof(merkle_tree->hmac_key))) {
1009 return PW_ERR_CRYPTO_FAILURE;
1010 }
1011 if (pinweaver_eal_hmac_sha256_update(&hmac, pk.key, PW_SECRET_SIZE)) {
1012 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1013 return PW_ERR_CRYPTO_FAILURE;
1014 }
1015 if (pinweaver_eal_hmac_sha256_update(&hmac, &auth_channel,
1016 sizeof(auth_channel))) {
1017 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1018 return PW_ERR_CRYPTO_FAILURE;
1019 }
1020 if (pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret))
1021 return PW_ERR_CRYPTO_FAILURE;
1022
1023 /* Randomly generate LabelSeed, which is HEC too. */
1024 if (pinweaver_eal_rand_bytes(high_entropy_secret, PW_SECRET_SIZE))
1025 return PW_ERR_CRYPTO_FAILURE;
1026
1027 return EC_SUCCESS;
1028}
1029
1030#endif
1031
Andrey Pronin9b10e512021-04-13 11:18:53 -07001032static int pw_handle_insert_leaf(struct merkle_tree_t *merkle_tree,
Howard Yangbde88942022-08-05 17:59:01 +08001033 pw_request_insert_leaf_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001034 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001035 pw_response_insert_leaf_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001036 uint16_t *response_size)
1037{
1038 int ret = EC_SUCCESS;
1039 struct leaf_data_t leaf_data = {};
Leo Lai65749082021-08-10 16:32:18 +08001040 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001041 const uint8_t empty_hash[PW_HASH_SIZE] = {};
1042 uint8_t new_root[PW_HASH_SIZE];
Howard Yangc96c5e82022-07-29 17:11:22 +08001043#if BIOMETRICS_DEV
1044 uint32_t delay_s;
1045#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001046
1047 if (req_size != sizeof(*request) +
1048 get_path_auxiliary_hash_count(merkle_tree) *
1049 PW_HASH_SIZE)
1050 return PW_ERR_LENGTH_INVALID;
1051
1052 ret = validate_request_with_path(merkle_tree, request->label,
1053 request->path_hashes, empty_hash);
1054 if (ret != EC_SUCCESS)
1055 return ret;
1056
1057 ret = validate_delay_schedule(request->delay_schedule);
1058 if (ret != EC_SUCCESS)
1059 return ret;
1060
1061 memset(&leaf_data, 0, sizeof(leaf_data));
1062 leaf_data.pub.label.v = request->label.v;
Leo Laidb207912021-08-11 16:41:18 +08001063 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.valid_pcr_criteria,
1064 sizeof(leaf_data.pub.valid_pcr_criteria),
1065 request->valid_pcr_criteria,
1066 sizeof(request->valid_pcr_criteria));
1067 if (ret != EC_SUCCESS)
1068 return PW_ERR_INTERNAL_FAILURE;
1069 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.delay_schedule,
1070 sizeof(leaf_data.pub.delay_schedule),
1071 &request->delay_schedule,
1072 sizeof(request->delay_schedule));
1073 if (ret != EC_SUCCESS)
1074 return PW_ERR_INTERNAL_FAILURE;
Howard Yangaa7a8972022-07-26 16:39:36 +08001075
1076#if BIOMETRICS_DEV
Howard Yangaa7a8972022-07-26 16:39:36 +08001077 if (request->expiration_delay_s.v != 0) {
Howard Yangc96c5e82022-07-29 17:11:22 +08001078 update_timestamp(&leaf_data.pub.expiration_ts);
1079 delay_s = request->expiration_delay_s.v;
1080 if (leaf_data.pub.expiration_ts.timer_value <= UINT64_MAX - delay_s) {
1081 leaf_data.pub.expiration_ts.timer_value += delay_s;
1082 } else {
1083 // Timer has become too large, and expiration won't work properly.
1084 return PW_ERR_INTERNAL_FAILURE;
1085 }
1086 leaf_data.pub.expiration_delay_s.v = delay_s;
Howard Yangaa7a8972022-07-26 16:39:36 +08001087 }
1088
Howard Yangbde88942022-08-05 17:59:01 +08001089 leaf_data.pub.leaf_type.v = request->leaf_type.v;
1090 if (request->leaf_type.v == PW_LEAF_TYPE_BIOMETRICS) {
1091 /* LEC and HEC need to be populated. */
1092 ret = generate_ba_secrets(
1093 merkle_tree,
1094 request->auth_channel,
1095 request->low_entropy_secret,
1096 request->high_entropy_secret);
1097 if (ret != EC_SUCCESS)
Howard Yang41d5eb22022-09-14 02:16:56 +08001098 return ret;
Howard Yangbde88942022-08-05 17:59:01 +08001099 } else if (request->leaf_type.v != PW_LEAF_TYPE_NORMAL) {
Howard Yangaa7a8972022-07-26 16:39:36 +08001100 return PW_ERR_INTERNAL_FAILURE;
1101 }
1102#endif
1103
Leo Laidb207912021-08-11 16:41:18 +08001104 ret = pinweaver_eal_memcpy_s(&leaf_data.sec.low_entropy_secret,
1105 sizeof(leaf_data.sec.low_entropy_secret),
1106 &request->low_entropy_secret,
1107 sizeof(request->low_entropy_secret));
1108 if (ret != EC_SUCCESS)
1109 return PW_ERR_INTERNAL_FAILURE;
1110 ret = pinweaver_eal_memcpy_s(&leaf_data.sec.high_entropy_secret,
1111 sizeof(leaf_data.sec.high_entropy_secret),
1112 &request->high_entropy_secret,
1113 sizeof(request->high_entropy_secret));
1114 if (ret != EC_SUCCESS)
1115 return PW_ERR_INTERNAL_FAILURE;
1116 ret = pinweaver_eal_memcpy_s(&leaf_data.sec.reset_secret,
1117 sizeof(leaf_data.sec.reset_secret),
1118 &request->reset_secret,
1119 sizeof(request->reset_secret));
1120 if (ret != EC_SUCCESS)
1121 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001122
1123 ret = handle_leaf_update(merkle_tree, &leaf_data, request->path_hashes,
1124 &wrapped_leaf_data, new_root, NULL);
1125 if (ret != EC_SUCCESS)
1126 return ret;
1127
1128 ret = log_insert_leaf(request->label, new_root,
1129 wrapped_leaf_data.hmac);
1130 if (ret != EC_SUCCESS)
1131 return ret;
1132
Leo Laidb207912021-08-11 16:41:18 +08001133 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1134 sizeof(merkle_tree->root), new_root,
1135 sizeof(new_root));
1136 if (ret != EC_SUCCESS)
1137 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001138
Leo Laidb207912021-08-11 16:41:18 +08001139 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1140 sizeof(wrapped_leaf_data),
1141 &wrapped_leaf_data,
1142 sizeof(wrapped_leaf_data));
1143 if (ret != EC_SUCCESS)
1144 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001145
1146 *response_size = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1147
1148 return ret;
1149}
1150
1151static int pw_handle_remove_leaf(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001152 const pw_request_remove_leaf_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001153 uint16_t req_size)
1154{
1155 int ret = EC_SUCCESS;
1156 const uint8_t empty_hash[PW_HASH_SIZE] = {};
1157 uint8_t new_root[PW_HASH_SIZE];
1158
1159 if (req_size != sizeof(*request) +
1160 get_path_auxiliary_hash_count(merkle_tree) *
1161 PW_HASH_SIZE)
1162 return PW_ERR_LENGTH_INVALID;
1163
1164 ret = validate_request_with_path(merkle_tree, request->leaf_location,
1165 request->path_hashes,
1166 request->leaf_hmac);
1167 if (ret != EC_SUCCESS)
1168 return ret;
1169
Leo Lai788f41e2021-08-11 00:36:24 +08001170 ret = compute_root_hash(merkle_tree, request->leaf_location,
1171 request->path_hashes, empty_hash, new_root);
1172 if (ret != EC_SUCCESS)
1173 return ret;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001174
1175 ret = log_remove_leaf(request->leaf_location, new_root);
1176 if (ret != EC_SUCCESS)
1177 return ret;
1178
Leo Laidb207912021-08-11 16:41:18 +08001179 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1180 sizeof(merkle_tree->root), new_root,
1181 sizeof(new_root));
1182 if (ret != EC_SUCCESS)
1183 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001184 return ret;
1185}
1186
1187/* Processes a try_auth request.
1188 *
1189 * The valid fields in response based on return code are:
1190 * EC_SUCCESS -> unimported_leaf_data and high_entropy_secret
1191 * PW_ERR_RATE_LIMIT_REACHED -> seconds_to_wait
1192 * PW_ERR_LOWENT_AUTH_FAILED -> unimported_leaf_data
1193 */
1194static int pw_handle_try_auth(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001195 const pw_request_try_auth_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001196 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001197 pw_response_try_auth_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001198 uint16_t *data_length)
1199{
1200 int ret = EC_SUCCESS;
1201 struct leaf_data_t leaf_data = {};
1202 struct imported_leaf_data_t imported_leaf_data;
Andrey Pronin8ec6dc52021-08-12 14:00:09 -07001203 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001204 struct time_diff_t seconds_to_wait;
Howard Yangaa7a8972022-07-26 16:39:36 +08001205 struct pw_timestamp_t expiration_ts = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001206 uint8_t zeros[PW_SECRET_SIZE] = {};
1207 uint8_t new_root[PW_HASH_SIZE];
1208
1209 /* These variables help eliminate the possibility of a timing side
1210 * channel that would allow an attacker to prevent the log write.
1211 */
1212 volatile int auth_result;
1213
1214 volatile struct {
1215 uint32_t attempts;
1216 int ret;
1217 uint8_t *secret;
1218 uint8_t *reset_secret;
1219 } results_table[2] = {
1220 { 0, PW_ERR_LOWENT_AUTH_FAILED, zeros, zeros },
1221 { 0, EC_SUCCESS, leaf_data.sec.high_entropy_secret,
1222 leaf_data.sec.reset_secret },
1223 };
1224
1225 if (req_size < sizeof(*request))
1226 return PW_ERR_LENGTH_INVALID;
1227
1228 ret = validate_request_with_wrapped_leaf(
1229 merkle_tree, req_size - sizeof(*request),
1230 &request->unimported_leaf_data, &imported_leaf_data,
1231 &leaf_data);
1232 if (ret != EC_SUCCESS)
1233 return ret;
1234
1235 /* Check if at least one PCR criteria is satisfied if the leaf is
1236 * bound to PCR.
1237 */
1238 ret = validate_pcr_value(leaf_data.pub.valid_pcr_criteria);
1239 if (ret != EC_SUCCESS)
1240 return ret;
1241
1242 ret = test_rate_limit(&leaf_data, &seconds_to_wait);
1243 if (ret != EC_SUCCESS) {
1244 *data_length = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1245 memset(response, 0, *data_length);
Howard Yangc96c5e82022-07-29 17:11:22 +08001246 if (ret == PW_ERR_RATE_LIMIT_REACHED) {
1247 pinweaver_eal_memcpy_s(&response->seconds_to_wait,
1248 sizeof(response->seconds_to_wait),
1249 &seconds_to_wait,
1250 sizeof(seconds_to_wait));
1251 }
Andrey Pronin9b10e512021-04-13 11:18:53 -07001252 return ret;
1253 }
1254
Howard Yang2b189b22022-07-29 11:11:34 +08001255 update_timestamp(&leaf_data.pub.last_access_ts);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001256
1257 /* Precompute the failed attempts. */
1258 results_table[0].attempts = leaf_data.pub.attempt_count.v;
1259 if (results_table[0].attempts != UINT32_MAX)
1260 ++results_table[0].attempts;
Howard Yangbde88942022-08-05 17:59:01 +08001261 #if BIOMETRICS_DEV
1262 if (leaf_data.pub.leaf_type.v == PW_LEAF_TYPE_BIOMETRICS) {
1263 /* Always increase attempts for biometrics limiter leaf type. */
Howard Yang268a62f2022-09-14 07:54:32 +08001264 results_table[1].ret = PW_ERR_SUCCESS_WITH_INCREMENT;
Howard Yangbde88942022-08-05 17:59:01 +08001265 results_table[1].attempts = results_table[0].attempts;
1266 }
1267 #endif
Howard Yangaa7a8972022-07-26 16:39:36 +08001268
Andrey Pronin9b10e512021-04-13 11:18:53 -07001269 /**********************************************************************/
1270 /* After this:
1271 * 1) results_table should not be changed;
1272 * 2) the runtime of the code paths for failed and successful
1273 * authentication attempts should not diverge.
1274 */
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001275 auth_result = pinweaver_eal_safe_memcmp(
1276 request->low_entropy_secret,
1277 leaf_data.sec.low_entropy_secret,
1278 sizeof(request->low_entropy_secret)) == 0;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001279 leaf_data.pub.attempt_count.v = results_table[auth_result].attempts;
1280
1281 /* This has a non-constant time path, but it doesn't convey information
1282 * about whether a PW_ERR_LOWENT_AUTH_FAILED happened or not.
1283 */
1284 ret = handle_leaf_update(merkle_tree, &leaf_data,
1285 imported_leaf_data.hashes, &wrapped_leaf_data,
1286 new_root, &imported_leaf_data);
1287 if (ret != EC_SUCCESS)
1288 return ret;
1289
Howard Yangaa7a8972022-07-26 16:39:36 +08001290
1291#if BIOMETRICS_DEV
1292 expiration_ts = leaf_data.pub.expiration_ts;
1293#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001294 ret = log_auth(wrapped_leaf_data.pub.label, new_root,
Howard Yangaa7a8972022-07-26 16:39:36 +08001295 results_table[auth_result].ret, leaf_data.pub.last_access_ts,
1296 expiration_ts);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001297 if (ret != EC_SUCCESS) {
Leo Laidb207912021-08-11 16:41:18 +08001298 pinweaver_eal_memcpy_s(new_root, sizeof(new_root),
1299 merkle_tree->root,
1300 sizeof(merkle_tree->root));
Andrey Pronin9b10e512021-04-13 11:18:53 -07001301 return ret;
1302 }
1303 /**********************************************************************/
1304 /* At this point the log should be written so it should be safe for the
1305 * runtime of the code paths to diverge.
1306 */
1307
Leo Laidb207912021-08-11 16:41:18 +08001308 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1309 sizeof(merkle_tree->root), new_root,
1310 sizeof(new_root));
1311 if (ret != EC_SUCCESS)
1312 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001313
1314 *data_length = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1315 memset(response, 0, *data_length);
1316
Leo Laidb207912021-08-11 16:41:18 +08001317 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1318 sizeof(wrapped_leaf_data),
1319 &wrapped_leaf_data,
1320 sizeof(wrapped_leaf_data));
1321 if (ret != EC_SUCCESS)
1322 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001323
Leo Laidb207912021-08-11 16:41:18 +08001324 ret = pinweaver_eal_memcpy_s(&response->high_entropy_secret,
1325 sizeof(response->high_entropy_secret),
1326 results_table[auth_result].secret,
1327 sizeof(response->high_entropy_secret));
1328 if (ret != EC_SUCCESS)
1329 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001330
Leo Laidb207912021-08-11 16:41:18 +08001331 ret = pinweaver_eal_memcpy_s(&response->reset_secret,
1332 sizeof(response->reset_secret),
1333 results_table[auth_result].reset_secret,
1334 sizeof(response->reset_secret));
1335 if (ret != EC_SUCCESS)
1336 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001337
1338 return results_table[auth_result].ret;
1339}
1340
1341static int pw_handle_reset_auth(struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001342 const pw_request_reset_auth_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001343 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001344 pw_response_reset_auth_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001345 uint16_t *response_size)
1346{
1347 int ret = EC_SUCCESS;
1348 struct leaf_data_t leaf_data = {};
1349 struct imported_leaf_data_t imported_leaf_data;
Andrey Pronin8ec6dc52021-08-12 14:00:09 -07001350 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Howard Yangaa7a8972022-07-26 16:39:36 +08001351 struct pw_timestamp_t expiration_ts = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001352 uint8_t new_root[PW_HASH_SIZE];
Howard Yangc96c5e82022-07-29 17:11:22 +08001353#if BIOMETRICS_DEV
1354 uint32_t delay_s;
1355#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001356
1357 if (req_size < sizeof(*request))
1358 return PW_ERR_LENGTH_INVALID;
1359
1360 ret = validate_request_with_wrapped_leaf(
1361 merkle_tree, req_size - sizeof(*request),
1362 &request->unimported_leaf_data, &imported_leaf_data,
1363 &leaf_data);
1364 if (ret != EC_SUCCESS)
1365 return ret;
1366
1367 /* Safe memcmp is used here to prevent an attacker from being able to
1368 * brute force the reset secret and use it to unlock the leaf.
1369 * memcmp provides an attacker a timing side-channel they can use to
1370 * determine how much of a prefix is correct.
1371 */
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001372 if (pinweaver_eal_safe_memcmp(request->reset_secret,
1373 leaf_data.sec.reset_secret,
1374 sizeof(request->reset_secret)) != 0)
Andrey Pronin9b10e512021-04-13 11:18:53 -07001375 return PW_ERR_RESET_AUTH_FAILED;
1376
1377 leaf_data.pub.attempt_count.v = 0;
1378
Howard Yangaa7a8972022-07-26 16:39:36 +08001379#if BIOMETRICS_DEV
Howard Yangc96c5e82022-07-29 17:11:22 +08001380 if (request->strong_reset && leaf_data.pub.expiration_delay_s.v != 0) {
1381 update_timestamp(&leaf_data.pub.expiration_ts);
1382 delay_s = leaf_data.pub.expiration_delay_s.v;
1383 if (leaf_data.pub.expiration_ts.timer_value <= UINT64_MAX - delay_s) {
1384 leaf_data.pub.expiration_ts.timer_value += delay_s;
1385 } else {
1386 leaf_data.pub.expiration_ts.timer_value = UINT64_MAX;
1387 }
Howard Yangaa7a8972022-07-26 16:39:36 +08001388 }
1389#endif
1390
Andrey Pronin9b10e512021-04-13 11:18:53 -07001391 ret = handle_leaf_update(merkle_tree, &leaf_data,
1392 imported_leaf_data.hashes, &wrapped_leaf_data,
1393 new_root, &imported_leaf_data);
1394 if (ret != EC_SUCCESS)
1395 return ret;
1396
Howard Yangaa7a8972022-07-26 16:39:36 +08001397#if BIOMETRICS_DEV
1398 expiration_ts = leaf_data.pub.expiration_ts;
1399#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001400 ret = log_auth(leaf_data.pub.label, new_root, ret,
Howard Yangaa7a8972022-07-26 16:39:36 +08001401 leaf_data.pub.last_access_ts, expiration_ts);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001402 if (ret != EC_SUCCESS)
1403 return ret;
1404
Leo Laidb207912021-08-11 16:41:18 +08001405 ret = pinweaver_eal_memcpy_s(merkle_tree->root,
1406 sizeof(merkle_tree->root), new_root,
1407 sizeof(new_root));
1408 if (ret != EC_SUCCESS)
1409 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001410
Leo Laidb207912021-08-11 16:41:18 +08001411 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1412 sizeof(wrapped_leaf_data),
1413 &wrapped_leaf_data,
1414 sizeof(wrapped_leaf_data));
1415 if (ret != EC_SUCCESS)
1416 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001417
Howard Yang9f21e3d2022-08-01 18:24:58 +08001418#if !BIOMETRICS_DEV
Leo Laidb207912021-08-11 16:41:18 +08001419 ret = pinweaver_eal_memcpy_s(response->high_entropy_secret,
1420 sizeof(response->high_entropy_secret),
1421 leaf_data.sec.high_entropy_secret,
1422 sizeof(response->high_entropy_secret));
Howard Yang9f21e3d2022-08-01 18:24:58 +08001423#endif
Leo Laidb207912021-08-11 16:41:18 +08001424 if (ret != EC_SUCCESS)
1425 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001426
1427 *response_size = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1428
1429 return ret;
1430}
1431
1432static int pw_handle_get_log(const struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001433 const pw_request_get_log_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001434 uint16_t req_size,
1435 struct pw_get_log_entry_t response[],
1436 uint16_t *response_size)
1437{
1438 int ret;
1439 int x;
1440 struct pw_log_storage_t log;
1441
1442 if (req_size != sizeof(*request))
1443 return PW_ERR_LENGTH_INVALID;
1444
1445 ret = validate_tree(merkle_tree);
1446 if (ret != EC_SUCCESS)
1447 return ret;
1448
1449 ret = load_log_data(&log);
1450 if (ret != EC_SUCCESS)
1451 return ret;
1452
1453 /* Find the relevant log entry. The return value isn't used because if
1454 * the entry isn't found the entire log is returned. This makes it
1455 * easier to recover when the log is too short.
1456 *
1457 * Here is an example:
1458 * 50 attempts have been made against a leaf that becomes out of sync
1459 * because of a disk flush failing. The copy of the leaf on disk is
1460 * behind by 50 and the log contains less than 50 entries. The CrOS
1461 * implementation can check the public parameters of the local copy with
1462 * the log entry to determine that leaf is out of sync. It can then send
1463 * any valid copy of that leaf with a log replay request that will only
1464 * succeed if the HMAC of the resulting leaf matches the log entry.
1465 */
1466 find_relevant_entry(&log, request->root, &x);
1467 /* If there are no valid entries, return. */
1468 if (x < 0)
1469 return EC_SUCCESS;
1470
1471 /* Copy the entries in reverse order. */
1472 while (1) {
Leo Laidb207912021-08-11 16:41:18 +08001473 ret = pinweaver_eal_memcpy_s(&response[x], sizeof(response[x]),
1474 &log.entries[x],
1475 sizeof(log.entries[x]));
1476 if (ret != EC_SUCCESS)
1477 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001478 *response_size += sizeof(log.entries[x]);
1479 if (x == 0)
1480 break;
1481 --x;
1482 }
1483
1484 return EC_SUCCESS;
1485}
1486
1487static int pw_handle_log_replay(const struct merkle_tree_t *merkle_tree,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001488 const pw_request_log_replay_t *request,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001489 uint16_t req_size,
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001490 pw_response_log_replay_t *response,
Andrey Pronin9b10e512021-04-13 11:18:53 -07001491 uint16_t *response_size)
1492{
1493 int ret;
1494 int x;
1495 struct pw_log_storage_t log;
1496 struct leaf_data_t leaf_data = {};
1497 struct imported_leaf_data_t imported_leaf_data;
Andrey Pronin8ec6dc52021-08-12 14:00:09 -07001498 struct wrapped_leaf_data_t wrapped_leaf_data = {};
Andrey Pronin9b10e512021-04-13 11:18:53 -07001499 uint8_t hmac[PW_HASH_SIZE];
1500 uint8_t root[PW_HASH_SIZE];
1501
1502 if (req_size < sizeof(*request))
1503 return PW_ERR_LENGTH_INVALID;
1504
1505 ret = validate_tree(merkle_tree);
1506 if (ret != EC_SUCCESS)
1507 return ret;
1508
1509 /* validate_request_with_wrapped_leaf() isn't used here because the
1510 * path validation is delayed to allow any valid copy of the same leaf
1511 * to be used in the replay operation as long as the result passes path
1512 * validation.
1513 */
1514 ret = validate_leaf_header(&request->unimported_leaf_data.head,
1515 req_size - sizeof(*request),
1516 get_path_auxiliary_hash_count(merkle_tree));
1517 if (ret != EC_SUCCESS)
1518 return ret;
1519
1520 import_leaf(&request->unimported_leaf_data, &imported_leaf_data);
1521
1522 ret = load_log_data(&log);
1523 if (ret != EC_SUCCESS)
1524 return ret;
1525
1526 /* Find the relevant log entry. */
1527 ret = find_relevant_entry(&log, request->log_root, &x);
1528 if (ret != EC_SUCCESS)
1529 return ret;
1530
1531 /* The other message types don't need to be handled by Cr50. */
Howard Yangc2f080c2022-07-29 11:28:13 +08001532 if (log.entries[x].type.v != LOG_PW_TRY_AUTH)
Andrey Pronin9b10e512021-04-13 11:18:53 -07001533 return PW_ERR_TYPE_INVALID;
1534
Leo Lai788f41e2021-08-11 00:36:24 +08001535 ret = compute_hmac(merkle_tree, &imported_leaf_data, hmac);
1536 if (ret != EC_SUCCESS)
1537 return ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001538 if (pinweaver_eal_safe_memcmp(hmac,
1539 request->unimported_leaf_data.hmac,
1540 sizeof(hmac)))
Andrey Pronin9b10e512021-04-13 11:18:53 -07001541 return PW_ERR_HMAC_AUTH_FAILED;
1542
1543 ret = decrypt_leaf_data(merkle_tree, &imported_leaf_data, &leaf_data);
1544 if (ret != EC_SUCCESS)
1545 return ret;
1546
1547 if (leaf_data.pub.label.v != log.entries[x].label.v)
1548 return PW_ERR_LABEL_INVALID;
1549
1550 /* Update the metadata to match the log. */
1551 if (log.entries[x].return_code == EC_SUCCESS)
1552 leaf_data.pub.attempt_count.v = 0;
1553 else
1554 ++leaf_data.pub.attempt_count.v;
Howard Yang2b189b22022-07-29 11:11:34 +08001555 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.last_access_ts,
1556 sizeof(leaf_data.pub.last_access_ts),
1557 &log.entries[x].last_access_ts,
1558 sizeof(leaf_data.pub.last_access_ts));
Leo Laidb207912021-08-11 16:41:18 +08001559 if (ret != EC_SUCCESS)
1560 return PW_ERR_INTERNAL_FAILURE;
Howard Yangaa7a8972022-07-26 16:39:36 +08001561#if BIOMETRICS_DEV
1562 ret = pinweaver_eal_memcpy_s(&leaf_data.pub.expiration_ts,
1563 sizeof(leaf_data.pub.expiration_ts),
1564 &log.entries[x].expiration_ts,
1565 sizeof(leaf_data.pub.expiration_ts));
1566 if (ret != EC_SUCCESS)
1567 return PW_ERR_INTERNAL_FAILURE;
1568#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001569
1570 ret = handle_leaf_update(merkle_tree, &leaf_data,
1571 imported_leaf_data.hashes, &wrapped_leaf_data,
1572 root, &imported_leaf_data);
1573 if (ret != EC_SUCCESS)
1574 return ret;
1575
Yi Chouddf3b452021-08-11 13:40:11 +08001576 if (pinweaver_eal_safe_memcmp(root, log.entries[x].root, PW_HASH_SIZE))
Andrey Pronin9b10e512021-04-13 11:18:53 -07001577 return PW_ERR_PATH_AUTH_FAILED;
1578
Leo Laidb207912021-08-11 16:41:18 +08001579 ret = pinweaver_eal_memcpy_s(&response->unimported_leaf_data,
1580 sizeof(wrapped_leaf_data),
1581 &wrapped_leaf_data,
1582 sizeof(wrapped_leaf_data));
1583 if (ret != EC_SUCCESS)
1584 return PW_ERR_INTERNAL_FAILURE;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001585
1586 *response_size = sizeof(*response) + PW_LEAF_PAYLOAD_SIZE;
1587
1588 return EC_SUCCESS;
1589}
1590
Howard Yangf3a5e9f2022-08-01 21:52:27 +08001591#if BIOMETRICS_DEV
1592static int pw_handle_sys_info(pw_response_sys_info_t *response,
1593 uint16_t *response_size)
1594{
1595 update_timestamp(&response->current_ts);
1596 *response_size = sizeof(*response);
1597 return EC_SUCCESS;
1598}
Howard Yangfad8b972022-08-05 16:58:33 +08001599
1600static int pw_handle_generate_pk(struct merkle_tree_t *merkle_tree,
1601 const pw_request_generate_ba_pk_t *request,
1602 uint16_t req_size,
1603 pw_response_generate_ba_pk_t *response,
1604 uint16_t *response_size)
1605{
1606 int ret;
1607 uint8_t auth_channel;
Howard Yangfad8b972022-08-05 16:58:33 +08001608 struct pw_ba_pk_t pk;
1609 uint8_t secret[PW_SECRET_SIZE];
1610 size_t secret_size = PW_SECRET_SIZE;
1611 pinweaver_eal_sha256_ctx_t sha;
1612
1613 if (req_size != sizeof(*request))
1614 return PW_ERR_LENGTH_INVALID;
1615 auth_channel = request->auth_channel;
1616
Howard Yang66161af2022-09-22 18:54:06 +08001617 if (generate_ba_pk_blocked) {
1618 return PW_ERR_BIO_AUTH_ACCESS_DENIED;
1619 }
1620
Howard Yangfad8b972022-08-05 16:58:33 +08001621 /* Currently we only support v0 public key format. */
1622 if (request->client_pbk.version != 0) {
1623 return PW_ERR_BIO_AUTH_PUBLIC_KEY_VERSION_MISMATCH;
1624 }
1625 response->server_pbk.version = 0;
1626
1627 if (auth_channel >= PW_BA_PK_ENTRY_COUNT) {
1628 return PW_ERR_BIO_AUTH_CHANNEL_INVALID;
1629 }
1630
1631 /* Pk can only be generated on the specified auth_channel slot
1632 * if no Pk is established yet and it's not blocked.
1633 */
Howard Yang19fa7b12023-01-11 13:36:06 +08001634 ret = pinweaver_eal_storage_get_ba_pk(auth_channel, &pk);
1635 if (ret != PW_ERR_BIO_AUTH_PK_NOT_ESTABLISHED)
Howard Yangfad8b972022-08-05 16:58:33 +08001636 return PW_ERR_BIO_AUTH_ACCESS_DENIED;
1637
1638 /* Perform ECDH to derive the shared secret. */
1639 ret = pinweaver_eal_ecdh_derive(&request->client_pbk.pt,
1640 secret, &secret_size, &response->server_pbk.pt);
1641 if (ret != EC_SUCCESS)
1642 return ret;
1643 if (secret_size != PW_SECRET_SIZE)
1644 return PW_ERR_INTERNAL_FAILURE;
1645
1646 /* sha256 the shared secret into Pk. */
1647 if (pinweaver_eal_sha256_init(&sha)) {
1648 return PW_ERR_CRYPTO_FAILURE;
1649 }
1650 if (pinweaver_eal_sha256_update(&sha, secret, secret_size)) {
1651 pinweaver_eal_sha256_final(&sha, pk.key);
1652 return PW_ERR_CRYPTO_FAILURE;
1653 }
1654 if (pinweaver_eal_sha256_final(&sha, pk.key))
1655 return PW_ERR_CRYPTO_FAILURE;
1656
1657 /* Persist the Pk. */
Howard Yang19fa7b12023-01-11 13:36:06 +08001658 ret = pinweaver_eal_storage_set_ba_pk(auth_channel, &pk);
Howard Yangfad8b972022-08-05 16:58:33 +08001659 if (ret != EC_SUCCESS)
1660 return ret;
1661
1662 *response_size = sizeof(*response);
1663 return EC_SUCCESS;
1664}
Howard Yangae6a9182022-08-08 12:24:19 +08001665
1666static int calculate_session_key(const uint8_t client_nonce[PW_SECRET_SIZE],
1667 const uint8_t server_nonce[PW_SECRET_SIZE],
1668 const struct pw_ba_pk_t *pk,
1669 uint8_t session_key[PW_SECRET_SIZE])
1670{
1671 pinweaver_eal_sha256_ctx_t sha;
1672
1673 /* Session key = hash(client_nonce, server_nonce, Pk) */
1674 if (pinweaver_eal_sha256_init(&sha)) {
1675 return PW_ERR_CRYPTO_FAILURE;
1676 }
1677 if (pinweaver_eal_sha256_update(&sha, client_nonce, PW_SECRET_SIZE)) {
1678 pinweaver_eal_sha256_final(&sha, session_key);
1679 return PW_ERR_CRYPTO_FAILURE;
1680 }
1681 if (pinweaver_eal_sha256_update(&sha, server_nonce, PW_SECRET_SIZE)) {
1682 pinweaver_eal_sha256_final(&sha, session_key);
1683 return PW_ERR_CRYPTO_FAILURE;
1684 }
1685 if (pinweaver_eal_sha256_update(&sha, pk->key, PW_SECRET_SIZE)) {
1686 pinweaver_eal_sha256_final(&sha, session_key);
1687 return PW_ERR_CRYPTO_FAILURE;
1688 }
1689 if (pinweaver_eal_sha256_final(&sha, session_key))
1690 return PW_ERR_CRYPTO_FAILURE;
1691
1692 return EC_SUCCESS;
1693}
1694
1695static int pw_handle_start_bio_auth(struct merkle_tree_t *merkle_tree,
1696 pw_request_start_bio_auth_t *request,
1697 uint16_t req_size,
1698 pw_response_start_bio_auth_t *response,
1699 uint16_t *response_size)
1700{
1701 int ret;
1702 uint8_t auth_channel;
1703 uint8_t *low_entropy_secret, *client_nonce;
1704 uint8_t high_entropy_secret[PW_SECRET_SIZE];
1705 uint8_t session_key[PW_SECRET_SIZE], server_nonce[PW_SECRET_SIZE];
Howard Yangae6a9182022-08-08 12:24:19 +08001706 struct pw_ba_pk_t pk;
1707 pinweaver_eal_hmac_sha256_ctx_t hmac;
1708 size_t source_offset, dest_offset;
1709 uint16_t source_size;
1710 /* We share the response buffer to prevent allocating extra space. */
1711 pw_response_try_auth_t * const try_auth_response =
1712 (pw_response_try_auth_t *)response;
1713
1714 /* We leave the h_aux length validation to pw_handle_try_auth. */
1715 if (req_size < sizeof(*request))
1716 return PW_ERR_LENGTH_INVALID;
1717 auth_channel = request->auth_channel;
1718 client_nonce = request->client_nonce;
1719 low_entropy_secret = request->uninit_request.low_entropy_secret;
1720
1721 if (auth_channel >= PW_BA_PK_ENTRY_COUNT) {
1722 return PW_ERR_BIO_AUTH_CHANNEL_INVALID;
1723 }
1724
1725 /* An established Pk on the specified auth channel is required
1726 * to authenticate a rate-limiter.
1727 */
Howard Yang19fa7b12023-01-11 13:36:06 +08001728 ret = pinweaver_eal_storage_get_ba_pk(auth_channel, &pk);
Howard Yangae6a9182022-08-08 12:24:19 +08001729 if (ret != EC_SUCCESS)
1730 return ret;
Howard Yangae6a9182022-08-08 12:24:19 +08001731
1732 /* hmac-sha256 Pk and label into LEC. */
1733 if (pinweaver_eal_hmac_sha256_init(&hmac, merkle_tree->hmac_key,
1734 sizeof(merkle_tree->hmac_key))) {
1735 return PW_ERR_CRYPTO_FAILURE;
1736 }
1737 if (pinweaver_eal_hmac_sha256_update(&hmac, pk.key, PW_SECRET_SIZE)) {
1738 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1739 return PW_ERR_CRYPTO_FAILURE;
1740 }
1741 if (pinweaver_eal_hmac_sha256_update(&hmac, &auth_channel,
1742 sizeof(auth_channel))) {
1743 pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret);
1744 return PW_ERR_CRYPTO_FAILURE;
1745 }
1746 if (pinweaver_eal_hmac_sha256_final(&hmac, low_entropy_secret))
1747 return PW_ERR_CRYPTO_FAILURE;
1748
1749 /* Perform nonce exchange to generate session key. */
1750 if (pinweaver_eal_rand_bytes(server_nonce, PW_SECRET_SIZE))
1751 return PW_ERR_CRYPTO_FAILURE;
1752 calculate_session_key(client_nonce, server_nonce, &pk, session_key);
1753
1754 /* Handle try_auth return codes.
1755 * Note that we should limit the errors that could happen after
1756 * performing try_auth because the merkle tree root is already
1757 * updated, and we want to make sure the client gets the suitable
1758 * error codes if unimported_leaf_data is provided in the response.
1759 * Therefore, we only allow unexpected errors (internal and crypto errors)
1760 * starting from this point.
1761 */
1762 ret = pw_handle_try_auth(
1763 merkle_tree,
1764 &request->uninit_request,
1765 req_size - offsetof(pw_request_start_bio_auth_t, uninit_request),
1766 try_auth_response,
1767 response_size);
1768 switch (ret) {
Howard Yang268a62f2022-09-14 07:54:32 +08001769 case PW_ERR_SUCCESS_WITH_INCREMENT:
Howard Yangae6a9182022-08-08 12:24:19 +08001770 case PW_ERR_LOWENT_AUTH_FAILED: {
1771 /* We need HEC later, and the response might be overwritten
1772 * before we use it, so copy it first.
1773 */
1774 if (pinweaver_eal_memcpy_s(
1775 high_entropy_secret,
1776 PW_SECRET_SIZE,
1777 try_auth_response->high_entropy_secret,
1778 PW_SECRET_SIZE)) {
1779 return PW_ERR_INTERNAL_FAILURE;
1780 }
1781
1782 /* Move the unimported leaf data to the correct position. */
1783 source_offset = offsetof(pw_response_try_auth_t, unimported_leaf_data);
1784 dest_offset =
1785 offsetof(pw_response_start_bio_auth_t, unimported_leaf_data);
1786 source_size = *response_size - source_offset;
1787 *response_size = dest_offset + source_size;
1788 memmove(&response->unimported_leaf_data,
1789 &try_auth_response->unimported_leaf_data,
1790 source_size);
1791 if (ret == PW_ERR_LOWENT_AUTH_FAILED)
1792 return PW_ERR_LOWENT_AUTH_FAILED;
1793 break;
1794 }
Howard Yang268a62f2022-09-14 07:54:32 +08001795 /* The return code shouldn't be EC_SUCCESS when doing try_auth
1796 * for a biometrics leaf.
1797 */
1798 case EC_SUCCESS: {
1799 return PW_ERR_INTERNAL_FAILURE;
1800 }
Howard Yangae6a9182022-08-08 12:24:19 +08001801 /* Other error codes have no valid fields in the response. */
1802 default: {
1803 *response_size = 0;
1804 return ret;
1805 }
1806 }
1807
1808 /* Encrypt the HEC using session key, and fill in other response fields. */
1809 if (pinweaver_eal_rand_bytes(response->iv, sizeof(response->iv)))
1810 return PW_ERR_CRYPTO_FAILURE;
1811 if (pinweaver_eal_aes256_ctr(session_key,
1812 PW_SECRET_SIZE,
1813 response->iv,
1814 high_entropy_secret,
1815 PW_SECRET_SIZE,
1816 response->encrypted_high_entropy_secret)) {
1817 return PW_ERR_CRYPTO_FAILURE;
1818 }
1819 if (pinweaver_eal_memcpy_s(
1820 response->server_nonce,
1821 PW_SECRET_SIZE,
1822 server_nonce,
1823 PW_SECRET_SIZE)) {
1824 return PW_ERR_INTERNAL_FAILURE;
1825 }
1826
1827 return EC_SUCCESS;
1828}
Howard Yang66161af2022-09-22 18:54:06 +08001829
1830static int pw_handle_block_generate_ba_pk()
1831{
1832 generate_ba_pk_blocked = 1;
1833 return EC_SUCCESS;
1834}
Howard Yangf3a5e9f2022-08-01 21:52:27 +08001835#endif
1836
Andrey Pronin9b10e512021-04-13 11:18:53 -07001837struct merkle_tree_t pw_merkle_tree;
1838
Andrey Pronin9b10e512021-04-13 11:18:53 -07001839/******************************************************************************/
1840/* Non-static functions.
1841 */
1842
1843void pinweaver_init(void)
1844{
1845 load_merkle_tree(&pw_merkle_tree);
Howard Yang66161af2022-09-22 18:54:06 +08001846#if BIOMETRICS_DEV
1847 generate_ba_pk_blocked = 0;
1848#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001849}
1850
1851int get_path_auxiliary_hash_count(const struct merkle_tree_t *merkle_tree)
1852{
1853 return ((1 << merkle_tree->bits_per_level.v) - 1) *
1854 merkle_tree->height.v;
1855}
1856
1857/* Computes the SHA256 parent hash of a set of child hashes given num_hashes
1858 * sibling hashes in hashes[] and the index of child_hash.
1859 *
1860 * Assumptions:
1861 * num_hashes == fan_out - 1
1862 * ARRAY_SIZE(hashes) == num_hashes
1863 * 0 <= location <= num_hashes
1864 */
Leo Lai788f41e2021-08-11 00:36:24 +08001865int compute_hash(const uint8_t hashes[][PW_HASH_SIZE], uint16_t num_hashes,
1866 struct index_t location,
1867 const uint8_t child_hash[PW_HASH_SIZE],
1868 uint8_t result[PW_HASH_SIZE])
Andrey Pronin9b10e512021-04-13 11:18:53 -07001869{
Leo Lai788f41e2021-08-11 00:36:24 +08001870 int ret;
Andrey Pronincd7bcce2021-04-14 00:54:12 -07001871 pinweaver_eal_sha256_ctx_t ctx;
Andrey Pronin9b10e512021-04-13 11:18:53 -07001872
Leo Lai788f41e2021-08-11 00:36:24 +08001873 ret = pinweaver_eal_sha256_init(&ctx);
1874 if (ret)
1875 return ret;
Yi Chou89f8d532021-08-12 16:36:46 +08001876 if (location.v > 0) {
1877 ret = pinweaver_eal_sha256_update(&ctx, hashes[0],
1878 PW_HASH_SIZE * location.v);
1879 if (ret) {
1880 pinweaver_eal_sha256_final(&ctx, result);
1881 return ret;
1882 }
Leo Lai788f41e2021-08-11 00:36:24 +08001883 }
1884 ret = pinweaver_eal_sha256_update(&ctx, child_hash, PW_HASH_SIZE);
1885 if (ret) {
1886 pinweaver_eal_sha256_final(&ctx, result);
1887 return ret;
1888 }
1889 if (location.v < num_hashes) {
1890 ret = pinweaver_eal_sha256_update(
1891 &ctx, hashes[location.v],
1892 PW_HASH_SIZE * (num_hashes - location.v));
1893 if (ret) {
1894 pinweaver_eal_sha256_final(&ctx, result);
1895 return ret;
1896 }
1897 }
1898 return pinweaver_eal_sha256_final(&ctx, result);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001899}
1900
1901/* If a request from older protocol comes, this method should make it
1902 * compatible with the current request structure.
1903 */
1904int make_compatible_request(struct merkle_tree_t *merkle_tree,
1905 struct pw_request_t *request)
1906{
1907 switch (request->header.version) {
1908 case 0:
1909 /* The switch from protocol version 0 to 1 means all the
1910 * requests have the same format, except insert_leaf.
1911 * Update the request in that case.
1912 */
1913 if (request->header.type.v == PW_INSERT_LEAF) {
1914 unsigned char *src = (unsigned char *)
1915 (&request->data.insert_leaf00.path_hashes);
1916 unsigned char *dest = (unsigned char *)
Howard Yangaa7a8972022-07-26 16:39:36 +08001917 (&request->data.insert_leaf01.path_hashes);
Yi Chouc3901ca2021-08-11 14:11:15 +08001918 const uint16_t src_size =
1919 request->header.data_length -
1920 offsetof(struct pw_request_insert_leaf00_t,
1921 path_hashes);
Howard Yangd4d2e7a2022-08-02 17:57:53 +08001922 if (offsetof(struct pw_request_insert_leaf01_t,
Andrey Proninee44ef02021-08-13 15:11:38 -07001923 path_hashes) + src_size >
1924 PW_MAX_MESSAGE_SIZE) {
Yi Chouc3901ca2021-08-11 14:11:15 +08001925 /* The total length of request overflowed. */
1926 return 0;
1927 }
1928 memmove(dest, src, src_size);
Howard Yangaa7a8972022-07-26 16:39:36 +08001929 memset(&request->data.insert_leaf01.valid_pcr_criteria, 0,
Yi Chouc3901ca2021-08-11 14:11:15 +08001930 PW_VALID_PCR_CRITERIA_SIZE);
Andrey Pronin9b10e512021-04-13 11:18:53 -07001931 request->header.data_length +=
1932 PW_VALID_PCR_CRITERIA_SIZE;
1933 }
1934 /* Fallthrough to make compatible from next version */
Leo Lai8c9892c2021-06-22 21:32:02 +08001935 __attribute__((fallthrough));
Howard Yangaa7a8972022-07-26 16:39:36 +08001936#if BIOMETRICS_DEV
1937 case 1:
1938 /* The switch from protocol version 1 to 2 means all the
1939 * requests have the same format, except insert_leaf and
1940 * reset_auth.
1941 * Update the request in that case.
1942 */
1943 if (request->header.type.v == PW_INSERT_LEAF) {
1944 unsigned char *src = (unsigned char *)
1945 (&request->data.insert_leaf01.path_hashes);
1946 unsigned char *dest = (unsigned char *)
1947 (&request->data.insert_leaf.path_hashes);
1948 const size_t src_offset = offsetof(struct pw_request_insert_leaf01_t,
1949 path_hashes);
1950 const size_t dest_offset = offsetof(struct pw_request_insert_leaf02_t,
1951 path_hashes);
1952 const uint16_t src_size = request->header.data_length - src_offset;
1953 if (dest_offset + src_size > PW_MAX_MESSAGE_SIZE) {
1954 /* The total length of request overflowed. */
1955 return 0;
1956 }
1957 memmove(dest, src, src_size);
1958 request->data.insert_leaf.expiration_delay_s.v = 0;
1959 request->data.insert_leaf.leaf_type.v = PW_LEAF_TYPE_NORMAL;
1960 request->header.data_length += dest_offset - src_offset;
1961 } else if (request->header.type.v == PW_RESET_AUTH) {
1962 unsigned char *src = (unsigned char *)
1963 (&request->data.reset_auth00.unimported_leaf_data);
1964 unsigned char *dest = (unsigned char *)
1965 (&request->data.reset_auth.unimported_leaf_data);
1966 const uint16_t src_size =
1967 request->header.data_length -
1968 offsetof(struct pw_request_reset_auth00_t,
1969 unimported_leaf_data);
1970 if (offsetof(struct pw_request_reset_auth02_t,
1971 unimported_leaf_data) + src_size >
1972 PW_MAX_MESSAGE_SIZE) {
1973 /* The total length of request overflowed. */
1974 return 0;
1975 }
1976 memmove(dest, src, src_size);
1977 request->data.reset_auth.strong_reset = 0;
1978 request->header.data_length += 1;
1979 }
1980 /* Fallthrough to make compatible from next version */
1981 __attribute__((fallthrough));
1982#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07001983 case PW_PROTOCOL_VERSION:
1984 return 1;
1985 }
1986 /* Unsupported version. */
1987 return 0;
1988}
1989
1990/* Converts the response to be understandable by an older protocol.
1991 */
1992void make_compatible_response(int version, int req_type,
1993 struct pw_response_t *response)
1994{
Howard Yangaa7a8972022-07-26 16:39:36 +08001995#if BIOMETRICS_DEV
1996 size_t offset;
1997#endif
1998
Andrey Pronin9b10e512021-04-13 11:18:53 -07001999 if (version >= PW_PROTOCOL_VERSION)
2000 return;
2001
2002 response->header.version = version;
2003 if (version == 0) {
2004 if (req_type == PW_TRY_AUTH) {
2005 unsigned char *src = (unsigned char *)
2006 (&response->data.try_auth.unimported_leaf_data);
2007 unsigned char *dest = (unsigned char *)
2008 (&response->data.try_auth00.unimported_leaf_data);
2009 memmove(dest, src,
2010 PW_LEAF_PAYLOAD_SIZE +
2011 sizeof(struct unimported_leaf_data_t));
2012 response->header.data_length -= PW_SECRET_SIZE;
2013 }
2014 }
Howard Yangaa7a8972022-07-26 16:39:36 +08002015
2016#if BIOMETRICS_DEV
2017 if (version <= 1) {
2018 if (req_type == PW_GET_LOG) {
2019 for (offset = 0;
2020 offset + sizeof(struct pw_get_log_entry_t) <=
2021 response->header.data_length;
2022 offset += sizeof(struct pw_get_log_entry_t)) {
2023 struct pw_get_log_entry_t * entry =
2024 (struct pw_get_log_entry_t *) (response->data.get_log + offset);
2025 /* LOG_PW_TRY_AUTH00's union variant is the prefix of
2026 * LOG_PW_TRY_AUTH's, so we can just change the type here.
2027 */
2028 if (entry->type.v == LOG_PW_TRY_AUTH)
2029 entry->type.v = LOG_PW_TRY_AUTH00;
2030 }
Howard Yang9f21e3d2022-08-01 18:24:58 +08002031 } else if (req_type == PW_RESET_AUTH) {
2032 unsigned char *src = (unsigned char *)
2033 (&response->data.reset_auth02.unimported_leaf_data);
2034 unsigned char *dest = (unsigned char *)
2035 (&response->data.reset_auth00.unimported_leaf_data);
2036 memmove(dest, src,
2037 PW_LEAF_PAYLOAD_SIZE +
2038 sizeof(struct unimported_leaf_data_t));
2039 /* clients from protocol version <= 1 won't be able to retrieve
2040 * the HEC from reset_auth anymore, they can parse the response
2041 * with same structure but need to deal with the logical change
2042 * themselves.
2043 */
2044 memset(response->data.reset_auth00.high_entropy_secret, 0,
2045 PW_SECRET_SIZE);
2046 response->header.data_length += PW_SECRET_SIZE;
Howard Yangaa7a8972022-07-26 16:39:36 +08002047 }
2048 }
2049#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07002050}
2051
Andrey Pronincd7bcce2021-04-14 00:54:12 -07002052enum pinweaver_command_res_t pinweaver_command(void *request_buf,
2053 size_t request_size,
2054 void *response_buf,
2055 size_t *response_size) {
2056 struct pw_request_t *request = request_buf;
2057 struct pw_response_t *response = response_buf;
2058
2059 if (request_size < sizeof(request->header)) {
2060 PINWEAVER_EAL_INFO(
2061 "PinWeaver: message smaller than a header (%zd).\n",
2062 request_size);
2063 return PW_CMD_RES_TOO_SMALL;
2064 }
2065
2066 if (request_size != request->header.data_length +
2067 sizeof(request->header)) {
2068 PINWEAVER_EAL_INFO(
2069 "PinWeaver: header size mismatch %zd != %zd.\n",
2070 request_size,
2071 request->header.data_length + sizeof(request->header));
2072 return PW_CMD_RES_SIZE;
2073 }
2074
2075 /* The response_size is validated by compile time checks. */
2076
2077 /* The return value of this function call is intentionally unused. */
2078 pw_handle_request(&pw_merkle_tree, request, response);
2079
2080 *response_size = response->header.data_length +
2081 sizeof(response->header);
2082
2083 /* The response is only sent for EC_SUCCESS so it is used even for
2084 * errors which are reported through header.return_code.
2085 */
2086 return PW_CMD_RES_SUCCESS;
2087}
2088
2089
Andrey Pronin9b10e512021-04-13 11:18:53 -07002090/* Handles the message in request using the context in merkle_tree and writes
2091 * the results to response. The return value captures any error conditions that
2092 * occurred or EC_SUCCESS if there were no errors.
2093 *
2094 * This implementation is written to handle the case where request and response
2095 * exist at the same memory location---are backed by the same buffer. This means
2096 * the implementation requires that no reads are made to request after response
2097 * has been written to.
2098 */
2099int pw_handle_request(struct merkle_tree_t *merkle_tree,
2100 struct pw_request_t *request,
2101 struct pw_response_t *response)
2102{
2103 int32_t ret;
2104 uint16_t resp_length;
2105 /* Store the message type of the request since it may be overwritten
2106 * inside the switch whenever response and request overlap in memory.
2107 */
2108 struct pw_message_type_t type = request->header.type;
2109 int version = request->header.version;
2110
2111 resp_length = 0;
2112
2113 if (!make_compatible_request(merkle_tree, request)) {
2114 ret = PW_ERR_VERSION_MISMATCH;
2115 goto cleanup;
2116 }
2117 switch (type.v) {
2118 case PW_RESET_TREE:
2119 ret = pw_handle_reset_tree(merkle_tree,
2120 &request->data.reset_tree,
2121 request->header.data_length);
2122 break;
2123 case PW_INSERT_LEAF:
2124 ret = pw_handle_insert_leaf(merkle_tree,
2125 &request->data.insert_leaf,
2126 request->header.data_length,
2127 &response->data.insert_leaf,
2128 &resp_length);
2129 break;
2130 case PW_REMOVE_LEAF:
2131 ret = pw_handle_remove_leaf(merkle_tree,
2132 &request->data.remove_leaf,
2133 request->header.data_length);
2134 break;
2135 case PW_TRY_AUTH:
2136 ret = pw_handle_try_auth(merkle_tree, &request->data.try_auth,
2137 request->header.data_length,
2138 &response->data.try_auth,
2139 &resp_length);
2140 break;
2141 case PW_RESET_AUTH:
2142 ret = pw_handle_reset_auth(merkle_tree,
2143 &request->data.reset_auth,
2144 request->header.data_length,
2145 &response->data.reset_auth,
2146 &resp_length);
2147 break;
2148 case PW_GET_LOG:
2149 ret = pw_handle_get_log(merkle_tree, &request->data.get_log,
2150 request->header.data_length,
2151 (void *)&response->data, &resp_length);
2152 break;
2153 case PW_LOG_REPLAY:
2154 ret = pw_handle_log_replay(merkle_tree,
2155 &request->data.log_replay,
2156 request->header.data_length,
2157 &response->data.log_replay,
2158 &resp_length);
2159 break;
Howard Yangf3a5e9f2022-08-01 21:52:27 +08002160#if BIOMETRICS_DEV
2161 case PW_SYS_INFO:
2162 ret = pw_handle_sys_info(&response->data.sys_info, &resp_length);
2163 break;
Howard Yangfad8b972022-08-05 16:58:33 +08002164 case PW_GENERATE_BA_PK:
2165 ret = pw_handle_generate_pk(merkle_tree,
2166 &request->data.generate_pk,
2167 request->header.data_length,
2168 &response->data.generate_pk,
2169 &resp_length);
2170 break;
Howard Yangae6a9182022-08-08 12:24:19 +08002171 case PW_START_BIO_AUTH:
2172 ret = pw_handle_start_bio_auth(merkle_tree,
2173 &request->data.start_bio_auth,
2174 request->header.data_length,
2175 &response->data.start_bio_auth,
2176 &resp_length);
2177 break;
Howard Yang66161af2022-09-22 18:54:06 +08002178 case PW_BLOCK_GENERATE_BA_PK:
2179 ret = pw_handle_block_generate_ba_pk();
2180 break;
Howard Yangf3a5e9f2022-08-01 21:52:27 +08002181#endif
Andrey Pronin9b10e512021-04-13 11:18:53 -07002182 default:
2183 ret = PW_ERR_TYPE_INVALID;
2184 break;
2185 }
2186cleanup:
2187 response->header.version = PW_PROTOCOL_VERSION;
2188 response->header.data_length = resp_length;
2189 response->header.result_code = ret;
Leo Laidb207912021-08-11 16:41:18 +08002190 if (pinweaver_eal_memcpy_s(&response->header.root,
2191 sizeof(response->header.root),
2192 merkle_tree->root,
2193 sizeof(merkle_tree->root))) {
2194 ret = PW_ERR_INTERNAL_FAILURE;
2195 }
Andrey Pronin9b10e512021-04-13 11:18:53 -07002196
2197 make_compatible_response(version, type.v, response);
2198
2199 return ret;
2200};