def decrypt

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

import Base

101def decrypt(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +data: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
102  when_open(lengths_ok(key, nonce, 12n), open(key, nonce, aad, data))