type CmacState

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

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

35# The state: the chaining value x, and the bytes not yet processed (at most
36# 16, newest first) and their count. A full buffer is kept until the next byte
37# arrives, since the last block is treated differently.
38type CmacState is Data:
39  CmacState{x: M.CmBlock, buf: List<&2, U32>, n: Nat}