EF Blog

ETH top background starting image
ETH bottom background ending image
Skip to content

Allocation Update - Q3 2025

Posted by Ecosystem Support Program Team on December 2, 2025

Allocation Update - Q3 2025

Q3 2025 brought an exciting wave of innovation and community energy! Explore the projects we funded this quarter and the work they’re advancing:

CategoryProjectRecipientDescriptionContact
Community & educationBluechip25Conference hosted in Vienna, Austria dedicated to crypto safety, learning and sharing best practices, and setting new benchmarks for trust and transparency.
Community & educationBuildETHConference focused on Ethereum infrastructure, DeFi primitives and protocols, AI agents, and new financial rails for digital assets organized in San Francisco, USA.
Community & educationDeFi Security SummitTechnical conference in Buenos Aires, Argentina diving into the education and technical advances in securing dapps on top of blockchain technology.
Community & educationDestino DevconnectGrants round focused on supporting community-led events and initiatives that help bring Argentina and the broader Latin America region onchain.
Community & educationdEVMatch 2025APU Blockchain & Cryptocurrency Club (APUBCC)Student-run hackathon organized in Kuala Lumpur, Malaysia to equip developers with the skills and knowledge to solve real-world blockchain challenges.
Community & educationdev3packCommunity initiative supporting women+ and student developers transitioning from web2 to web3 through coding challenges, mentorship, open-source contribution support, and product-oriented learning, with the goal of strengthening developer engagement in the Ethereum ecosystem.X (Twitter)
Community & educationDigibastionChirag AgrawalPublic good security platform with step-by-step guides on security practices and real-time threat feeds on the latest exploits, CVEs, dependency supply chain attacks, etc.Telegram
Community & educationEDCONConference hosted in Osaka, Japan exploring topics such as core protocol development, cypherpunk and privacy, and public goods.
Community & educationEdinburgh Decentralized Finance SummitBlockchain ScotlandConference focused on DeFi, tokenization, and agentic finance hosted in Edinburgh, Scotland.
Community & educationETHAccraDeveloper summit and hackathon organized in Accra, Ghana diving into themes such as identity, onchain finance, and scaling.
Community & educationETH BishkekFirst Ethereum hackathon in Central Asia to catalyze the local web3 ecosystem, connect global builders with regional talent, and empower builders to create meaningful blockchain-based solutions, hosted in Bishkek, Kyrgyzstan.
Community & educationEthereum BrasilConference in São Paulo, Brazil focused on bridging TradFi with DeFi.
Community & educationEthereum for the WorldKolektivo LabsHighlighting and accelerating Ethereum-based projects contributing to the UN Sustainable Development Goals (SDGs) through producing case studies, supporting teams in the UNDP SDG Blockchain Accelerator, and ecosystem-building efforts.
Community & educationEthereum Protocol DayDapp-Learning & Panta RheiMeetup in Shenzhen, China exploring Ethereum research and development, including recent and upcoming EIP upgrades, as well as topics such as cryptography and ZK on Ethereum.
Community & educationEthereum University CirclesCripto Curiosas12-week pilot program hosted at Universidad San Pablo in Arequipa, Peru designed to introduce students to Ethereum’s technical foundations and philosophical principles through workshops, mentorship, and project-based learning. Outcomes will be documented in an open-source playbook to support replication across other universities in Latin America.
Community & educationETH HuangshanKeyMapDAOCo-living hackathon organized in Huangshan, China exploring open source, ZK and privacy, and the intersection between AI and crypto.
Community & educationETHIstanbulModaPalasConference and hackathon focusing on themes such as AI agents, privacy and security, and ZKPs hosted in Istanbul, Türkiye.
Community & educationETHSafariConference in Kenya exploring topics such as DeFi, ZK and privacy, and security.
Community eventETHShanghaiConference and hackathon discussing themes such as AI × Ethereum, DeFi × Infrastructure, and Public Goods × Open Source in Shanghai, China.
Community & educationETH ShenzhenOpenBuild & ETHTAOConference and hackathon hosted in Shenzhen, China focusing on topics such as infrastructure, enterprise adoption, and scaling.
Community & educationETHSofiaConference diving into topics such as AI and blockchain, web3 security, and scaling organized in Sofia, Bulgaria.
Community & educationETHTokyoConference and hackathon hosted in Tokyo, Japan exploring topics such as AI, privacy and security, and scaling.
Community & educationMidwest Blockchain ConferenceUniversity-run conference hosted in Michigan, USA discussing themes such as infrastructure, regulation, and RWAs.
Community & educationOnchain CityParticipating in Edge City Patagonia to explore the future of digital societies and engage in discussions on working directly with governments to bring their services onchain.
Community & educationOWASP Smart Contract SecurityShashankProject developing standardized security documentation for smart contract development and auditing under the OWASP umbrella.X (Twitter), Email
Community & educationProdFestBlockfuse Labs & EthJosEvent in Jos, Nigeria comprising a builders conference, products showcase, and hackathon to showcase high-quality research findings and web3 apps built across Africa.
Community & educationUniversity of Málaga Blockchain CourseDecentralized SecurityFunding three scholarships for the Blockchain: Smart Contracts and Cryptoeconomy course that offers a strong technical foundation in blockchain systems, cryptographic protocols, and Ethereum smart contracts to foster Ethereum-aligned talent and research in Spain.
Community & educationWeb3 KampImmersive residential bootcamp focused on web3 technologies such as Ethereum, smart contracts, ZKPs, and decentralized architectures, hosted at the Petnica Science Center in Serbia.
Community & educationWomen Web3 WaveHerstoryBootcamp in Dali, China for women to learn and build projects related to topics such as DeFi and RWAs, ZKP and privacy, and AI and vibe coding.
Community & educationZK Core Program in Argentina, Brazil, Ecuador, India, Japan, Korea, Taiwan, & VietnamArgCryptoHub, ERC55, ETH Ecuador, Blockchain Society IIT Delhi, ZK Tokyo, & ZKP LabsSupporting the local ZK community and kickstarting its growth through a 6-week educational program and weekly meetups, targeted towards students and early-career developers.
Consensus layerAI-Assisted Testing Framework for Detecting Synchronization Vulnerabilities Across CL ClientsTsinghua CryptoEconomics LabDesigning a testing framework dedicated to uncovering synchronization vulnerabilities between different consensus layer clients, using AI techniques (RL, LLM) to enhance both the accuracy and efficiency of detection.
Consensus layerBEAMSIMQuadriviumHigh-performance simulation framework for testing lean consensus signature aggregation protocols with support for multiple network backends and communication topologies.
Consensus layerConstantine PeerDASMamy RatsimbazafyReplicating the interfaces defined in c-kzg-4844 v2.1.1 and making them available in C, Go, Nim, and Rust, along with extending Constantine's existing Ethereum KZG support to include PeerDAS.
Consensus layerFOCIL Rebase & TestingJihoon SongWorking on FOCIL and other Glamsterdam EIPs.
Consensus layerleanMultisigTom WambsgansDeveloping leanMultisig (the PQ aggregate signature library for lean consensus) with a focus on performance and simplicity.
Consensus layerLighthouseSigma PrimeSupport for the Lighthouse consensus client to continue protocol R&D with large network adoption.
Consensus layerPBS FoundationContinued stewardship of the MEV ecosystem, including coordination across the MEV ecosystem for current and future hard forks, along with R&D for mev-boost and mev-boost-relay that supports hard fork development.
Consensus layerProbeLabProviding observability tooling and insights into the L1 p2p layer in the form of research, analyses, and code.
Consensus layerTeku ZK Stateless ClientConsensysEnabling the Teku consensus client to implement the necessary logic to receive, sync, and verify execution proofs for zkEVM deployment on mainnet.
Cryptography & zero knowledge proofsAutomated Verification of ZK CircuitsVeridiseSupporting the development of an automated tool for verifying the consistency between witness generation and arithmetic constraints in ZKPs.
Cryptography & zero knowledge proofsEthproofs ContributionFara WoolfTaking responsibility for Ethproofs development, including in-browser proof verification and benchmark visualisation.Telegram
Cryptography & zero knowledge proofsFoundations of Probabilistic Proofs MOOCProduction of a massive open online course (MOOC) on the foundations of probabilistic proofs, an essential part of SNARKs for which there is a lack of high-quality pedagogical resources.
Cryptography & zero knowledge proofsHigh-Performance ARithmetic for Polynomials (HARP)Development of an open-source library for optimized polynomial arithmetic over prime fields with explicit support for primes of varying bit lengths, as part of the Poseidon Grants Round.
Cryptography & zero knowledge proofsLita FoundationWorking on several projects related to zkVMs that will clarify feasibility questions around compilers, precompiles, and distributed proving, while also generating prototype implementations where appropriate and strengthening the zkVM ecosystem by reducing attack surfaces, improving interoperability with mainstream languages, and informing the design of performant, ZK-friendly compilers.
Cryptography & zero knowledge proofsMachina iOPia ParkSupporting the team in implementing new theoretical ideas and resolving bottlenecks in both theory and implementation of iO that improve either its security or efficiency.
Cryptography & zero knowledge proofsOpenVMSupporting the team behind OpenVM, a performant and modular zkVM framework built for customization and extensibility, to meet the L1 realtime proving requirements.
Cryptography & zero knowledge proofsPhantom ZoneAdvancing two complementary efforts critical to Ethereum's long-term vision of secure, private, and decentralized computation: Phantom, an encrypted RISC-V virtual machine that executes encrypted RISC-V binaries on encrypted inputs, and Poulpy, a fast and modular FHE library written in Rust.
Cryptography & zero knowledge proofsPrivacy Features for KohakuWonderlandIntegration of privacy-related features into Kohaku, allowing the browser extension to support basic functionalities from the privacy pool SDK.
Cryptography & zero knowledge proofsSail to Lean & Lean/MLIR for LLZKPeter SewellFurther improve the state of the RISC-V specification in Lean (extracted via the Sail backend) and proof automation related to this, along with improving Lean/MLIR interoperability targeting LLZK in particular.
Cryptography & zero knowledge proofsSP1 ALU Chip PoC ProofsNethermindVerifying the correct implementation of SP1's ALU chip against the official Sail RISC-V specification in Lean.
Cryptography & zero knowledge proofsVerifying the Jolt zkVMGaloisFurther polishing to the Sail RISC-V specification extracted to Lean, integration of zkLean (a Lean DSL for R1CS/Jolt-ish lookups) with LLZK (an MLIR dialect for circuits), and proof of concept proofs using zkLean.
Cryptography & zero knowledge proofszkBugszkSecurityProviding a comprehensive update of the vulnerability corpus with a focus on zkVMs, a live and updated advisory for critical ZK projects, an open and reproducible benchmarking suite for ZK security tools, and a practical guide to help developers choose the right tools.
Developer experience & toolingArkLib ContributionsLogical IntelligenceFormally verifying ZK protocols through contributing some proofs to ArkLib using their AI tool, including formalization of theorems from the Ligero paper.
Developer experience & toolingBluebell in LeanNethermindImplementing the Bluebell program logic in Lean to support reasoning about cryptographic protocols in VCV-io/ArkLib.
Developer experience & toolingEthereumJS Maintenance & DevelopmentGabriel RocheleauOngoing maintenance and evolution of the EthereumJS monorepo's core libraries (block, common, evm, mpt, tx, util, and vm), which are foundational to the Ethereum developer tooling ecosystem, ensuring they remain reliable, secure, and up to date with the latest protocol changes).
Developer experience & toolingFree & Censorship-Resistant EIP-7702 InfrastructureEtherspotDeploying freely accessible bundlers (within usage thresholds) that use the UserOp mempool to promote decentralization and censorship resistance for wallets adopting EIP-7702.X (Twitter), Discord, Email, Newsletter
Developer experience & toolingIntelliJ SolidityPaul-Alexandre TessierImprovement and reinvigoration of the IntelliJ Solidity plugin and community.
Developer experience & toolingOblivious Server for KohakuOblivious LabsDeveloping an Oblivious server that can handle requests from a minimal execution client embedded in the Kohaku browser extension.
Developer experience & toolingOpen Labels InitiativeProject dedicated to developing transparent trust scoring and labeling infrastructure for the Ethereum ecosystem, with a focus on core research on trust algorithms, enhancing platform tooling such as APIs and dashboards, and growing ecosystem adoption through integrations, outreach, and community support.X (Twitter)
Developer experience & toolingOpenRPCDocumentation overhaul, specification upgrade, and improved conformance testing for OpenRPC, an Apache-licensed open standard for JSON-RPC APIs that underpins critical Ethereum infrastructure.X (Twitter), Discord
Execution layerAccelerating Besu EVM PerformanceThomas ZamojskiDesigning and implementing a specialized arithmetic library for UInt256 and Int256, covering core EVM operations with systematic testing and benchmarking to enable Besu to further scale L1 gas limit.
Execution layerBesu for EnterpriseKaleidoMaintaining and enhancing the Besu client while researching and developing capabilities that make future public network adoption feasible for institutions.
Execution layerCompiling Besu to RISC-VConsensysCompiling Java programs to RV64 to evaluate the feasibility of compiling the Besu execution client to RISC-V for proving in a zkEVM, alongside switching out the runtime.
Execution layerCoverage of the ethereum/execution-specs Reference Tests Against evmonePaweł Bylica & Piotr DobaczewskiImproving ethereum/execution-specs reference test coverage and ensuring full compatibility with evmone by implementing missing Osaka fork features, contributing new test cases (including for EIP-7212), and integrating automated coverage reporting into the ethereum/execution-specs CI.
Execution layerEF Internship Program Extension (EEST)Louis TsaiContinued work and testing for the Ethereum Execution Specification Tests (EEST).
Execution layerErigonFunding for Erigon's continued work on the Ethereum mainnet, specifically their execution client development and applied R&D on Ethereum's execution layer.
Execution layerexecution-apis Standardization & Improvementsacolytec3Updating the execution-apis OpenRPC documentation so that it's easily usable by individuals proposing spec updates to the JSON-RPC.
Execution layerFast Ethereum Storage Cache (FESCache)Experiment in low-latency indexing of smart contract storage on Ethereum mainnet (and any other EVM chain in principle), which involves developing a software implementation written in C11, a hardware platform that will build and host an index of the entirety of the Ethereum mainnet, and publishing a pre-print paper documenting the entire process with performance benchmarks.
Execution layerGas Limit Performance BenchmarkingNethermindBuilding tooling to help with Stateful EEST tests, benchmark runners, json-rpc compatibility, repricing analysis, and ensuring that the upcoming hardfork has everything in place for a gas limit increase.
General researchAcademic Grants RoundGrants round funding formal research that aims to create more knowledge about Ethereum, blockchain technology, and related domains.
Layer 2Championing Native RollupsL2BEATDeveloping the concept of native rollups through progressive research, design, and implementation across execution specs, precompiles, fee markets, and sequencing strategies.
Layer 2growthepieListing and maintenance of Ethereum Mainnet data, including key data modules such as fundamentals, economics, blockspace usage, application metrics, and DA metrics.X (Twitter)
OtherAudrey TangContinued collaboration with the EF to realize the public benefit potential of Ethereum and related technologies.
OtherColumbia-Ethereum Research Center for Blockchain Protocol DesignConducting advanced research and workforce training across critical infrastructure topics (e.g. consensus mechanisms, protocol architecture, incentive and staking economics). The Center's activities include research grants, postdoctoral and graduate student fellowships, an industry research-in-residence program, and several events that disseminate research results to the wider community including the annual Columbia CryptoEconomics Workshop and summer school.
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 Season of InternshipsSummer internships offered across the Ethereum ecosystem to help establish more paths for the next generation of contributors to connect with Ethereum projects and apply their skills.
OtherGisele ChouContinued collaboration with the EF on building bridges between Ethereum and groups outside the Ethereum ecosystem.
OtherNode Requirements for PeerDAS & BeyondStereumLabsProviding a comprehensive, independent view of client performance and interoperability in the Ethereum ecosystem, helping node operators and client teams make better infrastructure decisions.
OtherWalletbeatOpen-repository of EVM-compatible wallets, providing reviews to help ensure the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.
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.

Total awarded in Q3 2025: $14,347,918.55

Are you working on something you think could change Ethereum for the better? Head to our grants page to learn more about what we look for in the projects we fund.

Stay Updated

Subscribe to get email notifications about the topics you care about. Choose from research, events, security updates, and more.


Categories