blob: 5535c5de7e44b4eda3bbfc04005fb9e1d86ca0bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
(def check-aes (key pt ct)
(+
(assert (=
ct
(aes-encrypt key pt)))
(assert (=
pt
(aes-decrypt key ct)))
)
)
(check-aes
[000102030405060708090a0b0c0d0e0f]
[00112233445566778899aabbccddeeff]
[69c4e0d86a7b0430d8cdb78070b4c55a]
)
(check-aes
[000102030405060708090a0b0c0d0e0f1011121314151617]
[00112233445566778899aabbccddeeff]
[dda97ca4864cdfe06eaf70a0ec0d7191]
)
(check-aes
[000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f]
[00112233445566778899aabbccddeeff]
[8ea2b7ca516745bfeafc49904b496089]
)
(check-aes
[2b7e151628aed2a6abf7158809cf4f3c]
[6bc1bee22e409f96e93d7e117393172a]
[3ad77bb40d7a3660a89ecaf32466ef97]
)
(check-aes
[2b7e151628aed2a6abf7158809cf4f3c]
[ae2d8a571e03ac9c9eb76fac45af8e51]
[f5d3d58503b9699de785895a96fdbaaf]
)
(check-aes
[2b7e151628aed2a6abf7158809cf4f3c]
[30c81c46a35ce411e5fbc1191a0a52ef]
[43b1cd7f598ece23881b00e3ed030688]
)
(check-aes
[2b7e151628aed2a6abf7158809cf4f3c]
[f69f2445df4f9b17ad2b417be66c3710]
[7b0c785e27e8ad3f8223207104725dd4]
)
(check-aes
[8e73b0f7da0e6452c810f32b809079e562f8ead2522c6b7b]
[6bc1bee22e409f96e93d7e117393172a]
[bd334f1d6e45f25ff712a214571fa5cc]
)
(check-aes
[8e73b0f7da0e6452c810f32b809079e562f8ead2522c6b7b]
[ae2d8a571e03ac9c9eb76fac45af8e51]
[974104846d0ad3ad7734ecb3ecee4eef]
)
(check-aes
[8e73b0f7da0e6452c810f32b809079e562f8ead2522c6b7b]
[30c81c46a35ce411e5fbc1191a0a52ef]
[ef7afd2270e2e60adce0ba2face6444e]
)
(check-aes
[8e73b0f7da0e6452c810f32b809079e562f8ead2522c6b7b]
[f69f2445df4f9b17ad2b417be66c3710]
[9a4b41ba738d6c72fb16691603c18e0e]
)
(check-aes
[603deb1015ca71be2b73aef0857d77811f352c073b6108d72d9810a30914dff4]
[6bc1bee22e409f96e93d7e117393172a]
[f3eed1bdb5d2a03c064b5a7e3db181f8]
)
(check-aes
[603deb1015ca71be2b73aef0857d77811f352c073b6108d72d9810a30914dff4]
[ae2d8a571e03ac9c9eb76fac45af8e51]
[591ccb10d410ed26dc5ba74a31362870]
)
(check-aes
[603deb1015ca71be2b73aef0857d77811f352c073b6108d72d9810a30914dff4]
[30c81c46a35ce411e5fbc1191a0a52ef]
[b6ed21b99ca6f4f9f153e7b1beafed1d]
)
(check-aes
[603deb1015ca71be2b73aef0857d77811f352c073b6108d72d9810a30914dff4]
[f69f2445df4f9b17ad2b417be66c3710]
[23304b7a39f9f3ff067d8d8f9e24ecc7]
)
(puts success)
|
