def CrKbkdf.counter

bend-osdev-crypto@0.1.0.0 · kbkdf.bend:43

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

43# [i]_2 as rlen bytes (the low 8 rlen bits of i, big-endian)
44def CrKbkdf.counter(+rlen: Nat, i: U32) -> B.Octets:
45  B.Octets.drop(Nat.sub(4n, rlen), B.Octets.be32(i))