Mac.verify: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/mac.bend as Mac
Lines 60-63 of bend-collections@1.0.0.0/src/crypto/mac.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/mac.bend&start_line=60&end_line=63

import Base
import bend-collections@1.0.0.0/src/crypto/subtle.bend as Subtle

# The tag is compared in constant time (subtle.eq: no early exit on the
# contents; only the lengths, which are public, are compared directly).
def verify(+key: List<&2, U32>, msg: List<&2, U32>, tag: List<&2, U32>) -> Bool:
  Subtle.eq(sign(key, msg), tag)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/mac.bend&name=sign
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/subtle.bend&name=eq