def hash_padded
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core.bend as Coreimport Base
64def hash_padded(bytes: List<&2, U32>, +rounds: Nat) -> List<&2, U32>:
65 digest_bytes(absorb(lanes(bytes), rounds, zero()))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core.bend as Coreimport Base
64def hash_padded(bytes: List<&2, U32>, +rounds: Nat) -> List<&2, U32>:
65 digest_bytes(absorb(lanes(bytes), rounds, zero()))