def encrypt
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aead.bend as Aeadimport Base
84def encrypt(+alg: Alg, +key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +pt: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
85 when_open(valid(alg, key, nonce), seal(alg, key, nonce, aad, pt))
Uses (7)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/proof:encrypt_valid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:chacha20poly1305.encrypt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:decrypt_sound
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:encrypt.invalid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:encrypt.valid
- …