Allocation Update - Q2 2026

DAOs/GovernanceResearchFaculty Research Fellowship: Ethereum Studies (AY 2025–2026)Enables Prof. Strnad to dedicate important probe clip to Ethereum-focused problems, including DAO governance, decentralized strategy administration, and optimistic rollup situation periods, portion advising OpenLab scholars.SecurityResearchEL+CL & Glamsterdam SecurityEnhances Ethereum's information by proactively identifying vulnerabilities successful execution and statement furniture clients up of the Glamsterdam upgrade. This probe strengthens the network's resilience.Nodes and ClientsApplicationLodestar 2026Develops and maintains the Lodestar statement client, implementing hard forks and contributing protocol research. This supports relation UX and ecosystem tooling for TypeScript and Zig Ethereum communities.LinkEthereum ProtocolApplicationLighthouse - May to October 2026Lighthouse lawsuit improvement continues with ePBS, Gloas, and partial messages networking for mainnet. This enactment expands histrion sync, the Diamond investigating framework, and ZK-verified consensus. Formal verification and lawsuit hardening efforts besides progress.LinkCryptographyDeveloper toolingPoulpy PIR toolingDevelops a production-grade, Rust-based Private Information Retrieval library. This enables efficient, batched queries for key-value databases up to 32GB, optimizing server and lawsuit connection without requiring state.LinkEthereum ProtocolDeveloper toolingETHeoremMaps Ethereum statement specifications to lawsuit implementations, ETHeorem enables systematic information appraisal crossed Lighthouse, Prysm, geth, and Reth. This agentic strategy combines LLMs with programme investigation for full-stack coverage.Ethereum ProtocolApplicationReam - Lean Consensus Client successful RustDevelops Ream, a Rust-based Lean Consensus Client, to beforehand post-quantum-ready statement with accelerated finality and 4-second slots. This renewal supports halfway lawsuit development, investigating infrastructure hardening, and scaling devnets to 10,000 validators.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | Robust Incentives GroupModels economical incentives and subordinate behaviour to optimize protocol crippled theory, enhancing web stableness and efficiency.Application InfrastructureResearchEthereum LLM Optimization (Inseeq)Enhances AI models with existent Ethereum improvement tooling and ethskills data. This improves LLM accuracy and strengthens Ethereum's entreaty for developers seeking a blockchain to physique on.LinkCryptographyResearchTechnical Review of Fiat–Shamir From Duplex SpongesAudits the information arguments of Fiat-Shamir transformations instantiated via duplex sponges. This enactment clarifies cardinal abstractions to enactment aboriginal Lean formalization, strengthening zero-knowledge impervious systems.Zero-knowledge ProofsResearchEthproofs Additional Hardware - BrevisBrevis is gathering an on-premise, multi-GPU L1 block-proving stack to stress-test real-world operational resilience. This inaugural volition make an open-source On-Prem Ops Playbook for aboriginal provers.Ethereum ProtocolEcosystem developmentquic-go priorities for ethp2pEnhances quic-go, the Go QUIC implementation underpinning Ethereum's statement furniture networking. This enactment improves performance, transport capabilities, and transportation ratio for go-libp2p.Application InfrastructureDeveloper toolingWeb3j: Sustaining Ethereum’s JVM and Android integration infrastructureKeeps Web3j, the ascendant JVM lawsuit library, successful sync with upcoming Glamsterdam hard fork. This ensures continued seamless integration for Java, Kotlin, and Android applications, alongside AI-targeted documentation.LinkZero-knowledge ProofsResearchEthproofs Additional Hardware - Succinct LabsSuccinct is moving L1 block-proving to on-premise, multi-GPU setups. This volition stress-test operational resilience and trim unreality dependency, generating an open-source On-Prem Ops Playbook for aboriginal provers.Zero-knowledge ProofsResearchEthproofs Additional Hardware - SilentSigEnables ZisK to modulation their L1 block-proving stack to on-premise, multi-GPU configurations. This inaugural volition make an open-source On-Prem Ops Playbook to trim ecosystem dependency connected centralized unreality providers.OtherEcosystem developmentBlockchain Curriculum bid the trainers programme for MindanaoEnables 8 Philippine world institutions to make blockchain curricula. Supports module successful becoming trainers, fostering section Ethereum acquisition done a 6-day program.Application InfrastructureDeveloper toolingmevlog-rs - EVM transactions querying CLI/TUI powered by RevmIndexes on-chain information into a section SQLite database, accessible via TUI and MCP. This instrumentality enables flexible section querying and IPFS sharing of results for developers and LLM agents.LinkEthereum ProtocolResearchTransaction AssertionsEnables users to programmatically verify transaction outcomes earlier signing with EIP-7906. This includes affirmative and antagonistic conditions against immoderate astute contract, enhancing information and idiosyncratic control.LinkApplication layerApplicationSteward, A Self-Sovereign Ethereum Wallet with an On-Device AI AssistantBuilds Steward, a afloat section macOS Ethereum astute relationship wallet. Every component, from the airy lawsuit to the AI assistant, runs on-device, ensuring end-to-end verifiable information and sovereignty.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographyDevelops caller cryptographic primitives and information protocols, enhancing Ethereum's foundational information and privateness for each users.PrivacyResearchThe Open Anonymity ProjectEnables unlinkable entree to gated API services, starting with AI inference. This open-source modular stack uses unsighted signatures and TEE-friendly servers for anonymous recognition verification.Zero-knowledge ProofsResearchEthproofs Additional Hardware - Matter LabsEnhances Matter Labs' L1 block-proving stack by transitioning to on-premise, multi-GPU configurations. This inaugural stress-tests operational resilience and reduces unreality dependency, generating an open-source On-Prem Ops Playbook.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Cryptography ResearchFormalizes the information exemplary of Encrypted Mempools, enhancing transaction privateness and web resilience for Ethereum users.SecurityDeveloper toolingVerityDevelops Verity, a Lean 4-based astute declaration connection and formally verified compiler. It enables developers to write, formally specify, and beryllium declaration properties, compiling to EVM bytecode with verified semantics.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | Protocol SnarkificationVerifies cryptographic protocols and zkVM circuits, ensuring mathematical correctness for Ethereum's scaling infrastructure done ceremonial methods.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Robust Incentives GroupOptimizes protocol crippled mentation by applying mechanics plan and economical modeling to recognize and amended subordinate incentives.Ethereum ProtocolEcosystem developmentZK + investigating exploration workExplores zkVM runtime behaviour crossed divers hardware to optimize proving performance. This probe aims to place bottlenecks and alteration much practical, adjacent real-time proving for Ethereum mainnet applications.Ethereum ProtocolEcosystem developmentInternship Program 2026 | GethSupports Geth's halfway protocol development, lawsuit maintenance, and the implementation of caller Ethereum Improvement Proposals.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol PrototypingTranslates caller protocol probe into moving code. This enables empirical investigating of theoretical assumptions and quantifies plan trade-offs for aboriginal Ethereum upgrades.SecurityApplicationSafeLensEnables offline verification of Gnosis Safe multisig transactions. SafeLens generates grounds packages for signatures, hashes, and enriched proofs, allowing section transaction replay and human-readable details via built-in interpreters.LinkZero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - SilentSigEnables ZisK to modulation L1 block-proving to on-premise, multi-GPU setups. This inaugural stress-tests operational resilience and reduces unreality dependency, generating an open-source On-Prem Ops Playbook for the ecosystem.LinkZero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - BrevisDevelops an open-source On-Prem Ops Playbook, enabling L1 artifact provers to modulation from cloud-hosted environments to resilient multi-GPU configurations, reducing centralized dependencies.LinkNodes and ClientsApplicationGean, A Lean Ethereum Consensus ClientBuilds Ethereum's semipermanent resilience with Gean, a caller Go-based statement client. This open-source implementation replaces quantum-vulnerable cryptography and diversifies the lawsuit ecosystem from Africa.LinkPrivacyDeveloper toolingQuixote Private Reads + Aave IntegrationEnhances Quixote, a Rust EVM lawsuit indexer, with Tor-based backstage reads and GraphQL support. Demonstrates its worth by integrating it into the Aave frontend, replacing TheGraph for improved information access.LinkSecurityDeveloper toolingEthereum Protocol Security Agents - SPECA & LeanAgentDevelops an LLM-powered strategy to automate Ethereum lawsuit spec compliance checking and bug discovery. This includes ceremonial verification of Gasper Lean 4 and a pipeline to span SPECA outputs into Lean 4 ceremonial specifications.SecurityDeveloper toolingCantina Apex AI Code Analyzer for Security VulnerabilitiesEnhances Ethereum's information posture with 52 AI-powered astute declaration scans for lawsuit and protocol repositories implicit the adjacent year.CryptographyResearchleanVM nether Bitcoin constraintsOptimizes leanVM's post-quantum signature aggregation for Ethereum's statement layer. This enactment enhances speed, improves efficiency, and ensures Bitcoin compatibility to found an industry-wide standard.LinkOtherEcosystem developmentProgramming the AI x Ethereum Convergence successful RomeFostering the AI x Ethereum intersection, Urbe Hub successful Rome hosts recurring workshops, demos, and builder sessions. This inaugural cultivates cross-pollination events, strengthening some communities and collaborating with the EF dAI Team.LinkCryptographyDeveloper toolingFast Field Arithmetic for CompPolyDevelops efficient, verified implementations of premier and binary operation fields successful Lean4. This enactment covers tiny STARK fields, ample SNARK/curve fields, and binary operation fields, each proven close via RingEquiv.LinkApplication layerResearchEthereum "Reasonably Necessary" Frontier Use Case R&DInvestigates unsocial Ethereum usage cases with real-world impact. This probe besides explores caller organizational structures beyond accepted crypto setups.Zero-knowledge ProofsDeveloper toolingCompPoly Polynomials Lean Libary - Parts of Roadmap 2Optimizes polynomial valuation successful CompPoly utilizing Horner, batch, and NTT methods. Implements and verifies the Guruswami-Sudan algorithm for zkVMs, implicit with Lean proofs and benchmarks.LinkSecurityApplicationLLM-Based Client Compliance Analysis for EthereumEnhances Ethereum lawsuit information by deploying AI agents to scan Geth, Nethermind, Lighthouse, and Prysm against EIP specifications, identifying divergences and edge-case bugs.OtherResearchOnchain Capital Instruments for Digital Public GoodsDevelops onchain ESG backing instruments for Digital Public Goods, leveraging Ethereum to displacement nationalist goods backing from grants to scalable superior markets. This inaugural designs bond-like mechanisms for large-scale infrastructure.LinkCryptographyDeveloper toolingBivariate Polynomials — CompPoly Phase 2, Item 6Extends CompPoly with precocious bivariate polynomial operations, including Guruswami-Sudan infrastructure and show optimizations similar Kronecker substitution, enhancing cryptographic primitive development.CryptographyResearchThe recursive extraction problemInvestigates the information of recursive SNARKs, probing the limits of cognition extractors successful heavy recursion. This probe volition analyse SNARK variants with superpolynomial extractor complexity to pass caller impervious frameworks for real-world systems.CryptographyEcosystem developmentEfficient Single-Server PIR for Ethereum IndexersEvaluates modern Private Information Retrieval schemes for Ethereum information access. This enactment volition specify a state-of-the-art scheme, implicit with reusable tests, to heighten idiosyncratic privateness and trim MEV risks.Ethereum ProtocolEcosystem developmentInternship Program 2026 | PoseidonDevelops businesslike post-quantum signature schemes for Ethereum's execution layer, leveraging Poseidon-based constructions to hole the web for the post-quantum transition.Zero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - Matter LabsDecentralizes L1 block-proving by moving infrastructure from unreality to on-premise, multi-GPU setups. This inaugural volition open-source an On-Prem Ops Playbook, providing a blueprint for aboriginal provers to heighten resilience.Ethereum ProtocolEcosystem developmentInternship Program 2026 | STEELEnhances Ethereum's halfway Python specifications (EELS) and trial suites (EEST). This captious enactment ensures lawsuit compatibility and strengthens web consensus.PrivacyApplicationKohaku Wallet Frontend Support - Follow UpRefactors the Kohaku browser hold wallet and Railgun SDK integration. This enactment enhances maintainability and modularity, advancing the wallet for broader adoption and assemblage contributions.LinkOtherEcosystem developmentBhutan Blockchain Offline Residency 2026Cultivates a caller cohort of Ethereum developers successful Bhutan done an intensive residency. This programme fosters section endowment and seeds a self-sustaining developer assemblage successful the region.Ethereum ProtocolEcosystem developmentInternship Program 2026 | PandaOpsEnables safe, well-tested web upgrades by gathering customized tooling, deployment scripts, and information pipelines for Protocol R&D.Application InfrastructureEcosystem developmentOpen Intents Framework - Adoption & Maintenance 2026Develops the Open Intents Framework, enhancing cross-chain liquidity rebalancing and supporting ERC-7683 specification development. This expands multi-chain capabilities and tooling for Ethereum.Ethereum ProtocolEcosystem developmentHong Kong Polytechnic University - Sponsorship of the Research Centre for Blockchain Technology (RCBT)Fosters world excellence successful blockchain exertion done scholarships for outstanding MScBT students. Supports endowment improvement and engagement with Devconnect/Devcon, alongside sponsoring Asiacrypt 2026.Zero-knowledge ProofsEcosystem developmentCompPoly Roadmap Contributions — Exponentiation, Multilinear Transforms, ECCOptimizes exponentiation and proves multilinear alteration equivalence for CompPoly. Integrates error-correcting interpolation via Berlekamp-Welch, enhancing the protocol's robustness.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol ConsensusAnalyzes and designs precocious statement mechanisms. This enactment strengthens protocol guarantees, fostering semipermanent web decentralization.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Funding CoordinationFacilitates connections betwixt EF grantees and outer backing sources. This helps indispensable nationalist goods projects unafraid captious enactment from government, philanthropic, and ecosystem partners.Zero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - Succinct LabsEnables decentralized provers to modulation from unreality to on-premise, multi-GPU setups. This inaugural volition output an open-source On-Prem Ops Playbook, strengthening ecosystem resilience and reducing reliance connected centralized infrastructure.SecurityDeveloper toolingOctane: LLM-Powered Protocol Security for Ethereum ClientsEnhances astute declaration information with AI-powered vulnerability detection. This subscription provides 25 broad scans, a task dashboard, and VIP enactment for up to 4 lawsuit projects.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | zkEVMAdvances ZK-EVM research, processing scaling solutions and integrating ZK-proofs straight into the Ethereum execution layer.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol SecurityEnhances Ethereum's information posture done proactive codification reviews, precocious tooling, and robust bug bounty programme management.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol ConsensusAnalyzing statement mechanisms to fortify semipermanent decentralization. This probe helps adjacent the spread betwixt existent protocol guarantees and aboriginal web goals.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographySupports probe into precocious cryptographic primitives and information protocols, ensuring Ethereum's continued enactment successful secure, privacy-preserving technology.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographyAdvances Ethereum's cryptographic information by designing and analyzing caller primitives and protocols. This ensures robust, privacy-preserving exertion for the future.Ethereum ProtocolEcosystem developmentVerified zkEVM ArkLib Day astatine ZKProof 8Expands ZKP standardization efforts by bringing unneurotic implicit 1,000 practitioners astatine ArkLib Day astatine ZKProof 8. This lawsuit fosters collaboration connected ceremonial verification and applied zero-knowledge proofs.LinkSecurityDeveloper toolingNoir to LLZK compilerDevelops a Noir to LLZK compiler, bridging 2 captious SNARK ecosystems. This enhances interoperability and expands the developer basal for LLZK tooling, strengthening Ethereum's SNARK information efforts.LinkApplication layerDeveloper toolingComposable Orchestration, Batching Ethereum UX and InteropEnables dynamic astute relationship batching and predicate-based execution. This task standardizes and open-sources a accumulation orchestration stack, making composable multi-step, multi-chain transactions a nationalist bully for the Ethereum ecosystem.LinkZero-knowledge ProofsDeveloper toolingImproved Proving Infrastructure for RISC-V zkVMsVerifies SP1 Hypercube zkVM's arithmetization utilizing Lean 4, formally proving its constraint systems correctly instrumentality RISC-V ISA semantics for each instruction.Ethereum ProtocolEcosystem developmentInternship Program 2026 | zkEVMAdvances ZK-EVM research, processing scaling solutions and integrating ZK-proofs straight into Ethereum's execution furniture for enhanced efficiency.PrivacyApplicationKohaku Wallet Frontend SupportRefines the Kohaku browser hold for a robust, privacy-first wallet UX connected Sepolia. Integrates Privacy Pools and Railgun, optimizing the Ambire fork and idiosyncratic flows.Link