def changed_aad_envelope
qasim-bend-kit@0.1.0.2 · proof/AES_NistTamperVectorProof.bend:25
import qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof.bend as AESNistTamperVectorProof
import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
import qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof.bend as V
25def changed_aad_envelope() -> AES.Envelope:
26 AES.Envelope{AES.Nonce{[202, 254, 186, 190, 250, 206, 219, 173, 222, 202, 248, 136], {==}, {==}}, [],
27 AES.Tag{V.empty_tag(), {==}, {==}}, {==}}