law encrypt
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
111# Deterministic primitive: the caller supplies a nonce unique for this key.
112# The eventual effectful wrapper must generate nonces using an OS CSPRNG.
113law encrypt:
114 for key: SecretKey
115 for nonce: Nonce
116 for aad: List<&2, U32>
117 for plaintext: List<&2, U32>
118 Result<&2, &2, Error, Envelope>
Uses (8)
Used by (39)
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:encrypt_checked_with_flags
- qasim-bend-kit@0.1.0.2/proof/AES_NistInputProof:encrypt_inputs
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_encrypt
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:preserves_nonce
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_aad_valid
- …