~/jendhub

def changed_ciphertext_aad

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

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

94def changed_ciphertext_aad() -> List<&2, U32>:
95    []

Uses (2)

Used by (4)