diff --git a/reference-implementation/examples/test_vectors.rs b/reference-implementation/examples/test_vectors.rs index 93bb427..d2d2f93 100644 --- a/reference-implementation/examples/test_vectors.rs +++ b/reference-implementation/examples/test_vectors.rs @@ -49,7 +49,7 @@ mod header { fn to_markdown(&self) -> String { let TestVector { kid, ctr, encoded } = self; format!( - "~~~ + "~~~ test-vectors kid: 0x{kid:016x} ctr: 0x{ctr:016x} header: {encoded:8} @@ -185,7 +185,7 @@ mod aes_ctr_hmac { } = self; format!( - "~~~ + "~~~ test-vectors cipher_suite: 0x{cipher_suite:04x} key: {key:5} enc_key: {enc_key:9} @@ -302,7 +302,7 @@ mod sframe { } = self; format!( - "~~~ + "~~~ test-vectors cipher_suite: 0x{cipher_suite:04x} kid: 0x{kid:016x} ctr: 0x{ctr:016x} diff --git a/test-vectors/aes-ctr-hmac.md b/test-vectors/aes-ctr-hmac.md index b6af997..90e6143 100644 --- a/test-vectors/aes-ctr-hmac.md +++ b/test-vectors/aes-ctr-hmac.md @@ -1,4 +1,4 @@ -~~~ +~~~ test-vectors cipher_suite: 0x0001 key: 000102030405060708090a0b0c0d0e0f 101112131415161718191a1b1c1d1e1f @@ -14,7 +14,7 @@ ct: 6339af04ada1d064688a442b8dc69d5b 6bfa40f4bef0583e8081069cc60705 ~~~ -~~~ +~~~ test-vectors cipher_suite: 0x0002 key: 000102030405060708090a0b0c0d0e0f 101112131415161718191a1b1c1d1e1f @@ -30,7 +30,7 @@ ct: 6339af04ada1d064688a442b8dc69d5b 6bfa40f4be6e93b7da076927bb ~~~ -~~~ +~~~ test-vectors cipher_suite: 0x0003 key: 000102030405060708090a0b0c0d0e0f 101112131415161718191a1b1c1d1e1f diff --git a/test-vectors/header.md b/test-vectors/header.md index c15c280..5f46fe6 100644 --- a/test-vectors/header.md +++ b/test-vectors/header.md @@ -1,1735 +1,1735 @@ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000000000000 header: 00 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000000000001 header: 01 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x00000000000000ff header: 08ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000000000100 header: 090100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x000000000000ffff header: 09ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000000010000 header: 0a010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000000ffffff header: 0affffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000001000000 header: 0b01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x00000000ffffffff header: 0bffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000000100000000 header: 0c0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x000000ffffffffff header: 0cffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000010000000000 header: 0d010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0000ffffffffffff header: 0dffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0001000000000000 header: 0e01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x00ffffffffffffff header: 0effffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0x0100000000000000 header: 0f0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000000 ctr: 0xffffffffffffffff header: 0fffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000000000000 header: 10 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000000000001 header: 11 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x00000000000000ff header: 18ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000000000100 header: 190100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x000000000000ffff header: 19ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000000010000 header: 1a010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000000ffffff header: 1affffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000001000000 header: 1b01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x00000000ffffffff header: 1bffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000000100000000 header: 1c0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x000000ffffffffff header: 1cffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000010000000000 header: 1d010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0000ffffffffffff header: 1dffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0001000000000000 header: 1e01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x00ffffffffffffff header: 1effffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0x0100000000000000 header: 1f0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000001 ctr: 0xffffffffffffffff header: 1fffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000000000000 header: 80ff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000000000001 header: 81ff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x00000000000000ff header: 88ffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000000000100 header: 89ff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x000000000000ffff header: 89ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000000010000 header: 8aff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000000ffffff header: 8affffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000001000000 header: 8bff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x00000000ffffffff header: 8bffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000000100000000 header: 8cff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x000000ffffffffff header: 8cffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000010000000000 header: 8dff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0000ffffffffffff header: 8dffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0001000000000000 header: 8eff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x00ffffffffffffff header: 8effffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0x0100000000000000 header: 8fff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000000000ff ctr: 0xffffffffffffffff header: 8fffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000000000000 header: 900100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000000000001 header: 910100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x00000000000000ff header: 980100ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000000000100 header: 9901000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x000000000000ffff header: 990100ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000000010000 header: 9a0100010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000000ffffff header: 9a0100ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000001000000 header: 9b010001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x00000000ffffffff header: 9b0100ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000000100000000 header: 9c01000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x000000ffffffffff header: 9c0100ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000010000000000 header: 9d0100010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0000ffffffffffff header: 9d0100ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0001000000000000 header: 9e010001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x00ffffffffffffff header: 9e0100ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0x0100000000000000 header: 9f01000100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000000100 ctr: 0xffffffffffffffff header: 9f0100ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000000000000 header: 90ffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000000000001 header: 91ffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x00000000000000ff header: 98ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000000000100 header: 99ffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x000000000000ffff header: 99ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000000010000 header: 9affff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000000ffffff header: 9affffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000001000000 header: 9bffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x00000000ffffffff header: 9bffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000000100000000 header: 9cffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x000000ffffffffff header: 9cffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000010000000000 header: 9dffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0000ffffffffffff header: 9dffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0001000000000000 header: 9effff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x00ffffffffffffff header: 9effffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0x0100000000000000 header: 9fffff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000000000ffff ctr: 0xffffffffffffffff header: 9fffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000000000000 header: a0010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000000000001 header: a1010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x00000000000000ff header: a8010000ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000000000100 header: a90100000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x000000000000ffff header: a9010000ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000000010000 header: aa010000010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000000ffffff header: aa010000ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000001000000 header: ab01000001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x00000000ffffffff header: ab010000ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000000100000000 header: ac0100000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x000000ffffffffff header: ac010000ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000010000000000 header: ad010000010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0000ffffffffffff header: ad010000ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0001000000000000 header: ae01000001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x00ffffffffffffff header: ae010000ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0x0100000000000000 header: af0100000100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000010000 ctr: 0xffffffffffffffff header: af010000ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000000000000 header: a0ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000000000001 header: a1ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x00000000000000ff header: a8ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000000000100 header: a9ffffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x000000000000ffff header: a9ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000000010000 header: aaffffff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000000ffffff header: aaffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000001000000 header: abffffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x00000000ffffffff header: abffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000000100000000 header: acffffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x000000ffffffffff header: acffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000010000000000 header: adffffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0000ffffffffffff header: adffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0001000000000000 header: aeffffff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x00ffffffffffffff header: aeffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0x0100000000000000 header: afffffff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000000ffffff ctr: 0xffffffffffffffff header: afffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000000000000 header: b001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000000000001 header: b101000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x00000000000000ff header: b801000000ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000000000100 header: b9010000000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x000000000000ffff header: b901000000ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000000010000 header: ba01000000010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000000ffffff header: ba01000000ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000001000000 header: bb0100000001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x00000000ffffffff header: bb01000000ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000000100000000 header: bc010000000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x000000ffffffffff header: bc01000000ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000010000000000 header: bd01000000010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0000ffffffffffff header: bd01000000ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0001000000000000 header: be0100000001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x00ffffffffffffff header: be01000000ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0x0100000000000000 header: bf010000000100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000001000000 ctr: 0xffffffffffffffff header: bf01000000ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000000000000 header: b0ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000000000001 header: b1ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x00000000000000ff header: b8ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000000000100 header: b9ffffffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x000000000000ffff header: b9ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000000010000 header: baffffffff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000000ffffff header: baffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000001000000 header: bbffffffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x00000000ffffffff header: bbffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000000100000000 header: bcffffffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x000000ffffffffff header: bcffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000010000000000 header: bdffffffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0000ffffffffffff header: bdffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0001000000000000 header: beffffffff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x00ffffffffffffff header: beffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0x0100000000000000 header: bfffffffff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00000000ffffffff ctr: 0xffffffffffffffff header: bfffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000000000000 header: c00100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000000000001 header: c10100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x00000000000000ff header: c80100000000ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000000000100 header: c901000000000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x000000000000ffff header: c90100000000ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000000010000 header: ca0100000000010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000000ffffff header: ca0100000000ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000001000000 header: cb010000000001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x00000000ffffffff header: cb0100000000ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000000100000000 header: cc01000000000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x000000ffffffffff header: cc0100000000ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000010000000000 header: cd0100000000010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0000ffffffffffff header: cd0100000000ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0001000000000000 header: ce010000000001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x00ffffffffffffff header: ce0100000000ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0x0100000000000000 header: cf01000000000100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000000100000000 ctr: 0xffffffffffffffff header: cf0100000000ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000000000000 header: c0ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000000000001 header: c1ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x00000000000000ff header: c8ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000000000100 header: c9ffffffffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x000000000000ffff header: c9ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000000010000 header: caffffffffff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000000ffffff header: caffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000001000000 header: cbffffffffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x00000000ffffffff header: cbffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000000100000000 header: ccffffffffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x000000ffffffffff header: ccffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000010000000000 header: cdffffffffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0000ffffffffffff header: cdffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0001000000000000 header: ceffffffffff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x00ffffffffffffff header: ceffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0x0100000000000000 header: cfffffffffff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x000000ffffffffff ctr: 0xffffffffffffffff header: cfffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000000000000 header: d0010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000000000001 header: d1010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x00000000000000ff header: d8010000000000ff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000000000100 header: d90100000000000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x000000000000ffff header: d9010000000000ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000000010000 header: da010000000000010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000000ffffff header: da010000000000ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000001000000 header: db01000000000001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x00000000ffffffff header: db010000000000ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000000100000000 header: dc0100000000000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x000000ffffffffff header: dc010000000000ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000010000000000 header: dd010000000000010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0000ffffffffffff header: dd010000000000ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0001000000000000 header: de01000000000001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x00ffffffffffffff header: de010000000000ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0x0100000000000000 header: df0100000000000100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000010000000000 ctr: 0xffffffffffffffff header: df010000000000ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000000000000 header: d0ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000000000001 header: d1ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x00000000000000ff header: d8ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000000000100 header: d9ffffffffffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x000000000000ffff header: d9ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000000010000 header: daffffffffffff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000000ffffff header: daffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000001000000 header: dbffffffffffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x00000000ffffffff header: dbffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000000100000000 header: dcffffffffffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x000000ffffffffff header: dcffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000010000000000 header: ddffffffffffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0000ffffffffffff header: ddffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0001000000000000 header: deffffffffffff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x00ffffffffffffff header: deffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0x0100000000000000 header: dfffffffffffff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0000ffffffffffff ctr: 0xffffffffffffffff header: dfffffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000000000000 header: e001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000000000001 header: e101000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x00000000000000ff header: e801000000000000ff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000000000100 header: e9010000000000000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x000000000000ffff header: e901000000000000ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000000010000 header: ea01000000000000010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000000ffffff header: ea01000000000000ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000001000000 header: eb0100000000000001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x00000000ffffffff header: eb01000000000000ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000000100000000 header: ec010000000000000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x000000ffffffffff header: ec01000000000000ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000010000000000 header: ed01000000000000010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0000ffffffffffff header: ed01000000000000ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0001000000000000 header: ee0100000000000001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x00ffffffffffffff header: ee01000000000000ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0x0100000000000000 header: ef010000000000000100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0001000000000000 ctr: 0xffffffffffffffff header: ef01000000000000ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000000000000 header: e0ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000000000001 header: e1ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x00000000000000ff header: e8ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000000000100 header: e9ffffffffffffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x000000000000ffff header: e9ffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000000010000 header: eaffffffffffffff010000 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000000ffffff header: eaffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000001000000 header: ebffffffffffffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x00000000ffffffff header: ebffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000000100000000 header: ecffffffffffffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x000000ffffffffff header: ecffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000010000000000 header: edffffffffffffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0000ffffffffffff header: edffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0001000000000000 header: eeffffffffffffff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x00ffffffffffffff header: eeffffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0x0100000000000000 header: efffffffffffffff0100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x00ffffffffffffff ctr: 0xffffffffffffffff header: efffffffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000000000000 header: f00100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000000000001 header: f10100000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x00000000000000ff header: f80100000000000000ff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000000000100 header: f901000000000000000100 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x000000000000ffff header: f90100000000000000ffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000000010000 header: fa0100000000000000010000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000000ffffff header: fa0100000000000000ffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000001000000 header: fb010000000000000001000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x00000000ffffffff header: fb0100000000000000ffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000000100000000 header: fc01000000000000000100000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x000000ffffffffff header: fc0100000000000000ffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000010000000000 header: fd0100000000000000010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0000ffffffffffff header: fd0100000000000000ffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0001000000000000 header: fe010000000000000001000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x00ffffffffffffff header: fe0100000000000000ffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0x0100000000000000 header: ff010000000000000001000000000000 00 ~~~ -~~~ +~~~ test-vectors kid: 0x0100000000000000 ctr: 0xffffffffffffffff header: ff0100000000000000ffffffffffffff ff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000000000000 header: f0ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000000000001 header: f1ffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x00000000000000ff header: f8ffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000000000100 header: f9ffffffffffffffff0100 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x000000000000ffff header: f9ffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000000010000 header: faffffffffffffffff010000 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000000ffffff header: faffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000001000000 header: fbffffffffffffffff01000000 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x00000000ffffffff header: fbffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000000100000000 header: fcffffffffffffffff0100000000 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x000000ffffffffff header: fcffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000010000000000 header: fdffffffffffffffff010000000000 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0000ffffffffffff header: fdffffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0001000000000000 header: feffffffffffffffff01000000000000 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x00ffffffffffffff header: feffffffffffffffffffffffffffffff ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0x0100000000000000 header: ffffffffffffffffff01000000000000 00 ~~~ -~~~ +~~~ test-vectors kid: 0xffffffffffffffff ctr: 0xffffffffffffffff header: ffffffffffffffffffffffffffffffff diff --git a/test-vectors/sframe.md b/test-vectors/sframe.md index 44455a5..e9112e9 100644 --- a/test-vectors/sframe.md +++ b/test-vectors/sframe.md @@ -1,4 +1,4 @@ -~~~ +~~~ test-vectors cipher_suite: 0x0001 kid: 0x0000000000000123 ctr: 0x0000000000004567 @@ -25,7 +25,7 @@ ct: 9901234567449408b6f490086165b9d6 12e24f11 ~~~ -~~~ +~~~ test-vectors cipher_suite: 0x0002 kid: 0x0000000000000123 ctr: 0x0000000000004567 @@ -52,7 +52,7 @@ ct: 99012345673f31438db4d09434e43afa d607 ~~~ -~~~ +~~~ test-vectors cipher_suite: 0x0003 kid: 0x0000000000000123 ctr: 0x0000000000004567 @@ -78,7 +78,7 @@ ct: 990123456717fc8af28a5a695afcfc6c 8df6358a17e26b2fcb3bae32e443 ~~~ -~~~ +~~~ test-vectors cipher_suite: 0x0004 kid: 0x0000000000000123 ctr: 0x0000000000004567 @@ -103,7 +103,7 @@ ct: 9901234567b7412c2513a1b66dbb4884 b091c07018ce4adb34eb ~~~ -~~~ +~~~ test-vectors cipher_suite: 0x0005 kid: 0x0000000000000123 ctr: 0x0000000000004567