def tag
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha20poly1305.bend as Chacha20poly1305import Base
import bend-collections-laws-crypto@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))
Uses (5)
Used by (16)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha20poly1305:seal
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha20poly1305:open_split
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/chacha20poly1305:tag_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/chacha20poly1305:seal_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/laws:expected_tag
- …