1---2name: zksync-era3description: ZK Stack / zkSync Era—protocol specs, L1 contracts, Era VM, prover, compiler, L1–L2 communication, and data availability.4---56> Skill based on zkSync Era (ZK Stack), generated from `sources/zksync-era`. Doc path: `sources/zksync-era/docs/src/` (specs, guides).78zkSync 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.910## Core References1112| Topic | Description | Reference |13|-------|-------------|-----------|14| Protocol overview | Sequencer, prover, L1 contract, blocks/batches, state diff, Boojum | [core-overview](references/core-overview.md) |15| Blocks and batches | L2 blocks vs L1 batches, sealing criteria, try-and-rollback, virtual blocks | [core-blocks-batches](references/core-blocks-batches.md) |16| L1 smart contracts | Diamond proxy, facets (Getters, Admin, Mailbox, Executor), bridges, governance | [core-l1-contracts](references/core-l1-contracts.md) |17| Era VM | Register machine, instructions, near/far calls, fat pointers, bootloader | [core-era-vm](references/core-era-vm.md) |1819## Features2021### L1–L2 and communication2223| Topic | Description | Reference |24|-------|-------------|-----------|25| L1–L2 communication | Priority ops, requestL2Transaction, address aliasing, L2→L1 logs/messages | [features-l1-l2-communication](references/features-l1-l2-communication.md) |2627### Prover and compiler2829| Topic | Description | Reference |30|-------|-------------|-----------|31| Prover | ZK terminology, Boojum, circuits, test harness | [features-prover](references/features-prover.md) |32| Compiler and system contracts | zksolc, Yul/EVMLA→EraVM, system contracts, auxiliary heap | [features-compiler-system-contracts](references/features-compiler-system-contracts.md) |3334### Transactions and data3536| Topic | Description | Reference |37|-------|-------------|-----------|38| Transactions | Types (Legacy, EIP-1559, 0x71, L1Tx), lifecycle, mempool, state keeper | [features-transactions](references/features-transactions.md) |39| Data availability | Pubdata categories, state diff, Boojum packing, L2 state reconstruction | [features-data-availability](references/features-data-availability.md) |