# Shipping an L1 zkEVM #1: Realtime Proving

DevFeed: [Shipping an L1 zkEVM #1: Realtime Proving](<https://devfeed.tech/articles/shipping-an-l1-zkevm-1-realtime-proving-17171.md>)

Original publisher: [Read original article](<https://blog.ethereum.org/en/2025/07/10/realtime-proving>)

Author: Sophia Gold

Published: 2025-07-10T00:00:00Z

Content type: article

Language: en

Sources: [Ethereum Foundation Blog](<https://devfeed.tech/sources/ethereum-foundation-blog.md>)

Topics: [Ethereum](<https://devfeed.tech/topics/ethereum.md>), [realtime](<https://devfeed.tech/topics/realtime.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>)

Tags: [ethereum](<https://devfeed.tech/tags/ethereum.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [realtime](<https://devfeed.tech/tags/realtime.md>), [research-development](<https://devfeed.tech/tags/research-development.md>), [security](<https://devfeed.tech/tags/security.md>)

## AI overview

Ethereum proposes a phased path toward an L1 zkEVM in which validators can verify multiple zkVM-generated execution proofs instead of re-executing execution payloads. The proposal defines realtime-proving targets for zkVM teams and anticipates gradual validator adoption as production security is demonstrated.

## Source excerpt

Thanks to Kevaundray Wedderburn, Alex Stokes, Tim Beiko, Mary Maller, Alexander Hicks, George Kadianakis, Dankrad Feist, and Justin Drake for feedback and review. Ethereum is going all in on ZK. Eventually we expect to migrate to using ZK proofs at all levels of the stack, from consensus layer signature...