~/jendhub

def block_count

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/hkdf.bend:33

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/hkdf.bend as Hkdf
import Base

33# N = ceil(L/HashLen).
34def block_count(+len: Nat) -> Nat:
35  Nat.div(Nat.add(len, 31n), hash_len())

Uses (4)

Used by (5)