def rows8
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend as Subimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A
60# The block of 256 words (the inverse of words).
61def rows8(ws: List<&2,U32>) -> A.Block:
62 rows8_0(row(ws))
Uses (5)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:get_block
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:block_of
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/memory:read_fin
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/hash:block_of_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/hash:rows8_eq
- …