def envelope_nonce
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
166def envelope_nonce(envelope: Envelope) -> Nonce:
167 match envelope:
168 case Envelope{nonce, ciphertext, tag, valid}: nonce
Uses (2)
Used by (16)
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:envelope_tag_computed
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:result_nonce
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:payload_parameters
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:tag_parameters
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:preserves_nonce
- …