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