Layla Zulfa
A Holistic Investment in Ethereum’s Future
The recent allocations reflect a strategic approach to cultivate a robust and self-sustaining ecosystem. These investments are not merely financial contributions but represent a vote of confidence in the underlying technologies and the global community driving Ethereum’s evolution. The scope extends from fundamental research into the mathematical underpinnings of zero-knowledge proofs (ZKPs) to practical applications in decentralized finance (DeFi) security, and from academic scholarships to grassroots community meetups. This multi-pronged strategy is designed to ensure that Ethereum remains at the forefront of blockchain innovation, maintaining its position as a leading platform for decentralized applications and digital economies.
The timeline of these initiatives stretches well into 2026, indicating a long-term vision. Major events like the ETH Latam Hackathon Brasil 2025, Funding the Commons: Buenos Aires 2025, and the High Assurance Crypto Software (HACS) Workshop 2026 are already scheduled, setting a clear trajectory for future engagement and development. This forward-looking planning provides stability and a clear roadmap for participants, developers, and researchers alike.
Fostering Global Talent and Education
A significant portion of the recent funding is dedicated to community building and educational initiatives, emphasizing the human capital aspect of blockchain development. These efforts are geographically diverse, with a strong focus on Latin America and Asia, alongside established hubs in North America. The overarching goal is to democratize access to blockchain knowledge and skills, ensuring a broader and more inclusive pool of contributors to the Ethereum ecosystem.
Cultivating Developer Ecosystems Through Hackathons and Conferences
Hackathons serve as crucial incubators for innovation and talent discovery. Cal Hacks 12.0, a collegiate hackathon organized at the University of California, Berkeley, exemplifies this, focusing on themes such as AI and Web3. Such events provide students with hands-on experience, fostering problem-solving skills and encouraging the development of novel applications on Ethereum. Similarly, the ETH Latam Hackathon Brasil 2025, hosted in São Paulo by ETHSamba, prioritizes real-world Ethereum applications and aims to onboard new builders. This initiative reflects a recognition of Latin America’s burgeoning developer community and its potential to contribute significantly to the global ecosystem.
Conferences also play a vital role in knowledge sharing and networking. Funding the Commons: Buenos Aires 2025 is a prime example, revolving around RealFi – financial infrastructure designed for real-world coordination, access, and public goods funding. This event in Argentina aims to bring together thought leaders and practitioners to discuss sustainable models for decentralized finance, emphasizing its societal impact beyond speculative markets. Another significant gathering is Invisible Garden, a developer pop-up city focused on Ethereum, ZKPs, AI, and cybersecurity, also organized in Buenos Aires. These targeted events create concentrated environments for collaboration and learning, attracting specialized talent to address specific technical challenges.
Empowering Local Communities and Academic Excellence
Beyond large-scale events, sustained support for local communities is critical for long-term growth. The Destino Devconnect grants round is focused on supporting community-led events and initiatives that help bring Argentina and the broader Latin America region onchain. This localized approach ensures that efforts are tailored to regional needs and cultural contexts. In a similar vein, the Local Meetups LATAM Grant Round, a collaborative effort with the Localism Fund, is designed to sustain post-Devconnect momentum by empowering local Ethereum communities to host consistent, educational, and inclusive monthly meetups for one year. This fosters continuous engagement and provides accessible learning opportunities for aspiring developers and enthusiasts.
Academic institutions are also key partners in advancing blockchain research and education. The Hong Kong Polytechnic University Research Center for Blockchain Technology is receiving support for a range of academic activities, including scholarships for its MSc in Blockchain Technology program, the Asiacrypt 2026 conference, guest lectures, and joint research activities. This partnership underscores the importance of rigorous academic inquiry in pushing the boundaries of blockchain technology. Furthermore, the High Assurance Crypto Software (HACS) Workshop 2026 in Taipei, Taiwan, aims to bring together cryptographers, cryptographic software engineers, and formal verification experts to improve the security and correctness of real-world cryptographic software, highlighting a global commitment to foundational security. Travel assistance provided by Lancerium to enable its founders to attend Devconnect ARG further illustrates the focus on supporting individual contributors and facilitating their participation in key ecosystem events.
Driving Inclusivity and Accessibility
Efforts to make the Ethereum ecosystem more accessible and inclusive are also evident. The 2025 ethereum.org Translatathon is a translation contest designed to incentivize contributions in less-active languages, increase the number of languages and amount of content available on ethereum.org, and onboard new contributors. This initiative is crucial for global adoption, ensuring that language barriers do not hinder participation or understanding.
Innovation challenges also serve to broaden participation and discover new applications. The Stablecoin (JPYC) Innovation Challenge, organized by the Crypto Asset Community, is a cross-industry ideathon designed to surface and accelerate solutions that employ stablecoins—specifically JPYC—to solve real business challenges across sectors such as e-commerce, logistics, real estate, and accounting. Such challenges encourage diverse participants from various industries to explore the practical utility of blockchain technology.
Bolstering Core Protocol Development
At the heart of Ethereum’s ongoing success are continuous advancements to its core protocol. Investments in the Consensus and Execution layers are vital for enhancing the network’s scalability, security, and overall performance.
Advancing Consensus Layer Efficiency
The Ream project, developed by Ream Labs, focuses on the continued development of a modular, contributor-friendly, and fast implementation of the Lean Consensus specification. This is a critical endeavor as the consensus layer is responsible for validating transactions and maintaining the integrity of the blockchain. Improvements in efficiency and modularity contribute directly to the network’s robustness and its ability to process transactions securely and quickly, particularly important in a post-Merge Ethereum environment. The Lean Consensus specification aims to provide a more rigorous and formally verifiable foundation for the protocol, reducing potential attack vectors and improving reliability.
Enhancing Execution Layer Performance and Accessibility
On the execution layer, Helios Integration in Kohaku by Karen Sarkisyan aims to integrate Helios, a light client, with the Kohaku browser extension. This integration is poised to improve performance and ensure that Helios is a portable and easily integrable part of the Kohaku SDK. Light clients are crucial for decentralization and user accessibility, allowing users to interact with the Ethereum blockchain without running a full node, which can be resource-intensive. By making light client functionality more performant and easier to integrate into user-facing applications like browser extensions, this project significantly lowers the barrier to entry for users and developers, fostering broader adoption and a more resilient network.
Pioneering Cryptography and Zero-Knowledge Proofs
Zero-Knowledge Proofs (ZKPs) are widely recognized as a cornerstone for Ethereum’s scalability and privacy roadmap. A substantial portion of the funding is directed towards foundational research, formal verification, and innovative applications of ZKPs, reflecting their critical role in the network’s future.
Formal Verification for Enhanced Security and Reliability
Formal verification is paramount in cryptography, ensuring the mathematical correctness and security of complex systems. Several initiatives are focused on this rigorous process. AVAZAR: Automatic Verification Tools for zkVM Arithmetization by Albert Rubio supports work on the verification of circuits in LLZK. Similarly, Evolution of the LLZK IR by Veridise focuses on strengthening LLZK as shared, verification-oriented infrastructure for the ZK compiler ecosystem, enabling more robust tooling and interoperability across ZK DSLs. This aims to improve correctness guarantees for ZK circuits, which are intricate and highly susceptible to subtle bugs.
The Lean Backend for Hax by Cryspen continues the development of a Lean backend for Hax, allowing Rust code to be formally verified in Lean. Rust is a widely used language for high-performance blockchain components, and formal verification of its cryptographic implementations is crucial. OpenVM Formal Verification by Axiom focuses on establishing the functional correctness of all RV32IM opcode circuits within OpenVM, aiming to reduce the risk of soundness or completeness issues and contributing reusable formal verification infrastructure to the broader zkVM ecosystem. Rust Verification Through Lean 4 Tooling Investigation by Runtime Verification further investigates Lean 4-based formal verification of Rust components used in zkEVM and zkVM stacks, with a focus on establishing a practical Rust to Lean verification pipeline using the hax toolchain. This reflects a concerted effort to build a highly secure and reliable ZK proving stack.
Further formalization efforts include STIR & WHIR in ArkLib by Nethermind, which involves formalizing key theorems for STIR and WHIR in Lean and supplementing them with an executable specification. Lastly, Verifying Autoprecompiles by powdr labs and Certora aims to formally verify powdr’s autoprecompiles to help improve performance and speed up adoption of ZKP-based solutions. These initiatives collectively aim to elevate the confidence in ZKP implementations, which are fundamental to secure scaling.
Foundational Research in ZKP Security and Efficiency
Deep academic and practical research into the theoretical aspects of ZKPs is also heavily supported. The EPFL Laboratory for Computation Security is supporting PhD students working on foundational and applied cryptography research, addressing core limitations in current SNARK designs, including recursion security and the exploration of tradeoffs between proof size and security. These are complex, cutting-edge areas that directly impact the practical deployment and long-term security of ZKP systems.
Specific cryptographic primitives are also under scrutiny. The Fiat-Shamir Specification involves the formalization in Lean of the Fiat-Shamir transformation, a critical component in many interactive proof systems. This work, alongside a Technical Review of Fiat–Shamir from Duplex Sponges by Kasra Abbaszadeh, focuses on auditing underlying security arguments, identifying gaps, and clarifying abstractions for rigorous reasoning.
Security of recursive composition in SNARKs is being researched by Nicholas Spooner in The Recursive Extraction Problem, focusing on issues that arise when security proofs require repeated application of knowledge extractors. The Poseidon Cryptanalysis Bounty Program, led by Jintai Ding and Ziyu Zhao, aims to ensure the interpolation attack is the fastest preimage attack on Poseidon, and verifies the complexity of attacks on reduced round versions. This proactive cryptanalysis is essential for validating the security assumptions of widely used hash functions in ZK systems. Nethermind’s Tightening the Hash Size in Round-by-Round Sound IOPs investigates whether multi-round, round-by-round sound SNARKs can safely use smaller hash digests, beginning with a feasibility study in both the Random Oracle Model and the Quantum Random Oracle Model, which could lead to more efficient ZKP constructions. Finally, WHIR by Onur Kılıç aims to accelerate WHIR and upstream it into Plonky3, contributing to the low-level stack of proving systems for Ethereum post-quantum signatures, a forward-looking step towards quantum resistance.
Innovative Applications of ZKPs
Beyond foundational research, funding is also directed towards practical applications leveraging ZKPs. Private Payments L2 by Vienhage Cybersecurity UG focuses on creating a prototype of a minimal, open-source app-specific L2 rollup for private stablecoin transfers, using lightweight ZK circuits and a simplified sequencing model. This initiative directly addresses the critical need for privacy in blockchain transactions, enabling confidential financial operations on Ethereum.
Privote, led by Shashank Trivedi, is a private on-chain voting protocol powered by MACI (Minimum Anti-Collusion Infrastructure). It is notably hosting the frontend for the Gitcoin Grants 24: Privacy domain. Privote offers a robust solution for fair and private decentralized governance, mitigating issues like vote buying and coercion, thereby strengthening the democratic processes within decentralized autonomous organizations (DAOs).
Elevating Developer Experience and Tooling
A thriving developer ecosystem relies on efficient tools and comprehensive data. Investments in this area aim to streamline development workflows and provide better insights into the ecosystem’s health.
Improving Ecosystem Insights and Compiler Optimization
The Ethereum Developer Ecosystem Dataset by Open Source Observer is designed to deliver an improved, reproducible, and publicly auditable view of Ethereum developer ecosystem data, along with a sustainable mechanism to keep it updated. This dataset is invaluable for researchers, investors, and community organizers to understand growth trends, identify active projects, and allocate resources effectively, fostering data-driven decision-making within the ecosystem.
Another significant tooling improvement is solc-mlir Middle End Optimization Layer for Solidity by Walnut. This focused research effort aims to add an MLIR (Multi-Level Intermediate Representation) middle-end to the Solidity compiler, with the goal of yielding measurable gas savings and enabling richer correctness and safety analyses. Gas optimization is crucial for reducing transaction costs on Ethereum, making applications more affordable and accessible for users. Enhancements in correctness and safety analyses also contribute to more robust and secure smart contracts, mitigating potential vulnerabilities.
Catalyzing Public Goods and Advocacy
Supporting public goods and engaging with policy-makers are essential for the long-term sustainability and mainstream adoption of Ethereum. These initiatives focus on innovative funding models and strategic advocacy.
Innovative Funding Mechanisms for Open-Source Development
Deep Funding Markets by Seer is a multiscalar prediction market where model builders bet on the value an open-source repository would receive if it were to be professionally evaluated. This mechanism was notably used in Gitcoin Grants 24, providing a novel way to assess and fund public goods. Complementing this, Juror Voting for Deep Funding by Allan Niemerg focuses on establishing a juror evaluation process, creating an app for collecting data from jurors, and integrating the results into the Deep Funding voting app. These efforts aim to create more efficient and decentralized funding mechanisms for critical open-source projects.
Gitcoin Grants 24 itself is a major public goods funding initiative. The co-funding for the Privacy Domain supports privacy solutions for a secure onchain Ethereum ecosystem, reflecting the growing importance of user privacy. The Public Goods R&D Domain supports concrete academic and other forms of research that advance insights and knowledge on Ethereum public goods and their funding, while supporting the development of neutral, open-source solutions rooted in these insights, with a focus on interoperability between tools. These grants are vital for fostering innovation in areas that might not attract commercial investment but are crucial for the health of the decentralized ecosystem.
Strategic Policy Engagement
The European Crypto Initiative (EUCI) is actively conducting EU-focused policy advocacy and education campaigns aimed at key regulators and policymakers. As regulatory landscapes evolve, proactive engagement with governments and legislative bodies is critical to ensure that emerging policies are well-informed and do not stifle innovation within the blockchain space. EUCI’s work helps to shape a favorable regulatory environment for Ethereum and the broader crypto industry in a major economic bloc.
Enhancing Security and Critical Infrastructure
Security remains a top priority for the Ethereum ecosystem, given the immutable nature of blockchain transactions. Alongside this, initiatives to strengthen fundamental infrastructure and explore new use cases are also being funded.
Proactive Security Measures and Talent Development
Direct actions against malicious actors are crucial. Anti-Crypto-Drainer Operations by Security Alliance (SEAL) involve tracking, discovering, and blocking crypto drainers attacking EVM-based chains. This proactive security work protects users and assets from common attack vectors, enhancing trust in the ecosystem.
Cultivating security talent is equally important. BuidlGuidl’s Builder Bootcamp Capture the Flag (CTF) is a competition where participants tackle 12 increasingly challenging Solidity puzzles to hunt for vulnerabilities, exploit smart contract weaknesses, and solve cryptographic challenges. Similarly, Capture the Funds by Certora is a Solidity-based CTF-style security competition where participants compete to exploit vulnerable DeFi protocols. These CTFs are excellent tools for identifying and training security researchers, sharpening their skills in a gamified environment.
To leverage advanced technologies in security, OneSavie Lab is hosting a Kaggle Competition for LLM Identification of Smart Contract Vulnerabilities. This competition, built on the Bastet dataset, aims to attract both crypto security talent and non-crypto AI/LLM talent to develop sophisticated tools for automated vulnerability detection, a crucial step in scaling smart contract security audits.
Safeguarding User Assets and Data Privacy
Protecting users from "blind signing" is addressed by Clear Signing Library by WalletConnect, which is building a library and PoC wallet to solve this issue. Blind signing, where users approve transactions without fully understanding their implications, is a significant security risk. Clear signing enhances transparency and user safety.
Regarding infrastructure, NodeCore by dRPC aims to incorporate network-level privacy into a high-performance, self-hosted RPC load-balancer that distributes requests across multiple blockchain providers or nodes, optimizing for latency, error rate, and cost. This improves both the privacy and reliability of user interactions with the blockchain, which are fundamental to a healthy decentralized network.
Enabling New Digital Resource Management
Open Creator Rails by ChainSafe focuses on a minimal, verifiable on-chain runtime for managing time-bound access to digital resources using deterministic entitlements. This initiative opens up new possibilities for digital rights management, subscriptions, and access control within decentralized applications, empowering creators and fostering new economic models.
Advancing Core Protocol Research and Diversity
The longevity and evolution of Ethereum depend on continuous research into its protocol, coupled with efforts to make its development community more inclusive and diverse.
Deepening Protocol Understanding and Vulnerability Detection
Advanced research into protocol security is exemplified by LLM-Enabled Differential Testing on Ethereum Clients by Chiachih Wu. This project aims to design and implement LLM-enabled differential testing on Ethereum clients to speed up the ability to find vulnerabilities on the Ethereum protocol, leveraging artificial intelligence to enhance security analysis.
The Protocol Fellowship by Mike Neuder involves doctoral work focused on using tools from economics and computation to deepen the understanding of blockchain mechanism design. This research generates high-impact academic findings and educational content, such as public explainers on protocol changes and teaching a new blockchain course at Princeton University, thereby contributing to the intellectual capital of the ecosystem.
The Smart Contract Vulnerability Database by Truscova is building a system that accepts a wide variety of different vulnerability reports in various formats from multiple sources, massaging them into a schema, and then outputting it into a publicly available dataset. This centralized and standardized database is invaluable for researchers, auditors, and developers to learn from past vulnerabilities and improve future smart contract security.
Strengthening Decentralized Privacy Infrastructure
A critical partnership is with The Tor Project, which is providing technical support to the Ethereum Foundation’s Privacy Cluster. This collaboration aims to overcome technical barriers of integrating Tor at the edge and into the infrastructure of the Ethereum ecosystem. The work includes improving the scalability of bridging to Tor and adapting the Arti Tor client into WebAssembly (WASM) so it can be integrated into wallets and frontends. The collaboration aims to unlock Tor particularly in constrained environments like browser wallets, bringing privacy to RPC calls like transaction broadcasting (eth_sendRawTx). This is a significant step towards enhancing user privacy at a fundamental network level, ensuring greater anonymity for Ethereum users.
Cultivating Inclusivity in Protocol Development
Recognizing the importance of diverse perspectives, the Summer of Protocols (SoP) Program Management by Timber Stinson-Schroff focuses on overseeing the 2025 program logistics, supporting community management, and helping to shape SoP’s longer-term roadmap. SoP is a program dedicated to fostering protocol research and development, and effective management ensures its continued success and reach.
Crucially, initiatives like Women in Ethereum Protocol (WiEP) are actively supported. Mercy Boma Naps-Nkari and Arunima Chaudhuri are facilitating WiEP Cohort 4 through activities such as developing workflows, coordinating mentors, tracking participant contributions, and supporting the organization of the WiEP Brunch at Devconnect. Meenakshi Singh is serving as the WiEP Cohort 4 Marketing Coordinator, coordinating communications with mentors, students, and speakers, managing social media posts, and assisting with the organization and publication of session recordings. These efforts are vital for addressing gender imbalances in the highly technical field of protocol development, ensuring that a wider range of voices contributes to Ethereum’s future. An informal two-month internship for Divya Ranjan Pattanaik to work on Ethereum protocol R&D further demonstrates the commitment to nurturing emerging talent regardless of background.
Broader Implications and Forward Outlook
These comprehensive investments across community, core protocol, cryptography, developer tools, and security signal a clear and unwavering commitment to the Ethereum ecosystem’s long-term health and growth. By strategically funding initiatives that address both immediate technical challenges and broader ecosystem needs, the collective effort aims to solidify Ethereum’s position as a foundational layer for decentralized technologies. The emphasis on global reach, academic rigor, developer empowerment, and inclusivity suggests a vision for a decentralized future that is not only technologically advanced but also accessible, secure, and representative of a global community. As these projects mature and bear fruit, their cumulative impact is expected to accelerate innovation, enhance security, and drive mainstream adoption, paving the way for a more robust and resilient decentralized internet. The sustained focus on public goods funding and privacy-preserving technologies further underscores the ethical and philosophical underpinnings guiding Ethereum’s evolution, prioritizing collective benefit and user autonomy.
