Compiler - ZKsyncDocs

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

Overview Arithmetic Bitwise Block Calls Create Environment Event Hashes Logical Memory Return Stack Storage

EVM Legacy Assembly Yul

EraVM Binary Layout

Fee Withdrawer Portal - Wallet + Bridge Block Explorer Transaction filtering

Locally In Production Rollup as a Service

ZK Stack
Components
Compiler

Edit this page Share feedback

Made with ❤️ by the ZKsync Community