def verify

bend-collections@1.0.0.0 · src/crypto/mac.bend:60

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

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