def cmac.step

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

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

51def cmac.step(~K: Data, ~enc: K -> M.CmBlock -> M.CmBlock, +k: K, s: CmacState, b: U32) -> CmacState:
52  match s:
53    case CmacState{x, buf, +n}:
54      cmac.push(~K, ~enc, Nat.is_eq(n, 16n), k, x, buf, n, b)