! set-d
{ { 0x01020304 0x02030401 0x03040102 0x04010203 } } [
- { 0x01010101 0x02020202 0x03030303 0x04040404 } shift-rows
+ { 0x01010101 0x02020202 0x03030303 0x04040404 } shift-rows
] unit-test
{ { 0x01010101 0x02020202 0x03030303 0x04040404 } } [
- { 0x01020304 0x02030401 0x03040102 0x04010203 } unshift-rows
+ { 0x01020304 0x02030401 0x03040102 0x04010203 } unshift-rows
] unit-test
{ 0x02030401 } [ 0x01020304 rotword ] unit-test
{
-V{ 729683222 682545830 2885096840 164581180 2700803607 2287217841
- 597899577 711751173 4072838642 2056698179 1496678522 1935275647
- 1031817085 1192689214 505642564 1836746811 4014253377 2823969663
- 3060868411 3674975488 3570517752 2089000327 3404904636 301536700
- 1837671290 285949693 3690563137 3389035517 1314191118 1600113139
- 2225491890 1319558223 3939660577 3045964498 824964448 2139957551
- 2893506291 435870753 684796225 1465647214 3491035560 3387827593
- 3779005640 3059944614 }
+ V{
+ 729683222 682545830 2885096840 164581180 2700803607 2287217841
+ 597899577 711751173 4072838642 2056698179 1496678522 1935275647
+ 1031817085 1192689214 505642564 1836746811 4014253377 2823969663
+ 3060868411 3674975488 3570517752 2089000327 3404904636 301536700
+ 1837671290 285949693 3690563137 3389035517 1314191118 1600113139
+ 2225491890 1319558223 3939660577 3045964498 824964448 2139957551
+ 2893506291 435870753 684796225 1465647214 3491035560 3387827593
+ 3779005640 3059944614
+ }
} [
B{ 0x2b 0x7e 0x15 0x16 0x28 0xae 0xd2 0xa6 0xab 0xf7 0x15 0x88 0x09 0xcf 0x4f 0x3c } ! AES-128 key expansion test vector from FIPS-197 (appendix)
10 (expand-enc-key)
{ 0x046681e5 } [ 0x088df419 ui32> t-transform ] unit-test
-{ V{
- 0x3925841d
- 0x02dc09fb
- 0xdc118597
- 0x196a0b32
- }
+{
+ V{
+ 0x3925841d
+ 0x02dc09fb
+ 0xdc118597
+ 0x196a0b32
+ }
} [
key plaintext aes-encrypt-block bytes>words
] unit-test