Ethereum researcher ladislaus.eth printed a walkthrough final week explaining how Ethereum plans to maneuver from re-executing each transaction to verifying zero-knowledge proofs.
The submit frames it as a “quiet however elementary transformation,” and the framing is correct. Not as a result of the work is secret, however as a result of its implications ripple throughout Ethereum’s total structure in ways in which will not be apparent till the items join.
This is not Ethereum “including ZK” as a characteristic. Ethereum is prototyping an alternate validation path by which some validators can attest to blocks by verifying compact execution proofs quite than re-running each transaction.
If it really works, Ethereum’s layer-1 function shifts from “settlement and information availability for rollups” towards “high-throughput execution whose verification stays low cost sufficient for house validators.”
What’s truly being constructed
EIP-8025, titled “Non-obligatory Execution Proofs,” landed in draft kind and specifies the mechanics.
Execution proofs are shared throughout the consensus-layer peer-to-peer community by way of a devoted matter. Validators can function in two new modes: proof-generating or stateless validation.
The proposal explicitly states that it “doesn’t require a hardfork” and stays backward suitable, whereas nodes can nonetheless re-execute as they do in the present day.
The Ethereum Basis’s zkEVM group printed a concrete roadmap for 2026 on Jan. 26, outlining six sub-themes: execution witness and visitor program standardization, zkVM-guest API standardization, consensus layer integration, prover infrastructure, benchmarking and metrics, and safety with formal verification.
The primary L1-zkEVM breakout name is scheduled for Feb. 11 at 15:00 UTC.
The tip-to-end pipeline works like this: an execution-layer shopper produces an ExecutionWitness, a self-contained package deal containing all information wanted to validate a block with out holding the total state.
A standardized visitor program consumes that witness and validates the state transition. A zkVM executes this program, and a prover generates a proof of right execution. The consensus layer shopper then verifies that proof as an alternative of calling the execution layer shopper to re-execute.
The important thing dependency is ePBS (Enshrined Proposer-Builder Separation), focused for the upcoming Glamsterdam hardfork. With out ePBS, the proving window is roughly one to 2 seconds, which is simply too tight for real-time proving. With ePBS offering block pipelining, the window extends to 6 to 9 seconds.
The decentralization trade-off
If non-obligatory proofs and witness codecs mature, extra house validators can take part with out sustaining full execution layer state.
Elevating gasoline limits turns into politically and economically simpler as a result of validation price decouples from execution complexity. Verification work now not scales linearly with on-chain exercise.
Nonetheless, proofing carries its personal danger of centralization. An Ethereum Analysis submit from Feb. 2 reviews that proving a full Ethereum block at present requires roughly 12 GPUs and takes a median of seven seconds.
The creator flags issues about centralization and notes that limits stay troublesome to foretell. If proving stays GPU-heavy and concentrates in builder or prover networks, Ethereum could commerce “everybody re-executes” for “few show, many confirm.”
The design goals to deal with this by introducing shopper range on the proving layer. EIP-8025’s working assumption is a three-of-five threshold, which means an attester accepts a block’s execution as legitimate as soon as it has verified three of 5 unbiased proofs from completely different execution-layer shopper implementations.
This preserves shopper range on the protocol degree however does not resolve the {hardware} entry downside.
Probably the most sincere framing is that Ethereum is shifting the decentralization battleground. At present’s constraint is “are you able to afford to run an execution layer shopper?” Tomorrow’s may be “are you able to entry GPU clusters or prover networks?”
The wager is that proof verification is simpler to commoditize than state storage and re-execution, however the {hardware} query stays open.
L1 scaling unlock
Ethereum’s roadmap, final up to date Feb. 5, lists “Statelessness” as a serious improve theme: verifying blocks with out storing giant state.
Non-obligatory execution proofs and witnesses are the concrete mechanism that makes stateless validation sensible. A stateless node requires solely a consensus shopper and verifies proofs throughout payload processing.
Syncing reduces to downloading proofs for latest blocks because the final finalization checkpoint.
This issues for gasoline limits. At present, each enhance within the gasoline restrict makes working a node more durable. If validators can confirm proofs quite than re-executing, the verification price now not scales with the gasoline restrict. Execution complexity and validation price decouple.
The benchmarking and repricing workstream within the 2026 roadmap explicitly targets metrics that map gasoline consumed to proving cycles and proving time.
If these metrics stabilize, Ethereum positive factors a lever it hasn’t had earlier than: the power to lift throughput with out proportionally growing the price of working a validator.
What this implies for layer-2 blockchains
A latest submit by Vitalik Buterin argues that layer-2 blockchains ought to differentiate past scaling and explicitly ties the worth of a “native rollup precompile” to the necessity for enshrined zkEVM proofs that Ethereum already must scale layer-1.
The logic is simple: if all validators confirm execution proofs, the identical proofs may also be utilized by an EXECUTE precompile for native rollups. Layer-1 proving infrastructure turns into shared infrastructure.
This shifts the layer-2 worth proposition. If layer-1 can scale to excessive throughput whereas retaining verification prices low, rollups cannot justify themselves on the idea of “Ethereum cannot deal with the load.”
The brand new differentiation axes are specialised digital machines, ultra-low latency, preconfirmations, and composability fashions like rollups that lean on fast-proving designs.
The situation the place layer-2s stay related is one by which roles are cut up between specialization and interoperability.
Layer-1 turns into the high-throughput, low-verification-cost execution and settlement layer. Layer-2s develop into characteristic labs, latency optimizers, and composability bridges.
Nonetheless, that requires layer-2 groups to articulate new worth propositions and for Ethereum to ship on the proof-verification roadmap.
Three paths ahead
There are three potential situations sooner or later.
The primary situation consists of proof-first validation turning into widespread. If non-obligatory proofs and witness codecs mature and shopper implementations stabilize round standardized interfaces, extra house validators can take part with out working the total execution layer state.
Gasoline limits enhance as a result of the validation price now not aligns with execution complexity. This path will depend on the ExecutionWitness and visitor program standardization workstream converging on moveable codecs.
State of affairs two is the place prover centralization turns into the brand new choke level. If proving stays GPU-heavy and concentrated in builder or prover networks, then Ethereum shifts the decentralization battleground from validators’ {hardware} to prover market construction.
The protocol nonetheless features, as one sincere prover wherever retains the chain reside, however the safety mannequin modifications.
The third situation is layer-1 proof verification turning into a shared infrastructure. If consensus layer integration hardens and ePBS delivers the prolonged proving window, then Layer 2s’ worth proposition tilts towards specialised VMs, ultra-low latency, and new composability fashions quite than “scaling Ethereum” alone.
This path requires ePBS to ship on schedule for Glamsterdam.
| State of affairs | What must be true (technical preconditions) | What breaks / primary danger | What improves (decentralization, gasoline limits, sync time) | L1 function end result (execution throughput vs verification price) | L2 implication (new differentiation axis) | “What to observe” sign |
|---|---|---|---|---|---|---|
| Proof-first validation turns into widespread | Execution Witness + visitor program requirements converge; zkVM/visitor API standardizes; CL proof verification path is steady; proofs propagate reliably on P2P; acceptable multi-proof threshold semantics (eg 3-of-5) | Proof availability / latency turns into a brand new dependency; verification bugs develop into consensus delicate if/when it’s relied on; mismatch throughout shoppers/provers | Dwelling validators can attest with out EL state; sync time drops (proofs since finalization checkpoint); gas-limit will increase develop into simpler as a result of verification price decouples from execution complexity | L1 shifts towards higher-throughput execution with constant-ish verification price for a lot of validators | L2s should justify themselves past “L1 can’t scale”: specialised VMs, app-specific execution, customized price fashions, privateness, and many others. | Spec/test-vector hardening; witness/visitor portability throughout shoppers; steady proof gossip + failure dealing with; benchmark curves (gasoline → proving cycles/time) |
| Prover centralization turns into the choke level | Proof technology stays GPU-heavy; proving market consolidates (builders / prover networks); restricted “garage-scale” proving; liveness depends on a small set of subtle provers | “Few show, many confirm” concentrates energy; censorship / MEV dynamics intensify; prover outages create liveness/finality stress; geographic / regulatory focus danger | Validators should still confirm cheaply, however decentralized shifts: simpler testifying, more durable proving; some gas-limit headroom, however constrained by prover economics | L1 turns into execution scalable in principle, however virtually bounded by prover capability and market construction | L2s could lean into primarily based / pre- confirmed designs, various proving techniques, or latency ensures—doubtlessly growing dependence on privileged actors | Proving price traits ({hardware}… |
