The road less travelled: 4 years of direct arithmetization of the EVM

Description

Directly arithmetizing the EVM is hard, and even harder to maintain ... Or is it ? In this talk I will explain how our zk-EVM underwent massive changes, from speed running the London -> Osaka hard forks, switching fields to parallelizing the tracer.