1---2name: zksync-era3description: ZK Stack / zkSync Era—protocol specs, L1 contracts, Era VM, prover, compiler, L1–L2 communication, and data availability.4metadata:5 author: hairy6 version: "2026.2.24"7 source: Generated from https://github.com/matter-labs/zksync-era, scripts at https://github.com/antfu/skills8---910> Skill based on zkSync Era (ZK Stack), generated from `sources/zksync-era`. Doc path: `sources/zksync-era/docs/src/` (specs, guides).1112zkSync Era is an EVM-compatible ZK rollup that settles on Ethereum. It uses a register-based zkEVM (Era VM), state-diff data availability, and the Boojum proof system. This skill focuses on protocol mechanics, L1 contracts, VM/compiler behavior, L1–L2 messaging, and pubdata for agents that implement tooling, integrate with L1/L2, or reason about execution and finality.1314## Core References1516| Topic | Description | Reference |17|-------|-------------|-----------|18| Protocol overview | Sequencer, prover, L1 contract, blocks/batches, state diff, Boojum | [core-overview](references/core-overview.md) |19| Blocks and batches | L2 blocks vs L1 batches, sealing criteria, try-and-rollback, virtual blocks | [core-blocks-batches](references/core-blocks-batches.md) |20| L1 smart contracts | Diamond proxy, facets (Getters, Admin, Mailbox, Executor), bridges, governance | [core-l1-contracts](references/core-l1-contracts.md) |21| Era VM | Register machine, instructions, near/far calls, fat pointers, bootloader | [core-era-vm](references/core-era-vm.md) |2223## Features2425### L1–L2 and communication2627| Topic | Description | Reference |28|-------|-------------|-----------|29| L1–L2 communication | Priority ops, requestL2Transaction, address aliasing, L2→L1 logs/messages | [features-l1-l2-communication](references/features-l1-l2-communication.md) |3031### Prover and compiler3233| Topic | Description | Reference |34|-------|-------------|-----------|35| Prover | ZK terminology, Boojum, circuits, test harness | [features-prover](references/features-prover.md) |36| Compiler and system contracts | zksolc, Yul/EVMLA→EraVM, system contracts, auxiliary heap | [features-compiler-system-contracts](references/features-compiler-system-contracts.md) |3738### Transactions and data3940| Topic | Description | Reference |41|-------|-------------|-----------|42| Transactions | Types (Legacy, EIP-1559, 0x71, L1Tx), lifecycle, mempool, state keeper | [features-transactions](references/features-transactions.md) |43| Data availability | Pubdata categories, state diff, Boojum packing, L2 state reconstruction | [features-data-availability](references/features-data-availability.md) |