def key_bytes

qasim-bend-kit@0.1.0.2 · proof/AES_NistKeyScheduleProof.bend:6

import Base

6# NIST AES-256 example key. Every expansion step is independently checked.
7def key_bytes() -> List<&2, U32>:
8    [254, 255, 233, 146, 134, 101, 115, 28, 109, 106, 143, 148, 103, 48, 131, 8, 254, 255, 233, 146, 134, 101, 115, 28, 109, 106, 143, 148, 103, 48, 131, 8]