def ccm.a0

bend-osdev-cipher-modes@0.1.0.0 · ccm.bend:80

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

80# A_0: (L-1) || nonce || zeros
81def ccm.a0(+l: Nat, +nonce: List<&2, U32>) -> M.CmBlock:
82  M.cm.block_of(Con{U32.from_nat(Nat.sub(l, 1n)), B.append(nonce, B.zeros(l))})