Opening
The Ethereum Foundation's zkEVM team has proposed including EIP-8025 in the Hegota fork, according to discussions at the All Core Developers (ACD) meeting. EIP-8025 introduces Optional Execution Proofs, allowing Ethereum nodes to verify zero-knowledge proofs instead of re-executing all transactions directly. Currently, nodes validate block correctness by re-executing transaction results; EIP-8025 adds an alternative where nodes can verify a ZK proof of block validity without repeating full computations. At this stage, the proposal operates as a complete opt-in mechanism—only nodes choosing to use proofs are affected, and consensus rules remain unchanged. This represents Ethereum's formal shift from an experimental phase toward protocol-level integration of zero-knowledge technology, potentially reducing node operation costs and enabling larger blocks with more complex execution in the long term.
Research Developments
EIP-8025: Ethereum's Zero-Knowledge Infrastructure Enters Protocol Upgrade Phase
EIP-8025's core mechanism centers on Optional Execution Proofs. Rather than requiring all nodes to re-execute transactions to verify block validity, nodes can alternatively validate a zero-knowledge proof confirming execution correctness. The proposal does not immediately convert Ethereum into a ZK-based chain; instead, it establishes the foundation for transitioning from a "direct re-execution chain" to a "proof-verification chain."
The significance lies in reducing node operational overhead and establishing infrastructure for larger blocks and more complex execution. By enabling nodes to verify proofs rather than replicate computations, Ethereum can support greater throughput and processing capacity.
Vitalik Buterin on AI and Formal Verification for Cybersecurity
Ethereum co-founder Vitalik Buterin published analysis on combining AI and formal verification to transform cybersecurity. Formal verification mathematically proves that programs operate exactly as intended—a contrast to traditional security audits where humans review code for vulnerabilities.
Buterin proposed that AI could generate low-level assembly code while formal verification confirms this code produces identical behavior to human-readable high-level implementations. This approach addresses the traditional trade-off: assembly code executes efficiently but resists human review, while high-level code prioritizes readability over performance optimization.
Ethereum ecosystem examples cited include Arklib (pursuing formally verified STARKs for proving correct complex computations) and evm-asm (writing the EVM in RISC-V and proving equivalence with Lean implementations, where Lean is a formal verification tool).
For blockchain protocols and smart contracts, stronger verification methods are essential since deployment errors carry severe consequences.
ZK Summit 14: Proof System Focus Shifts to Real-World System Guarantees
ZK Summit 14 convened May 7 in Rome, featuring 24 presentations from major ZK ecosystem teams including the Ethereum Foundation, Succinct, Aztec, Nethermind, and Miden.
The most significant trend reflected a shift in focus from proof system performance metrics—speed, proof size, verification cost—toward real-world system guarantees. Zero-knowledge technology is now integrating into payment systems, identity verification, zkVMs, and machine learning applications. In these contexts, proof performance alone proves insufficient:
- Payment systems require protecting transaction amounts and user information.
- Identity systems must enable users to prove required credentials while concealing other personal data.
- zkVMs must accurately prove complex program execution.
- Machine learning applications require verification that model inference results remain unmanipulated.
ZK technology has expanded beyond "fast proof generation" to become a method for designing security and privacy guarantees tailored to each system's requirements. ZK Summit 14 demonstrated zero-knowledge technology advancing from research into deep integration with real infrastructure and applications.
Ecosystem Updates
Kohaku Privacy Framework Launch Imminent, Wallet Integration Testing Underway
The Ethereum modular privacy framework Kohaku approaches launch with wallet integration tests in progress. Kohaku provides a unified interface enabling wallets to execute private transactions using multiple cryptographic backends without implementing privacy functionality directly.
Wallets including Ambire are currently conducting Kohaku integration tests. Historically, privacy features have faced adoption barriers in user wallets because individual privacy protocols employ different architectures, requiring wallets to support each technology separately.
Kohaku addresses this fragmentation by allowing wallets to access multiple privacy backends through a single interface. Increased adoption could expand usage of Railgun, identified as Kohaku's foundational privacy engine. The framework aims to transform Ethereum privacy from "specialized tool for advanced users" to "naturally integrated wallet feature."
L2BEAT Verifies Lighter's Zero-Knowledge Exit Hatch
Layer 2 analysis platform L2BEAT verified the ZK circuits of Lighter, a perpetual futures DEX on Layer 2. Lighter enables perpetual derivatives trading—contracts without expiration dates.
L2BEAT compiled all Lighter ZK circuits directly from source code and confirmed alignment with deployed verifier contracts (smart contracts validating submitted ZK proofs). This verification addresses exit hatch functionality—the emergency mechanism allowing users to withdraw assets if Layer 2 sequencers or operators halt.
Previously, Lighter withheld certain verifier source code, preventing users from independently generating exit proofs (data proving withdrawal rights) during sequencer failure. Following L2BEAT's verification, users can now generate exit proofs independently, enhancing the ability to withdraw assets without relying on Lighter's team during emergencies.
This case demonstrates that for Layer 2 security, verifying deployed code matches publicly available code is as critical as code availability itself.
ETHGlobal Revises Hackathon Format
ETHGlobal has restructured its hackathon format. Traditional hackathons required participants to select ideas and build minimum viable products (MVPs—initial versions demonstrating core functionality) within short timeframes.
Beginning with the New York hackathon, new tracks allow participants to contribute features to existing open-source repositories or add functionality to established products, then publicly release improvements as open source. This change increases likelihood that hackathon outputs translate into genuine ecosystem contributions. Previously, short-timeframe MVPs often ceased development post-event. Contributing to active open-source projects directly benefits existing users and developers.
ETHGlobal is expanding from "rapidly showcasing new ideas" to "meaningfully improving existing ecosystem infrastructure." As Ethereum matures, enhancing existing public goods and developer tools becomes as important as creating entirely new applications.
Community Updates
Ethereum Foundation Senior Contributors Exit
Two senior Ethereum Foundation researchers have resigned: Carl Bewick and Julian Ma. This brings total senior contributor departures to seven over two months.
Carl Bewick contributed approximately seven years to the Ethereum Foundation, participating in consensus research, Beacon Chain initial design, and the KZG ceremony (the cryptographic setup procedure related to Ethereum's data availability scaling).
Julian Ma contributed approximately four years, co-authoring EIP-7805 FOCIL and participating in FCR GTM (discussions on censorship resistance and transaction inclusion guarantees, and fast confirmation rules enabling faster transaction finality perception).
Recent departures of core protocol research and upgrade coordination personnel raise questions about maintaining protocol development coordination and research continuity.
Railgun Gains Attention Amid Kohaku Adoption Expectations
Privacy protocol Railgun is receiving attention based on Kohaku adoption prospects. Analysis suggests that increased wallet integration of Kohaku could expand Railgun usage. Railgun enables Ethereum DeFi interaction while maintaining privacy—standard on-chain transactions expose wallet addresses, transaction amounts, and interacted protocols, while Railgun conceals this information.
Railgun applies 0.25% fees to Shield actions (moving assets into privacy-protected zones) and unShield actions (withdrawing to public areas). Increased wallet adoption through Kohaku and higher private transaction volume would expand Railgun fee revenue.
Analysis noted Railgun appears undervalued compared to privacy coins like ZEC and DASH, with differentiation being direct Ethereum DeFi interaction. While ZEC and DASH function as separate privacy coins, Railgun operates as a privacy tool within Ethereum DeFi. If Kohaku achieves substantial wallet adoption, Railgun could become a primary beneficiary of Ethereum privacy infrastructure.
Weekly Ethereum Metrics
- Annual inflation rate: 0.833%
- Weekly net supply: 19,422.04 ETH
- Staking ratio: 31.50%
- Stablecoin market cap: $163.019 billion
- US Ethereum spot ETF net outflows: $255.02 million
Data sourced from Ultrasound Money, DeFi Llama, Dune, and Parsec Investors.
