def block_of
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2.bend as Argon2import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A
184# The block of 1024 bytes: lane n is the little-endian 64-bit word of bytes 8n .. 8n + 7.
185def block_of(bs: List<&2, U32>) -> A.Block:
186 rows_of0(row_of(words(bs)))
Uses (6)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2:init_go
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/run:init_len
- 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/run:init_block_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/run:init_eq