Allocation Update - Q3 2025

Community & educationBluechip25Conference hosted successful Vienna, Austria dedicated to crypto safety, learning and sharing champion practices, and mounting caller benchmarks for spot and transparency.Community & educationBuildETHConference focused connected Ethereum infrastructure, DeFi primitives and protocols, AI agents, and caller fiscal rails for integer assets organized successful San Francisco, USA.Community & educationDeFi Security SummitTechnical league successful Buenos Aires, Argentina diving into the acquisition and method advances successful securing dapps connected apical of blockchain technology.Community & educationDestino DevconnectGrants circular focused connected supporting community-led events and initiatives that assistance bring Argentina and the broader Latin America portion onchain.Community & educationdEVMatch 2025APU Blockchain & Cryptocurrency Club (APUBCC)Student-run hackathon organized successful Kuala Lumpur, Malaysia to equip developers with the skills and cognition to lick real-world blockchain challenges.Community & educationdev3packCommunity inaugural supporting women+ and pupil developers transitioning from web2 to web3 done coding challenges, mentorship, open-source publication support, and product-oriented learning, with the extremity of strengthening developer engagement successful the Ethereum ecosystem.X (Twitter)Community & educationDigibastionChirag AgrawalPublic bully information level with step-by-step guides connected information practices and real-time menace feeds connected the latest exploits, CVEs, dependency proviso concatenation attacks, etc.TelegramCommunity & educationEDCONConference hosted successful Osaka, Japan exploring topics specified arsenic halfway protocol development, cypherpunk and privacy, and nationalist goods.Community & educationEdinburgh Decentralized Finance SummitBlockchain ScotlandConference focused connected DeFi, tokenization, and agentic concern hosted successful Edinburgh, Scotland.Community & educationETHAccraDeveloper acme and hackathon organized successful Accra, Ghana diving into themes specified arsenic identity, onchain finance, and scaling.Community & educationETH BishkekFirst Ethereum hackathon successful Central Asia to catalyze the section web3 ecosystem, link planetary builders with determination talent, and empower builders to make meaningful blockchain-based solutions, hosted successful Bishkek, Kyrgyzstan.Community & educationEthereum BrasilConference successful São Paulo, Brazil focused connected bridging TradFi with DeFi.Community & educationEthereum for the WorldKolektivo LabsHighlighting and accelerating Ethereum-based projects contributing to the UN Sustainable Development Goals (SDGs) done producing lawsuit studies, supporting teams successful the UNDP SDG Blockchain Accelerator, and ecosystem-building efforts.Community & educationEthereum Protocol DayDapp-Learning & Panta RheiMeetup successful Shenzhen, China exploring Ethereum probe and development, including caller and upcoming EIP upgrades, arsenic good arsenic topics specified arsenic cryptography and ZK connected Ethereum.Community & educationEthereum University CirclesCripto Curiosas12-week aviator programme hosted astatine Universidad San Pablo successful Arequipa, Peru designed to present students to Ethereum’s method foundations and philosophical principles done workshops, mentorship, and project-based learning. Outcomes volition beryllium documented successful an open-source playbook to enactment replication crossed different universities successful Latin America.Community & educationETH HuangshanKeyMapDAOCo-living hackathon organized successful Huangshan, China exploring unfastened source, ZK and privacy, and the intersection betwixt AI and crypto.Community & educationETHIstanbulModaPalasConference and hackathon focusing connected themes specified arsenic AI agents, privateness and security, and ZKPs hosted successful Istanbul, Türkiye.Community & educationETHSafariConference successful Kenya exploring topics specified arsenic DeFi, ZK and privacy, and security.Community eventETHShanghaiConference and hackathon discussing themes specified arsenic AI × Ethereum, DeFi × Infrastructure, and Public Goods × Open Source successful Shanghai, China.Community & educationETH ShenzhenOpenBuild & ETHTAOConference and hackathon hosted successful Shenzhen, China focusing connected topics specified arsenic infrastructure, endeavor adoption, and scaling.Community & educationETHSofiaConference diving into topics specified arsenic AI and blockchain, web3 security, and scaling organized successful Sofia, Bulgaria.Community & educationETHTokyoConference and hackathon hosted successful Tokyo, Japan exploring topics specified arsenic AI, privateness and security, and scaling.Community & educationMidwest Blockchain ConferenceUniversity-run league hosted successful Michigan, USA discussing themes specified arsenic infrastructure, regulation, and RWAs.Community & educationOnchain CityParticipating successful Edge City Patagonia to research the aboriginal of integer societies and prosecute successful discussions connected moving straight with governments to bring their services onchain.Community & educationOWASP Smart Contract SecurityShashankProject processing standardized information documentation for astute declaration improvement and auditing nether the OWASP umbrella.X (Twitter), EmailCommunity & educationProdFestBlockfuse Labs & EthJosEvent successful Jos, Nigeria comprising a builders conference, products showcase, and hackathon to showcase high-quality probe findings and web3 apps built crossed Africa.Community & educationUniversity of Málaga Blockchain CourseDecentralized SecurityFunding 3 scholarships for the Blockchain: Smart Contracts and Cryptoeconomy people that offers a beardown method instauration successful blockchain systems, cryptographic protocols, and Ethereum astute contracts to foster Ethereum-aligned endowment and probe successful Spain.Community & educationWeb3 KampImmersive residential bootcamp focused connected web3 technologies specified arsenic Ethereum, astute contracts, ZKPs, and decentralized architectures, hosted astatine the Petnica Science Center successful Serbia.Community & educationWomen Web3 WaveHerstoryBootcamp successful Dali, China for women to larn and physique projects related to topics specified arsenic DeFi and RWAs, ZKP and privacy, and AI and vibe coding.Community & educationZK Core Program successful Argentina, Brazil, Ecuador, India, Japan, Korea, Taiwan, & VietnamArgCryptoHub, ERC55, ETH Ecuador, Blockchain Society IIT Delhi, ZK Tokyo, & ZKP LabsSupporting the section ZK assemblage and kickstarting its maturation done a 6-week acquisition programme and play meetups, targeted towards students and early-career developers.Consensus layerAI-Assisted Testing Framework for Detecting Synchronization Vulnerabilities Across CL ClientsTsinghua CryptoEconomics LabDesigning a investigating model dedicated to uncovering synchronization vulnerabilities betwixt antithetic statement furniture clients, utilizing AI techniques (RL, LLM) to heighten some the accuracy and ratio of detection.Consensus layerBEAMSIMQuadriviumHigh-performance simulation model for investigating thin statement signature aggregation protocols with enactment for aggregate web backends and connection topologies.Consensus layerConstantine PeerDASMamy RatsimbazafyReplicating the interfaces defined successful c-kzg-4844 v2.1.1 and making them disposable successful C, Go, Nim, and Rust, on with extending Constantine's existing Ethereum KZG enactment to see PeerDAS.Consensus layerFOCIL Rebase & TestingJihoon SongWorking connected FOCIL and different Glamsterdam EIPs.Consensus layerleanMultisigTom WambsgansDeveloping leanMultisig (the PQ aggregate signature room for thin consensus) with a absorption connected show and simplicity.Consensus layerLighthouseSigma PrimeSupport for the Lighthouse statement lawsuit to proceed protocol R&D with ample web adoption.Consensus layerPBS FoundationContinued stewardship of the MEV ecosystem, including coordination crossed the MEV ecosystem for existent and aboriginal hard forks, on 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 furniture successful the signifier of research, analyses, and code.Consensus layerTeku ZK Stateless ClientConsensysEnabling the Teku statement lawsuit to instrumentality the indispensable logic to receive, sync, and verify execution proofs for zkEVM deployment connected mainnet.Cryptography & zero cognition proofsAutomated Verification of ZK CircuitsVeridiseSupporting the improvement of an automated instrumentality for verifying the consistency betwixt witnesser procreation and arithmetic constraints successful ZKPs.Cryptography & zero cognition proofsEthproofs ContributionFara WoolfTaking work for Ethproofs development, including in-browser impervious verification and benchmark visualisation.TelegramCryptography & zero cognition proofsFoundations of Probabilistic Proofs MOOCProduction of a monolithic unfastened online people (MOOC) connected the foundations of probabilistic proofs, an indispensable portion of SNARKs for which determination is simply a deficiency of high-quality pedagogical resources.Cryptography & zero cognition proofsHigh-Performance ARithmetic for Polynomials (HARP)Development of an open-source room for optimized polynomial arithmetic implicit premier fields with explicit enactment for primes of varying spot lengths, arsenic portion of the Poseidon Grants Round.Cryptography & zero cognition proofsLita FoundationWorking connected respective projects related to zkVMs that volition clarify feasibility questions astir compilers, precompiles, and distributed proving, portion besides generating prototype implementations wherever due and strengthening the zkVM ecosystem by reducing onslaught surfaces, improving interoperability with mainstream languages, and informing the plan of performant, ZK-friendly compilers.Cryptography & zero cognition proofsMachina iOPia ParkSupporting the squad successful implementing caller theoretical ideas and resolving bottlenecks successful some mentation and implementation of iO that amended either its information oregon efficiency.Cryptography & zero cognition proofsOpenVMSupporting the squad down OpenVM, a performant and modular zkVM model built for customization and extensibility, to conscionable the L1 realtime proving requirements.Cryptography & zero cognition proofsPhantom ZoneAdvancing 2 complementary efforts captious to Ethereum's semipermanent imaginativeness of secure, private, and decentralized computation: Phantom, an encrypted RISC-V virtual instrumentality that executes encrypted RISC-V binaries connected encrypted inputs, and Poulpy, a accelerated and modular FHE room written successful Rust.Cryptography & zero cognition proofsPrivacy Features for KohakuWonderlandIntegration of privacy-related features into Kohaku, allowing the browser hold to enactment basal functionalities from the privateness excavation SDK.Cryptography & zero cognition proofsSail to Lean & Lean/MLIR for LLZKPeter SewellFurther amended the authorities of the RISC-V specification successful Lean (extracted via the Sail backend) and impervious automation related to this, on with improving Lean/MLIR interoperability targeting LLZK successful particular.Cryptography & zero cognition proofsSP1 ALU Chip PoC ProofsNethermindVerifying the close implementation of SP1's ALU spot against the authoritative Sail RISC-V specification successful Lean.Cryptography & zero cognition 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 impervious of conception proofs utilizing zkLean.Cryptography & zero cognition proofszkBugszkSecurityProviding a broad update of the vulnerability corpus with a absorption connected zkVMs, a unrecorded and updated advisory for captious ZK projects, an unfastened and reproducible benchmarking suite for ZK information tools, and a applicable usher to assistance developers take the close tools.Developer acquisition & toolingArkLib ContributionsLogical IntelligenceFormally verifying ZK protocols done contributing immoderate proofs to ArkLib utilizing their AI tool, including formalization of theorems from the Ligero paper.Developer acquisition & toolingBluebell successful LeanNethermindImplementing the Bluebell programme logic successful Lean to enactment reasoning astir cryptographic protocols successful VCV-io/ArkLib.Developer acquisition & toolingEthereumJS Maintenance & DevelopmentGabriel RocheleauOngoing attraction and improvement of the EthereumJS monorepo's halfway libraries (block, common, evm, mpt, tx, util, and vm), which are foundational to the Ethereum developer tooling ecosystem, ensuring they stay reliable, secure, and up to day with the latest protocol changes).Developer acquisition & toolingFree & Censorship-Resistant EIP-7702 InfrastructureEtherspotDeploying freely accessible bundlers (within usage thresholds) that usage the UserOp mempool to beforehand decentralization and censorship absorption for wallets adopting EIP-7702.X (Twitter), Discord, Email, NewsletterDeveloper acquisition & toolingIntelliJ SolidityPaul-Alexandre TessierImprovement and reinvigoration of the IntelliJ Solidity plugin and community.Developer acquisition & toolingOblivious Server for KohakuOblivious LabsDeveloping an Oblivious server that tin grip requests from a minimal execution lawsuit embedded successful the Kohaku browser extension.Developer acquisition & toolingOpen Labels InitiativeProject dedicated to processing transparent spot scoring and labeling infrastructure for the Ethereum ecosystem, with a absorption connected halfway probe connected spot algorithms, enhancing level tooling specified arsenic APIs and dashboards, and increasing ecosystem adoption done integrations, outreach, and assemblage support.X (Twitter)Developer acquisition & toolingOpenRPCDocumentation overhaul, specification upgrade, and improved conformance investigating for OpenRPC, an Apache-licensed unfastened modular for JSON-RPC APIs that underpins captious Ethereum infrastructure.X (Twitter), DiscordExecution layerAccelerating Besu EVM PerformanceThomas ZamojskiDesigning and implementing a specialized arithmetic room for UInt256 and Int256, covering halfway EVM operations with systematic investigating and benchmarking to alteration Besu to further standard L1 state limit.Execution layerBesu for EnterpriseKaleidoMaintaining and enhancing the Besu lawsuit portion researching and processing capabilities that marque aboriginal nationalist web adoption feasible for institutions.Execution layerCompiling Besu to RISC-VConsensysCompiling Java programs to RV64 to measure the feasibility of compiling the Besu execution lawsuit to RISC-V for proving successful a zkEVM, alongside switching retired the runtime.Execution layerCoverage of the ethereum/execution-specs Reference Tests Against evmonePaweł Bylica & Piotr DobaczewskiImproving ethereum/execution-specs notation trial sum and ensuring afloat compatibility with evmone by implementing missing Osaka fork features, contributing caller trial cases (including for EIP-7212), and integrating automated sum reporting into the ethereum/execution-specs CI.Execution layerEF Internship Program Extension (EEST)Louis TsaiContinued work and investigating for the Ethereum Execution Specification Tests (EEST).Execution layerErigonFunding for Erigon's continued enactment connected the Ethereum mainnet, specifically their execution lawsuit improvement and applied R&D connected Ethereum's execution layer.Execution layerexecution-apis Standardization & Improvementsacolytec3Updating the execution-apis OpenRPC documentation truthful that it's easy usable by individuals proposing spec updates to the JSON-RPC.Execution layerFast Ethereum Storage Cache (FESCache)Experiment successful low-latency indexing of astute declaration retention connected Ethereum mainnet (and immoderate different EVM concatenation successful principle), which involves processing a bundle implementation written successful C11, a hardware level that volition physique and big an scale of the entirety of the Ethereum mainnet, and publishing a pre-print insubstantial documenting the full process with show benchmarks.Execution layerGas Limit Performance BenchmarkingNethermindBuilding tooling to assistance with Stateful EEST tests, benchmark runners, json-rpc compatibility, repricing analysis, and ensuring that the upcoming hardfork has everything successful spot for a state bounds increase.General researchAcademic Grants RoundGrants circular backing ceremonial probe that aims to make much cognition astir Ethereum, blockchain technology, and related domains.Layer 2Championing Native RollupsL2BEATDeveloping the conception of autochthonal rollups done progressive research, design, and implementation crossed execution specs, precompiles, interest markets, and sequencing strategies.Layer 2growthepieListing and attraction of Ethereum Mainnet data, including cardinal information modules specified arsenic fundamentals, economics, blockspace usage, exertion metrics, and DA metrics.X (Twitter)OtherAudrey TangContinued collaboration with the EF to recognize the nationalist payment imaginable of Ethereum and related technologies.OtherColumbia-Ethereum Research Center for Blockchain Protocol DesignConducting precocious probe and workforce grooming crossed captious infrastructure topics (e.g. statement mechanisms, protocol architecture, inducement and staking economics). The Center's activities see probe grants, postdoctoral and postgraduate pupil fellowships, an manufacture research-in-residence program, and respective events that disseminate probe results to the wider assemblage including the yearly Columbia CryptoEconomics Workshop and summertime school.OtherDecentralization Research CenterNon-profit that advocates for decentralization arsenic a cardinal diagnostic of emerging technologies. This includes the improvement of blockchain protocols and applications that are immutable, censorship resistant, transparent, secure, and alteration information self-sovereignty.OtherEthereum Season of InternshipsSummer internships offered crossed the Ethereum ecosystem to assistance found much paths for the adjacent procreation of contributors to link with Ethereum projects and use their skills.OtherGisele ChouContinued collaboration with the EF connected gathering bridges betwixt Ethereum and groups extracurricular the Ethereum ecosystem.OtherNode Requirements for PeerDAS & BeyondStereumLabsProviding a comprehensive, autarkic presumption of lawsuit show and interoperability successful the Ethereum ecosystem, helping node operators and lawsuit teams marque amended infrastructure decisions.OtherWalletbeatOpen-repository of EVM-compatible wallets, providing reviews to assistance guarantee the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.Protocol maturation & supportEthereum Protocol Fellowship (EPF): Cohort 6Stipends for cohort members of the EPF, a programme designed to onboard developers to the process done which protocol improvement happens.