def keccak64
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
314# the hash of 64 bytes
315def keccak64(+h: Hash, +bs: List<&2, U32>) -> List<&2, U32>:
316 digest_bytes(hash(h, pack(words(16n, bs), 0, Array.new(U32, 4n, 0)), 64n))