def pack

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:86

import Base

86# The bytes packed in the BLAKE2b specification's input array.
87def pack(bs: List<&2, U32>) -> Array<U32>:
88  +ws = words(bs)
89  +n = List.length(&2, U32, ws)
90  fill(ws, 0, Array.new(U32, depth_go(32n, n, 0n, Nat.is_le(n, 1n)), 0))