Compiler - ZKsync Docs

ZKsync Network
ZK Stack
ZKsync Protocol
Tutorials

Getting started with ZKsync protocol

ZKsync protocol overview Bridging assets Finality Data availability Pubdata compression

Overview Double Resource Accounting Bootloader Execution Environments System Processing of Transactions System Hooks Runner Flow

Overview Features Data Availability Considerations Frequently Asked Questions

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 ZKsync Chain addresses

Audits Bug bounty Withdrawal delay

Transaction lifecycle Blocks and batches L1 <-> L2 communication

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

ZKsync Virtual Machine primer VM formal specification

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

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 LLVM framework

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

Overview EVM bytecode deployment and execution EraVM ↔ EVM Contract Interactions Differences Between the EVM Bytecode Interpreter and Ethereum Technical Architecture of the EVM Interpreter EVM Gas Interpretation Pre Deployed Contracts

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

Upgrades and migrations

ZKsync Docs

ZKsync Protocol
EraVM Chains
Compilers

Edit this page Share feedback Open in ChatGPT Open in Claude Get Help

Made with ❤️ by the ZKsync Community