ZKsync Era
ZK Stack
ZKsync Protocol
Community Code

Getting started with ZKsync protocol

ZKsync protocol overview Transaction lifecycle Blocks and batches L1 <-> L2 communication Bridging assets

Fee model How L2 gas price works How ZKsync Era charges for pubdata ZKsync fee structure

Finality Data availability Pubdata compression

Overview Conventions Ethereum JSON-RPC API Debug JSON-RPC API ZKsync JSON-RPC API PubSub JSON-RPC API

ZKsync contracts

L1 contracts L1 ecosystem contracts Shared bridges

Bootloader System contracts Handling L1->L2 ops on ZKsync Handling pubdata Pubdata post 4844

ZKsync Virtual Machine primer VM formal specification

Overview ZK terminology

Overview Circuit testing CodeDecommitter DemuxLogQueue ECRecover KeccakRoundFunction L1MessagesHasher LogSorter Main VM RAMPermutation Sha256RoundFunction StorageApplication

Overview SortDecommitments StorageSorter LogSorter

Boojum gadgets Boojum function - `check_if_satisfied`

Compiler toolchain overview Solidity compiler Vyper compiler LLVM framework

Overview Code separation System contracts Exception handling EVM Legacy Assembly translator

Instruction Reference

Native EVM Instructions Arithmetic Bitwise Block Call Create Environment Logging Logical Memory Return Sha3 Stack

Overview ZKsync Era Extension Simulation (call)ZKsync Era Extension Simulation (verbatim)

EVM Legacy Assembly Yul

EraVM binary layout

Audits Bug bounty Withdrawal delay

EVM instructions Nonces Libraries Precompiles Native AA vs EIP 4337 Contract deployment

Introduction Design Paymasters Building smart accounts Signature validation Extending EIP-4337

Upgrades and migrations

ZKsync Docs

ZKsync Protocol
Compilers
Specification
Instructions
Extensions

Overview

Since we have no control over the Solidity compiler, we are using temporary hacks to support ZKsync-specific instructions:

Call substitutions
Verbatim substitutions

Stack

ZKsync Era Extension Simulation (call)

Edit this page Share feedback

Made with ❤️ by the ZKsync Community