def hash
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/sized.bend as Sizedimport Base
85# BLAKE2b with an nn-byte digest (1 <= nn <= 64) of the bytes.
86def hash(+nn: Nat, +bs: List<&2, U32>) -> List<&2, U32>:
87 +ll = List.length(&2, U32, bs)
88 List.take(&2, U32, chain_bytes(chain(nn, pack(bs), ll)), nn)
Uses (8)
Used by (13)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:hp_go
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:h0
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/hash:hash_eq
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:hp_pick
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/password:hash_len
- …