law decrypt
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
120# Fail contains only an Error, never unauthenticated or partial plaintext.
121law decrypt:
122 for key: SecretKey
123 for aad: List<&2, U32>
124 for envelope: Envelope
125 Result<&2, &2, Error, List<&2, U32>>
Uses (7)
Used by (26)
- qasim-bend-kit@0.1.0.2/proof/AES_NistInputProof:decrypt_inputs
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_decrypt_roundtrip
- qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof:rejects_changed_aad
- qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof:rejects_changed_ciphertext
- …