Allocation Update - Q4 2025

Community & educationCal Hacks 12.0Collegiate hackathon organized astatine the University of California, Berkeley covering themes specified arsenic AI and web3.Community & educationDestino DevconnectGrants circular focused connected supporting community-led events and initiatives that assistance bring Argentina and the broader Latin America portion onchain.Community & educationETH Latam Hackathon Brasil 2025ETHSambaHackathon hosted successful São Paulo, Brazil prioritizing real-world Ethereum and onboarding caller builders.EmailCommunity & educationFunding the Commons: Buenos Aires 2025Conference hosted successful Buenos Aires, Argentina revolving astir RealFi: fiscal infrastructure designed for real-world coordination, access, and nationalist goods funding.Community & educationHigh Assurance Crypto Software (HACS) Workshop 2026Workshop organized successful Taipei, Taiwan bringing unneurotic cryptographers, cryptographic bundle engineers, and ceremonial verification experts to amended the information and correctness of real-world cryptographic software.Community & educationHong Kong Polytechnic University Research Center for Blockchain TechnologyCollaborating connected and supporting a scope of world activities, specified arsenic scholarships for the MSc successful Blockchain Technology program, the Asiacrypt 2026 conference, impermanent lectures, and associated probe activities.Community & educationInvisible GardenDeveloper pop-up metropolis focused connected Ethereum, ZKPs, AI, and cybersecurity organized successful Buenos Aires, Argentina.Community & educationLanceriumProviding question assistance to alteration the 2 founders to alert to and be Devconnect ARG.Community & educationLocal Meetups LATAM Grant RoundLocalism FundCollaborative assistance circular with Localism Fund designed to prolong post-Devconnect momentum crossed Latin America by empowering section Ethereum communities to big consistent, educational, and inclusive monthly meetups for 1 year.Community & educationStablecoin (JPYC) Innovation ChallengeCrypto Asset CommunityCross-industry ideathon designed to aboveground and accelerate solutions that employment stablecoins—specifically JPYC—to lick existent concern challenges crossed sectors specified arsenic e-commerce, logistics, existent estate, and accounting.Community & education2025 ethereum.org TranslatathonTranslation contention that aims to incentivize translation contributions successful less-active languages, summation the fig of languages and magnitude of contented disposable connected ethereum.org, and onboard caller contributors portion rewarding existing ones.Consensus layerReamReam LabsContinued improvement of the modular, contributor-friendly, and accelerated implementation of the Lean Consensus specification.Cryptography & zero cognition proofsAVAZAR: Automatic Verification Tools for zkVM ArithmetizationAlbert RubioSupporting enactment connected the verification (and tooling to bash so) of circuits successful LLZK.Cryptography & zero cognition proofsEPFL Laboratory for Computation SecuritySupporting PhD students successful the probe laboratory moving connected foundational and applied cryptography research, which addresses halfway limitations successful existent SNARK designs including recursion information and the exploration of tradeoffs betwixt impervious size and security.Cryptography & zero cognition proofsEvolution of the LLZK IRVeridiseContinued improvement of LLZK to fortify it arsenic shared, verification-oriented infrastructure for the ZK compiler ecosystem, enabling much robust tooling, interoperability crossed ZK DSLs, and improved correctness guarantees for ZK circuits.Cryptography & zero cognition proofsFiat-Shamir SpecificationSpecification and formalization successful Lean of Fiat-Shamir based connected the Fiat-Shamir transformation from duplex sponges/spongefish construction.Cryptography & zero cognition proofsLean Backend for HaxCryspenContinued improvement of a Lean backend for Hax, allowing Rust codification to beryllium formally verified successful Lean.Cryptography & zero cognition proofsOpenVM Formal VerificationAxiomFormal verification of OpenVM focused connected establishing the functional correctness of each RV32IM opcode circuits, with the extremity of reducing the hazard of soundness oregon completeness issues successful OpenVM’s circuit plan and contributing reusable ceremonial verification infrastructure to the broader zkVM ecosystem.X (Twitter)Cryptography & zero cognition proofsPrivate Payments L2Vienhage Cybersecurity UGCreating a prototype of a minimal, open-source app-specific L2 rollup for backstage stablecoin transfers, utilizing lightweight ZK circuits and a simplified sequencing model.Cryptography & zero cognition proofsPrivoteShashank TrivediPrivate on-chain voting protocol powered by MACI that is hosting the frontend for the Gitcoin Grants 24: Privacy domain.Cryptography & zero cognition proofsThe Recursive Extraction ProblemNicholas SpoonerResearching the information of recursive creation successful SNARKs, focusing connected the recursive extraction occupation that arises erstwhile information proofs necessitate repeated exertion of cognition extractors.Cryptography & zero cognition proofsRust Verification Through Lean 4 Tooling InvestigationRuntime VerificationInvestigating Lean 4-based ceremonial verification of Rust components utilized successful zkEVM and zkVM stacks, with a absorption connected establishing a applicable Rust to Lean verification pipeline utilizing the hax toolchain.Cryptography & zero cognition proofsSTIR & WHIR successful ArkLibNethermindFormalizing cardinal theorems for STIR and WHIR successful Lean and supplementing them with an executable specification.Cryptography & zero cognition proofsPoseidon Cryptanalysis Bounty ProgramJintai Ding & Ziyu ZhaoSolving bounties listed successful the Poseidon Cryptanalysis Bounty Program, which has the duplicate goals of ensuring that the interpolation onslaught is the fastest preimage onslaught connected Poseidon, and verifying that the complexity of the interpolation onslaught connected the reduced circular versions matches the theoretical estimates.Cryptography & zero cognition proofsTechnical Review of Fiat–Shamir from Duplex SpongesKasra AbbaszadehTechnical reappraisal of the caller investigation of the Fiat–Shamir translation instantiated via duplex sponges, focusing connected cautiously auditing the underlying information arguments, identifying immoderate gaps oregon ambiguities, and clarifying the cardinal abstractions needed for rigorous reasoning.Cryptography & zero cognition proofsTightening the Hash Size successful Round-by-Round Sound IOPsNethermindInvestigating whether multi-round, round-by-round dependable SNARKs tin safely usage smaller hash digests, opening with a feasibility survey successful some the Random Oracle Model and the Quantum Random Oracle Model.Cryptography & zero cognition proofsVerifying Autoprecompilespowdr labs & CertoraFormally verifying powdr's autoprecompiles to assistance amended show and velocity up adoption.Cryptography & zero cognition proofsWHIROnur KılıçAccelerate WHIR and upstream it into Plonky3, to lend to the low-level stack of proving strategy for Ethereum post-quantum signatures.Developer acquisition & toolingEthereum Developer Ecosystem DatasetOpen Source ObserverDelivering an improved, reproducible, and publically auditable presumption of Ethereum developer ecosystem information on with a sustainable mechanics to support it updated.Developer acquisition & toolingsolc-mlir Middle End Optimization Layer for SolidityWalnutFocused probe effort to adhd an MLIR middle-end to the Solidity compiler, with the purpose of yielding measurable state savings and enabling richer correctness and information analyses.Execution layerHelios Integration successful KohakuKaren SarkisyanIntegrating Helios with the Kohaku browser extension, improving performance, and ensuring it is simply a portable and easy integrable portion of the Kohaku SDK.General maturation & supportDeep Funding MarketsSeerMultiscalar prediction marketplace wherever exemplary builders stake connected the worth an open-source repository would person if it were to beryllium professionally evaluated, used successful Gitcoin Grants 24.General maturation & supportEuropean Crypto Initiative (EUCI)Conducting EU-focused argumentation advocacy and acquisition campaigns aimed astatine cardinal regulators and policymakers.General maturation & supportGitcoin Grants 24: Privacy DomainCo-funding for the Privacy domain, which supports privateness solutions for a unafraid onchain Ethereum ecosystem.General maturation & supportGitcoin Grants 24: Public Goods R&D DomainCo-funding for the GG24 Public Goods R&D Domain. The assistance supports factual world and different forms of probe that beforehand the insights and cognition connected Ethereum nationalist goods and their funding, portion supporting the improvement of neutral, open-source solutions rooted successful these insights, with a absorption connected interoperability betwixt tools.General maturation & supportJuror Voting for Deep FundingAllan NiemergEstablishing a juror valuation process, creating an app for collecting information from jurors, and integrating the results into the Deep Funding voting app.OtherAnti-Crypto-Drainer OperationsSecurity Alliance (SEAL)Tracking, discovering, and blocking crypto drainers attacking EVM-based chains.OtherBuidlGuidl's Builder Bootcamp Capture the FlagCapture the Flag (CTF) contention wherever participants tackle 12 progressively challenging Solidity puzzles to hunt for vulnerabilities, exploit astute declaration weaknesses, and lick cryptographic challenges.OtherCapture the FundsCertoraSolidity based CTF-style information competition, wherever participants vie against 1 different to exploit susceptible DeFi protocols and gain the highest score.OtherClear Signing LibraryWalletConnectBuilding a room and PoC wallet that aims to lick the contented of unsighted signing.OtherKaggle Competition for LLM Identification of Smart Contract VulnerabilitiesOneSavie LabHosting a Kaggle competition for LLM-based astute declaration vulnerability detection built connected the Bastet dataset, with the extremity of attracting some crypto information endowment and non-crypto AI/LLM talent.OtherNodeCoredRPCIncorporating network-level privateness into a high-performance, self-hosted RPC load-balancer that distributes requests crossed aggregate blockchain providers oregon nodes, optimizing for latency, mistake rate, and cost.OtherOpen Creator RailsChainSafeMinimal, verifiable on-chain runtime for managing time-bound entree to integer resources utilizing deterministic entitlements.Protocol maturation & supportLLM-Enabled Differential Testing connected Ethereum ClientsChiachih WuDesigning and implementing LLM-enabled differential investigating connected Ethereum clients to velocity up the quality to find vulnerabilities connected the Ethereum protocol.Protocol maturation & supportProtocol FellowshipMike NeuderDoctoral enactment focused connected utilizing tools from economics and computation to deepen the knowing of blockchain mechanics design, generating high-impact world probe and acquisition contented specified arsenic nationalist explainers connected protocol changes and teaching a caller blockchain people astatine Princeton University.Protocol maturation & supportSmart Contract Vulnerability DatabaseTruscovaBuilding a strategy that accepts a wide assortment of antithetic vulnerability reports successful assorted formats from aggregate sources, massaging them into a schema, and past outputting it into a publically disposable dataset.Protocol maturation & supportSummer of Protocols (SoP) Program ManagementTimber Stinson-SchroffManaging SoP by overseeing the 2025 programme logistics, supporting assemblage management, and helping to signifier SoP's longer-term roadmap.Protocol maturation & supportThe Tor ProjectProviding method enactment to the Ethereum Foundation's Privacy Cluster to flooded method barriers of integrating Tor astatine the borderline and the infrastructure of the Ethereum ecosystem. Work includes improving scalability of bridging to Tor, and adapting Arti Tor lawsuit into wasm specified that it tin beryllium integrated successful wallets[sdks] and frontends. The collaboration aims to unlock Tor peculiarly successful constrained environments similar browser wallets, bringing privateness to RPC calls similar transaction broadcasting (eth_sendRawTx).Protocol maturation & supportWomen successful Ethereum Protocol (WiEP) Cohort 4 FacilitatorMercy Boma Naps-Nkari & Arunima ChaudhuriFacilitating WiEP Cohort 4 done activities specified arsenic processing workflows, coordinating mentors, tracking subordinate contributions, and supporting the enactment of the WiEP Brunch astatine Devconnect.Protocol maturation & supportWiEP Cohort 4 Marketing CoordinatorMeenakshi SinghSupporting WiEP Cohort 4 by coordinating communications with mentors, students, and speakers, managing societal media posts, and assisting with the enactment and work of league recordings.Protocol maturation & supportDivya Ranjan PattanaikInformal 2-month internship to enactment connected Ethereum protocol R&D.