Nicolas Liochon, Théodore Chapuis-Chkaiban, Alexandre Belling, Olivier Bégassat Many thanks to Thomas Piellard, Blazej Kolad and Gautam Botrel for their constructive feedback. Hi all, here is a proposal for an efficient zk-EVM arithmetization which we are starting to implement. Our objective was to satisfy the 3 following design goals: support for all EVM opcodes including internal smart contract calls, error management and gas management, ability to execute bytecode as is, minimal prover t...
