hevm-0.54.2: Symbolic EVM Evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Keccak

Description

 

Documentation

keccakAssumptions :: [Prop] -> [Expr Buf] -> [Expr Storage] -> [Prop] Source #

keccakCompute :: [Prop] -> [Expr Buf] -> [Expr Storage] -> [Prop] Source #