def ccm.pad

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

23# xs zero-padded to a whole number of blocks
24def ccm.pad(+xs: List<&2, U32>) -> List<&2, U32>:
25  B.append(xs, B.zeros(Nat.mod(Nat.sub(16n, Nat.mod(B.len(xs), 16n)), 16n)))