~/jendhub

def empty_auth

qasim-bend-kit@0.1.0.2 · proof/AES_NistVectorProof.bend:28

import qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof.bend as AESNistVectorProof
import Base

28def empty_auth() -> List<&2, U32>:
29    [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]

Uses (2)

Used by (2)