def encrypt

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aead/chacha20poly1305.bend:98

import Base

98def encrypt(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +pt: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
99  when(lengths_ok(key, nonce, 12n), seal(key, nonce, aad, pt))