~/jendhub

def CrMichael.verify

bend-osdev-crypto@0.1.0.0 · inst_michael.bend:23

import bend-osdev-crypto@0.1.0.0/inst_michael.bend as InstMichael
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs
import bend-osdev-hashes@0.1.0.0/michael.bend as MI
import bend-osdev-crypto@0.1.0.0/mac.bend as Mc

23# whether t is m's tag (the named default verify: every byte compared)
24def CrMichael.verify(k: Hs.HsW2, m: B.Octets, t: B.Octets) -> Bool:
25  Mc.CrMac.verify_tag(~Hs.HsW2, ~MI.HsMichael.mic, k, m, t)

Uses (5)

Used by (2)