rewrite this title Allocation Update – Q2 2025 | Ethereum Foundation Blog

Community & educationAppconSliceEvent designed to introduce Ethereum applications and experiences to a non-crypto audience, hosted during Milan Design Week in Italy.Community & educationBhutan Dev FestGovTech AgencyHackathon 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 & educationBlockchain DaysODTÜ BlockchainStudent-run conference organized in Ankara, Türkiye, covering topics such as cryptography, governance, and DeFi.Community & educationBlockfuse Labs IRL Bootcamp Cohort 3Blockchain 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.TwitterCommunity & educationCode Africa HackathonOne DevHybrid hackathon held in Nairobi, Kenya, focused on building projects to bring Africa onchain, with themes including infrastructure and tooling, healthcare, and education.Community & educationCopenhagen Ethereum Meetup 10 Years AnniversaryMeetup celebrating the 10-year anniversary of the Copenhagen Ethereum Meetup community group.Community & educationCornell Blockchain ConferenceCornell Blockchain ClubConference hosted in New York City, USA, revolving around topics such as bridging web2 with web3, DeFi, and regulation.Community & educationCrecimientoEthereum 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 & educationDeep Dive into Blockchain Summer SchoolUZH Blockchain CenterSummer 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 & educationDestino DevconnectGrants round focused on supporting community-led events and initiatives that help bring Argentina and the broader Latin America region onchain.Community & educationEdge CitySupporting 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, EmailCommunity & educationeSatya Community MeetupsCommunity meetups organized in Kathmandu, Nepal exploring topics such as the intersections between blockchain, AI, and social impact.Community & educationETH Beijing HackathonPKU Blockchain DAO & WTF AcademyStudent-run hackathon organized in Beijing, China with tracks focusing on public goods and AI x Crypto.Community & educationETH BelgradeConference and hackathon with themes such as infrastructure and scaling, privacy, and developer tooling, hosted in Belgrade, Serbia.Community & educationEthCC[8]Ethereum FranceConference hosted in Cannes, Paris revolving around themes such as core protocol & research, zero knowledge & cryptography, and security.Community & educationETH Cinco de MayoBeginner-friendly conference and hackathon hosted in Mexico City, Mexico that includes a 1-month university onboarding program.Community & educationETHCluj 2025: Ethereum for EveryoneConference hosted in Cluj-Napoca, Romania exploring tracks such as the Ethereum roadmap, developer onboarding, and AI.Community & educationETH DublinConference and hackathon hosted in Dublin, Ireland focusing on themes such as public goods, privacy and security, and DeFi.Community & educationEthereum MéxicoSupporting Ethereum México’s 2025 initiatives to develop the Ethereum ecosystem in Mexico through education and community-driven programs.Community & educationEthereum Novi SadEncouraging 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 & educationEthereum Research-a-thonTUM Blockchain ClubEvent 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 & educationETHKLSupporting ETHKL’s development and self-sustainability exploration through a series of programs featuring meetups, a hacker house, conference, and hackathon.Community & educationETHWarsawSupporting 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 & educationmagma3Borderless AfricaResidency organized in Kenya for African builders and founders comprising office hour sessions, peer-to-peer coordination, and workshops.Community & educationMozilla FestivalMozilla FoundationGlobal open source gathering bringing together activists, technologists, and artists to collaborate on building a more open, inclusive, and trustworthy internet.Community & educationOnchain BootcampChula Blockchain SocietyEthereum-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 & educationPectra Staking ManagerPier TwoOpen-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 & educationPop-X Hong KongETHDimsumResearch house and meetup focused on interoperability, UX, and programmable cryptography, hosted in Hong Kong.Community & educationProgCryptoSG Meetup #5Meetup with talks on the Sumcheck Protocol and verifiable AI in DeFi, hosted in Singapore.Community & educationProject GlitchMonthly educational events in Washington, DC targeted at policymakers and policy experts focused on crypto and privacy, among other relevant topics.Community & educationRareWeekRareSkillsEducational ZK bootcamp and coworking event targeting engineers and security researchers hosted in Bali, Indonesia.Community & educationScience of Blockchain Conference (SBC) 2025IC3, Stanford Center for Blockchain Research, & UC Berkeley RDIAcademic conference revolving around blockchain protocols, cryptography, distributed systems, secure computing, and cryptoeconomics in Berkeley, USA.Community & educationUnphishableDeFiHackLabsWeb3 anti-phishing training platform to enhance security awareness in the blockchain community.Community & educationUrbe Villageurbe.ethPop-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 & educationWeb 3.0 Summer School & HackathonIndian Institute of Information Technology (IIIT) Sri CitySummer school equipping undergraduate students with fundamental and advanced concepts in web3 and dapps, followed by a nationwide hackathon.Community & educationZK Core Program in Argentina, Brazil, & EcuadorArgCryptoHub, ERC55, & ETH EcuadorSupporting 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 & educationZuitzerlandResidency hosted in Switzerland, delving into themes such as Swiss governance and democracy, d/acc, and Ethereum and cypherpunk.Twitter, Telegram, EmailCommunity & education10 Years of Ethereum MeetupsGrants round supporting local community organizers in running a series of global meetups to celebrate the 10-year anniversary of the Genesis block.Consensus layerEIP-7917: Deterministic Proposer LookaheadLin OshitaniChampioning 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 layerGossipSub Analytics Towards PeerDASProbeLabDeveloping 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 layerPeerDAS Roadmap SupportProbeLabSupporting 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 layerreamReam LabsModular, contributor-friendly, and fast implementation of the Beam Chain specification written in Rust.Consensus layerRecursive zkVM for Signature AggregationTom WambsgansImplementing a simple, performant recursive zkVM for signature aggregation in Rust, and writing its specification in Python.Consensus layerROP-9.4: FOCIL Implementation, Tests, & DevnetsJihoon SongFOCIL interoperability between clients, developing test suites for both consensus and execution layers, and coordinating with core developers.Cryptography & zero knowledge proofsArkLibQuang DaoEstablishing a Lean library for formally verified cryptographic proof systems based on Interactive Oracle Proofs (IOPs).Cryptography & zero knowledge proofsBinius in LeanAdding 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 proofsClustering Differential Trails in Algebraic-Oriented (AO) PrimitivesClustering 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 proofsCryptanalysis of Poseidon-Based Fiat-Shamir ProtocolsHayk Hovhannisyan, Nerses Asaturyan, & Gohar HovhannisyanAnalyzing 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 proofsEthproofs ContributionFara WoolfContributing 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 proofsGroebner Basis Attack ResearchLudovic PerretConducting 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 proofsIntegral Cryptanalysis & Security Arguments Against Statistical Attacks for Arithmetization-Oriented PrimitivesTim Beyne & Michiel VerbauwhedeProviding 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 proofsPlonky3 in RocqFormal LandEstablishing an extraction from Plonky3 to Rocq and demonstrating its use by verifying relevant components of Plonky3-based zkVMs.Cryptography & zero knowledge proofsPrivoteShashank TrivediDecentralized 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 proofsProof Generation & Orchestration OptimizationZkCloudGenerating block proofs and uploading them to Ethproofs, as well as developing an open-source, optimized orchestrator to accelerate proof generation.Cryptography & zero knowledge proofsQuantum Computer Canaryp51leeInvestigating 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 proofsZKarnageProofLabDeploying and testing “prover killer” transactions on Ethereum mainnet, aimed at stress-testing proving systems like Ethproofs and generating visibility for it.Cryptography & zero knowledge proofszk-FOCIL R&DShreyas Londhe & Suyash BagadDesigning, implementing, and benchmarking the SNARK-based instantiation of the Linkable Ring Signature scheme as described in the zk-FOCIL proposal.Developer experience & toolingBuidlGuidlBuilder 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 & toolingDecentralized Verifiable FrontendsInterplanetary ShipyardProject 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 & toolingEIPsInsightAvarchEnhancing 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 & toolingeRPCUpdating and maintaining eRPC, a fault-tolerant EVM RPC proxy and re-org aware permanent caching solution.Developer experience & toolingGlider Query Database ContestHexensContributing 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 & toolingKurtosisTedi MitikuUpdating 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 & toolingLean Backend for HaxCryspenDeveloping 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.ZulipDeveloper experience & toolingPaymaster Management AppPatternsOpen-source tool that enables developers to easily define, manage and measure gas sponsorship policies for ERC-4337 account abstraction wallets.Developer experience & toolingSimbolikRuntime VerificationSolidity 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 & toolingsol-dbgDimitar BounovSolidity 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 & toolingTycho IndexerPropellerHeadsDesigning and implementing an open-source routing algorithm that anyone can use to trade, build on, and adapt.Execution layerGas Limit Performance TestingNethermindSetting up infrastructure to test the various execution layer clients at higher gas limits, identifying bottlenecks, and building tooling to mimic mainnet conditions.General researchPreconfirmation Systemization of KnowledgeConor McMenamin & Lin OshitaniProducing an open Systematization of Knowledge on preconfirmations in Ethereum, covering theory, implementations, critiques, and open questions.General growth & supportBrazil Community Currency EvolutionPlexos InstituteTransitioning 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 & supportEthereum HouseInitial 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 researchAcademic Grants RoundGrants round funding formal research that aims to create more knowledge about Ethereum, blockchain technology, and related domains.General researchDAOStar Research FellowshipDAOStarProgram taking place over the course of 3 months, aiming to produce actionable research on the state of regional DAOs, digital governance, and more.Layer 2Unstoppable RollupsFacetAdvancing 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.TwitterOtherBundleBearKofiIntroducing 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.OtherDecentralization Research CenterNon-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.OtherEthereum Privacy Ecosystem MappingWeb3Privacy NowResearching 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.OtherHardware Wallets Blind Signing SolutionKampelaExploring 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.OtherSecurity 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 & supportEthereum Protocol Fellowship (EPF): Cohort 6Stipends for cohort members of the EPF, a program designed to onboard developers to the process through which protocol development happens.Protocol growth & supportPectra Proactive Grant RoundGrants round to support the Ethereum ecosystem in preparation for the Pectra network upgrade.Protocol growth & supportSummer of ProtocolsProgram and research effort aiming to catalyze broad interest in the study of protocols as a first-class concept for thinking about the world.