Allocation Replace – Q1 2026

Utility Infrastructure Developer tooling EthereumJS upkeep Upkeep for the EthereumJS TypeScript stack to make sure reliability and compatibility with execution-layer modifications. This contains implementing protocol updates, bettering assessments, and supporting downstream builders. Hyperlink Utility layer Analysis Defending Ethereum Person Anonymity through Tor Enhances Ethereum mild shopper privateness by integrating Tor. This mission designs and implements a Tor-based mitigation scheme, bettering consumer anonymity and community resilience. Utility layer Ecosystem improvement ERC-8004 Builders Engagement Fosters ERC-8004 group progress by offering technical help and coordinating builder engagement. Helps decentralized AI engineers by way of direct suggestions and Devconnect occasion curation. Utility layer Developer tooling BuidlGuidl: AI-Prepared Ethereum Training & Infrastructure Upkeep Transitions flagship Ethereum training 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. Hyperlink Utility layer Developer tooling Open Creator Rails Developes a verifiable on-chain runtime for managing time-bound entry to digital sources, supporting subscriptions and privacy-preserving linkage. Utility layer Developer tooling Walletconnect clear signing library Developes a library and POC pockets to resolve the blind signing downside, enhancing transaction safety and consumer transparency. Hyperlink Neighborhood Ecosystem improvement Developer Progress 2026 Assist Optimizes the developer funnel, main enterprise certification efforts, and shaping ecosystem funding technique for developer progress. Neighborhood Ecosystem improvement Specialised Occasion Assist Helps the operations and programs rollout for Specialised Occasions in H1 2026, together with planning coordination and invoicing workflows. Neighborhood Ecosystem improvement Cornell Blockchain Convention 2025 A tutorial convention at Cornell Tech convening researchers, policymakers, and business leaders to look at U.S.-based crypto innovation and its implications for monetary programs and public infrastructure. Hyperlink Neighborhood Ecosystem improvement L2 Occasion at Community College A 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 international ecosystems. Hyperlink Neighborhood Ecosystem improvement Invisible Backyard Assist for Invisible Backyard, a developer pop-up metropolis in Buenos Aires centered on Ethereum, ZK, AI, and cybersecurity. Hyperlink Cryptography Analysis Poseidon Bounty Awarded for options to the Poseidon staff’s Bounty Program: M31-6-4 Hyperlink, Extra particulars on the bounties might be discovered right here Cryptography Analysis Poseidon Gröbner Bases Exploratory Systematizes algebraic modeling to find out Gröbner foundation assault complexity on Poseidon situations. Giant-scale experiments will derive an up to date round-number method, enhancing safety evaluation. Cryptography Analysis Native Mixing Develops a sensible, open-source indistinguishability obfuscation (iO) utilizing reversible circuits. This Rust implementation goals to scale from small to giant circuits, bettering privateness for Ethereum purposes. Hyperlink Cryptography Developer tooling GPU-Accelerated R1CS Witness Era based mostly on MLIR Compiler stack Builds 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. Hyperlink Cryptography Ecosystem improvement Excessive Assurance Crypto Software program Workshop The 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 cryptographic Hyperlink Cryptography Analysis Formalising Proximity Turbines and Associated Properties Add new coding concept definitions and theorems to the ArkLib Lean library, specializing in distance preservation and proximity turbines for Reed Solomon codes. Hyperlink Cryptography Analysis Native mixing method to obfuscation Researches native mixing as a brand new method to sensible obfuscation, aiming to show its safety and develop a brand new cryptographic primitive. Hyperlink DAOs/Governance Analysis gov/acc assist & data commons handbook Builds a complete data commons to map open issues, options, and lively contributors in governance analysis. This mission combines knowledge assortment and group workshops to create a reusable framework for analysis coordination. Hyperlink Decentralized Identification Ecosystem improvement Advancing the did:ethr Methodology Specification Advances the did:ethr Decentralized Identifier customary by modernizing its specification and bettering EVM interoperability. This analysis and tooling replace addresses usability gaps to realize DIF Beneficial standing throughout the ecosystem. Hyperlink DeFi Dashboard Open-Supply Analysis Platform Allows systematic examine of blockchain and DeFi transaction patterns. This open-source platform supplies curated datasets, benchmarks, and instruments for reproducible empirical analysis, accelerating cumulative insights. Ethereum Protocol Ecosystem improvement Internship Program 2026, Protocol Snarkification Making certain the mathematical correctness of Ethereum’s scaling infrastructure, this work applies formal verification to cryptographic protocols and zkVM circuits. Ethereum Protocol Ecosystem improvement Ethereum Founders and VCs – Hong Kong Strategic Discussion board A 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 Protocol Dashboard [Pectra Round] Put up-Pectra Community Dashboard Insights into the Beacon community’s validator consolidation and p2p bandwidth utilization at the moment are obtainable. This dashboard tracks enhancements post-Pectra hardfork with real-time and historic knowledge. Hyperlink Ethereum Protocol Utility Lighthouse – November 2025 to April 2026 Develops Lighthouse shopper options for the Fusaka transition and BPO forks. This R&D effort will implement Glamsterdam, tree sync, and increase adversarial testing for improved mainnet resilience and modularity. Hyperlink Ethereum Protocol Ecosystem improvement Efficiency Benchmarking Grant Develops tooling to generate bloated and simply maintainable states 10x Mainnet measurement. This work identifies and addresses efficiency bottlenecks, prioritizing essential, underrepresented areas in stateful testing. Hyperlink Ethereum Protocol Analysis Zeam Part 3 – leanEthereum spec & impl with a zig lean shopper Develops Lean consensus, specializing in PQ consensus, quick finality analysis, and ZK-verified consensus with a ZK lightclient testifying protocol. Hyperlink Layer 2 Dashboard L2BEAT – 2026 Sustains L2BEAT’s essential work offering onchain transparency and safety assessments for Ethereum Layer 2s. Helps 2026 priorities together with an interoperability dashboard, tokens transparency, and a DA threat framework. Hyperlink Nodes and Purchasers Analysis DISC-NG Geth Challenge Proposal Integrates DISC-NG into Geth, changing random walks with structured ads for sooner, extra predictable Ethereum peer discovery. Hyperlink Nodes and Purchasers Utility Erigon & Zilkworm (H1 2026) Develops Erigon’s zkEVM visitor program, Zilkworm, in C++. This enhances Erigon’s capabilities as a high-performance, compact Ethereum shopper with cutting-edge zero-knowledge proof know-how. Hyperlink Nodes and Purchasers Developer tooling Besu shopper integration with HSM Develops a production-ready PKCS#11 plugin for the Besu shopper 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 Purchasers Ecosystem improvement Vero Develops a multi-node validator shopper that mitigates consensus bugs by combining views from a number of execution and consensus shopper pairs. Operators can configure security thresholds earlier than testifying to chain state. Hyperlink Nodes and Purchasers Analysis Ethproofs zkAttester Validates zk-based attestation in a dwell Ethereum staking setting by working a mainnet validator working the Lighthouse zkAttester department. Hyperlink Different Ecosystem improvement Productizing the Commons This 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. Different Ecosystem improvement Ethereum Vancouver 2026 Fosters a vibrant Ethereum ecosystem in Vancouver, connecting startups, researchers, and the general public by way of common, high-signal occasions. This initiative cultivates native expertise and collaboration. Privateness Developer tooling Kohaku – Privateness Pool and TC Integrations Integrates Privateness Pool v1 and TC into the Kohaku SDK, empowering pockets groups to undertake privateness options with minimal developer effort. Hyperlink Privateness Analysis OpenAC Evaluation and Documentation Analyzes 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. Hyperlink Privateness Developer tooling dRPC NodeCore load balancer Funding to assist dRPC’s work on open-sourced RPC load balancer NodeCore. Hyperlink Privateness Developer tooling Oblivious Labs server <> Kohaku Builds an Oblivious server to deal with requests from the Kohaku extension’s embedded execution shopper, enabling personal state studying. Hyperlink Privateness Developer tooling Unblocking Tor bridge scalability Addresses scalability points with Tor bridges to assist the EF Privateness Workforce’s integration work and advance network-level privateness. Hyperlink Safety Analysis Improved Spherical-Skipping for Poseidon(2)(b) Expands cryptanalysis of Poseidon2, exploring superior round-skipping methods and lengthening assaults to new parameter units and modes. This analysis additionally investigates countermeasures like improved spherical fixed choice. Safety Analysis Improved Resultant-based Strategies for the Cryptanalysis of Poseidon(2)(b) Explores resultant levels in Poseidon2 polynomial programs, creating new algorithms for iterated resultants. Benchmarks these towards Gröbner foundation methods for CICO-k, ok >= 2. Safety Developer tooling ERC-7730 v2 Cross-Platform Clear Signing Library Allows cell 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. Hyperlink Safety Developer tooling Kohaku mild shopper Integrates the Colibri stateless shopper 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. Hyperlink Safety Developer tooling ePBS Specification Compliance “ePBS Specification Compliance” extends the prevailing Fork Selection compliance check generator to the ePBS modifications within the Ethereum Consensus Protocol. Hyperlink Safety Analysis Formal Verification of the Brevis Pico RISC-V zkVM Formally verifies the Brevis Pico RISC-V zkVM core in Lean towards the RISC-V specification. It produces a reusable workflow to examine zkVM constraints towards verified instruction semantics, delivering a proof library and tooling. Hyperlink Society and Regulatory Analysis Ethereum Local weather Affect Evaluation Updates 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 knowledge. Society and Regulatory Analysis European Decentralisation Institute 2026 Helps 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. Hyperlink Society and Regulatory Ecosystem improvement Synergy Seoul: A Meetup for Ethereum Builders Synergy 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 throughout the Korean Ethereum ecosystem. UX/UI Ecosystem improvement Enhance UX Work Develops the Open Intents Framework and Interop SDK, advancing Ethereum interoperability requirements like ERC-7930. This work improves cross-chain UX, supporting token requirements, steadiness consolidation, and messaging for wider adoption. Hyperlink UX/UI Analysis Use Case Lab – Program Specialist Helps the Use Case Lab in figuring out and unblocking high-potential Ethereum use circumstances past finance by way of analysis and pilot interventions. Zero-knowledge Proofs Analysis Cryptanalysis of Poseidon inside Fiat-Shamir Investigates cryptographic vulnerabilities in Poseidon-based Fiat-Shamir proof programs and folding schemes. Explores potential weaknesses in FRI-based commitments and whether or not SumCheck reductions expose new assault vectors. Zero-knowledge Proofs Developer tooling Accelerated Minimal Hint Building Optimizes ZisKVM hint building 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. Hyperlink Zero-knowledge Proofs Analysis AVAZAR: Computerized verification instruments for zkVM arithmetization Computerized instruments to confirm the equivalence between witness computation semantics and polynomial constraint programs for zkVMs. Hyperlink Zero-knowledge Proofs Developer tooling The Evolution of the LLZK IR Advances the LLZK intermediate illustration with assist for formal specs, polymorphic free features, and witness technology. Hyperlink Zero-knowledge Proofs Analysis Rust Verification Via Lean 4 Tooling Investigation Investigates the formal verification of Rust parts in zkEVM/zkVM stacks utilizing Lean 4 and the hax toolchain. Hyperlink Zero-knowledge Proofs Analysis Axiom + OpenVM Formal Verification Grant Establishes a Lean-based formal verification system for OpenVM to show the purposeful correctness of RV32IM opcode circuits. Hyperlink