Layla Zulfa
The Ethereum Foundation has announced a comprehensive series of grants, strategically allocated across a diverse range of projects aimed at fortifying the network’s foundational infrastructure, enhancing security, advancing scalability solutions, and fostering global ecosystem growth. This significant investment underscores the Foundation’s commitment to supporting critical public goods research and development, ensuring Ethereum’s resilience, decentralization, and continued innovation in the years to come, particularly spanning the 2025-2026 timeframe and beyond. The initiatives touch upon virtually every aspect of the Ethereum roadmap, from cutting-edge cryptography and zero-knowledge proofs to developer tooling, client diversity, and global educational outreach.
Strategic Imperative: Building for Ethereum’s Future
The grants come at a pivotal time for Ethereum, as the network continues to mature post-Merge and looks towards future upgrades outlined in its long-term roadmap, often conceptualized as "The Surge," "The Scourge," "The Verge," "The Purge," and "The Splurge." These phases collectively aim to dramatically increase transaction throughput, enhance decentralization, improve censorship resistance, and secure the network against emerging threats, including quantum computing. The Ethereum Foundation’s grant programs serve as a vital mechanism to fund independent research teams, client developers, and community initiatives that are crucial for translating theoretical advancements into practical, production-ready solutions. By fostering a vibrant, multi-client, and geographically diverse developer ecosystem, the Foundation aims to mitigate single points of failure and accelerate the pace of innovation.
Fortifying the Core Protocol: Client Diversity and Next-Generation Features
A cornerstone of Ethereum’s resilience is its client diversity, ensuring that no single client implementation could bring down the entire network. This round of grants heavily invests in the continued development and enhancement of multiple consensus clients.
ChainSafe’s Lodestar 2026 project is receiving support to develop and maintain its TypeScript and Zig-based consensus client. This involves implementing upcoming hard forks, contributing to protocol research, and improving operator user experience and ecosystem tooling, catering to a distinct developer community. Similarly, Sigma Prime’s Lighthouse, a prominent Rust-based consensus client, is slated for development through May to October 2026. This work will focus on implementing advanced features such as proposer-builder separation (ePBS), "Gloas" (likely a reference to a specific networking or consensus optimization), and partial messages networking for the mainnet. Lighthouse’s grant also emphasizes expanding tree sync capabilities, evolving the Diamond testing framework, and integrating ZK-verified consensus, alongside ongoing formal verification and client hardening efforts.
Further diversifying the client landscape, Ream – Lean Consensus Client in Rust is receiving renewed support. This project is dedicated to advancing post-quantum-ready consensus mechanisms, aiming for fast finality and reduced 4-second slots. The grant will bolster core client development, harden testing infrastructure, and scale devnets to support up to 10,000 validators, preparing the network for future capacity demands. In a significant step towards geographical decentralization and innovation, Gean, A Lean Ethereum Consensus Client, is being built from Africa. This new Go-based consensus client is designed to enhance Ethereum’s long-term resilience by replacing quantum-vulnerable cryptography and further diversifying the client ecosystem. These efforts collectively underscore a proactive strategy to ensure Ethereum’s foundational strength and adaptability.
Enhancing Security through AI, Formal Verification, and Proactive Analysis
Security remains paramount for Ethereum, and several grants are dedicated to proactive vulnerability identification, formal verification, and AI-powered analysis. The EL+CL & Glamsterdam Security project focuses on identifying vulnerabilities in both execution and consensus layer clients ahead of the critical Glamsterdam upgrade, bolstering network resilience.
Innovative approaches combining AI and program analysis are also a key theme. ETHeorem aims to systematically assess security across major clients like Lighthouse, Prysm, Geth, and Reth by mapping Ethereum consensus specifications to client implementations. This "agentic system" leverages Large Language Models (LLMs) with program analysis for full-stack coverage, promising to automate and deepen security audits. Similarly, LLM-Based Client Compliance Analysis for Ethereum will deploy AI agents to scan Geth, Nethermind, Lighthouse, and Prysm against EIP specifications, identifying divergences and edge-case bugs that human reviewers might miss.
Formal verification, the mathematical proof of correctness, is also seeing substantial investment. Verity is developing a Lean 4-based smart contract language and a formally verified compiler. This will enable developers to write, formally specify, and prove contract properties, compiling to EVM bytecode with verified semantics, significantly reducing the risk of smart contract exploits. Building on this, Ethereum Protocol Security Agents – SPECA & LeanAgent will develop an LLM-powered system to automate client spec compliance checking and bug discovery, including formal verification of Gasper in Lean 4 and bridging SPECA outputs into formal specifications.
Beyond core protocol security, user-level security is also being addressed. Transaction Assertions (EIP-7906) will empower users to programmatically verify transaction outcomes against any smart contract before signing, enhancing security and user control. SafeLens enables offline verification of Gnosis Safe multisig transactions, generating evidence packages for signatures and hashes, allowing local transaction replay and human-readable details. For smart contract developers, Cantina Apex AI Code Analyzer and Octane: LLM-Powered Protocol Security offer AI-powered vulnerability detection and comprehensive scans, enhancing the overall security posture of applications built on Ethereum.
Scaling Ethereum: The Zero-Knowledge Proofs Revolution
Zero-Knowledge Proofs (ZKPs) are central to Ethereum’s long-term scaling strategy, particularly through ZK-rollups and ZK-EVMs. A major initiative, the Ethproofs On-Prem Multi-GPU Prover Initiative, is being spearheaded by multiple teams including Brevis, Succinct Labs, SilentSig, and Matter Labs. This critical effort aims to transition L1 block-proving infrastructure from centralized cloud-hosted environments to on-premise, multi-GPU setups. The goal is to stress-test operational resilience, reduce cloud dependency, and decentralize the proving ecosystem. Each participating team will contribute to an open-source "On-Prem Ops Playbook," providing a blueprint for future provers and significantly strengthening the network’s core infrastructure.
Further ZKP advancements include the Internship Program 2026 | Protocol Snarkification, focused on verifying cryptographic protocols and zkVM circuits through formal methods, and ZK + testing exploration work to optimize proving performance across diverse hardware. Fundamental ZKP tooling is also being developed through the CompPoly project, covering Fast Field Arithmetic, Bivariate Polynomials, Exponentiation, Multilinear Transforms, and Error-Correcting Interpolation via Berlekamp-Welch. These components are vital for building efficient and robust ZKP systems. The Noir to LLZK compiler aims to bridge two critical SNARK ecosystems, enhancing interoperability and expanding the developer base. Additionally, Improved Proving Infrastructure for RISC-V zkVMs will formally verify SP1 Hypercube zkVM’s arithmetization using Lean 4, proving correct implementation of RISC-V ISA semantics. The recursive extraction problem research investigates the security of recursive SNARKs, crucial for understanding and building new proof frameworks. The Verified zkEVM ArkLib Day at ZKProof 8 is also being sponsored to foster standardization and collaboration in the ZKP community.
Empowering Developers: Tooling, Privacy, and AI Integration
A robust developer experience is key to attracting and retaining talent. Grants are supporting a range of tools and infrastructure improvements. Poulpy PIR tooling is developing a production-grade, Rust-based Private Information Retrieval library for efficient, batched queries of key-value databases, enhancing data privacy. Web3j, the dominant JVM client library, is receiving support to remain in sync with upcoming hard forks like Glamsterdam, ensuring seamless integration for Java, Kotlin, and Android applications, alongside AI-targeted documentation.
The integration of AI into Ethereum development is a growing trend. Ethereum LLM Optimization (Inseeq) aims to enhance AI models with current Ethereum development tooling and ethskills data, improving LLM accuracy and making Ethereum more appealing for developers. The Steward project is building a self-sovereign macOS Ethereum smart account wallet with an on-device AI assistant, ensuring end-to-end verifiable security and sovereignty. mevlog-rs provides an EVM transaction querying CLI/TUI powered by Revm, enabling flexible local querying and IPFS sharing of results for developers and LLM agents.
Privacy-preserving tools are also a significant focus. Quixote Private Reads + Aave Integration enhances a Rust EVM event indexer with Tor-based private reads and GraphQL support, demonstrated by its integration into the Aave frontend to replace TheGraph. The Open Anonymity Project aims to enable unlinkable access to gated API services, starting with AI inference, using blind signatures and TEE-friendly servers. The Kohaku Wallet (both initial support and follow-up) is being refined as a privacy-first browser extension wallet, integrating Privacy Pools and Railgun. Research into Efficient Single-Server PIR for Ethereum Indexers aims to specify a state-of-the-art scheme to enhance user privacy and reduce MEV risks.
Advancing Research and Novel Applications
Beyond immediate infrastructure needs, the grants also foster deeper theoretical research and exploration of new use cases. The Faculty Research Fellowship: Ethereum Studies (AY 2025–2026) enables Prof. Strnad to dedicate substantial research time to Ethereum-focused problems, including DAO governance, decentralized system administration, and optimistic rollup challenge periods. The Open Anonymity Project explores anonymous credit verification using blind signatures and TEEs.
Cryptography research includes a Technical Review of Fiat-Shamir From Duplex Sponges to audit security arguments and support future Lean formalization, strengthening zero-knowledge proof systems. The leanVM under Bitcoin constraints project optimizes leanVM’s post-quantum signature aggregation for Ethereum’s consensus layer, aiming for speed, efficiency, and Bitcoin compatibility to establish an industry-wide standard.
Novel applications and organizational structures are also being explored. Ethereum "Reasonably Necessary" Frontier Use Case R&D investigates unique Ethereum use cases with real-world impact and explores new organizational structures beyond traditional crypto setups. Onchain Capital Instruments for Digital Public Goods aims to develop onchain ESG funding instruments, leveraging Ethereum to shift public goods funding from grants to scalable capital markets, designing bond-like mechanisms for large-scale infrastructure. The Open Intents Framework is being developed to enhance cross-chain liquidity rebalancing and support ERC-7683, expanding multi-chain capabilities.
Cultivating a Global Ecosystem: Education and Community Building
A significant portion of the grants is dedicated to fostering a global, inclusive, and knowledgeable Ethereum community. The Internship Program 2026 is expansive, covering critical areas such as Robust Incentives, Cryptography (including research into Encrypted Mempools and advanced primitives), Protocol Snarkification, Geth core development, Protocol Prototyping, Poseidon (post-quantum signature schemes), STEEL (core Python specifications and test suites), PandaOps (custom tooling for network upgrades), Protocol Consensus (analyzing advanced mechanisms), Funding Coordination (connecting grantees with external funding), zkEVM research, and Protocol Security. These internships are vital for nurturing the next generation of core Ethereum developers and researchers.
Beyond internships, direct educational and community-building initiatives are supported globally. The Blockchain Curriculum train the trainers program for Mindanao empowers eight Philippine academic institutions to develop blockchain curricula, fostering local Ethereum education. The Bhutan Blockchain Offline Residency 2026 aims to cultivate a new cohort of Ethereum developers through an intensive program, seeding a self-sustaining community in the region. The Hong Kong Polytechnic University – Sponsorship of the Research Centre for Blockchain Technology (RCBT) fosters academic excellence through scholarships for MScBT students and supports engagement with major conferences like Devconnect/Devcon and Asiacrypt 2026.
Finally, community events such as Programming the AI x Ethereum Convergence in Rome are being funded to foster the intersection of AI and Ethereum. Urbe Hub in Rome will host recurring workshops, demos, and builder sessions, cultivating cross-pollination and strengthening both communities in collaboration with the Ethereum Foundation’s dAI Team.
Implications for Ethereum’s Future
This extensive grant program signifies a robust, multi-faceted strategy by the Ethereum Foundation to ensure the network’s long-term health and leadership. By simultaneously investing in core protocol advancements, cutting-edge security, transformative scaling technologies like ZKPs, user-friendly developer tools, and a globally distributed talent pipeline, Ethereum is positioning itself for sustained growth and innovation. The emphasis on decentralization, post-quantum readiness, and the integration of AI-powered analysis reflects a forward-thinking approach to anticipated challenges and opportunities.
While specific financial figures for individual grants are not typically disclosed by the Foundation, the sheer volume and scope of these initiatives indicate a substantial commitment of resources. Grant recipients, while not providing direct public statements on this collective announcement, have historically expressed appreciation for the Foundation’s support, which often enables critical public goods work that might not otherwise attract commercial funding. The success of these projects will undoubtedly play a crucial role in shaping Ethereum’s evolution, solidifying its role as a secure, scalable, and globally accessible platform for decentralized applications and digital innovation. The impact is expected to resonate across the entire Web3 ecosystem, fostering a more resilient, performant, and equitable digital future.
