High-Performance ZKsync Era VM (EraVM)

A high-performance rewrite of the out-of-circuit VM for ZKsync Era (aka EraVM).

See Era docs for the VM overview and formal specification.

Overview

This repository contains the following crates:

• zksync_vm2_interface: stable VM interface for tracers
• zksync_vm2: VM implementation itself
• zksync_vm2_afl_fuzz: AFL-based fuzzing for the VM.

Policies

• Security policy
• Contribution policy

License

ZKsync Era VM is distributed under the terms of either

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or https://opensource.org/blog/license/mit/)

at your option.