def tag
import bend-collections@1.0.0.0/src/crypto/aead/chacha20poly1305.bend as Chacha20poly1305import Base
import bend-collections@1.0.0.0/src/crypto/poly1305/poly1305.bend as P
38def tag(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +ct: List<&2, U32>) -> List<&2, U32>:
39 P.mac(poly_key(key, nonce), mac_data(aad, ct))