def decrypt
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aead.bend as Aeadimport Base
87def decrypt(+alg: Alg, +key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +data: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
88 when_open(valid(alg, key, nonce), open(alg, key, nonce, aad, data))
Uses (7)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/proof:decrypt_valid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:decrypt_sealed
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:chacha20poly1305.decrypt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:decrypt.invalid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:decrypt.valid
- …