The Ethereum Foundation has announced significant funding allocations across a wide spectrum of initiatives, bolstering community development, advancing cryptographic research, enhancing developer tooling, and supporting core protocol evolution. The investments underscore a strategic commitment to fostering a robust, secure, and accessible Ethereum ecosystem, with a particular emphasis on global outreach and cutting-edge technological innovation.
Community and Education Initiatives Foster Global Onchain Adoption
A substantial portion of the funding is directed towards community and education programs designed to onboard new builders and deepen existing engagement within the Ethereum ecosystem. Notably, Cal Hacks 12.0, a collegiate hackathon hosted at the University of California, Berkeley, is set to explore themes such as Artificial Intelligence (AI) and Web3. These hackathons serve as crucial incubators for nascent talent, providing hands-on experience and fostering innovative solutions. The inclusion of AI and Web3 reflects the growing convergence of these transformative technologies.
In Latin America, Destino Devconnect is receiving support for its grant round, specifically targeting community-led events and initiatives aimed at bringing Argentina and the broader region "onchain." This initiative highlights a concerted effort to democratize access to blockchain technology and empower local communities. Further solidifying this regional focus, the ETH Latam Hackathon Brasil 2025, hosted in São Paulo and organized by ETHSamba, prioritizes real-world Ethereum applications and the onboarding of new developers. The event aims to translate theoretical understanding into practical implementation, a critical step for widespread adoption.
The commitment to fostering tangible applications extends to Funding the Commons: Buenos Aires 2025, a conference dedicated to RealFi – financial infrastructure designed for real-world coordination, access, and public goods funding. This focus on RealFi signals a maturing of the blockchain space, moving beyond speculative assets towards solutions that address fundamental societal needs. Complementing these efforts, Invisible Garden, a developer pop-up city in Buenos Aires, focuses on Ethereum, Zero-Knowledge Proofs (ZKPs), AI, and cybersecurity, creating an immersive environment for collaboration and learning.
To sustain momentum and ensure consistent engagement, the Local Meetups LATAM Grant Round, a collaboration with the Localism Fund, aims to empower local Ethereum communities to host monthly educational and inclusive meetups for a year. This decentralized approach to community building is vital for long-term ecosystem health.
Beyond the Americas, Cal Hacks 12.0 represents a significant investment in cultivating future blockchain innovators. The hackathon’s focus on cutting-edge areas like AI and Web3 suggests a forward-looking strategy, aiming to equip students with the skills to tackle the next generation of decentralized applications. The strategic selection of these themes indicates a recognition of their potential to reshape industries and create new economic paradigms.
Further expanding the global reach, the High Assurance Crypto Software (HACS) Workshop 2026 in Taipei, Taiwan, will convene cryptographers, software engineers, and formal verification experts. The objective is to enhance the security and correctness of cryptographic software used in real-world applications, a crucial undertaking given the increasing reliance on secure digital infrastructure. Meanwhile, the Hong Kong Polytechnic University Research Center for Blockchain Technology is collaborating on various academic activities, including scholarships for its MSc in Blockchain Technology program, the Asiacrypt 2026 conference, and joint research. This academic partnership underscores the importance of rigorous research in advancing the field.
The Stablecoin (JPYC) Innovation Challenge, organized by Crypto Asset Community, is an ideathon designed to uncover and accelerate solutions leveraging stablecoins, specifically JPYC, to address real business challenges across e-commerce, logistics, real estate, and accounting. This initiative demonstrates a practical approach to integrating stablecoins into traditional business workflows, potentially unlocking new efficiencies and market opportunities.
In a bid to broaden linguistic accessibility, the 2025 ethereum.org Translatathon aims to incentivize translation contributions in less active languages. This contest seeks to expand the availability of content on ethereum.org, making the platform more inclusive and accessible to a global audience, while also onboarding and rewarding contributors.
Advancements in Cryptography and Zero-Knowledge Proofs Enhance Security and Privacy
A significant allocation of resources is dedicated to pushing the boundaries of cryptography and zero-knowledge proofs (ZKPs), fundamental technologies for enhancing privacy, security, and scalability on Ethereum.
AVAZAR: Automatic Verification Tools for zkVM Arithmetization is receiving support for work on verifying circuits in LLZK. This research is critical for the security and reliability of ZK-based systems, ensuring that computations performed within these proofs are accurate and tamper-proof. The EPFL Laboratory for Computation Security is supporting PhD students researching foundational and applied cryptography, with a focus on addressing core limitations in current SNARK designs, including recursion security and trade-offs between proof size and security. This fundamental research is vital for the long-term evolution of ZKP technology.
The Evolution of the LLZK IR by Veridise aims to strengthen LLZK as shared, verification-oriented infrastructure for the ZK compiler ecosystem. This initiative will enable more robust tooling, interoperability across ZK Domain-Specific Languages (DSLs), and improved correctness guarantees for ZK circuits, fostering a more cohesive and secure ZKP development environment. The Fiat-Shamir Specification, being formalized in Lean based on the IETF’s draft, seeks to establish a rigorous mathematical foundation for this crucial cryptographic transformation.
Cryspen is continuing development of a Lean backend for Hax, enabling formal verification of Rust code in Lean. This project is instrumental in building trust and assurance in complex software systems, particularly those handling sensitive cryptographic operations. Axiom is undertaking formal verification of OpenVM, focusing on the functional correctness of its RV32IM opcode circuits. This effort aims to reduce the risk of soundness or completeness issues in OpenVM’s circuit design and contribute reusable formal verification infrastructure to the broader zkVM ecosystem.
Vienhage Cybersecurity UG is developing a prototype of a minimal, open-source app-specific L2 rollup for private stablecoin transfers, utilizing lightweight ZK circuits and a simplified sequencing model. This project demonstrates the practical application of ZKPs for privacy-preserving financial transactions. Privote, powered by MACI, is a private on-chain voting protocol that is currently hosting the frontend for the Gitcoin Grants 24: Privacy domain. This showcases the potential of ZKPs for secure and confidential governance mechanisms.
Nicholas Spooner is researching the security of recursive composition in SNARKs, focusing on the recursive extraction problem. This work is essential for understanding and mitigating potential vulnerabilities in advanced ZKP constructions. Runtime Verification is investigating Lean 4-based formal verification of Rust components used in zkEVM and zkVM stacks, aiming to establish a practical Rust to Lean verification pipeline using the hax toolchain. This bridges the gap between high-level programming languages and formal verification methods.
Nethermind is formalizing key theorems for STIR and WHIR in Lean and supplementing them with an executable specification. This contributes to the foundational understanding and implementation of these cryptographic primitives. The Poseidon Cryptanalysis Bounty Program, led by Jintai Ding and Ziyu Zhao, aims to ensure the security of the Poseidon hash function by verifying theoretical estimates of interpolation attack complexity and confirming it as the fastest preimage attack. Kasra Abbaszadeh is conducting a technical review of the Fiat-Shamir transformation instantiated via duplex sponges, auditing security arguments and clarifying key abstractions.
Nethermind is also investigating whether multi-round, round-by-round sound SNARKs can safely use smaller hash digests, beginning with feasibility studies in both the Random Oracle Model and the Quantum Random Oracle Model. This research could lead to more efficient ZKP constructions. powdr labs and Certora are formally verifying powdr’s autoprecompiles to enhance performance and accelerate adoption. Onur Kılıç, through his work on WHIR, aims to accelerate its integration into Plonky3, contributing to the low-level proving system stack for Ethereum post-quantum signatures.
Developer Experience and Tooling Enhancements Streamline Building on Ethereum
Investments in developer experience and tooling are crucial for lowering the barrier to entry and empowering developers to build more efficiently and securely on Ethereum.
The Ethereum Developer Ecosystem Dataset, being delivered by Open Source Observer, aims to provide an improved, reproducible, and publicly auditable view of the ecosystem’s data, along with a sustainable mechanism for updates. This comprehensive dataset will be invaluable for researchers, developers, and ecosystem stakeholders seeking to understand trends and identify opportunities. Walnut is undertaking a focused research effort to add an MLIR middle-end to the Solidity compiler, with the goal of achieving measurable gas savings and enabling richer correctness and safety analyses. This optimization has the potential to significantly improve the efficiency of smart contracts.
Karen Sarkisyan is integrating Helios with the Kohaku browser extension, focusing on performance improvements and ensuring its portability within the Kohaku SDK. This integration will enhance the user experience for developers interacting with the Ethereum network through browser-based tools.
Protocol Growth and Support Initiatives Drive Ecosystem Expansion and Security
The Ethereum Foundation’s commitment to protocol growth and support is evident in a diverse range of initiatives aimed at improving scalability, security, and inclusivity.
Deep Funding Markets, powered by Seer, is a multiscalar prediction market used in Gitcoin Grants 24. It allows model builders to bet on the evaluation value of open-source repositories, fostering a novel approach to incentivizing development and quality assessment. The European Crypto Initiative (EUCI) is conducting EU-focused policy advocacy and educational campaigns targeting regulators and policymakers, aiming to foster a more informed and supportive regulatory environment for the blockchain industry.
Gitcoin Grants 24 received co-funding for its Privacy Domain, supporting privacy solutions for a secure onchain Ethereum ecosystem, and its Public Goods R&D Domain, which backs academic and other research advancing insights into Ethereum public goods and their funding, with a focus on developing neutral, open-source solutions. Allan Niemerg is establishing a juror evaluation process for Deep Funding, creating an app for collecting juror data and integrating the results into the Deep Funding voting app, thereby enhancing the governance and funding mechanisms.
Security Alliance (SEAL) is actively engaged in Anti-Crypto-Drainer Operations, tracking, discovering, and blocking crypto drainers that target EVM-based chains. This proactive security measure is vital for protecting users from financial losses. BuidlGuidl’s Builder Bootcamp Capture the Flag (CTF) is a competition challenging participants to find vulnerabilities, exploit smart contract weaknesses, and solve cryptographic challenges within Solidity puzzles. Similarly, Certora’s Capture the Funds is a Solidity-based security competition where participants exploit vulnerable DeFi protocols. These CTFs serve as crucial training grounds for aspiring smart contract auditors and security researchers.
WalletConnect is building a library and Proof of Concept (PoC) wallet to address the issue of blind signing, a critical security concern in wallet interactions. OneSavie Lab is hosting a Kaggle competition for LLM-based smart contract vulnerability detection, utilizing the Bastet dataset. This initiative aims to attract both crypto security talent and non-crypto AI/LLM talent to address smart contract security challenges.
dRPC is incorporating network-level privacy into NodeCore, a high-performance, self-hosted RPC load-balancer. This aims to optimize request distribution across blockchain providers for latency, error rate, and cost, while enhancing privacy. ChainSafe is developing Open Creator Rails, a minimal, verifiable on-chain runtime for managing time-bound access to digital resources using deterministic entitlements, potentially revolutionizing digital content management and access.
Chiachih Wu is designing and implementing LLM-enabled differential testing on Ethereum clients to accelerate the identification of vulnerabilities within the Ethereum protocol. Mike Neuder is conducting doctoral work focused on using economics and computation to deepen the understanding of blockchain mechanism design, generating high-impact academic research and educational content, including public explainers and a new blockchain course at Princeton University.
Truscova is building a Smart Contract Vulnerability Database (SCVD) that aggregates, standardizes, and publicly releases vulnerability reports from multiple sources, creating a valuable resource for the security community. Timber Stinson-Schroff is managing the Summer of Protocols (SoP) program, overseeing logistics, community management, and shaping its long-term roadmap, ensuring the continued growth and development of protocol researchers.
A significant collaboration is underway between the Ethereum Foundation’s Privacy Cluster and The Tor Project. The Tor Project is providing technical support to overcome integration barriers for Tor at the edge of the Ethereum ecosystem. This includes improving the scalability of bridging to Tor and adapting the Arti Tor client for WASM integration into wallets and frontends. The partnership aims to unlock Tor’s privacy benefits for RPC calls, such as transaction broadcasting, especially in constrained environments like browser wallets.
The Women in Ethereum Protocol (WiEP) initiative is seeing continued support with Mercy Boma Naps-Nkari and Arunima Chaudhuri facilitating Cohort 4, developing workflows, coordinating mentors, and tracking participant contributions. Meenakshi Singh serves as the Marketing Coordinator for WiEP Cohort 4, managing communications and social media to support the program’s outreach. Divya Ranjan Pattanaik is undertaking an informal internship to contribute to Ethereum protocol R&D, further nurturing emerging talent.
Analysis of Implications
The breadth and depth of these funded initiatives indicate a multifaceted strategy by the Ethereum Foundation. The significant investment in community and education, particularly in regions like Latin America, signals a commitment to global decentralization and equitable access to blockchain technology. By empowering local communities and fostering regional hackathons, the Foundation is cultivating a diverse and inclusive ecosystem.
The substantial funding for cryptography and ZKPs underscores the critical role these technologies play in addressing Ethereum’s long-standing challenges of privacy and scalability. Continued advancements in these areas are essential for the network’s mainstream adoption and its ability to support a wider range of complex applications. The focus on formal verification and security auditing through initiatives like HACS and various CTF competitions demonstrates a proactive approach to mitigating risks and building trust in the integrity of the protocol and its associated applications.
Enhancements to developer experience and tooling are crucial for lowering the technical barriers to entry. By improving the efficiency and usability of development tools, the Foundation aims to accelerate the pace of innovation and attract a larger pool of developers to the ecosystem. This includes efforts to optimize smart contract performance through compiler advancements and to provide comprehensive datasets for ecosystem analysis.
The strategic allocation of resources towards protocol growth and support initiatives highlights a forward-looking approach to the network’s evolution. Investments in research like LLM-enabled differential testing and the development of robust vulnerability databases are vital for ensuring the long-term security and resilience of the Ethereum protocol. Furthermore, the ongoing support for initiatives like WiEP and Summer of Protocols demonstrates a commitment to fostering a sustainable and inclusive community that can drive future advancements. The collaboration with The Tor Project to integrate privacy-enhancing technologies into core Ethereum infrastructure is a significant step towards making the network more private and accessible.
Overall, these diverse funding allocations paint a picture of a mature and strategic ecosystem development approach. The Ethereum Foundation is not only investing in technological innovation but also in the human capital and community structures necessary to ensure the protocol’s continued growth, security, and widespread adoption. The emphasis on global reach, advanced cryptography, and developer enablement positions Ethereum to tackle the complex challenges and opportunities of the evolving decentralized web.
