def keccak
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core.bend as Coreimport Base
67def keccak(+bytes: List<&2, U32>, +rounds: Nat) -> List<&2, U32>:
68 hash_padded(List.append(&2, U32, bytes, suffix(List.length(&2, U32, bytes))), rounds)