Polygon Achieves Type 1 ZK-EVM Prover: Full Ethereum Equivalence

Polygon Delivers Full Ethereum Equivalence

Polygon Labs announced on March 24, 2026, that its Type 1 ZK-EVM prover has reached production readiness, marking a milestone that the blockchain industry has pursued for years. The prover can generate zero-knowledge validity proofs for any standard Ethereum block without requiring modifications to Ethereum's consensus rules, opcodes, or state management.

This achievement means that every smart contract deployed on Ethereum today, and every developer tool built for Ethereum, works identically on chains powered by Polygon's Type 1 prover. There is no need to recompile contracts, adjust gas calculations, or modify deployment scripts. The Ethereum Virtual Machine runs exactly as it does on Layer 1.

Polygon co-founder Sandeep Nailwal called the launch "the culmination of three years of focused research and engineering" in a post on X. The company's ZK research team, which includes over 80 cryptographers and engineers, has been working on the proving system since acquiring Hermez Network in 2021.

Understanding ZK-EVM Types

To appreciate the significance of Polygon's announcement, it helps to understand the classification system for zero-knowledge Ethereum Virtual Machines. Vitalik Buterin proposed a five-tier system in 2022 that ranks ZK-EVMs by their level of compatibility with Ethereum.

Type 4 provers, like those used by zkSync Era, compile high-level languages (Solidity, Vyper) to a custom VM. They are fast to prove but require contract recompilation and may behave differently at the bytecode level. Type 2 and Type 3 provers reproduce most of the EVM's behavior but make small modifications to certain opcodes or storage structures to simplify proving.

Type 1 makes no compromises. It proves the exact same execution that Ethereum's own nodes perform, including identical handling of edge cases in gas metering, memory management, and precompiled contracts. This level of equivalence has been considered the hardest to achieve because Ethereum was not designed with ZK proving in mind.

The Technical Breakthrough

The core challenge in building a Type 1 prover lies in Ethereum's use of Keccak-256 hashing and its Merkle Patricia Trie (MPT) state structure. These components are computationally expensive to prove inside a ZK circuit. Earlier approaches either replaced Keccak with ZK-friendly hash functions (breaking Type 1 compatibility) or accepted very slow proving times.

Polygon's team solved this through a combination of three innovations. First, they developed a highly optimized Keccak-256 circuit that reduces the number of constraints needed to prove each hash operation by roughly 60% compared to previous implementations. Second, they built a parallelized proving architecture that distributes the work of proving a single block across hundreds of GPU-equipped machines simultaneously.

Third, and most significantly, they implemented a recursive proof composition system. Rather than proving an entire block in a single massive circuit, the system breaks the block into sub-components (individual transactions, storage reads, state transitions), proves each component separately, and then generates a succinct proof that verifies all the sub-proofs together. The final proof submitted on-chain is only a few hundred bytes regardless of block complexity.

The result is a proving system that handles standard Ethereum blocks (targeting 15 million gas) in approximately 30-45 seconds. Complex blocks with heavy Keccak usage or large state access patterns take up to 90 seconds. These times are expected to improve significantly as the team continues optimizing the prover and as next-generation GPU hardware becomes available.

Why Type 1 Matters for Developers

For developers, Type 1 equivalence eliminates the fragmentation that has plagued the ZK rollup ecosystem. Currently, deploying on different ZK-EVMs often requires testing for subtle differences in gas costs, opcode support, or precompile availability. A contract that works perfectly on Ethereum might behave differently on a Type 3 or Type 4 ZK-EVM.

With a Type 1 prover, the promise is simple: if your contract works on Ethereum, it works here. This applies to every smart contract tool in the Ethereum ecosystem, from Hardhat and Foundry to block explorers and indexing services. The development experience is identical because the underlying execution is identical.

Polygon has already demonstrated this by successfully proving historical Ethereum mainnet blocks, including blocks containing complex DeFi transactions, NFT mints, and multi-step MEV bundles. Every transaction in these blocks was proven correctly without any modifications to the original transactions or the contracts they interacted with.

Implications for the Ethereum Ecosystem

The Type 1 prover has implications that extend well beyond Polygon's own network. Ethereum researchers have discussed the possibility of using ZK proofs to verify Ethereum's own execution layer, a concept called "enshrined ZK-EVM" or "ZK-verified Ethereum." A production-ready Type 1 prover brings this concept closer to reality.

If Ethereum could verify its own blocks via ZK proofs, light clients would gain full security without downloading and re-executing every transaction. New nodes could sync the chain in minutes by verifying a chain of proofs rather than replaying years of historical transactions. This would make running a full node dramatically more accessible and reduce the hardware requirements for network participation.

Polygon plans to integrate the Type 1 prover into its AggLayer, the aggregation layer that connects multiple Polygon-ecosystem chains into a unified network. Each connected chain will submit ZK proofs to the AggLayer, which aggregates them into a single proof settled on Ethereum. This architecture enables seamless cross-chain interactions while inheriting Ethereum's security guarantees.

The Competitive ZK Rollup Race

Polygon's Type 1 achievement intensifies competition in the ZK rollup space. Arbitrum has been developing its own ZK proving system, Stylus-ZK, which targets Type 2 equivalence. Scroll recently upgraded to a Type 2 prover with plans to reach Type 1. zkSync Era continues to optimize its Type 4 approach, arguing that source-level compatibility is sufficient for most use cases.

The cost of proving remains a competitive factor. Polygon estimates the current cost to generate a Type 1 proof for a standard Ethereum block at approximately $0.05-$0.10 in compute costs, distributed across its decentralized prover network. This cost is passed on to users through transaction fees that remain a fraction of Ethereum mainnet fees. As proving efficiency improves and hardware costs decline, the team expects proving costs to drop by 5-10x over the next 18 months.

Ethereum co-founder Vitalik Buterin responded to the announcement by noting that "Type 1 ZK-EVM provers are one of the most important pieces of infrastructure the Ethereum ecosystem needs" and that "having multiple teams working toward this goal is exactly what we want to see."