def changed_ciphertext_envelope
qasim-bend-kit@0.1.0.2 · proof/AES_NistTamperVectorProof.bend:100
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
100def changed_ciphertext_envelope() -> AES.Envelope:
101 AES.Envelope{AES.Nonce{[202, 254, 186, 190, 250, 206, 219, 173, 222, 202, 248, 136], {==}, {==}}, [1],
102 AES.Tag{V.empty_tag(), {==}, {==}}, {==}}