Ethereum is undertaking the most consequential change to its core architecture since the September 2022 Merge. The L1-zkEVM roadmap, formally launched with the first dedicated breakout workshop on February 11, 2026, introduces a paradigm where validators can verify blocks through zero-knowledge c...
"We've moved from 16 minutes to 16 seconds of proving latency, and costs have collapsed 45x. But security remains the elephant in the room — foundational conjectures are getting mathematically disproven by researchers. What was advertised as 100 bits of security might actually be 80." — Ethereum Foundation zkEVM Team, December 2025
Ethereum is undertaking the most consequential change to its core architecture since the September 2022 Merge. The L1-zkEVM roadmap, formally launched with the first dedicated breakout workshop on February 11, 2026, introduces a paradigm where validators can verify blocks through zero-knowledge cryptographic proofs rather than re-executing every transaction. At the center sits EIP-8025, a proposal that would allow "zkAttesters" — validators that confirm blocks by verifying mathematical proofs instead of running full execution clients — to participate in consensus without maintaining execution-layer state.
The implications are staggering. For the approximately 1.1 million active validators securing $247 billion in market capitalization, this represents a fundamental rethinking of what it means to validate Ethereum. But the transition carries an equally staggering centralization risk: generating a single block proof currently requires approximately 12 GPUs and costs up to $100,000 in on-premise capital expenditure, raising the specter that Ethereum may trade "everyone re-executes" for "few prove, many verify" — a compression of trust that cuts against the network's foundational decentralization thesis.
This report examines the technical architecture of EIP-8025, the six-workstream implementation roadmap, the three-tiered security milestone framework targeting 128-bit provable security by end of 2026, and the critical dependencies on ePBS and the Glamsterdam hard fork. For institutional participants, the window to understand this transformation is now — before the infrastructure economics of proof generation reshape the validator landscape permanently.
Since Ethereum's inception, every validator has verified blocks by re-executing every transaction — a brute-force approach that guarantees correctness but imposes substantial hardware requirements. Today, running a full Ethereum validator requires a modern 4–8 core CPU with PassMark single-thread scores above 3,500, a 4–8 TB NVMe SSD with read speeds exceeding 7 GB/s, and stable broadband of at least 300–500 Mbps.[^1] The total hardware cost for a home setup runs approximately $1,100 before the 32 ETH ($65,600 at current prices) staking requirement.[^2]
The L1-zkEVM proposal inverts this model entirely. Instead of every validator independently re-running every transaction, execution-layer clients generate an ExecutionWitness — a self-contained data structure that captures all state data necessary for block validation without requiring full state storage. A standardized guest program processes this witness to validate state transitions. A zero-knowledge virtual machine (zkVM) then executes the program, and a prover generates a cryptographic proof of correct execution. Validators on the consensus layer verify these compact proofs instead of calling execution clients to repeat computations.[^3]
The result is a two-tier validator architecture: traditional validators who continue to run full execution clients, and zkAttesters who verify blocks using only cryptographic proofs. The latter can potentially sync in minutes without holding execution-layer state — a dramatic reduction in the infrastructure barrier to validation.
EIP-8025, now integrated into the consensus-specs features branch for eventual inclusion, defines the protocol-level mechanism for proof-based block validation.[^4] Its core innovation is the introduction of zkAttesters — validators that substitute full transaction execution with zero-knowledge proof verification.
The proposal operates on a three-of-five threshold assumption: a zkAttester accepts a block's execution as valid once it has verified three of five independent proofs generated by different execution-layer client implementations.[^5] This threshold preserves Ethereum's client diversity guarantee — a hard-won achievement of the multi-client philosophy that prevents any single software implementation from becoming a single point of failure.
Execution proofs circulate through the consensus-layer peer-to-peer network via a dedicated gossip topic. The specification modifies block processing to allow attesters to verify proofs rather than execute transactions directly. Critically, Ethereum is not fully switching to zk-based validation in 2026. The roadmap adds zk validation as an optional path first, enabling testing and gradual adoption before any mandatory transition.[^6]
This optionality is deliberate. The Ethereum Foundation is acutely aware that forcing a premature transition could catastrophically destabilize a network securing nearly $250 billion in value. The approach mirrors the Beacon Chain's extended parallel-running period before The Merge — a conservative, battle-tested deployment philosophy.
The 2026 L1-zkEVM roadmap, published on January 26, 2026, and formally inaugurated at the February 11 workshop, divides implementation across six coordinated workstreams:[^7]
1. Execution Witness and Guest Program Standardization. Defining the canonical format for ExecutionWitness data structures and the standardized guest programs that process them. This is the foundation layer — without consensus on data formats, no interoperable proving ecosystem can emerge.
2. zkVM-Guest API Standardization. Creating a common interface between guest programs and the zkVMs that execute them. Multiple zkVM projects — including ZisK, OpenVM, and RISC Zero — are targeting L1 integration, and API standardization prevents vendor lock-in.[^8]
3. Consensus Layer Integration. Defining how proofs are propagated, verified, and incorporated into the attestation process at the consensus layer. This includes the dedicated gossip topic for proof distribution and the three-of-five threshold logic.
4. Prover Infrastructure. Establishing the hardware requirements, proof generation benchmarks, and economic models for the prover ecosystem. Current benchmarks target: latency of 10 seconds or less for 99% of mainnet blocks, on-premise capital expenditure of $100,000 or less, and power consumption of 10 kW or less.[^9]
5. Benchmarking and Metrics. Creating standardized measurement frameworks for proving performance across different zkVM implementations and hardware configurations.
6. Security with Formal Verification. Developing mathematical proofs of system correctness and security guarantees — arguably the most critical workstream given recent security revelations.
The workshop marked the transition from research to active implementation coordination, with follow-up calls planned approximately every four weeks.[^10]
The Ethereum Foundation's December 2025 blog post, "Shipping an L1 zkEVM #2: The Security Foundations," delivered a sobering assessment that reverberated across the ZK ecosystem.[^11] While performance milestones have been spectacular — proving latency dropped from 16 minutes to 16 seconds over the past year, costs collapsed 45x, and zkVMs now prove 99% of all Ethereum blocks in under 10 seconds — the security picture is far more precarious.
The core problem: many STARK-based zkEVMs today rely on unproven mathematical conjectures to achieve their security targets. Over the past months, foundational conjectures have been mathematically disproven by researchers. Each disproven conjecture strips bits of security from the system — what was advertised as 100 bits of security may actually deliver only 80.[^12]
In response, the Ethereum Foundation established three hard security milestones:
Milestone 1 (Pre-Glamsterdam): All participating zkEVM teams must integrate their proof system components and circuits with soundcalc, a common security assessment tool, establishing a baseline for security evaluation.
Milestone 2 (Glamsterdam Deadline — End of May 2026): Achieve 100-bit provable security as estimated by soundcalc. This is a prerequisite for any consideration of L1 integration.
Milestone 3 (End of 2026): Achieve 128-bit provable security, proof sizes under 300 KiB, and a formal security argument for the recursive architecture.[^13]
The shift from "fastest prover wins" to "most secure prover qualifies" represents a maturation moment for the entire ZK industry. It also introduces a new competitive axis: teams that have optimized purely for speed may find their architectures fundamentally incompatible with the 128-bit security requirement.
The most uncomfortable tension in the L1-zkEVM roadmap is the hardware required for proof generation. Currently, proving a full Ethereum block requires approximately 12 GPUs and takes an average of 7 seconds.[^14] The on-premise capital expenditure benchmark is $100,000 — a figure that immediately excludes the home validators that Ethereum's decentralization thesis depends upon.
This creates what researchers are calling the centralization paradox: the very technology designed to lower the barrier for block verification dramatically raises the barrier for block proving. Ethereum may evolve from a system where "everyone re-executes" to one where "few prove, many verify." The re-execution model, for all its inefficiency, has the virtue of distributional equality — every validator does the same work. The proof model concentrates the most critical computation in the hands of entities that can afford industrial-grade GPU clusters.
EIP-8025's 1-of-N liveness model — where one honest prover is sufficient to maintain chain operation — provides a theoretical safety guarantee.[^15] But theoretical safety and practical decentralization are different properties. If proof generation concentrates among a handful of well-capitalized provers, the attack surface shifts from validators to provers, and the economic incentive to manipulate proofs scales with the value secured.
The Ethereum Foundation acknowledges this risk but argues that the trajectory of hardware costs is deflationary. ZK-proof costs have already dropped 50x over the past two years.[^16] If this trajectory continues, the $100,000 proving setup of today could become a $2,000 commodity rig within five years. But "could" is doing significant work in that sentence — and institutional capital is flowing into the network based on security guarantees, not optimistic hardware projections.
The L1-zkEVM roadmap does not exist in isolation. Its feasibility depends critically on ePBS (Enshrined Proposer-Builder Separation), targeted for inclusion in the Glamsterdam hard fork expected in the first half of 2026.[^17]
Without ePBS, the proving window spans only 1–2 seconds — an impossibly tight constraint for real-time proof generation, even with 12 GPUs. ePBS extends this window to 6–9 seconds through block pipelining, making single-slot proving technically feasible for production use.[^18]
Glamsterdam's second headline EIP, EIP-7928 (Block-level Access Lists), introduces structured lists specifying all accounts and storage slots that transactions in a block will access or modify during execution. This enables parallel transaction processing and more efficient block construction — a prerequisite for the execution witness generation that the zkEVM pipeline requires.[^19]
Beyond Glamsterdam, the Hegota upgrade (H2 2026) focuses on historical data management and node storage efficiency, further reducing the state burden on validators and creating more favorable conditions for zkAttester adoption.[^20]
The dependency chain is clear: ePBS enables feasible proving windows → proving windows enable real-time ZK proofs → ZK proofs enable zkAttesters → zkAttesters enable validator hardware reduction. Any delay in Glamsterdam cascades directly into the zkEVM timeline.
The economic calculus for Ethereum's 1.1 million validators — securing a network with a $247 billion market capitalization and approximately 36.8 million ETH (30% of supply) locked in staking — shifts fundamentally under the zkEVM model.[^21]
For Home Validators: The promise is liberation from ever-growing hardware requirements. A zkAttester needs only to verify compact cryptographic proofs, not maintain terabytes of state data. If the technology matures as planned, the hardware floor for validation could drop from $1,100+ to a device capable of running basic cryptographic verification — potentially a Raspberry Pi-class machine.
For Institutional Validators: The opportunity lies in the prover market. Entities that can deploy $100,000+ GPU clusters become critical infrastructure providers in a two-sided market: selling proofs to the zkAttesters who verify them. This creates a new revenue stream distinct from staking rewards, and one that scales with proving efficiency rather than capital locked.
For the Broader ZK Ecosystem: The L1 integration target provides a gravitational pull for the $28 billion currently locked in ZK-based rollups and the $11.7 billion ZK project market capitalization.[^22] A standardized L1 proving layer commoditizes what is currently a fragmented, proprietary technology stack — potentially compressing margins for standalone ZK rollup providers while expanding the total addressable market.
The ZK proof market, valued at $1.28 billion in 2024, is projected to reach $7.59 billion by 2033 at a 22.1% CAGR.[^23] Ethereum's L1 integration could accelerate this timeline by creating the single largest source of proving demand in the ecosystem.
EIP-8025 introduces zkAttesters — validators that verify blocks through zero-knowledge proofs rather than re-executing transactions — representing the most fundamental change to Ethereum's consensus mechanism since The Merge.
The three-of-five proof threshold preserves client diversity by requiring proofs from at least three different execution-layer implementations before a block is accepted.
Proving currently requires ~12 GPUs and $100,000 in capital expenditure, creating a centralization paradox where lowering the verification barrier raises the proving barrier.
Security concerns are acute: foundational STARK conjectures have been mathematically disproven, and the Ethereum Foundation has mandated 128-bit provable security by end of 2026 before any L1 integration proceeds.
Glamsterdam's ePBS is a hard dependency: without the 6–9 second proving window it enables, real-time single-slot proving is infeasible.
The economic model creates a new prover market that could reshape validator economics, benefiting capital-intensive proof generators while potentially commoditizing standalone ZK rollup providers.
Performance has advanced dramatically — proving latency collapsed from 16 minutes to 16 seconds, costs fell 45x — but the security-first pivot signals that speed alone is insufficient for L1 integration.
The Ethereum L1-zkEVM initiative represents a bet that the network can fundamentally restructure how blocks are verified without compromising the decentralization guarantees that underpin its $247 billion valuation. The technical vision is elegant: replace brute-force re-execution with mathematical certainty, enabling lighter validators while maintaining trustless verification. The execution challenges are formidable: a 12-GPU proving requirement that threatens new centralization vectors, security foundations shaken by disproven mathematical conjectures, and a dependency chain that runs through ePBS and the Glamsterdam hard fork.
For institutional participants, the implications are clear. The validator landscape is bifurcating into verifiers and provers, with distinct economic models, hardware requirements, and risk profiles. The entities that build proving infrastructure today will hold structural advantages in a market that Ethereum's L1 integration could expand by orders of magnitude. But the 128-bit security mandate is non-negotiable — and the teams that cannot meet it will be excluded from the most valuable proving market in cryptocurrency.
The Merge proved that Ethereum can execute radical architectural transitions without catastrophic disruption. The L1-zkEVM roadmap is a more complex undertaking, touching not just consensus mechanics but the fundamental economics of who validates and how. The first workshop has convened. The security milestones are set. The proving benchmarks are published. What remains is execution — and in a $247 billion network, the margin for error is zero.
[^1]: Cherry Servers, "Ethereum Node Hardware Requirements (2026 Edition)," https://www.cherryservers.com/blog/ethereum-node-requirements [^2]: CoinCashew, "Step 1: Prerequisites," https://www.coincashew.com/coins/overview-eth/guide-or-how-to-setup-a-validator-on-eth2-mainnet/part-i-installation/prerequisites [^3]: Blockonomi, "Ethereum Plans Major Shift to Zero-Knowledge Proof Block Validation in 2026," https://blockonomi.com/ethereum-plans-major-shift-to-zero-knowledge-proof-block-validation-in-2026 [^4]: BeInCrypto, "Ethereum's Big ZK Reveal Tomorrow: What to Expect," https://beincrypto.com/ethereum-zk-proof-eip-8025-integration/ [^5]: BitcoinEthereumNews, "Ethereum Adopts Zero-Knowledge Proof Validation in 2026 L1-zkEVM Roadmap Shift," https://bitcoinethereumnews.com/ethereum/ethereum-adopts-zero-knowledge-proof-validation-in-2026-l1-zkevm-roadmap-shift/ [^6]: Metaverse Post, "Ethereum Plans Major Shift To Zero-Knowledge Proofs For Block Validation In 2026," https://mpost.io/ethereum-plans-major-shift-to-zero-knowledge-proofs-for-block-validation-in-2026/ [^7]: Fellowship of Ethereum Magicians, "L1-zkEVM Roadmap 2026: Integrating zkEVM Proofs into Ethereum's Core Protocol," https://ethereum-magicians.org/t/l1-zkevm-roadmap-2026-integrating-zkevm-proofs-into-ethereums-core-protocol/27595 [^8]: Ethereum Foundation zkEVM Blog, "Benchmarking zkVMs for Ethereum," https://zkevm.ethereum.foundation/blog/benchmarking-zkvms [^9]: CryptoSlate, "Ethereum wants home validators to verify proofs but a 12 GPU reality raises a new threat," https://cryptoslate.com/ethereum-wants-home-validators-to-verify-proofs-but-a-12-gpu-reality-raises-a-new-threat/ [^10]: EVM Gazette, "EVM Gazette — February 11, 2026," https://www.evmgazette.com/p/evm-gazette-february-11-2026 [^11]: Ethereum Foundation Blog, "Shipping an L1 zkEVM #2: The Security Foundations," https://blog.ethereum.org/2025/12/18/zkevm-security-foundations [^12]: CryptoSlate, "Ethereum Foundation refocuses to security over speed — sets strict 128-bit rule for 2026," https://cryptoslate.com/ethereum-foundation-refocuses-to-security-over-speed-sets-strict-128-bit-rule-for-2026/ [^13]: CryptoNews, "Ethereum Shifts Focus From Speed to Security With New 2026 Deadline," https://cryptonews.com/news/ethereum-shifts-focus-from-speed-to-security-with-new-2026-deadline/ [^14]: BitcoinEthereumNews, "Ethereum wants home validators to verify proofs but a 12 GPU reality raises a new threat," https://bitcoinethereumnews.com/ethereum/ethereum-wants-home-validators-to-verify-proofs-but-a-12-gpu-reality-raises-a-new-threat/ [^15]: Coinpedia, "Ethereum Plans Major Upgrade to Use ZK Proofs for Faster Block Validation," https://coinpedia.org/news/ethereum-plans-major-upgrade-to-use-zk-proofs-for-faster-block-validation/ [^16]: Chorus One, "The Economics of ZK-Proving: Market Size and Future Projections," https://chorus.one/reports-research/the-economics-of-zk-proving-market-size-and-future-projections [^17]: GetBlock.io, "Ethereum Glamsterdam — What We Know So Far About the Next Hard Fork after Fusaka," https://getblock.io/blog/ethereum-glamsterdam--what-we-know-so-far-about-the-hard-fork/ [^18]: BeInCrypto, "Ethereum Developers Plan Two New Upgrades For 2026," https://beincrypto.com/ethereum-network-upgrades-for-2026/ [^19]: MEXC Blog, "Decoding Ethereum's 2026 Glamsterdam Upgrade," https://blog.mexc.com/news/decoding-ethereums-2026-glamsterdam-upgrade/ [^20]: DL News, "With Fusaka in the rear-view, Ethereum 2026 upgrades come into focus," https://www.dlnews.com/articles/defi/ethereum-2026-upgrades-come-into-focus/ [^21]: CoinMarketCap, "Ethereum (ETH) Price," https://coinmarketcap.com/currencies/ethereum/ [^22]: BingX, "What Are the Top Zero-Knowledge (ZK) Crypto Projects of 2026?," https://bingx.com/en/learn/article/what-are-the-top-zero-knowledge-zk-crypto-projects [^23]: Chorus One, "The Economics of ZK-Proving: Market Size and Future Projections," https://chorus.one/reports-research/the-economics-of-zk-proving-market-size-and-future-projections