Allocation Update - Q1 2026

Application InfrastructureDeveloper toolingEthereumJS maintenanceMaintenance for the EthereumJS TypeScript stack to guarantee reliability and compatibility with execution-layer changes. This includes implementing protocol updates, improving tests, and supporting downstream developers.LinkApplication layerResearchProtecting Ethereum User Anonymity via TorEnhances Ethereum airy lawsuit privateness by integrating Tor. This task designs and implements a Tor-based mitigation scheme, improving idiosyncratic anonymity and web resilience.Application layerEcosystem developmentERC-8004 Developers EngagementFosters ERC-8004 assemblage maturation by providing method assistance and coordinating builder engagement. Supports decentralized AI engineers done nonstop feedback and Devconnect lawsuit curation.Application layerDeveloper toolingBuidlGuidl: AI-Ready Ethereum Education & Infrastructure MaintenanceTransitions flagship Ethereum acquisition and developer tools, including SpeedRunEthereum and Scaffold-ETH 2, into an AI-ready attraction mode. The task sustains halfway infrastructure and supports endeavor certification efforts.LinkApplication layerDeveloper toolingOpen Creator RailsDevelopes a verifiable on-chain runtime for managing time-bound entree to integer resources, supporting subscriptions and privacy-preserving linkage.Application layerDeveloper toolingWalletconnect wide signing libraryDevelopes a room and POC wallet to lick the unsighted signing problem, enhancing transaction information and idiosyncratic transparency.LinkCommunityEcosystem developmentDeveloper Growth 2026 SupportOptimizes the developer funnel, starring endeavor certification efforts, and shaping ecosystem backing strategy for developer growth.CommunityEcosystem developmentSpecialized Event SupportSupports the operations and systems rollout for Specialized Events successful H1 2026, including readying coordination and invoicing workflows.CommunityEcosystem developmentCornell Blockchain Conference 2025An world league astatine Cornell Tech convening researchers, policymakers, and manufacture leaders to analyse U.S.-based crypto innovation and its implications for fiscal systems and nationalist infrastructure.LinkCommunityEcosystem developmentL2 Event astatine Network SchoolA private, high-signal gathering of Layer 2 teams successful Singapore focused connected roadmap alignment, L1–L2 coordination, and collaborative R&D, strengthening semipermanent protocol collaboration crossed APAC and planetary ecosystems.LinkCommunityEcosystem developmentInvisible GardenSupport for Invisible Garden, a developer pop-up metropolis successful Buenos Aires focused connected Ethereum, ZK, AI, and cybersecurity.LinkCryptographyResearchPoseidon BountyAwarded for solutions to the Poseidon team's Bounty Program: M31-6-4Link, More details connected the bounties can beryllium recovered hereCryptographyResearchPoseidon Gröbner Bases ExploratorySystematizes algebraic modeling to find Gröbner ground onslaught complexity connected Poseidon instances. Large-scale experiments volition deduce an updated round-number formula, enhancing information analysis.CryptographyResearchLocal MixingDevelops a practical, open-source indistinguishability obfuscation (iO) utilizing reversible circuits. This Rust implementation aims to standard from tiny to ample circuits, improving privateness for Ethereum applications.LinkCryptographyDeveloper toolingGPU-Accelerated R1CS Witness Generation based connected MLIR Compiler stackBuilds an MLIR-based compiler stack for an end-to-end R1CS pipeline to decouple ZK circuit authoring from hardware optimizations. This reduces fragmentation and demonstrates GPU-based witnesser procreation for aboriginal zkVM integration.LinkCryptographyEcosystem developmentHigh Assurance Crypto Software WorkshopThe High Assurance Crypto Software Workshop (HACS) is simply a tiny store that brings unneurotic cryptographers, cryptographic bundle engineers, and ceremonial verification experts to amended the information and correctness of existent satellite cryptographicLinkCryptographyResearchFormalising Proximity Generators and Related PropertiesAdd caller coding mentation definitions and theorems to the ArkLib Lean library, focusing connected region preservation and proximity generators for Reed Solomon codes.LinkCryptographyResearchLocal mixing attack to obfuscationResearches section mixing arsenic a caller attack to applicable obfuscation, aiming to beryllium its information and make a caller cryptographic primitive.LinkDAOs/GovernanceResearchgov/acc enactment & cognition commons handbookBuilds a broad cognition commons to representation unfastened problems, solutions, and progressive contributors successful governance research. This task combines information postulation and assemblage workshops to make a reusable model for probe coordination.LinkDecentralized IdentityEcosystem developmentAdvancing the did:ethr Method SpecificationAdvances the did:ethr Decentralized Identifier modular by modernizing its specification and improving EVM interoperability. This probe and tooling update addresses usability gaps to execute DIF Recommended presumption crossed the ecosystem.LinkDeFiDashboardOpen-Source Research PlatformEnables systematic survey of blockchain and DeFi transaction patterns. This open-source level provides curated datasets, benchmarks, and tools for reproducible empirical research, accelerating cumulative insights.Ethereum ProtocolEcosystem developmentInternship Program 2026, Protocol SnarkificationEnsuring the mathematical correctness of Ethereum's scaling infrastructure, this enactment applies ceremonial verification to cryptographic protocols and zkVM circuits.Ethereum ProtocolEcosystem developmentEthereum Founders and VCs - Hong Kong Strategic ForumA focused, strategical Forum and networking mixer successful HK to bring unneurotic organization capital, starring VCs, and Ethereum mainnet founders to specify the aboriginal of the EVM scenery toward 2026.Ethereum ProtocolDashboard[Pectra Round] Post-Pectra Network DashboardInsights into the Beacon network's validator consolidation and p2p bandwidth usage are present available. This dashboard tracks improvements post-Pectra hardfork with real-time and humanities data.LinkEthereum ProtocolApplicationLighthouse - November 2025 to April 2026Develops Lighthouse lawsuit features for the Fusaka modulation and BPO forks. This R&D effort volition instrumentality Glamsterdam, histrion sync, and grow adversarial investigating for improved mainnet resilience and modularity.LinkEthereum ProtocolEcosystem developmentPerformance Benchmarking GrantDevelops tooling to make bloated and easy maintainable states 10x Mainnet size. This enactment identifies and addresses show bottlenecks, prioritizing critical, underrepresented areas successful stateful testing.LinkEthereum ProtocolResearchZeam Phase 3 - leanEthereum spec & impl with a zig thin clientDevelops Lean consensus, focusing connected PQ consensus, accelerated finality research, and ZK-verified statement with a ZK lightclient attesting protocol.LinkLayer 2DashboardL2BEAT - 2026Sustains L2BEAT's captious enactment providing onchain transparency and information assessments for Ethereum Layer 2s. Supports 2026 priorities including an interoperability dashboard, tokens transparency, and a DA hazard framework.LinkNodes and ClientsResearchDISC-NG Geth Project ProposalIntegrates DISC-NG into Geth, replacing random walks with structured advertisements for faster, much predictable Ethereum adjacent discovery.LinkNodes and ClientsApplicationErigon & Zilkworm (H1 2026)Develops Erigon's zkEVM impermanent program, Zilkworm, successful C++. This enhances Erigon's capabilities arsenic a high-performance, compact Ethereum lawsuit with cutting-edge zero-knowledge impervious technology.LinkNodes and ClientsDeveloper toolingBesu lawsuit integration with HSMDevelops a production-ready PKCS#11 plugin for the Besu lawsuit to guarantee validator cardinal procreation and signing hap wholly wrong Hardware Security Modules, removing a large compliance blocker for organization Ethereum adoption.Nodes and ClientsEcosystem developmentVeroDevelops a multi-node validator lawsuit that mitigates statement bugs by combining views from aggregate execution and statement lawsuit pairs. Operators tin configure information thresholds earlier attesting to concatenation state.LinkNodes and ClientsResearchEthproofs zkAttesterValidates zk-based attestation successful a unrecorded Ethereum staking situation by operating a mainnet validator moving the Lighthouse zkAttester branch.LinkOtherEcosystem developmentProductizing the CommonsThis task is focused connected scoping pilots to Productize the Commons, exploring embedded and voluntary mechanisms, specifically astir DeFi curators arsenic nationalist goods stewards, and nationalist goods UI oregon frontends for protocols similar ENS, Aave, and Uniswap.OtherEcosystem developmentEthereum Vancouver 2026Fosters a vibrant Ethereum ecosystem successful Vancouver, connecting startups, researchers, and the nationalist done regular, high-signal events. This inaugural cultivates section endowment and collaboration.PrivacyDeveloper toolingKohaku - Privacy Pool and TC IntegrationsIntegrates Privacy Pool v1 and TC into the Kohaku SDK, empowering wallet teams to follow privateness features with minimal developer effort.LinkPrivacyResearchOpenAC Analysis and DocumentationAnalyzes the OpenAC entree power system's narration to selective disclosure and credential presumption standards. This task produces method mappings to pass ecosystem discussions without introducing caller mechanisms.LinkPrivacyDeveloper toolingdRPC NodeCore load balancerFunding to enactment dRPC's enactment connected open-sourced RPC load balancer NodeCore.LinkPrivacyDeveloper toolingOblivious Labs server <> KohakuBuilds an Oblivious server to grip requests from the Kohaku extension's embedded execution client, enabling backstage authorities reading.LinkPrivacyDeveloper toolingUnblocking Tor span scalabilityAddresses scalability issues with Tor bridges to enactment the EF Privacy Team's integration enactment and beforehand network-level privacy.LinkSecurityResearchImproved Round-Skipping for Poseidon(2)(b)Expands cryptanalysis of Poseidon2, exploring precocious round-skipping techniques and extending attacks to caller parameter sets and modes. This probe besides investigates countermeasures similar improved circular changeless selection.SecurityResearchImproved Resultant-based Techniques for the Cryptanalysis of Poseidon(2)(b)Explores resultant degrees successful Poseidon2 polynomial systems, processing caller algorithms for iterated resultants. Benchmarks these against Gröbner ground techniques for CICO-k, k >= 2.SecurityDeveloper toolingERC-7730 v2 Cross-Platform Clear Signing LibraryEnables mobile wallets to show human-readable transaction previews. This Rust room implements ERC-7730 v2 wide signing, with iOS and Android bindings, replacing earthy hex calldata for a amended idiosyncratic experience.LinkSecurityDeveloper toolingKohaku airy clientIntegrates the Colibri stateless lawsuit into the Kohaku SDK and browser extension. This enables trustless, proof-based verification of on-chain authorities successful user-facing environments without relying connected centralized RPCs.LinkSecurityDeveloper toolingePBS Specification Compliance“ePBS Specification Compliance” extends the existing Fork Choice compliance trial generator to the ePBS changes successful the Ethereum Consensus Protocol.LinkSecurityResearchFormal Verification of the Brevis Pico RISC-V zkVMFormally verifies the Brevis Pico RISC-V zkVM halfway successful Lean against the RISC-V specification. It produces a reusable workflow to cheque zkVM constraints against verified acquisition semantics, delivering a impervious room and tooling.LinkSociety and RegulatoryResearchEthereum Climate Impact AssessmentUpdates to the Ethereum Climate Impact Assessment volition refine energy depletion and greenhouse state emissions estimates post-Merge. This probe enhances the nationalist Cambridge Blockchain Network Sustainability Index with current, close data.Society and RegulatoryResearchEuropean Decentralisation Institute 2026Supports EDI's 2026 roadmap to present 4 cardinal argumentation projects, including research, roundtables, and argumentation briefs. This effort fosters strategical regulatory engagement and argumentation improvement for the Ethereum ecosystem.LinkSociety and RegulatoryEcosystem developmentSynergy Seoul: A Meetup for Ethereum BuildersSynergy Seoul is simply a 3-day meetup featuring a strategical matching programme to link section builders with cardinal stakeholders. This inaugural aims to foster deep, sustainable integration wrong the Korean Ethereum ecosystem.UX/UIEcosystem developmentImprove UX WorkDevelops the Open Intents Framework and Interop SDK, advancing Ethereum interoperability standards similar ERC-7930. This enactment improves cross-chain UX, supporting token standards, equilibrium consolidation, and messaging for wider adoption.LinkUX/UIResearchUse Case Lab - Program SpecialistSupports the Use Case Lab successful identifying and unblocking high-potential Ethereum usage cases beyond concern done probe and aviator interventions.Zero-knowledge ProofsResearchCryptanalysis of Poseidon wrong Fiat-ShamirInvestigates cryptographic vulnerabilities successful Poseidon-based Fiat-Shamir impervious systems and folding schemes. Explores imaginable weaknesses successful FRI-based commitments and whether SumCheck reductions exposure caller onslaught vectors.Zero-knowledge ProofsDeveloper toolingAccelerated Minimal Trace ConstructionOptimizes ZisKVM hint operation by pipelining EVM precompile hints and artifact inputs with sequential emulation. This concurrent workflow importantly lowers end-to-end latency and increases throughput for real-time proving.LinkZero-knowledge ProofsResearchAVAZAR: Automatic verification tools for zkVM arithmetizationAutomatic tools to verify the equivalence betwixt witnesser computation semantics and polynomial constraint systems for zkVMs.LinkZero-knowledge ProofsDeveloper toolingThe Evolution of the LLZK IRAdvances the LLZK intermediate practice with enactment for ceremonial specifications, polymorphic escaped functions, and witnesser generation.LinkZero-knowledge ProofsResearchRust Verification Through Lean 4 Tooling InvestigationInvestigates the ceremonial verification of Rust components successful zkEVM/zkVM stacks utilizing Lean 4 and the hax toolchain.LinkZero-knowledge ProofsResearchAxiom + OpenVM Formal Verification GrantEstablishes a Lean-based ceremonial verification strategy for OpenVM to beryllium the functional correctness of RV32IM opcode circuits.Link