A reimplementation of zkSync's out-of-circuit zkEVM.
- Rust
- The EraVM Compiler: zksolc 1.5.1. Download the latest binary, then put it under your path. If done correctly, running
zksolc --versionshould return 1.5.1.
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 can be found under the docs folder. Still a work in progress.
- 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