HNHacker News
TopNewBestAskShowJobs

vons

42 karma · joined June 3, 2022

submissionscomments
vons··on Clean, a formal verification DSL for ZK circuits in Lean4
So, EOF is basically an object format for EVM (Ethereum Virtual Machine) bytecode. You can learn more here: https://evmobjectformat.org/. Clean is basically a DSL for writing zero-knowledge-proof circuits, so it is unrelated to the EVM.