Circuits for zkEVM Check out the work in progress specification to learn how it works. Getting started make test-all