def W

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as SC
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A

275# The words of the memory mem in an array of 2^d words.
276def W(+d: Nat, +mem: List<&2, A.Block>) -> List<&2, U32>:
277  SC.append(U32, flat(mem), pad(d, SC.length(A.Block, mem)))