law ethereum_keccak256

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/keccak/laws.bend:37

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/keccak.bend as K
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend as Sponge

37law ethereum_keccak256:
38  for a: Array<U32>
39  for +length: Nat
40  {K.keccak256(a,length) == Sponge.keccak256_rounds(24n,a,length) : Maybe<&1,Array<U32>>}