Allocation Replace – Q1 2026

Utility InfrastructureDeveloper toolingEthereumJS upkeepUpkeep for the EthereumJS TypeScript stack to make sure reliability and compatibility with execution-layer modifications. This consists of implementing protocol updates, enhancing assessments, and supporting downstream builders.HyperlinkUtility layerAnalysisDefending Ethereum Consumer Anonymity through TorEnhances Ethereum mild consumer privateness by integrating Tor. This mission designs and implements a Tor-based mitigation scheme, enhancing consumer anonymity and community resilience.Utility layerEcosystem improvementERC-8004 Builders EngagementFosters ERC-8004 neighborhood progress by offering technical help and coordinating builder engagement. Helps decentralized AI engineers by direct suggestions and Devconnect occasion curation.Utility layerDeveloper toolingBuidlGuidl: AI-Prepared Ethereum Schooling & Infrastructure UpkeepTransitions flagship Ethereum schooling and developer instruments, together with SpeedRunEthereum and Scaffold-ETH 2, into an AI-ready upkeep mode. The mission sustains core infrastructure and helps enterprise certification efforts.HyperlinkUtility layerDeveloper toolingOpen Creator RailsDevelopes a verifiable on-chain runtime for managing time-bound entry to digital assets, supporting subscriptions and privacy-preserving linkage.Utility layerDeveloper toolingWalletconnect clear signing libraryDevelopes a library and POC pockets to resolve the blind signing drawback, enhancing transaction safety and consumer transparency.HyperlinkNeighborhoodEcosystem improvementDeveloper Progress 2026 HelpOptimizes the developer funnel, main enterprise certification efforts, and shaping ecosystem funding technique for developer progress.NeighborhoodEcosystem improvementSpecialised Occasion HelpHelps the operations and methods rollout for Specialised Occasions in H1 2026, together with planning coordination and invoicing workflows.NeighborhoodEcosystem improvementCornell Blockchain Convention 2025A tutorial convention at Cornell Tech convening researchers, policymakers, and trade leaders to look at U.S.-based crypto innovation and its implications for monetary methods and public infrastructure.HyperlinkNeighborhoodEcosystem improvementL2 Occasion at Community FacultyA personal, high-signal gathering of Layer 2 groups in Singapore centered on roadmap alignment, L1–L2 coordination, and collaborative R&D, strengthening long-term protocol collaboration throughout APAC and world ecosystems.HyperlinkNeighborhoodEcosystem improvementInvisible BackyardHelp for Invisible Backyard, a developer pop-up metropolis in Buenos Aires centered on Ethereum, ZK, AI, and cybersecurity.HyperlinkCryptographyAnalysisPoseidon BountyAwarded for options to the Poseidon staff’s Bounty Program: M31-6-4Hyperlink, Extra particulars on the bounties will be discovered right hereCryptographyAnalysisPoseidon Gröbner Bases ExploratorySystematizes algebraic modeling to find out Gröbner foundation assault complexity on Poseidon cases. Massive-scale experiments will derive an up to date round-number system, enhancing safety evaluation.CryptographyAnalysisNative MixingDevelops a sensible, open-source indistinguishability obfuscation (iO) utilizing reversible circuits. This Rust implementation goals to scale from small to giant circuits, enhancing privateness for Ethereum purposes.HyperlinkCryptographyDeveloper toolingGPU-Accelerated R1CS Witness Technology based mostly on 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 witness technology for future zkVM integration.HyperlinkCryptographyEcosystem improvementExcessive Assurance Crypto Software program WorkshopThe Excessive Assurance Crypto Software program Workshop (HACS) is a small workshop that brings collectively cryptographers, cryptographic software program engineers, and formal verification consultants to enhance the safety and correctness of actual world cryptographicHyperlinkCryptographyAnalysisFormalising Proximity Turbines and Associated PropertiesAdd new coding principle definitions and theorems to the ArkLib Lean library, specializing in distance preservation and proximity mills for Reed Solomon codes.HyperlinkCryptographyAnalysisNative mixing method to obfuscationResearches native mixing as a brand new method to sensible obfuscation, aiming to show its safety and develop a brand new cryptographic primitive.HyperlinkDAOs/GovernanceAnalysisgov/acc assist & information commons handbookBuilds a complete information commons to map open issues, options, and energetic contributors in governance analysis. This mission combines information assortment and neighborhood workshops to create a reusable framework for analysis coordination.HyperlinkDecentralized IdentificationEcosystem improvementAdvancing the did:ethr Methodology SpecificationAdvances the did:ethr Decentralized Identifier commonplace by modernizing its specification and enhancing EVM interoperability. This analysis and tooling replace addresses usability gaps to realize DIF Really helpful standing throughout the ecosystem.HyperlinkDeFiDashboardOpen-Supply Analysis PlatformPermits systematic research of blockchain and DeFi transaction patterns. This open-source platform offers curated datasets, benchmarks, and instruments for reproducible empirical analysis, accelerating cumulative insights.Ethereum ProtocolEcosystem improvementInternship Program 2026, Protocol SnarkificationMaking certain the mathematical correctness of Ethereum’s scaling infrastructure, this work applies formal verification to cryptographic protocols and zkVM circuits.Ethereum ProtocolEcosystem improvementEthereum Founders and VCs – Hong Kong Strategic Discussion boardA centered, strategic Discussion board and networking mixer in HK to carry collectively institutional capital, main VCs, and Ethereum mainnet founders to outline the way forward for the EVM panorama towards 2026.Ethereum ProtocolDashboard[Pectra Round] Publish-Pectra Community DashboardInsights into the Beacon community’s validator consolidation and p2p bandwidth utilization at the moment are accessible. This dashboard tracks enhancements post-Pectra hardfork with real-time and historic information.HyperlinkEthereum ProtocolUtilityLighthouse – November 2025 to April 2026Develops Lighthouse consumer options for the Fusaka transition and BPO forks. This R&D effort will implement Glamsterdam, tree sync, and broaden adversarial testing for improved mainnet resilience and modularity.HyperlinkEthereum ProtocolEcosystem improvementEfficiency Benchmarking GrantDevelops tooling to generate bloated and simply maintainable states 10x Mainnet measurement. This work identifies and addresses efficiency bottlenecks, prioritizing crucial, underrepresented areas in stateful testing.HyperlinkEthereum ProtocolAnalysisZeam Section 3 – leanEthereum spec & impl with a zig lean consumerDevelops Lean consensus, specializing in PQ consensus, quick finality analysis, and ZK-verified consensus with a ZK lightclient testifying protocol.HyperlinkLayer 2DashboardL2BEAT – 2026Sustains L2BEAT’s crucial work offering onchain transparency and safety assessments for Ethereum Layer 2s. Helps 2026 priorities together with an interoperability dashboard, tokens transparency, and a DA danger framework.HyperlinkNodes and ShoppersAnalysisDISC-NG Geth Undertaking ProposalIntegrates DISC-NG into Geth, changing random walks with structured ads for quicker, extra predictable Ethereum peer discovery.HyperlinkNodes and ShoppersUtilityErigon & Zilkworm (H1 2026)Develops Erigon’s zkEVM visitor program, Zilkworm, in C++. This enhances Erigon’s capabilities as a high-performance, compact Ethereum consumer with cutting-edge zero-knowledge proof know-how.HyperlinkNodes and ShoppersDeveloper toolingBesu consumer integration with HSMDevelops a production-ready PKCS#11 plugin for the Besu consumer to make sure validator key technology and signing happen totally inside {Hardware} Safety Modules, eradicating a serious compliance blocker for institutional Ethereum adoption.Nodes and ShoppersEcosystem improvementVeroDevelops a multi-node validator consumer that mitigates consensus bugs by combining views from a number of execution and consensus consumer pairs. Operators can configure security thresholds earlier than testifying to chain state.HyperlinkNodes and ShoppersAnalysisEthproofs zkAttesterValidates zk-based attestation in a reside Ethereum staking surroundings by working a mainnet validator operating the Lighthouse zkAttester department.HyperlinkDifferentEcosystem improvementProductizing the CommonsThis mission is targeted on scoping pilots to Productize the Commons, exploring embedded and voluntary mechanisms, particularly round DeFi curators as public items stewards, and public items UI or frontends for protocols like ENS, Aave, and Uniswap.DifferentEcosystem improvementEthereum Vancouver 2026Fosters a vibrant Ethereum ecosystem in Vancouver, connecting startups, researchers, and the general public by common, high-signal occasions. This initiative cultivates native expertise and collaboration.PrivatenessDeveloper toolingKohaku – Privateness Pool and TC IntegrationsIntegrates Privateness Pool v1 and TC into the Kohaku SDK, empowering pockets groups to undertake privateness options with minimal developer effort.HyperlinkPrivatenessAnalysisOpenAC Evaluation and DocumentationAnalyzes the OpenAC entry management system’s relationship to selective disclosure and credential presentation requirements. This mission produces technical mappings to tell ecosystem discussions with out introducing new mechanisms.HyperlinkPrivatenessDeveloper toolingdRPC NodeCore load balancerFunding to assist dRPC’s work on open-sourced RPC load balancer NodeCore.HyperlinkPrivatenessDeveloper toolingOblivious Labs server <> KohakuBuilds an Oblivious server to deal with requests from the Kohaku extension’s embedded execution consumer, enabling non-public state studying.HyperlinkPrivatenessDeveloper toolingUnblocking Tor bridge scalabilityAddresses scalability points with Tor bridges to assist the EF Privateness Group’s integration work and advance network-level privateness.HyperlinkSafetyAnalysisImproved Spherical-Skipping for Poseidon(2)(b)Expands cryptanalysis of Poseidon2, exploring superior round-skipping methods and increasing assaults to new parameter units and modes. This analysis additionally investigates countermeasures like improved spherical fixed choice.SafetyAnalysisImproved Resultant-based Strategies for the Cryptanalysis of Poseidon(2)(b)Explores resultant levels in Poseidon2 polynomial methods, growing new algorithms for iterated resultants. Benchmarks these in opposition to Gröbner foundation methods for CICO-k, okay >= 2.SafetyDeveloper toolingERC-7730 v2 Cross-Platform Clear Signing LibraryPermits cellular wallets to show human-readable transaction previews. This Rust library implements ERC-7730 v2 clear signing, with iOS and Android bindings, changing uncooked hex calldata for a greater consumer expertise.HyperlinkSafetyDeveloper toolingKohaku mild consumerIntegrates the Colibri stateless consumer into the Kohaku SDK and browser extension. This allows trustless, proof-based verification of on-chain state in user-facing environments with out counting on centralized RPCs.HyperlinkSafetyDeveloper toolingePBS Specification Compliance“ePBS Specification Compliance” extends the prevailing Fork Selection compliance check generator to the ePBS modifications within the Ethereum Consensus Protocol.HyperlinkSafetyAnalysisFormal Verification of the Brevis Pico RISC-V zkVMFormally verifies the Brevis Pico RISC-V zkVM core in Lean in opposition to the RISC-V specification. It produces a reusable workflow to examine zkVM constraints in opposition to verified instruction semantics, delivering a proof library and tooling.HyperlinkSociety and RegulatoryAnalysisEthereum Local weather Affect EvaluationUpdates to the Ethereum Local weather Affect Evaluation will refine electrical energy consumption and greenhouse fuel emissions estimates post-Merge. This analysis enhances the general public Cambridge Blockchain Community Sustainability Index with present, correct information.Society and RegulatoryAnalysisEuropean Decentralisation Institute 2026Helps EDI’s 2026 roadmap to ship 4 key coverage initiatives, together with analysis, roundtables, and coverage briefs. This effort fosters strategic regulatory engagement and coverage improvement for the Ethereum ecosystem.HyperlinkSociety and RegulatoryEcosystem improvementSynergy Seoul: A Meetup for Ethereum BuildersSynergy Seoul is a 3-day meetup that includes a strategic matching program to attach native builders with key stakeholders. This initiative goals to foster deep, sustainable integration inside the Korean Ethereum ecosystem.UX/UIEcosystem improvementEnhance UX WorkDevelops the Open Intents Framework and Interop SDK, advancing Ethereum interoperability requirements like ERC-7930. This work improves cross-chain UX, supporting token requirements, stability consolidation, and messaging for wider adoption.HyperlinkUX/UIAnalysisUse Case Lab – Program SpecialistHelps the Use Case Lab in figuring out and unblocking high-potential Ethereum use instances past finance by analysis and pilot interventions.Zero-knowledge ProofsAnalysisCryptanalysis of Poseidon inside Fiat-ShamirInvestigates cryptographic vulnerabilities in Poseidon-based Fiat-Shamir proof methods and folding schemes. Explores potential weaknesses in FRI-based commitments and whether or not SumCheck reductions expose new assault vectors.Zero-knowledge ProofsDeveloper toolingAccelerated Minimal Hint DevelopmentOptimizes ZisKVM hint development by pipelining EVM precompile hints and block inputs with sequential emulation. This concurrent workflow considerably lowers end-to-end latency and will increase throughput for real-time proving.HyperlinkZero-knowledge ProofsAnalysisAVAZAR: Computerized verification instruments for zkVM arithmetizationComputerized instruments to confirm the equivalence between witness computation semantics and polynomial constraint methods for zkVMs.HyperlinkZero-knowledge ProofsDeveloper toolingThe Evolution of the LLZK IRAdvances the LLZK intermediate illustration with assist for formal specs, polymorphic free capabilities, and witness technology.HyperlinkZero-knowledge ProofsAnalysisRust Verification By Lean 4 Tooling InvestigationInvestigates the formal verification of Rust parts in zkEVM/zkVM stacks utilizing Lean 4 and the hax toolchain.HyperlinkZero-knowledge ProofsAnalysisAxiom + OpenVM Formal Verification GrantEstablishes a Lean-based formal verification system for OpenVM to show the useful correctness of RV32IM opcode circuits.Hyperlink