def block

qasim-bend-kit@0.1.0.2 · proof/AES_NistHashBlockProof.bend:7

import Base

7def block() -> List<&2, U32>:
8    [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]