def ccm.be

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

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

19# the low n bytes of v, most significant first (zeros above the 32 bits of v)
20def ccm.be(n: Nat, +v: U32) -> List<&2, U32>:
21  B.drop(Nat.sub(8n, n), B.append(B.zeros(4n), M.cm.unword(v, Nil{})))