EraVM

A reimplementation of zkSync's out-of-circuit zkEVM.

Requirements

• Rust
• The EraVM Compiler: zksolc 1.5.1. Download the latest binary, then put it under your path. If done correctly, running zksolc --version should return 1.5.1.

Testing

Run

make deps

to fetch the era-compiler-tester test suite and install all the zkSync LLVM dependencies.

Then do

make test

to run all tests.

Documentation

Documentation can be found under the docs folder. Still a work in progress.

Useful references

• EraVM Primer. Highly recommended to read before diving into this codebase.
• zksolc Compiler Documentation. Very useful, as we are constantly interfacing with the compiler and its generated assembly.
• More General VM Docs
• EraVM Formal Spec