{"id":68100,"date":"2026-01-16T19:32:04","date_gmt":"2026-01-16T19:32:04","guid":{"rendered":"https:\/\/dogewisperer.com\/?p=68100"},"modified":"2026-01-16T19:32:04","modified_gmt":"2026-01-16T19:32:04","slug":"ethereum-foundation-maps-path-to-zkevm-proofs-on-mainnet-l1","status":"publish","type":"post","link":"https:\/\/dogewisperer.com\/?p=68100","title":{"rendered":"Ethereum Foundation Maps Path To zkEVM Proofs On Mainnet L1"},"content":{"rendered":"
\n

The Ethereum Foundation has published a step-by-step plan to let Ethereum\u2019s main chain validate blocks using zkEVM proofs, reducing the need for validators to re-run every computation themselves. The proposal, shared via X on Jan. 15 by Tomasz K. Sta\u0144czak, Co-Executive Director at the Ethereum Foundation, lays out the engineering work needed across Ethereum\u2019s execution and consensus clients, plus new proving infrastructure and security processes.<\/p>\n

\n

zkEVM on L1 \u2013 the planhttps:\/\/t.co\/KLz7PoH6q9<\/a><\/p>\n

\u2014 Tomasz K. Sta\u0144czak (@tkstanczak) January 15, 2026<\/a><\/p>\n<\/blockquote>\n

Ethereum L1 Moves Toward zk Proof-Based Validation<\/h2>\n

Already in July last year, the Ethereum Foundation announced its \u201czk-first\u201d approach<\/a>. Today, Ethereum\u2019s validators typically check a block by re-executing the transactions and comparing results. The plan proposes an alternative: validators could verify a cryptographic proof that the block\u2019s execution was correct.<\/p>\n

The document summarizes the intended pipeline in plain terms: an execution client produces a compact \u201cwitness\u201d package for a block, a standardized zkEVM program uses that package to generate a proof of correct execution, and consensus clients verify that proof during block validation.<\/p>\n

The first milestone is creating an \u201cExecutionWitness,\u201d a per-block data structure containing the information needed to validate execution without re-running it. The plan calls for a formal witness format in Ethereum\u2019s execution specifications, conformance tests, and a standardized RPC endpoint. It notes that the current debug_executionWitness endpoint is already \u201cbeing used in production by Optimism\u2019s Kona,\u201d while suggesting a more zk-friendly endpoint may be needed.<\/p>\n

A key dependency is adding better tracking of which parts of state a block touches, via Block Level Access Lists (BALs). The document says that as of November 2025, this work was not treated as urgent enough to be backported to earlier forks.<\/p>\n

The next milestone is a \u201czkEVM guest program,\u201d described as stateless validation logic that checks whether a block produces a valid state transition when combined with its witness. The plan emphasizes reproducible builds and compiling to standardized targets so assumptions are explicit and verifiable.<\/p>\n

Beyond Ethereum-specific code, the plan aims to standardize the interface between zkVMs and the guest program: common targets, common ways to access precompiles and I\/O, and agreed assumptions about how programs are loaded and executed.<\/p>\n

On the consensus side, the roadmap calls for changes so consensus clients can accept zk proofs as part of beacon block validation, with accompanying specifications, test vectors, and an internal rollout plan. The document also flags execution payload availability as important, including an approach that could involve \u201cputting the block in blobs.\u201d<\/p>\n

The proposal treats proof generation as an operational problem as much as a protocol one. It includes milestones to integrate zkVMs into EF tooling such as Ethproofs and Ere, test GPU setups (including \u201czkboost\u201d), and track reliability and bottlenecks.<\/p>\n

Benchmarking is framed as ongoing work, with explicit goals like measuring witness generation time, proof creation and verification time, and the network impact of proof propagation. Those measurements could feed into future gas repricing proposals for zk-heavy workloads.<\/p>\n

Security is also marked as perpetual, with plans for formal specs, monitoring, supply-chain controls like reproducible builds and artifact signing, and a documented trust and threat model. The document proposes a \u201cgo\/no-go framework\u201d for deciding when proof systems are mature enough for broader use.<\/p>\n

One external dependency stands out: ePBS, which the document describes as necessary to give provers more time. Without it, the plan says the prover has \u201c1\u20132 seconds\u201d to create a proof; with it, \u201c6\u20139 seconds.\u201d The document adds a two-sentence framing that captures the urgency: \u201cThis is not a project that we are working on. However, it is an optimization that we need.\u201d It expects ePBS to be deployed in \u201cGlamsterdam,\u201d targeted for mid-2026.<\/p>\n

If these milestones land, Ethereum would be moving toward proof-based validation<\/a> as a practical option on L1, while the timing and operational complexity of proving remain the gating factors.<\/p>\n

At press time, ETH traded at $3,300.<\/p>\n

\"Ethereum<\/div>\n","protected":false},"excerpt":{"rendered":"

The Ethereum Foundation has published a step-by-step plan to let Ethereum\u2019s main chain validate blocks using zkEVM proofs, reducing the need for validators to re-run every computation themselves. The proposal, shared via X on Jan. 15 by Tomasz K. Sta\u0144czak, Co-Executive Director at the Ethereum Foundation, lays out the engineering work needed across Ethereum\u2019s execution […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":0,"footnotes":""},"categories":[2],"tags":[3,4,5],"class_list":["post-68100","post","type-post","status-publish","format-standard","hentry","category-news","tag-crypto","tag-doge","tag-news"],"_links":{"self":[{"href":"https:\/\/dogewisperer.com\/index.php?rest_route=\/wp\/v2\/posts\/68100","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dogewisperer.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dogewisperer.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dogewisperer.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dogewisperer.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=68100"}],"version-history":[{"count":0,"href":"https:\/\/dogewisperer.com\/index.php?rest_route=\/wp\/v2\/posts\/68100\/revisions"}],"wp:attachment":[{"href":"https:\/\/dogewisperer.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=68100"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dogewisperer.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=68100"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dogewisperer.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=68100"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}