~/jendhub

def pad

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/memory.bend:272

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory.bend as Memory
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as SC

272def pad(+d: Nat, +n: Nat) -> List<&2, U32>:
273  SC.replicate(U32, Nat.sub(SC.pow2(d), Nat.mul(n, 256n)), 0)

Uses (7)

Used by (5)