Allocation Update – Q2 2026

DAOs/Governance Analysis College Analysis Fellowship: Ethereum Research (AY 2025–2026) Permits Prof. Strnad to dedicate substantial analysis time to Ethereum-focused issues, together with DAO governance, decentralized system administration, and optimistic rollup problem intervals, whereas advising OpenLab students. Safety Analysis EL+CL & Glamsterdam Safety Enhances Ethereum’s safety by proactively figuring out vulnerabilities in execution and consensus layer purchasers forward of the Glamsterdam improve. This analysis strengthens the community’s resilience. Nodes and Purchasers Software Lodestar 2026 Develops and maintains the Lodestar consensus shopper, implementing onerous forks and contributing protocol analysis. This helps operator UX and ecosystem tooling for TypeScript and Zig Ethereum communities. Link Ethereum Protocol Software Lighthouse – Could to October 2026 Lighthouse shopper improvement continues with ePBS, Gloas, and partial messages networking for mainnet. This work expands tree sync, the Diamond testing framework, and ZK-verified consensus. Formal verification and shopper hardening efforts additionally progress. Link Cryptography Developer tooling Poulpy PIR tooling Develops a production-grade, Rust-based Non-public Data Retrieval library. This permits environment friendly, batched queries for key-value databases as much as 32GB, optimizing server and shopper communication with out requiring state. Link Ethereum Protocol Developer tooling ETHeorem Maps Ethereum consensus specs to shopper implementations, ETHeorem allows systematic safety evaluation throughout Lighthouse, Prysm, geth, and Reth. This agentic system combines LLMs with program evaluation for full-stack protection. Ethereum Protocol Software Ream – Lean Consensus Shopper in Rust Develops Ream, a Rust-based Lean Consensus Shopper, to advance post-quantum-ready consensus with quick finality and 4-second slots. This renewal helps core shopper improvement, testing infrastructure hardening, and scaling devnets to 10,000 validators. Link Ethereum Protocol Ecosystem improvement Internship Program 2026 | Strong Incentives Group Fashions financial incentives and participant habits to optimize protocol recreation concept, enhancing community stability and effectivity. Software Infrastructure Analysis Ethereum LLM Optimization (Inseeq) Enhances AI fashions with present Ethereum improvement tooling and ethskills information. This improves LLM accuracy and strengthens Ethereum’s enchantment for builders looking for a blockchain to construct on. Link Cryptography Analysis Technical Evaluate of Fiat–Shamir From Duplex Sponges Audits the safety arguments of Fiat-Shamir transformations instantiated by way of duplex sponges. This work clarifies key abstractions to help future Lean formalization, strengthening zero-knowledge proof methods. Zero-knowledge Proofs Analysis Ethproofs Extra {Hardware} – Brevis Brevis is constructing an on-premise, multi-GPU L1 block-proving stack to stress-test real-world operational resilience. This initiative will generate an open-source On-Prem Ops Playbook for future provers. Ethereum Protocol Ecosystem improvement quic-go priorities for ethp2p Enhances quic-go, the Go QUIC implementation underpinning Ethereum’s consensus layer networking. This work improves efficiency, transport capabilities, and connection effectivity for go-libp2p. Software Infrastructure Developer tooling Web3j: Sustaining Ethereum’s JVM and Android integration infrastructure Retains Web3j, the dominant JVM shopper library, in sync with upcoming Glamsterdam onerous fork. This ensures continued seamless integration for Java, Kotlin, and Android purposes, alongside AI-targeted documentation. Link Zero-knowledge Proofs Analysis Ethproofs Extra {Hardware} – Succinct Labs Succinct is transferring L1 block-proving to on-premise, multi-GPU setups. This may stress-test operational resilience and scale back cloud dependency, producing an open-source On-Prem Ops Playbook for future provers. Zero-knowledge Proofs Analysis Ethproofs Extra {Hardware} – SilentSig Permits ZisK to transition their L1 block-proving stack to on-premise, multi-GPU configurations. This initiative will generate an open-source On-Prem Ops Playbook to scale back ecosystem dependency on centralized cloud suppliers. Different Ecosystem improvement Blockchain Curriculum prepare the trainers program for Mindanao Permits 8 Philippine educational establishments to develop blockchain curricula. Helps school in changing into trainers, fostering native Ethereum training by a 6-day program. Software Infrastructure Developer tooling mevlog-rs – EVM transactions querying CLI/TUI powered by Revm Indexes on-chain information into an area SQLite database, accessible by way of TUI and MCP. This device allows versatile native querying and IPFS sharing of outcomes for builders and LLM brokers. Link Ethereum Protocol Analysis Transaction Assertions Permits customers to programmatically confirm transaction outcomes earlier than signing with EIP-7906. This contains optimistic and damaging situations towards any good contract, enhancing safety and person management. Link Software layer Software Steward, A Self-Sovereign Ethereum Pockets with an On-System AI Assistant Builds Steward, a completely native macOS Ethereum good account pockets. Each part, from the sunshine shopper to the AI assistant, runs on-device, guaranteeing end-to-end verifiable safety and sovereignty. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Cryptography Develops novel cryptographic primitives and safety protocols, enhancing Ethereum’s foundational safety and privateness for all customers. Privateness Analysis The Open Anonymity Venture Permits unlinkable entry to gated API companies, beginning with AI inference. This open-source modular stack makes use of blind signatures and TEE-friendly servers for nameless credit score verification. Zero-knowledge Proofs Analysis Ethproofs Extra {Hardware} – Matter Labs Enhances Matter Labs’ L1 block-proving stack by transitioning to on-premise, multi-GPU configurations. This initiative stress-tests operational resilience and reduces cloud dependency, producing an open-source On-Prem Ops Playbook. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Cryptography Analysis Formalizes the safety mannequin of Encrypted Mempools, enhancing transaction privateness and community resilience for Ethereum customers. Safety Developer tooling Verity Develops Verity, a Lean 4-based good contract language and formally verified compiler. It allows builders to put in writing, formally specify, and show contract properties, compiling to EVM bytecode with verified semantics. Link Ethereum Protocol Ecosystem improvement Internship Program 2026 | Protocol Snarkification Verifies cryptographic protocols and zkVM circuits, guaranteeing mathematical correctness for Ethereum’s scaling infrastructure by formal strategies. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Strong Incentives Group Optimizes protocol recreation concept by making use of mechanism design and financial modeling to grasp and enhance participant incentives. Ethereum Protocol Ecosystem improvement ZK + testing exploration work Explores zkVM runtime habits throughout numerous {hardware} to optimize proving efficiency. This analysis goals to establish bottlenecks and allow extra sensible, close to real-time proving for Ethereum mainnet purposes. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Geth Helps Geth’s core protocol improvement, shopper upkeep, and the implementation of recent Ethereum Enchancment Proposals. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Protocol Prototyping Interprets novel protocol analysis into working code. This permits empirical testing of theoretical assumptions and quantifies design trade-offs for future Ethereum upgrades. Safety Software SafeLens Permits offline verification of Gnosis Secure multisig transactions. SafeLens generates proof packages for signatures, hashes, and enriched proofs, permitting native transaction replay and human-readable particulars by way of built-in interpreters. Link Zero-knowledge Proofs Analysis Ethproofs On-Prem Multi-GPU Prover Initiative – SilentSig Permits ZisK to transition L1 block-proving to on-premise, multi-GPU setups. This initiative stress-tests operational resilience and reduces cloud dependency, producing an open-source On-Prem Ops Playbook for the ecosystem. Link Zero-knowledge Proofs Analysis Ethproofs On-Prem Multi-GPU Prover Initiative – Brevis Develops an open-source On-Prem Ops Playbook, enabling L1 block provers to transition from cloud-hosted environments to resilient multi-GPU configurations, lowering centralized dependencies. Link Nodes and Purchasers Software Gean, A Lean Ethereum Consensus Shopper Builds Ethereum’s long-term resilience with Gean, a brand new Go-based consensus shopper. This open-source implementation replaces quantum-vulnerable cryptography and diversifies the shopper ecosystem from Africa. Link Privateness Developer tooling Quixote Non-public Reads + Aave Integration Enhances Quixote, a Rust EVM occasion indexer, with Tor-based non-public reads and GraphQL help. Demonstrates its worth by integrating it into the Aave frontend, changing TheGraph for improved information entry. Link Safety Developer tooling Ethereum Protocol Safety Brokers – SPECA & LeanAgent Develops an LLM-powered system to automate Ethereum shopper spec compliance checking and bug discovery. This contains formal verification of Gasper Lean 4 and a pipeline to bridge SPECA outputs into Lean 4 formal specs. Safety Developer tooling Cantina Apex AI Code Analyzer for Safety Vulnerabilities Enhances Ethereum’s safety posture with 52 AI-powered good contract scans for shopper and protocol repositories over the subsequent yr. Cryptography Analysis leanVM below Bitcoin constraints Optimizes leanVM’s post-quantum signature aggregation for Ethereum’s consensus layer. This work enhances pace, improves effectivity, and ensures Bitcoin compatibility to ascertain an industry-wide commonplace. Link Different Ecosystem improvement Programming the AI x Ethereum Convergence in Rome Fostering the AI x Ethereum intersection, Urbe Hub in Rome hosts recurring workshops, demos, and builder periods. This initiative cultivates cross-pollination occasions, strengthening each communities and collaborating with the EF dAI Workforce. Link Cryptography Developer tooling Quick Discipline Arithmetic for CompPoly Develops environment friendly, verified implementations of prime and binary tower fields in Lean4. This work covers small STARK fields, giant SNARK/curve fields, and binary tower fields, all confirmed right by way of RingEquiv. Link Software layer Analysis Ethereum “Moderately Crucial” Frontier Use Case R&D Investigates distinctive Ethereum use circumstances with real-world affect. This analysis additionally explores novel organizational buildings past conventional crypto setups. Zero-knowledge Proofs Developer tooling CompPoly Polynomials Lean Libary – Elements of Roadmap 2 Optimizes polynomial analysis in CompPoly utilizing Horner, batch, and NTT strategies. Implements and verifies the Guruswami-Sudan algorithm for zkVMs, full with Lean proofs and benchmarks. Link Safety Software LLM-Primarily based Shopper Compliance Evaluation for Ethereum Enhances Ethereum shopper safety by deploying AI brokers to scan Geth, Nethermind, Lighthouse, and Prysm towards EIP specs, figuring out divergences and edge-case bugs. Different Analysis Onchain Capital Devices for Digital Public Items Develops onchain ESG funding devices for Digital Public Items, leveraging Ethereum to shift public items funding from grants to scalable capital markets. This initiative designs bond-like mechanisms for large-scale infrastructure. Link Cryptography Developer tooling Bivariate Polynomials — CompPoly Part 2, Merchandise 6 Extends CompPoly with superior bivariate polynomial operations, together with Guruswami-Sudan infrastructure and efficiency optimizations like Kronecker substitution, enhancing cryptographic primitive improvement. Cryptography Analysis The recursive extraction drawback Investigates the safety of recursive SNARKs, probing the boundaries of information extractors in deep recursion. This analysis will analyze SNARK variants with superpolynomial extractor complexity to tell new proof frameworks for real-world methods. Cryptography Ecosystem improvement Environment friendly Single-Server PIR for Ethereum Indexers Evaluates trendy Non-public Data Retrieval schemes for Ethereum information entry. This work will specify a state-of-the-art scheme, full with reusable checks, to boost person privateness and scale back MEV dangers. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Poseidon Develops environment friendly post-quantum signature schemes for Ethereum’s execution layer, leveraging Poseidon-based constructions to arrange the community for the post-quantum transition. Zero-knowledge Proofs Analysis Ethproofs On-Prem Multi-GPU Prover Initiative – Matter Labs Decentralizes L1 block-proving by transferring infrastructure from cloud to on-premise, multi-GPU setups. This initiative will open-source an On-Prem Ops Playbook, offering a blueprint for future provers to boost resilience. Ethereum Protocol Ecosystem improvement Internship Program 2026 | STEEL Enhances Ethereum’s core Python specs (EELS) and check suites (EEST). This important work ensures shopper compatibility and strengthens community consensus. Privateness Software Kohaku Pockets Frontend Help – Observe Up Refactors the Kohaku browser extension pockets and Railgun SDK integration. This work enhances maintainability and modularity, advancing the pockets for broader adoption and group contributions. Link Different Ecosystem improvement Bhutan Blockchain Offline Residency 2026 Cultivates a brand new cohort of Ethereum builders in Bhutan by an intensive residency. This program fosters native expertise and seeds a self-sustaining developer group within the area. Ethereum Protocol Ecosystem improvement Internship Program 2026 | PandaOps Permits secure, well-tested community upgrades by constructing customized tooling, deployment scripts, and information pipelines for Protocol R&D. Software Infrastructure Ecosystem improvement Open Intents Framework – Adoption & Upkeep 2026 Develops the Open Intents Framework, enhancing cross-chain liquidity rebalancing and supporting ERC-7683 specification improvement. This expands multi-chain capabilities and tooling for Ethereum. Ethereum Protocol Ecosystem improvement Hong Kong Polytechnic College – Sponsorship of the Analysis Centre for Blockchain Know-how (RCBT) Fosters educational excellence in blockchain know-how by scholarships for excellent MScBT college students. Helps expertise improvement and engagement with Devconnect/Devcon, alongside sponsoring Asiacrypt 2026. Zero-knowledge Proofs Ecosystem improvement CompPoly Roadmap Contributions — Exponentiation, Multilinear Transforms, ECC Optimizes exponentiation and proves multilinear remodel equivalence for CompPoly. Integrates error-correcting interpolation by way of Berlekamp-Welch, enhancing the protocol’s robustness. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Protocol Consensus Analyzes and designs superior consensus mechanisms. This work strengthens protocol ensures, fostering long-term community decentralization. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Funding Coordination Facilitates connections between EF grantees and exterior funding sources. This helps important public items initiatives safe very important help from authorities, philanthropic, and ecosystem companions. Zero-knowledge Proofs Analysis Ethproofs On-Prem Multi-GPU Prover Initiative – Succinct Labs Permits decentralized provers to transition from cloud to on-premise, multi-GPU setups. This initiative will yield an open-source On-Prem Ops Playbook, strengthening ecosystem resilience and lowering reliance on centralized infrastructure. Safety Developer tooling Octane: LLM-Powered Protocol Safety for Ethereum Purchasers Enhances good contract safety with AI-powered vulnerability detection. This subscription supplies 25 complete scans, a mission dashboard, and VIP help for as much as 4 shopper initiatives. Link Ethereum Protocol Ecosystem improvement Internship Program 2026 | zkEVM Advances ZK-EVM analysis, creating scaling options and integrating ZK-proofs immediately into the Ethereum execution layer. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Protocol Safety Enhances Ethereum’s safety posture by proactive code opinions, superior tooling, and strong bug bounty program administration. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Protocol Consensus Analyzing consensus mechanisms to strengthen long-term decentralization. This analysis helps shut the hole between present protocol ensures and future community targets. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Cryptography Helps analysis into superior cryptographic primitives and safety protocols, guaranteeing Ethereum’s continued management in safe, privacy-preserving know-how. Ethereum Protocol Ecosystem improvement Internship Program 2026 | Cryptography Advances Ethereum’s cryptographic safety by designing and analyzing new primitives and protocols. This ensures strong, privacy-preserving know-how for the longer term. Ethereum Protocol Ecosystem improvement Verified zkEVM ArkLib Day at ZKProof 8 Expands ZKP standardization efforts by bringing collectively over 1,000 practitioners at ArkLib Day at ZKProof 8. This occasion fosters collaboration on formal verification and utilized zero-knowledge proofs. Link Safety Developer tooling Noir to LLZK compiler Develops a Noir to LLZK compiler, bridging two important SNARK ecosystems. This enhances interoperability and expands the developer base for LLZK tooling, strengthening Ethereum’s SNARK safety efforts. Link Software layer Developer tooling Composable Orchestration, Batching Ethereum UX and Interop Permits dynamic good account batching and predicate-based execution. This mission standardizes and open-sources a manufacturing orchestration stack, making composable multi-step, multi-chain transactions a public good for the Ethereum ecosystem. Link Zero-knowledge Proofs Developer tooling Improved Proving Infrastructure for RISC-V zkVMs Verifies SP1 Hypercube zkVM’s arithmetization utilizing Lean 4, formally proving its constraint methods accurately implement RISC-V ISA semantics for every instruction. Ethereum Protocol Ecosystem improvement Internship Program 2026 | zkEVM Advances ZK-EVM analysis, creating scaling options and integrating ZK-proofs immediately into Ethereum’s execution layer for enhanced effectivity. Privateness Software Kohaku Pockets Frontend Help Refines the Kohaku browser extension for a strong, privacy-first pockets UX on Sepolia. Integrates Privateness Swimming pools and Railgun, optimizing the Ambire fork and person flows. Link