def open

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

import Base

65# The plaintext of ciphertext || tag, without key/nonce length checks.
66def open(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +data: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
67  open_len(Nat.is_lt(List.length(&2, U32, data), 16n), key, nonce, aad, data)