~/jendhub

def CrKbkdf.length

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

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

86# [L]_2: L = 8 n bits as llen big-endian bytes
87def CrKbkdf.length(+llen: Nat, +n: Nat) -> B.Octets:
88  B.Octets.drop(Nat.sub(4n, llen), B.Octets.be32(U32.from_nat(Nat.mul(8n, n))))

Uses (7)

Used by (1)