def tag
import bend-collections@1.0.0.0/spec/crypto/chacha20poly1305.bend as Chacha20poly1305import Base
import bend-collections@1.0.0.0/spec/crypto/poly1305.bend as PS
35def tag(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +ct: List<&2, U32>) -> List<&2, U32>:
36 PS.mac(poly_key(key, nonce), mac_data(aad, ct))