Ethereum Foundation Unveils Plan for zkEVM Proofs on Mainnet L1

Ethereum Foundation Unveils Plan for zkEVM Proofs on Mainnet L1

The Ethereum Foundation’s New Adventure

Who knew that blockchain could get even cooler? Well, the Ethereum Foundation just dropped some next-level tech news! They’ve laid out a roadmap for using zkEVM proofs to validate blocks on Ethereum’s main chain. This clever move means validators might not have to revisit the boring bits of checking every single computation manually. Yawn!

Proposal Party

On January 15, 2026, Tomasz K. Stańczak, the Co-Executive Director, took to X (formerly known as Twitter—don’t ask!) to unveil this snazzy game plan. It details the engineering magic needed for Ethereum’s execution and consensus clients, plus some fancy new proving infrastructure and security measures. Sounds fancy, right?

Say Goodbye to Validator Fatigue

Last July, the Ethereum folks introduced their “zk-first” strategy, shaking things up in a good way. Usually, Ethereum’s validators have to go through the whole circus of re-running transactions to verify blocks. But hold up! With this new plan, validators could simply check a cryptographic proof showing that everything was done right. Bye-bye, replay headaches!

Breakdown of the Master Plan

The Ethereum roadmap is as clear as a sunny day: first, there’s the bold “ExecutionWitness,” a data structure per block that packs all the details needed to validate execution without hitting replay every time. The proposal also highlights the need for a formalized witness format in Ethereum’s execution specs and a standardized RPC endpoint. Apparently, there’s already a debug execution witness being used by none other than Optimism’s Kona. Fancy!

Keeping Score with Block Level Access Lists

Next up, they’ll need to boost how tracking works for which bits of state a block interacts with, thanks to the Block Level Access Lists (BALs). As per the latest scoop in November 2025, this task hasn’t been deemed urgent enough for earlier forks. Let’s get the ball rolling, folks!

The Zesty zkEVM Guest Program

On the agenda is also a “zkEVM guest program,” which is pretty much a party for stateless validation logic—checking whether a block manages to create a valid state transition along with its witness. They’re all about making builds reproducible, using standard targets, because who likes surprises when it comes to verifying stuff?

Consensus Can Join the Fun

The roadmap doesn’t forget about the consensus clients; it’s calling for updates that allow them to accept zk proofs when validating beacon blocks. With some specs and test vectors in tow, they’re laying out a detailed internal rollout plan. Plus, they’re not ignoring execution payload availability—there’s even chit-chat about possibly putting blocks into blobs (whatever that means!).

The Proof is in the Planning

Proof generation isn’t just a protocol issue; it’s an operational challenge too. Plans are underway to integrate zkVMs into existing Ethereum Foundation tools, like Ethproofs and Ere. They’re even testing out GPU setups (hello, “zkboost!”) and tracking down any reliability issues or bottlenecks. It’s like a tech scavenger hunt!

Benchmarking and Security: The Dynamic Duo

Benchmarking? Oh, it’s categorized as ongoing business, with goals like keeping tabs on witness generation times and checking the network health on proof propagation. The insights from these investigations might just pave the way for future gas repricing strategies for zk-heavy work. Cha-ching!

A Trustworthy Journey

And just to round it off, they aren’t skimping on security. There are plans for formal specifications, constant monitoring, and supply-chain controls (think reproducible builds and artifact signing—super secure!) along with a trust model for tackling threats. They’ve even suggested a “go/no-go framework” to decide if proof systems are ready to roll out.

What’s the Hold Up?

One external factor to keep an eye on is ePBS, which they argue is essential for giving provers that glorious extra time. Without it, the prover is under some intense pressure, having just 1-2 seconds to create a proof. Bring in the ePBS, and voilà—6-9 seconds of glory! In short, they really need this optimization for a smoother ride, and it’s expected to debut in the fabulous ‘Glamsterdam’ slated for mid-2026.

Where Are We Now?

If all goes according to plan, Ethereum could transition to proof-based validation on L1. But timing and the complexities of proving are still the hurdles to clear. By the way, ETH is currently strutting its stuff at $3,300. Let’s see where this wild ride takes us next!

Back to Top