EVM.Keccak
Description
keccakAssumptions :: [Prop] -> [Expr Buf] -> [Expr Storage] -> [Prop] Source #
keccakCompute :: [Prop] -> [Expr Buf] -> [Expr Storage] -> [Prop] Source #