~/jendhub

def changed_nonce_aad

qasim-bend-kit@0.1.0.2 · proof/AES_NistTamperVectorProof.bend:69

import qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof.bend as AESNistTamperVectorProof
import Base

69def changed_nonce_aad() -> List<&2, U32>:
70    []

Uses (2)

Used by (4)