def changed_nonce_envelope

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

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

75def changed_nonce_envelope() -> AES.Envelope:
76    AES.Envelope{AES.Nonce{[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], {==}, {==}}, [],
77        AES.Tag{V.empty_tag(), {==}, {==}}, {==}}

Uses (5)

Used by (4)