VM Formal Specification

This is the specification of the instruction set of EraVM 1.4.0, a language virtual machine for ZKsync Era. It describes the virtual machine's architecture, instruction syntax and semantics, and some elements of system protocol.

See the Formal Specification here.

ZKsync Virtual Machine primer

Overview

Exploring the prover in ZKsync, a ZK rollup technology, which ensures secure and efficient transaction verification through cryptographic proofs.

Made with ❤️ by the ZKsync Community