Allocation Update – Q2 2025

Community & education Appcon Slice Event designed to introduce Ethereum applications and experiences to a non-crypto audience, hosted during Milan Design Week in Italy. Community & education Bhutan Dev Fest GovTech Agency Hackathon in Paro, Bhutan uniting local and global innovators to develop solutions leveraging decentralized technology, including Bhutan’s self-sovereign National Digital Identity (NDI) that empowers citizens to control and selectively share personal data. Community & education Blockchain Days ODTÜ Blockchain Student-run conference organized in Ankara, Türkiye, covering topics such as cryptography, governance, and DeFi. Community & education Blockfuse Labs IRL Bootcamp Cohort 3 Blockchain developer training program in Jos, Nigeria designed to transition web2 developers to web3 builders through deep technical instruction in Solidity and blockchain fundamentals with hands-on learning, hackathons, and project showcases. Twitter Community & education Code Africa Hackathon One Dev Hybrid hackathon held in Nairobi, Kenya, focused on building projects to bring Africa onchain, with themes including infrastructure and tooling, healthcare, and education. Community & education Copenhagen Ethereum Meetup 10 Years Anniversary Meetup celebrating the 10-year anniversary of the Copenhagen Ethereum Meetup community group. Community & education Cornell Blockchain Conference Cornell Blockchain Club Conference hosted in New York City, USA, revolving around topics such as bridging web2 with web3, DeFi, and regulation. Community & education Crecimiento Ethereum ecosystem development initiatives in Buenos Aires, Argentina from May to November 2025, including Ethereum-aligned pop up cities, summits, hackathons, bootcamps, and other collaborative events. Community & education Deep Dive into Blockchain Summer School UZH Blockchain Center Summer school offering a multidisciplinary exploration of blockchain technology, covering its technological, economic, and legal pillars through a highly interactive 3-week course that blends theory with hands-on experience. Community & education Destino Devconnect Grants round focused on supporting community-led events and initiatives that help bring Argentina and the broader Latin America region onchain. Community & education Edge City Supporting Edge City’s popup villages of 2025, which convenes people working at the frontiers of tech, science, and social innovation to run real experiments on new ideas and collaborations. Twitter, Email Community & education eSatya Community Meetups Community meetups organized in Kathmandu, Nepal exploring topics such as the intersections between blockchain, AI, and social impact. Community & education ETH Beijing Hackathon PKU Blockchain DAO & WTF Academy Student-run hackathon organized in Beijing, China with tracks focusing on public goods and AI x Crypto. Community & education ETH Belgrade Conference and hackathon with themes such as infrastructure and scaling, privacy, and developer tooling, hosted in Belgrade, Serbia. Community & education EthCC[8] Ethereum France Conference hosted in Cannes, Paris revolving around themes such as core protocol & research, zero knowledge & cryptography, and security. Community & education ETH Cinco de Mayo Beginner-friendly conference and hackathon hosted in Mexico City, Mexico that includes a 1-month university onboarding program. Community & education ETHCluj 2025: Ethereum for Everyone Conference hosted in Cluj-Napoca, Romania exploring tracks such as the Ethereum roadmap, developer onboarding, and AI. Community & education ETH Dublin Conference and hackathon hosted in Dublin, Ireland focusing on themes such as public goods, privacy and security, and DeFi. Community & education Ethereum México Supporting Ethereum México’s 2025 initiatives to develop the Ethereum ecosystem in Mexico through education and community-driven programs. Community & education Ethereum Novi Sad Encouraging the growth of a student-led Ethereum community in Novi Sad, Serbia with guidance from professors and assistants from the local technical university who will help students self-organize, host events, and build a sustainable local ecosystem. Community & education Ethereum Research-a-thon TUM Blockchain Club Event hosted in Munich, Germany bringing together participants to ideate on high-impact research challenges, forming teams to explore theoretical concepts, build simulation models, or propose new mechanisms with mentorship from leading researchers. Community & education ETHKL Supporting ETHKL’s development and self-sustainability exploration through a series of programs featuring meetups, a hacker house, conference, and hackathon. Community & education ETHWarsaw Supporting ETHWarsaw’s 2025 initiatives including their annual conference and hackathon, regular monthly Ethereum meetups, blockchain bootcamps, workshops, a legal conference, podcast episodes, and a newsletter. Community & education magma3 Borderless Africa Residency organized in Kenya for African builders and founders comprising office hour sessions, peer-to-peer coordination, and workshops. Community & education Mozilla Festival Mozilla Foundation Global open source gathering bringing together activists, technologists, and artists to collaborate on building a more open, inclusive, and trustworthy internet. Community & education Onchain Bootcamp Chula Blockchain Society Ethereum-focused bootcamp hosted at Chulalongkorn University in Bangkok, Thailand that teaches participants practical skills in smart contracts, L2s, dapps, real-world use cases, and career opportunities. Community & education Pectra Staking Manager Pier Two Open-source platform that empowers Ethereum validator users to easily manage their validators post-Pectra, providing a user-friendly tool for consolidating, withdrawing, and topping up their validators. Community & education Pop-X Hong Kong ETHDimsum Research house and meetup focused on interoperability, UX, and programmable cryptography, hosted in Hong Kong. Community & education ProgCryptoSG Meetup #5 Meetup with talks on the Sumcheck Protocol and verifiable AI in DeFi, hosted in Singapore. Community & education Project Glitch Monthly educational events in Washington, DC targeted at policymakers and policy experts focused on crypto and privacy, among other relevant topics. Community & education RareWeek RareSkills Educational ZK bootcamp and coworking event targeting engineers and security researchers hosted in Bali, Indonesia. Community & education Science of Blockchain Conference (SBC) 2025 IC3, Stanford Center for Blockchain Research, & UC Berkeley RDI Academic conference revolving around blockchain protocols, cryptography, distributed systems, secure computing, and cryptoeconomics in Berkeley, USA. Community & education Unphishable DeFiHackLabs Web3 anti-phishing training platform to enhance security awareness in the blockchain community. Community & education Urbe Village urbe.eth Pop-up village in Rome, Italy revolving around themes of privacy, finance, and AI through activations such as the Urbe Campus bootcamp, workshops, and the ETHRome hackathon. Community & education Web 3.0 Summer School & Hackathon Indian Institute of Information Technology (IIIT) Sri City Summer school equipping undergraduate students with fundamental and advanced concepts in web3 and dapps, followed by a nationwide hackathon. Community & education ZK Core Program in Argentina, Brazil, & Ecuador ArgCryptoHub, ERC55, & ETH Ecuador Supporting the local ZK community in Argentina, Brazil, and Ecuador, kickstarting its growth through a 6-week educational program and weekly meetups that are targeted towards students and early-career developers. Community & education Zuitzerland Residency hosted in Switzerland, delving into themes such as Swiss governance and democracy, d/acc, and Ethereum and cypherpunk. Twitter, Telegram, Email Community & education 10 Years of Ethereum Meetups Grants round supporting local community organizers in running a series of global meetups to celebrate the 10-year anniversary of the Genesis block. Consensus layer EIP-7917: Deterministic Proposer Lookahead Lin Oshitani Championing EIP-7917, which involves writing explanatory documents and unit tests, participating in the All Core Devs calls, and advocating for its inclusion on mainnet. Consensus layer GossipSub Analytics Towards PeerDAS ProbeLab Developing or extending the current set of tools to measure the performance of the network and the GossipSub protocol in the Ethereum network as it gears up to the PeerDAS transition. Consensus layer PeerDAS Roadmap Support ProbeLab Supporting the PeerDAS roadmap by analyzing the effectiveness of distributed blob publishing, getBlobs hit rate, and creating a tool to help verify node custody checks. Consensus layer ream Ream Labs Modular, contributor-friendly, and fast implementation of the Beam Chain specification written in Rust. Consensus layer Recursive zkVM for Signature Aggregation Tom Wambsgans Implementing a simple, performant recursive zkVM for signature aggregation in Rust, and writing its specification in Python. Consensus layer ROP-9.4: FOCIL Implementation, Tests, & Devnets Jihoon Song FOCIL interoperability between clients, developing test suites for both consensus and execution layers, and coordinating with core developers. Cryptography & zero knowledge proofs ArkLib Quang Dao Establishing a Lean library for formally verified cryptographic proof systems based on Interactive Oracle Proofs (IOPs). Cryptography & zero knowledge proofs Binius in Lean Adding a formalization of Binius-related work to ArkLib, Lean’s library of formally verified SNARKs, including construction codes over the binary tower field (BTF), as well as several constructions on top of BTF (Binary FRI, Binary BaseFold, Ligero-Binius, FRI-Binius) and soundness/completeness proofs. Cryptography & zero knowledge proofs Clustering Differential Trails in Algebraic-Oriented (AO) Primitives Clustering differential trails into differentials or truncated differentials by researching and identifying target primitives or related toy hash/ciphers, studying the clustering of trails into differentials in AO using Matsui search or similar tools, researching truncated trails, and analyzing potential malicious designs. Part of the Poseidon Grants Round. Cryptography & zero knowledge proofs Cryptanalysis of Poseidon-Based Fiat-Shamir Protocols Hayk Hovhannisyan, Nerses Asaturyan, & Gohar Hovhannisyan Analyzing the security of the reduced-round Poseidon hash function when employed within non-interactive ZK protocols that generate public randomness using the Fiat-Shamir heuristic, as part of the Poseidon Grants Round. Cryptography & zero knowledge proofs Ethproofs Contribution Fara Woolf Contributing to Ethproofs’ ongoing development by enhancing its core functionality and user experience, focusing on areas such as refining the block proof explorer interface and UX, improving data visualization capabilities for proof metrics, and optimizing proof comparison functionality. Cryptography & zero knowledge proofs Groebner Basis Attack Research Ludovic Perret Conducting a long series of experiments with the Groebner basis attack to assess the security of Poseidon and its suitability as a component within the Ethereum protocol, as part of the Poseidon Grants Round. Cryptography & zero knowledge proofs Integral Cryptanalysis & Security Arguments Against Statistical Attacks for Arithmetization-Oriented Primitives Tim Beyne & Michiel Verbauwhede Providing stronger security arguments against linear and differential cryptanalysis for primitives defined over large fields and extending (ultrametric) integral cryptanalysis to finite fields of any characteristic, as part of the Poseidon Grants Round. Cryptography & zero knowledge proofs Plonky3 in Rocq Formal Land Establishing an extraction from Plonky3 to Rocq and demonstrating its use by verifying relevant components of Plonky3-based zkVMs. Cryptography & zero knowledge proofs Privote Shashank Trivedi Decentralized private voting platform that enables users to conduct and participate in polls while preserving voter anonymity and integrity through MACI with seamless UX. Cryptography & zero knowledge proofs Proof Generation & Orchestration Optimization ZkCloud Generating block proofs and uploading them to Ethproofs, as well as developing an open-source, optimized orchestrator to accelerate proof generation. Cryptography & zero knowledge proofs Quantum Computer Canary p51lee Investigating the potential threats that quantum computers pose to the Ethereum cryptosystem, providing a good introduction to the math and notation around quantum algorithms, and mechanical descriptions of how they work. Cryptography & zero knowledge proofs ZKarnage ProofLab Deploying and testing “prover killer” transactions on Ethereum mainnet, aimed at stress-testing proving systems like Ethproofs and generating visibility for it. Cryptography & zero knowledge proofs zk-FOCIL R&D Shreyas Londhe & Suyash Bagad Designing, implementing, and benchmarking the SNARK-based instantiation of the Linkable Ring Signature scheme as described in the zk-FOCIL proposal. Developer experience & tooling BuidlGuidl Builder community dedicated to Ethereum developer education, with a focus on expanding SpeedRunEthereum, making it easier to build on Ethereum with tools like Scaffold-ETH 2, and bringing education to university students globally through Ethereum on Tour. Developer experience & tooling Decentralized Verifiable Frontends Interplanetary Shipyard Project enabling users to fetch and verify frontend data directly from decentralized networks like IPFS, reducing reliance on centralized infrastructure and mitigating risks such as censorship, outage, and supply chain attacks. Developer experience & tooling EIPsInsight Avarch Enhancing the visibility and usability of the EIP process by introducing real-time upgrade tracking, lifecycle analytics, and contributor education, while also delivering new tools for community engagement such as a trends dashboard, guided submission builder, and customizable EIP status notifications. Developer experience & tooling eRPC Updating and maintaining eRPC, a fault-tolerant EVM RPC proxy and re-org aware permanent caching solution. Developer experience & tooling Glider Query Database Contest Hexens Contributing to the prize pool for security community submissions of Glider queries into an open-source query database, to protect onchain mainnet contracts and projects from exploits, crowdsourcing vulnerability queries from the broader Ethereum security community. Developer experience & tooling Kurtosis Tedi Mitiku Updating and maintaining Kurtosis, an open-source platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer. Developer experience & tooling Lean Backend for Hax Cryspen Developing a Lean backend for Hax, a tool for high assurance translations of a large subset of Rust into proof of language (currently Rocq and F*) that can then be used to prove its correctness. Zulip Developer experience & tooling Paymaster Management App Patterns Open-source tool that enables developers to easily define, manage and measure gas sponsorship policies for ERC-4337 account abstraction wallets. Developer experience & tooling Simbolik Runtime Verification Solidity debugger that integrates with Visual Studio Code and works by simulating and inspecting contract execution at both the Solidity and EVM levels, with support for breakpoints, variable inspection, and symbolic execution. Developer experience & tooling sol-dbg Dimitar Bounov Solidity debugger with an experimental interpreter approach that works for optimized EVM bytecode generated by any Solidity compiler. It will be developed in the form of a TypeScript library so it is small, modular, and easily embeddable in a variety of projects. Developer experience & tooling Tycho Indexer PropellerHeads Designing and implementing an open-source routing algorithm that anyone can use to trade, build on, and adapt. Execution layer Gas Limit Performance Testing Nethermind Setting up infrastructure to test the various execution layer clients at higher gas limits, identifying bottlenecks, and building tooling to mimic mainnet conditions. General research Preconfirmation Systemization of Knowledge Conor McMenamin & Lin Oshitani Producing an open Systematization of Knowledge on preconfirmations in Ethereum, covering theory, implementations, critiques, and open questions. General growth & support Brazil Community Currency Evolution Plexos Institute Transitioning a community currency platform from web2 to web3 by testing the migration process and assessing the viability to scale to its 170 municipality partners in Brazil and then beyond. General growth & support Ethereum House Initial support for Ethereum House in San Francisco’s Frontier Tower, a physical nexus for the Ethereum community in Silicon Valley that will foster crypto innovation, cross-industry collaboration, and community engagement. General research Academic Grants Round Grants round funding formal research that aims to create more knowledge about Ethereum, blockchain technology, and related domains. General research DAOStar Research Fellowship DAOStar Program taking place over the course of 3 months, aiming to produce actionable research on the state of regional DAOs, digital governance, and more. Layer 2 Unstoppable Rollups Facet Advancing governance-minimized, censorship-resistant rollups by collaborating with Ethereum Foundation researchers on embedding rollup validation directly into Ethereum and maintaining Facet, a production-ready, governance-minimized rollup. Twitter Other BundleBear Kofi Introducing detailed tracking and metrics for EIP-7702 and its relationship with ERC-4337 by indexing EIP-7702 activity, surfacing wallet usage trends, analyzing authorized contract patterns, and measuring how EIP-7702 wallets interact with ERC-4337 infrastructure. Other Decentralization Research Center Non-profit that advocates for decentralization as a fundamental characteristic of emerging technologies. This includes the development of blockchain protocols and applications that are immutable, censorship resistant, transparent, secure, and enable data self-sovereignty. Other Ethereum Privacy Ecosystem Mapping Web3Privacy Now Researching and creating an Ethereum privacy ecosystem map, for highlighting and easy reference of existing actors, creating connections and fostering the ecosystem towards delivering practical daily privacy within Ethereum. Other Hardware Wallets Blind Signing Solution Kampela Exploring a proof-of-concept solution to the blind signing problem in hardware wallets. This involves a “bundle” of transactions, with a custom one-off smart contract (for onchain verification of certain actions) and the actual onchain verification/assertion of state changes, sandwiching the intended transaction. Other Security Alliance (SEAL) Common good infrastructure for coordination between security professionals, protocols, and the community to collaborate on impactful security initiatives such as SEAL 911, SEAL Wargames, and SEAL-ISAC. Protocol growth & support Ethereum Protocol Fellowship (EPF): Cohort 6 Stipends for cohort members of the EPF, a program designed to onboard developers to the process through which protocol development happens. Protocol growth & support Pectra Proactive Grant Round Grants round to support the Ethereum ecosystem in preparation for the Pectra network upgrade. Protocol growth & support Summer of Protocols Program and research effort aiming to catalyze broad interest in the study of protocols as a first-class concept for thinking about the world.