def block
import qasim-bend-kit@0.1.0.2/proof/AES_NistBlockProof.bend as AESNistBlockProofimport Base
5# Concrete stages of the NIST J0 block, checked by the independent kernel.
6def block() -> List<&2, U32>:
7 [202, 254, 186, 190, 250, 206, 219, 173, 222, 202, 248, 136, 0, 0, 0, 1]