def ciphertext
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
157def ciphertext(envelope: Envelope) -> List<&2, U32>:
158 match envelope:
159 case Envelope{nonce, ciphertext, tag, valid}: ciphertext
Uses (3)
Used by (30)
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:envelope_tag_computed
- 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/libs/AES256GCM:decrypt_impl
- …