Alice Wang | ceb6642 | 2023-02-07 13:55:33 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2023 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Alice Wang | 6ef44bc | 2023-02-08 12:08:32 +0000 | [diff] [blame] | 17 | use diced_open_dice::{ |
Alice Wang | 9d23e90 | 2023-02-20 14:25:51 +0000 | [diff] [blame] | 18 | derive_cdi_certificate_id, derive_cdi_private_key_seed, hash, kdf, keypair_from_seed, sign, |
| 19 | verify, CDI_SIZE, HASH_SIZE, ID_SIZE, PRIVATE_KEY_SEED_SIZE, |
Alice Wang | 6ef44bc | 2023-02-08 12:08:32 +0000 | [diff] [blame] | 20 | }; |
Alice Wang | ceb6642 | 2023-02-07 13:55:33 +0000 | [diff] [blame] | 21 | |
| 22 | #[test] |
| 23 | fn hash_succeeds() { |
Alice Wang | 6ef44bc | 2023-02-08 12:08:32 +0000 | [diff] [blame] | 24 | const EXPECTED_HASH: [u8; HASH_SIZE] = [ |
| 25 | 0x30, 0x9e, 0xcc, 0x48, 0x9c, 0x12, 0xd6, 0xeb, 0x4c, 0xc4, 0x0f, 0x50, 0xc9, 0x02, 0xf2, |
| 26 | 0xb4, 0xd0, 0xed, 0x77, 0xee, 0x51, 0x1a, 0x7c, 0x7a, 0x9b, 0xcd, 0x3c, 0xa8, 0x6d, 0x4c, |
| 27 | 0xd8, 0x6f, 0x98, 0x9d, 0xd3, 0x5b, 0xc5, 0xff, 0x49, 0x96, 0x70, 0xda, 0x34, 0x25, 0x5b, |
| 28 | 0x45, 0xb0, 0xcf, 0xd8, 0x30, 0xe8, 0x1f, 0x60, 0x5d, 0xcf, 0x7d, 0xc5, 0x54, 0x2e, 0x93, |
| 29 | 0xae, 0x9c, 0xd7, 0x6f, |
| 30 | ]; |
| 31 | assert_eq!(EXPECTED_HASH, hash(b"hello world").expect("hash failed")); |
| 32 | } |
| 33 | |
| 34 | #[test] |
| 35 | fn kdf_succeeds() { |
| 36 | let mut derived_key = [0u8; PRIVATE_KEY_SEED_SIZE]; |
| 37 | kdf(b"myInitialKeyMaterial", b"mySalt", b"myInfo", &mut derived_key).unwrap(); |
| 38 | const EXPECTED_DERIVED_KEY: [u8; PRIVATE_KEY_SEED_SIZE] = [ |
| 39 | 0x91, 0x9b, 0x8d, 0x29, 0xc4, 0x1b, 0x93, 0xd7, 0xeb, 0x09, 0xfa, 0xd7, 0xc9, 0x87, 0xb0, |
| 40 | 0xd1, 0xcc, 0x26, 0xef, 0x07, 0x83, 0x42, 0xcf, 0xa3, 0x45, 0x0a, 0x57, 0xe9, 0x19, 0x86, |
| 41 | 0xef, 0x48, |
| 42 | ]; |
| 43 | assert_eq!(EXPECTED_DERIVED_KEY, derived_key); |
Alice Wang | ceb6642 | 2023-02-07 13:55:33 +0000 | [diff] [blame] | 44 | } |
Alice Wang | 7cc5956 | 2023-02-08 13:17:10 +0000 | [diff] [blame] | 45 | |
| 46 | #[test] |
| 47 | fn derive_cdi_certificate_id_succeeds() { |
| 48 | const EXPECTED_ID: [u8; ID_SIZE] = [ |
| 49 | 0x7a, 0x36, 0x45, 0x2c, 0x02, 0xf6, 0x2b, 0xec, 0xf9, 0x80, 0x06, 0x75, 0x87, 0xa5, 0xc1, |
| 50 | 0x44, 0x0c, 0xd3, 0xc0, 0x6d, |
| 51 | ]; |
| 52 | assert_eq!(EXPECTED_ID, derive_cdi_certificate_id(b"MyPubKey").unwrap()); |
| 53 | } |
Alice Wang | 9d23e90 | 2023-02-20 14:25:51 +0000 | [diff] [blame] | 54 | |
| 55 | const EXPECTED_SEED: &[u8] = &[ |
| 56 | 0xfa, 0x3c, 0x2f, 0x58, 0x37, 0xf5, 0x8e, 0x96, 0x16, 0x09, 0xf5, 0x22, 0xa1, 0xf1, 0xba, 0xaa, |
| 57 | 0x19, 0x95, 0x01, 0x79, 0x2e, 0x60, 0x56, 0xaf, 0xf6, 0x41, 0xe7, 0xff, 0x48, 0xf5, 0x3a, 0x08, |
| 58 | 0x84, 0x8a, 0x98, 0x85, 0x6d, 0xf5, 0x69, 0x21, 0x03, 0xcd, 0x09, 0xc3, 0x28, 0xd6, 0x06, 0xa7, |
| 59 | 0x57, 0xbd, 0x48, 0x4b, 0x0f, 0x79, 0x0f, 0xf8, 0x2f, 0xf0, 0x0a, 0x41, 0x94, 0xd8, 0x8c, 0xa8, |
| 60 | ]; |
| 61 | |
| 62 | const EXPECTED_CDI_ATTEST: &[u8] = &[ |
| 63 | 0xfa, 0x3c, 0x2f, 0x58, 0x37, 0xf5, 0x8e, 0x96, 0x16, 0x09, 0xf5, 0x22, 0xa1, 0xf1, 0xba, 0xaa, |
| 64 | 0x19, 0x95, 0x01, 0x79, 0x2e, 0x60, 0x56, 0xaf, 0xf6, 0x41, 0xe7, 0xff, 0x48, 0xf5, 0x3a, 0x08, |
| 65 | ]; |
| 66 | |
| 67 | const EXPECTED_CDI_PRIVATE_KEY_SEED: &[u8] = &[ |
| 68 | 0x5f, 0xcc, 0x8e, 0x1a, 0xd1, 0xc2, 0xb3, 0xe9, 0xfb, 0xe1, 0x68, 0xf0, 0xf6, 0x98, 0xfe, 0x0d, |
| 69 | 0xee, 0xd4, 0xb5, 0x18, 0xcb, 0x59, 0x70, 0x2d, 0xee, 0x06, 0xe5, 0x70, 0xf1, 0x72, 0x02, 0x6e, |
| 70 | ]; |
| 71 | |
| 72 | const EXPECTED_PUB_KEY: &[u8] = &[ |
| 73 | 0x47, 0x42, 0x4b, 0xbd, 0xd7, 0x23, 0xb4, 0xcd, 0xca, 0xe2, 0x8e, 0xdc, 0x6b, 0xfc, 0x23, 0xc9, |
| 74 | 0x21, 0x5c, 0x48, 0x21, 0x47, 0xee, 0x5b, 0xfa, 0xaf, 0x88, 0x9a, 0x52, 0xf1, 0x61, 0x06, 0x37, |
| 75 | ]; |
| 76 | const EXPECTED_PRIV_KEY: &[u8] = &[ |
| 77 | 0x5f, 0xcc, 0x8e, 0x1a, 0xd1, 0xc2, 0xb3, 0xe9, 0xfb, 0xe1, 0x68, 0xf0, 0xf6, 0x98, 0xfe, 0x0d, |
| 78 | 0xee, 0xd4, 0xb5, 0x18, 0xcb, 0x59, 0x70, 0x2d, 0xee, 0x06, 0xe5, 0x70, 0xf1, 0x72, 0x02, 0x6e, |
| 79 | 0x47, 0x42, 0x4b, 0xbd, 0xd7, 0x23, 0xb4, 0xcd, 0xca, 0xe2, 0x8e, 0xdc, 0x6b, 0xfc, 0x23, 0xc9, |
| 80 | 0x21, 0x5c, 0x48, 0x21, 0x47, 0xee, 0x5b, 0xfa, 0xaf, 0x88, 0x9a, 0x52, 0xf1, 0x61, 0x06, 0x37, |
| 81 | ]; |
| 82 | |
| 83 | const EXPECTED_SIGNATURE: &[u8] = &[ |
| 84 | 0x44, 0xae, 0xcc, 0xe2, 0xb9, 0x96, 0x18, 0x39, 0x0e, 0x61, 0x0f, 0x53, 0x07, 0xbf, 0xf2, 0x32, |
| 85 | 0x3d, 0x44, 0xd4, 0xf2, 0x07, 0x23, 0x30, 0x85, 0x32, 0x18, 0xd2, 0x69, 0xb8, 0x29, 0x3c, 0x26, |
| 86 | 0xe6, 0x0d, 0x9c, 0xa5, 0xc2, 0x73, 0xcd, 0x8c, 0xb8, 0x3c, 0x3e, 0x5b, 0xfd, 0x62, 0x8d, 0xf6, |
| 87 | 0xc4, 0x27, 0xa6, 0xe9, 0x11, 0x06, 0x5a, 0xb2, 0x2b, 0x64, 0xf7, 0xfc, 0xbb, 0xab, 0x4a, 0x0e, |
| 88 | ]; |
| 89 | |
| 90 | #[test] |
| 91 | fn hash_derive_sign_verify() { |
| 92 | let seed = hash(b"MySeedString").unwrap(); |
| 93 | assert_eq!(seed, EXPECTED_SEED); |
| 94 | let cdi_attest = &seed[..CDI_SIZE]; |
| 95 | assert_eq!(cdi_attest, EXPECTED_CDI_ATTEST); |
| 96 | let cdi_private_key_seed = derive_cdi_private_key_seed(cdi_attest.try_into().unwrap()).unwrap(); |
| 97 | assert_eq!(cdi_private_key_seed.as_array(), EXPECTED_CDI_PRIVATE_KEY_SEED); |
| 98 | let (pub_key, priv_key) = keypair_from_seed(cdi_private_key_seed.as_array()).unwrap(); |
| 99 | assert_eq!(&pub_key, EXPECTED_PUB_KEY); |
| 100 | assert_eq!(priv_key.as_array(), EXPECTED_PRIV_KEY); |
| 101 | let mut signature = sign(b"MyMessage", priv_key.as_array()).unwrap(); |
| 102 | assert_eq!(&signature, EXPECTED_SIGNATURE); |
| 103 | assert!(verify(b"MyMessage", &signature, &pub_key).is_ok()); |
| 104 | assert!(verify(b"MyMessage_fail", &signature, &pub_key).is_err()); |
| 105 | signature[0] += 1; |
| 106 | assert!(verify(b"MyMessage", &signature, &pub_key).is_err()); |
| 107 | } |