~/jendhub

def Cmac.finish

bend-osdev-cipher-modes@0.1.0.0 · cmac.bend:75

import bend-osdev-cipher-modes@0.1.0.0/cmac.bend as Cmac
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

75# the 16-byte MAC
76def Cmac.finish(~K: Data, ~enc: K -> M.CmBlock -> M.CmBlock, +k: K, s: CmacState) -> B.Octets:
77  match s:
78    case CmacState{x, buf, +n}:
79      M.CmBlock.to_octets(cmac.last(~K, ~enc, Nat.is_eq(n, 16n), k, x, List.reverse(&2, U32, buf)))

Uses (8)

Used by (1)