def open_split

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha20poly1305.bend:51

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/subtle.bend as EQ

51def open_split(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +ct: List<&2, U32>, +t: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
52  open_tag(EQ.equal(t, tag(key, nonce, aad, ct)), key, nonce, ct)