def main

qasim-bend-kit@0.1.0.2 · usage/AES_NistTest.bend:27

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

27def main() -> Bool:
28    +key: AES.SecretKey = AES.SecretKey{[254, 255, 233, 146, 134, 101, 115, 28,
29        109, 106, 143, 148, 103, 48, 131, 8, 254, 255, 233, 146,
30        134, 101, 115, 28, 109, 106, 143, 148, 103, 48, 131, 8],
31        {==}, {==}}
32    +nonce: AES.Nonce = AES.Nonce{[202, 254, 186, 190, 250, 206, 219, 173,
33        222, 202, 248, 136], {==}, {==}}
34    +aad: List<&2, U32> = [58, 215, 123, 180, 13, 122, 54, 96, 168, 158,
35        202, 243, 36, 102, 239, 151, 245, 211, 213, 133]
36    +plaintext: List<&2, U32> = [217, 49, 50, 37, 248, 132, 6, 229, 165,
37        89, 9, 197, 175, 245, 38, 154, 134, 167, 169, 83, 21, 52, 247,
38        218, 46, 76, 48, 61, 138, 49, 138, 114, 28, 60, 12, 149, 149,
39        104, 9, 83, 47, 207, 14, 36, 73, 166, 181, 37, 177, 106, 237,
40        245, 170, 13, 230, 87, 186, 99, 123, 57]
41    +expected: AES.Envelope = AES.Envelope{nonce,
42        [82, 45, 193, 240, 153, 86, 125, 7, 244, 127, 55, 163, 42, 132,
43         66, 125, 100, 58, 140, 220, 191, 229, 192, 201, 117, 152, 162,
44         189, 37, 85, 209, 170, 140, 176, 142, 72, 89, 13, 187, 61, 167,
45         176, 139, 16, 86, 130, 136, 56, 197, 246, 30, 99, 147, 186, 122,
46         10, 188, 201, 246, 98],
47        AES.Tag{[224, 151, 25, 95, 69, 50, 218, 137, 95, 185, 23, 165,
48            165, 92, 106, 160], {==}, {==}}, {==}}
49    empty_expected: AES.Envelope = AES.Envelope{nonce, [],
50        AES.Tag{[253, 44, 170, 22, 165, 131, 46, 118, 170, 19, 44, 20,
51            83, 238, 218, 126], {==}, {==}}, {==}}
52    +multiblock_plaintext = List.append(&2, U32, plaintext,
53        [26, 175, 210, 85])
54    +multiblock_ciphertext = List.append(&2, U32, AES.ciphertext(expected),
55        [137, 128, 21, 173])
56    +full_aad: List<&2, U32> = [58, 215, 123, 180, 13, 122, 54, 96, 168,
57        158, 202, 243, 36, 102, 239, 151, 245, 211, 213, 133, 3, 185, 105,
58        157, 231, 133, 137, 90, 150, 253, 186, 175, 67, 177, 205, 127,
59        89, 142, 206, 35, 136, 27, 0, 227, 237, 3, 6, 136, 123, 12, 120,
60        94, 39, 232, 173, 63, 130, 35, 32, 113, 4, 114, 93, 212]
61    multiblock_expected: AES.Envelope = AES.Envelope{nonce,
62        multiblock_ciphertext,
63        AES.Tag{[176, 148, 218, 197, 217, 52, 113, 189, 236, 26, 80, 34,
64            112, 227, 204, 108], {==}, {==}}, {==}}
65    aad_only_expected: AES.Envelope = AES.Envelope{nonce, [],
66        AES.Tag{[222, 52, 182, 220, 212, 206, 226, 253, 190, 195, 206,
67            160, 26, 241, 238, 68], {==}, {==}}, {==}}
68    aad_multiblock_expected: AES.Envelope = AES.Envelope{nonce,
69        multiblock_ciphertext,
70        AES.Tag{[192, 109, 118, 243, 25, 48, 254, 243, 122, 202, 226, 62,
71            212, 101, 174, 98], {==}, {==}}, {==}}
72    empty_ok = check_vector(key, nonce, [], [], empty_expected)
73    multiblock_ok = check_vector(key, nonce, [], multiblock_plaintext,
74        multiblock_expected)
75    aad_only_ok = check_vector(key, nonce, full_aad, [], aad_only_expected)
76    aad_multiblock_ok = check_vector(key, nonce, full_aad,
77        multiblock_plaintext, aad_multiblock_expected)
78    partial_ok = check_vector(key, nonce, aad, plaintext, expected)
79    Bool.and(empty_ok, Bool.and(multiblock_ok, Bool.and(aad_only_ok,
80        Bool.and(aad_multiblock_ok, partial_ok))))