Layla Zulfa
The Ethereum Foundation has announced a comprehensive series of grants, strategically deploying capital across a diverse array of projects aimed at strengthening the core protocol, fostering global community development, enhancing security, and pushing the boundaries of cryptographic research, particularly in zero-knowledge proofs (ZKPs). These latest funding initiatives reflect a concerted effort to support public goods infrastructure, cultivate talent worldwide, and ensure the long-term resilience and innovation of the Ethereum ecosystem. The grants span categories including Community & Education, Consensus Layer, Cryptography & Zero-Knowledge Proofs, Developer Experience & Tooling, Execution Layer, General Growth & Support, and Protocol Growth & Support, with a notable emphasis on Latin American initiatives and foundational cryptographic research.
Catalyzing Global Community and Education
A significant portion of the recent grants targets community building and educational outreach, with a particular focus on emerging developer hubs and increasing accessibility. Latin America stands out as a strategic region for investment, underscored by several key initiatives. Following the impactful Devconnect event in Argentina, the "Destino Devconnect" grants round has been established to sustain momentum, specifically supporting community-led events and initiatives that aim to bring Argentina and the broader Latin America region "onchain." This commitment is further solidified by the "Local Meetups LATAM Grant Round," a collaborative effort with the Localism Fund. This program is designed to empower local Ethereum communities to host consistent, educational, and inclusive monthly meetups for a full year, ensuring sustained engagement and knowledge transfer post-Devconnect. The goal is to build a robust, self-sustaining network of developers and enthusiasts across the continent.
Educational infrastructure in Latin America is also receiving a boost with initiatives like "Invisible Garden," a developer pop-up city in Buenos Aires focused on Ethereum, ZKPs, AI, and cybersecurity. This immersive environment provides hands-on experience and fosters collaboration among developers. Additionally, the "ETH Latam Hackathon Brasil 2025," hosted by ETHSamba in São Paulo, is prioritizing real-world Ethereum applications and the onboarding of new builders, signaling a clear intent to translate theoretical knowledge into practical solutions. Travel assistance is also being provided by Lancerium to enable founders to attend Devconnect ARG, lowering barriers to participation for key community members. The "Funding the Commons: Buenos Aires 2025" conference, centered on RealFi—financial infrastructure for real-world coordination, access, and public goods funding—further illustrates the region’s potential as a hub for innovative, impactful blockchain applications.
Beyond Latin America, the grants extend to global educational and talent development platforms. "Cal Hacks 12.0," a collegiate hackathon at the University of California, Berkeley, continues to receive support, covering themes such as AI and web3, serving as a vital pipeline for new talent in the U.S. In Asia, the "High Assurance Crypto Software (HACS) Workshop 2026" in Taipei will gather cryptographers and formal verification experts to enhance the security of cryptographic software, reflecting a global commitment to robust security standards. The Hong Kong Polytechnic University Research Center for Blockchain Technology is collaborating on and supporting a range of academic activities, including scholarships for its MSc in Blockchain Technology program, the Asiacrypt 2026 conference, guest lectures, and joint research, firmly embedding blockchain technology within established academic frameworks. Japan’s "Stablecoin (JPYC) Innovation Challenge," organized by the Crypto Asset Community, aims to accelerate real-world stablecoin solutions across diverse sectors like e-commerce and real estate, demonstrating a practical application of blockchain technology to traditional industries. Finally, the "2025 ethereum.org Translatathon" is set to incentivize translation contributions in less-active languages, significantly increasing the accessibility of Ethereum documentation and onboarding new contributors globally. This initiative is crucial for lowering language barriers and fostering a truly global community.
Advancing Core Protocol and Cryptographic Frontiers
Investment in the fundamental layers of Ethereum remains a cornerstone of the grant strategy. The Consensus Layer sees continued development of "Ream" by Ream Labs, a modular, contributor-friendly, and fast implementation of the Lean Consensus specification. This work is critical for the ongoing evolution and optimization of Ethereum’s consensus mechanism, ensuring its scalability and long-term stability.
The Cryptography & Zero-Knowledge Proofs (ZKPs) category receives substantial funding, highlighting the Ethereum Foundation’s commitment to advancing privacy, scalability, and security through cutting-edge research and tooling. Foundational research includes "AVAZAR: Automatic Verification Tools for zkVM Arithmetization" by Albert Rubio, supporting the verification of circuits in LLZK. The EPFL Laboratory for Computation Security is receiving support for PhD students researching foundational and applied cryptography, addressing core limitations in current SNARK designs, such as recursion security and proof size-security trade-offs. Nicholas Spooner’s research on "The Recursive Extraction Problem" delves into the security of recursive composition in SNARKs, crucial for understanding the robustness of complex ZKP systems. Further foundational work includes the "Fiat-Shamir Specification" for formalization in Lean and a technical review of the "Fiat-Shamir from Duplex Sponges" analysis by Kasra Abbaszadeh, both aimed at rigorously defining and auditing critical cryptographic transformations. Nethermind is also investigating "Tightening the Hash Size in Round-by-Round Sound IOPs," exploring efficiency gains in SNARKs. These projects collectively contribute to a deeper theoretical understanding and more secure deployment of ZKP technologies.
On the tooling and infrastructure front, "Evolution of the LLZK IR" by Veridise aims to strengthen LLZK as a shared, verification-oriented infrastructure for the ZK compiler ecosystem, enabling robust tooling and interoperability. Cryspen’s "Lean Backend for Hax" allows Rust code to be formally verified in Lean, a critical step for high-assurance cryptographic implementations. Axiom is undertaking "OpenVM Formal Verification," focusing on the functional correctness of RV32IM opcode circuits to reduce soundness or completeness issues and contribute reusable verification infrastructure. Runtime Verification is investigating "Rust Verification Through Lean 4 Tooling," aiming for a practical Rust to Lean verification pipeline. Nethermind is also working on formalizing key theorems for "STIR & WHIR in ArkLib" in Lean, while Onur Kılıç is accelerating "WHIR" for integration into Plonky3, contributing to post-quantum signature capabilities. Powdr labs and Certora are collaborating on "Verifying Autoprecompiles" for the powdr project, seeking to improve performance and adoption through formal verification. These efforts underscore the importance of formal methods in building highly secure and reliable ZKP systems.
Practical applications of ZKPs are also being funded, such as "Private Payments L2" by Vienhage Cybersecurity UG, which is creating a prototype for an app-specific L2 rollup for private stablecoin transfers using lightweight ZK circuits. "Privote" by Shashank Trivedi, a private on-chain voting protocol powered by MACI, is hosting the frontend for the Gitcoin Grants 24: Privacy domain, demonstrating a real-world use case for secure and private decision-making. Security initiatives include the "Poseidon Cryptanalysis Bounty Program," led by Jintai Ding and Ziyu Zhao, which seeks to verify the security of the Poseidon hash function against interpolation attacks. This multi-pronged approach to ZKPs ensures both theoretical rigor and practical implementation, with a strong emphasis on security.
Enhancing Developer Experience and Core Infrastructure
Developer experience and tooling are vital for the ecosystem’s growth. Open Source Observer is delivering an "Ethereum Developer Ecosystem Dataset," providing an improved, reproducible, and publicly auditable view of developer activity, crucial for understanding and nurturing the community. Walnut is undertaking a focused research effort to add an "MLIR Middle End Optimization Layer for Solidity," aiming for measurable gas savings and richer correctness and safety analyses, which would significantly improve smart contract efficiency and reliability.
In the Execution Layer, Karen Sarkisyan is integrating "Helios" with the "Kohaku" browser extension. Helios, a light client, improves performance and ensures a portable and easily integrable part of the Kohaku SDK, making Ethereum more accessible and performant for end-users and developers alike.
Fostering Public Goods and Ecosystem Health
The Ethereum Foundation’s commitment to public goods funding is evident in its continued support for innovative mechanisms and strategic partnerships. "Deep Funding Markets" by Seer, a multiscalar prediction market used in Gitcoin Grants 24, allows model builders to bet on the value of open-source repositories, aiming to optimize funding allocation. Allan Niemerg is establishing a "Juror Voting for Deep Funding" process, creating an app for collecting juror data and integrating results into the voting app, further refining public goods funding mechanisms.
Co-funding for "Gitcoin Grants 24" is provided for both the "Privacy Domain" and the "Public Goods R&D Domain." The Privacy domain specifically supports solutions for a secure onchain Ethereum ecosystem, while the Public Goods R&D Domain backs academic and other research advancing insights into Ethereum public goods and their funding, with a focus on interoperability. These investments through Gitcoin underscore the importance of community-driven funding for long-term ecosystem health. On the policy front, the "European Crypto Initiative (EUCI)" is conducting EU-focused advocacy and education campaigns, aiming to foster a favorable regulatory environment for blockchain innovation.
Bolstering Security and Protocol Resilience
Beyond core development, several grants target crucial aspects of security and protocol growth. The Security Alliance (SEAL) is conducting "Anti-Crypto-Drainer Operations," tracking, discovering, and blocking malicious crypto drainers attacking EVM-based chains, protecting users from common exploits. Developer skill in security is being sharpened through "BuidlGuidl’s Builder Bootcamp Capture the Flag" and "Capture the Funds" by Certora, where participants exploit smart contract weaknesses and cryptographic challenges. WalletConnect is building a "Clear Signing Library" and a Proof-of-Concept wallet to address the critical issue of blind signing, enhancing user security and transparency in transaction approvals. OneSavie Lab is hosting a "Kaggle Competition for LLM Identification of Smart Contract Vulnerabilities," leveraging AI/LLM talent to detect vulnerabilities and improve code security, signaling a proactive approach to smart contract safety. dRPC’s "NodeCore" project incorporates network-level privacy into a high-performance, self-hosted RPC load-balancer, optimizing for latency, error rate, and cost, which is crucial for robust and private access to the blockchain. ChainSafe’s "Open Creator Rails" offers a minimal, verifiable on-chain runtime for managing time-bound access to digital resources, opening new possibilities for digital rights management and creator economies.
In the realm of Protocol Growth & Support, Chiachih Wu is designing and implementing "LLM-Enabled Differential Testing on Ethereum Clients" to speed up vulnerability detection in the Ethereum protocol, leveraging AI for critical security auditing. Mike Neuder’s doctoral work, supported as a "Protocol Fellowship," focuses on blockchain mechanism design, generating high-impact academic research and educational content, including a new blockchain course at Princeton University, thereby cultivating future protocol researchers. Truscova is building a "Smart Contract Vulnerability Database," a system to collect and standardize vulnerability reports from multiple sources into a publicly available dataset, which is essential for collective security intelligence. Timber Stinson-Schroff is managing the "Summer of Protocols (SoP) Program," overseeing logistics and shaping its long-term roadmap, ensuring the continuation of vital protocol research.
A significant initiative for privacy is the collaboration with "The Tor Project," which is providing technical support to the Ethereum Foundation’s Privacy Cluster. This work aims to overcome technical barriers to integrating Tor at the edge and infrastructure of the Ethereum ecosystem, improving scalability for bridging to Tor, and adapting the Arti Tor client into WASM for integration into wallets and frontends. This collaboration is set to unlock Tor’s capabilities in constrained environments like browser wallets, bringing crucial privacy to RPC calls such as transaction broadcasting (eth_sendRawTx).
Finally, diversity and inclusion within the protocol development community are being actively fostered through the "Women in Ethereum Protocol (WiEP)" Cohort 4. Mercy Boma Naps-Nkari and Arunima Chaudhuri are facilitating this cohort, developing workflows, coordinating mentors, and tracking participant contributions. Meenakshi Singh is coordinating marketing for WiEP Cohort 4, managing communications and social media, ensuring broad outreach and engagement. Divya Ranjan Pattanaik is also undertaking an informal 2-month internship to work on Ethereum protocol R&D, providing hands-on experience to emerging talent. These initiatives are critical for building a diverse and robust developer ecosystem that can sustain Ethereum’s long-term growth.
Broader Implications and Future Outlook
This extensive round of grants highlights the Ethereum Foundation’s multi-faceted strategy for ecosystem development. The significant investment in Latin America signals a recognition of its burgeoning developer community and its potential as a region for real-world blockchain adoption, particularly in areas like RealFi. The deep dive into cryptography and zero-knowledge proofs indicates a strong commitment to addressing the fundamental challenges of scalability, privacy, and security that are critical for Ethereum’s evolution towards a truly global, privacy-preserving, and high-throughput network. The emphasis on formal verification and robust tooling reflects a mature approach to building secure and reliable software, moving beyond nascent development practices.
Furthermore, the continuous support for public goods funding mechanisms like Gitcoin Grants, coupled with academic partnerships and initiatives like the Summer of Protocols, underscores a dedication to long-term research and sustainable open-source development. Efforts to enhance developer experience, integrate privacy at the network edge with Tor, and cultivate a diverse and inclusive talent pool through programs like WiEP are crucial for fostering a vibrant and resilient ecosystem capable of adapting to future challenges. In essence, these grants are not merely financial allocations but strategic investments designed to future-proof Ethereum, broaden its global reach, and solidify its position as a leading decentralized platform for innovation. The initiatives collectively paint a picture of an ecosystem poised for significant advancements in security, scalability, and global adoption in the coming years.
