Compiler - ZKsync Docs

Docs
SDK
ZK Stack
ZKsync Node
Ecosystem
Community Code

Transaction Lifecycle Blocks and Batches ZKsync Fee Mechanism Finality System Upgrades ZK Chains

Overview Recreating L2 state from L1 pubdata Validiums

Account Abstraction L1 <-> L2 Communication

Smart Contracts System Contracts

Shared Bridges Sequencer / Server

Overview Bootloader Precompiles

ZKsync Virtual Machine primer VM Formal Specification

Overview ZK Terminology Running the Prover

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

Fee Withdrawer Portal - Wallet + Bridge Block Explorer Transaction filtering

Getting Started with ZK Stack Using a Local ZK chain Custom Base Tokens Proving Configurations In Production Rollup as a Service Validium in ZK Stack

ZK Stack

ZK Stack
Components
Compiler

Edit this page Share feedback

Made with ❤️ by the ZKsync Community