Crypto Gloss

Polygon zkEVM

Polygon zkEVM is a zero-knowledge (ZK) rollup developed by Polygon Labs that achieves EVM equivalence — meaning developers can deploy unmodified Ethereum smart contracts (Solidity, Vyper, any EVM bytecode) and run them with the same results as Ethereum mainnet, while generating cryptographic ZK validity proofs that mathematically confirm the correctness of every transaction batch before finalizing on Ethereum L1. Unlike optimistic rollups (Arbitrum, Optimism, Base), which assume validity and require a 7-day fraud challenge window for withdrawals, Polygon zkEVM uses ZK proofs to achieve near-instant withdrawal finality — users can withdraw funds to Ethereum L1 within minutes of proof generation, rather than waiting 7 days. The underlying proof system (originally Plonky2, evolved to Plonky3 in later iteration) was developed by Polygon’s cryptography team specifically to make ZK proof generation for EVM opcodes computationally feasible — previously considered very difficult given EVM’s complexity. Polygon zkEVM launched mainnet beta in March 2023 (the first ZK rollup to achieve genuine EVM equivalence at mainnet). Beyond the standalone zkEVM, Polygon zkEVM forms the foundation of Polygon 2.0 — Polygon’s restructured vision of a network of ZK-powered L2 chains (including zkEVM, Polygon PoS with ZK security layer, CDK chains) unified by the POL token (which replaced MATIC) and shared ZK bridge infrastructure.

Key Facts

  • Protocol: Polygon zkEVM
  • Developer: Polygon Labs
  • Architecture: ZK rollup (validity proof based)
  • EVM equivalence: Yes (Ethereum bytecode runs identically)
  • Proof system: Plonky2 (initial); Plonky3 (subsequent)
  • Settlement: Ethereum mainnet
  • Withdrawal finality: Minutes (ZK proof) vs. 7 days (optimistic)
  • Token: POL (successor to MATIC; governs Polygon ecosystem)
  • Launched: Mainnet beta March 2023

ZK Rollup vs. Optimistic Rollup

Feature ZK Rollup (Polygon zkEVM) Optimistic Rollup (Arbitrum, Base)
Validity mechanism ZK proof (math certainty) Fraud proof (challenge period)
Withdrawal speed Minutes 7 days
Proof cost High (computation intensive) Low (no proof required normally)
EVM compatibility Harder (proving EVM = complex) Easier (native EVM execution)
Trust assumptions Cryptographic (minimal) Economic (validator honesty)
Maturity Newer, still maturing More battle-tested

EVM Equivalence: The Technical Achievement

Why EVM equivalence in ZK is hard:

  • The EVM is designed for sequential execution with specific opcodes (KECCAK256, SHA3, EC curve operations)
  • ZK proof systems: work well for arithmetic circuits; poorly for hash functions and complex VM logic
  • Generating a ZK proof for a KECCAK256 hash requires millions of constraints (very expensive)
  • Making ZK proofs for ALL EVM opcodes efficiently was the unsolved problem for years

How Polygon zkEVM solved it:

  • Custom proof system (Plonky2): designed specifically for EVM opcode proving
  • Plonky2: hybrid approach using PLONKish arithmetization + FRI-based polynomial commitments
  • Result: EVM opcode proving 100x faster than earlier ZK-EVM approaches
  • Practical: can generate proofs for real Ethereum transactions in reasonable time and cost
  • EVM equivalence levels: Type 2 (Ethereum-equivalent) — existing Solidity + Hardhat/Foundry works identically

Levels of EVM compatibility:

  • Type 1 (Ethereum-equivalent): Identical to Ethereum at protocol level; slowest proving
  • Type 2 (EVM-equivalent): Proves EVM execution; same bytecode; slight differences in state tree
  • Type 2.5: Like Type 2 but gas costs differ (common modifications)
  • Type 3: Mostly EVM compatible; some differences
  • Type 4: Compiles higher-level languages; not EVM bytecode (e.g., StarkNet’s Cairo)
  • Polygon zkEVM: Type 2 (EVM-equivalent)

Polygon 2.0 and POL Token

Polygon 2.0 vision:

Polygon restructured its roadmap in 2023 to unify:

  • Polygon PoS: Existing Polygon chain → adding ZK security layer
  • Polygon zkEVM: Standalone ZK rollup
  • Polygon CDK: Chain Development Kit — allows any project to build their own ZK chain
  • AggLayer: Cross-chain coordination layer connecting all CDK chains and Polygon chains

POL token (replaces MATIC):

  • MATIC → POL migration (2024)
  • POL: governance for Polygon ecosystem + validator staking
  • POL: designed for “re-staking” (validators can stake POL to secure multiple Polygon chains)
  • Like Ethereum’s ETH securing the base layer, POL secures Polygon ecosystem chains

CDK chains:

  • Projects using Polygon CDK: Immutable zkEVM, OKX X Layer, Astar zkEVM, others
  • All: ZK-secured chains using Polygon’s proof infrastructure
  • AggLayer: aggregates proofs from all CDK chains → single proof posted to Ethereum

Related Terms

Sources

  1. “Polygon zkEVM: Achieving EVM Equivalence with Zero-Knowledge Proofs” — Messari / Polygon zkEVM Research (2023). Comprehensive technical analysis of Polygon zkEVM’s architecture — examining the specific challenge of proving EVM opcodes in zero-knowledge (the KECCAK problem, the EC precompile problem), how Plonky2’s design (PLONKish arithmetization with recursive proof composition) enables economical EVM opcode proving, the tradeoffs made for Type 2 (vs. Type 1) EVM equivalence, and the mainnet beta performance (proof generation time and L1 proof submission costs).
  1. “Plonky2 and Plonky3: How Polygon’s Cryptography Team Built the Fastest EVM Prover” — Polygon Labs / Plonky Research (2022-2023). Technical deep-dive into Polygon’s custom proof system development — examining why no existing proof system (Groth16, standard PLONK, STARK) was adequate for EVM proving (either too slow, too expensive, or requiring trusted setup), how Plonky2 combined PLONKish constraint system with FRI polynomial commitments to achieve a recursion-friendly, transparent (no trusted setup) proof system, and the performance benchmarks that made Polygon zkEVM’s mainnet launch feasible.
  1. “Polygon 2.0 and the POL Token: Restructuring for a Multi-Chain ZK Future” — Delphi Digital / Polygon 2.0 Analysis (2023-2024). Analysis of Polygon’s strategic pivot from MATIC (single token + Polygon PoS chain) to Polygon 2.0 (POL token + unified ZK ecosystem spanning zkEVM, PoS, CDK chains, and AggLayer). Examining the POL token mechanics (re-staking: validators secure multiple chains for multiple fees), the AggLayer vision (cross-chain atomic composability without trusted bridges), and whether Polygon’s “ZK aggregation” model can achieve Ethereum-like security across a diverse chain ecosystem.
  1. “Polygon zkEVM vs. zkSync Era: Two Approaches to EVM-Compatible ZK Rollups” — Messari / ZK Rollup Comparison (2023). Comparative analysis of the two leading EVM-compatible ZK rollups — Polygon zkEVM (Type 2: EVM equivalent, existing bytecode deployment) vs. zkSync Era (Type 4: compiles Solidity/Vyper to its LLVM-IR VM; not EVM bytecode equivalence) — examining the engineering tradeoffs in each approach and their practical implications for developers (Polygon zkEVM: truly identical deployment; zkSync Era: recompile required; may have subtle differences).
  1. “The ZK-EVM Competition: StarkNet, Polygon, zkSync, Scroll, and the Race to EVM Equivalence at Scale” — Bankless / ZK-EVM Landscape (2023). Macro analysis of the competitive ZK-EVM landscape — examining the four main competitors (Polygon zkEVM, zkSync Era, StarkNet/StarkEx, Scroll), their architectural approaches (Type 1 through Type 4 EVM compatibility), proof system choices (Plonky2/3, PLONK, STARK, Halo2), current performance (transactions per second, proof generation latency, L1 verification cost), and the long-term thesis of which architecture best serves Ethereum scaling.