DAOs/GovernanceResearchFaculty Research Fellowship: Ethereum Studies (AY 2025–2026)Enables Prof. Strnad to dedicate substantial research time to Ethereum-focused problems, including DAO governance, decentralized system administration, and optimistic rollup challenge periods, while advising OpenLab scholars.SecurityResearchEL+CL & Glamsterdam SecurityEnhances Ethereum's security by proactively identifying vulnerabilities in execution and consensus layer clients ahead of the Glamsterdam upgrade. This research strengthens the network's resilience.Nodes and ClientsApplicationLodestar 2026Develops and maintains the Lodestar consensus client, implementing hard forks and contributing protocol research. This supports operator UX and ecosystem tooling for TypeScript and Zig Ethereum communities.LinkEthereum ProtocolApplicationLighthouse - May to October 2026Lighthouse client development 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 client hardening efforts also 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 client communication without requiring state.LinkEthereum ProtocolDeveloper toolingETHeoremMaps Ethereum consensus specifications to client implementations, ETHeorem enables systematic security assessment across Lighthouse, Prysm, geth, and Reth. This agentic system combines LLMs with program analysis for full-stack coverage.Ethereum ProtocolApplicationReam - Lean Consensus Client in RustDevelops Ream, a Rust-based Lean Consensus Client, to advance post-quantum-ready consensus with fast finality and 4-second slots. This renewal supports core client development, testing infrastructure hardening, and scaling devnets to 10,000 validators.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | Robust Incentives GroupModels economic incentives and participant behavior to optimize protocol game theory, enhancing network stability and efficiency.Application InfrastructureResearchEthereum LLM Optimization (Inseeq)Enhances AI models with current Ethereum development tooling and ethskills data. This improves LLM accuracy and strengthens Ethereum's appeal for developers seeking a blockchain to build on.LinkCryptographyResearchTechnical Review of Fiat–Shamir From Duplex SpongesAudits the security arguments of Fiat-Shamir transformations instantiated via duplex sponges. This work clarifies key abstractions to support future Lean formalization, strengthening zero-knowledge proof systems.Zero-knowledge ProofsResearchEthproofs Additional Hardware - BrevisBrevis is building 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 ProtocolEcosystem developmentquic-go priorities for ethp2pEnhances quic-go, the Go QUIC implementation underpinning Ethereum's consensus layer networking. This work improves performance, transport capabilities, and connection efficiency for go-libp2p.Application InfrastructureDeveloper toolingWeb3j: Sustaining Ethereum’s JVM and Android integration infrastructureKeeps Web3j, the dominant JVM client library, in 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 will stress-test operational resilience and reduce cloud dependency, generating an open-source On-Prem Ops Playbook for future provers.Zero-knowledge ProofsResearchEthproofs Additional Hardware - SilentSigEnables 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 reduce ecosystem dependency on centralized cloud providers.OtherEcosystem developmentBlockchain Curriculum train the trainers program for MindanaoEnables 8 Philippine academic institutions to develop blockchain curricula. Supports faculty in becoming trainers, fostering local Ethereum education through a 6-day program.Application InfrastructureDeveloper toolingmevlog-rs - EVM transactions querying CLI/TUI powered by RevmIndexes on-chain data into a local SQLite database, accessible via TUI and MCP. This tool enables flexible local querying and IPFS sharing of results for developers and LLM agents.LinkEthereum ProtocolResearchTransaction AssertionsEnables users to programmatically verify transaction outcomes before signing with EIP-7906. This includes positive and negative conditions against any smart contract, enhancing security and user control.LinkApplication layerApplicationSteward, A Self-Sovereign Ethereum Wallet with an On-Device AI AssistantBuilds Steward, a fully local macOS Ethereum smart account wallet. Every component, from the light client to the AI assistant, runs on-device, ensuring end-to-end verifiable security and sovereignty.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographyDevelops novel cryptographic primitives and security protocols, enhancing Ethereum's foundational security and privacy for all users.PrivacyResearchThe Open Anonymity ProjectEnables unlinkable access to gated API services, starting with AI inference. This open-source modular stack uses blind signatures and TEE-friendly servers for anonymous credit verification.Zero-knowledge ProofsResearchEthproofs Additional Hardware - Matter LabsEnhances Matter Labs' L1 block-proving stack by transitioning to on-premise, multi-GPU configurations. This initiative stress-tests operational resilience and reduces cloud dependency, generating an open-source On-Prem Ops Playbook.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Cryptography ResearchFormalizes the security model of Encrypted Mempools, enhancing transaction privacy and network resilience for Ethereum users.SecurityDeveloper toolingVerityDevelops Verity, a Lean 4-based smart contract language and formally verified compiler. It enables developers to write, formally specify, and prove contract 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 through formal methods.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Robust Incentives GroupOptimizes protocol game theory by applying mechanism design and economic modeling to understand and improve participant incentives.Ethereum ProtocolEcosystem developmentZK + testing exploration workExplores zkVM runtime behavior across diverse hardware to optimize proving performance. This research aims to identify bottlenecks and enable more practical, near real-time proving for Ethereum mainnet applications.Ethereum ProtocolEcosystem developmentInternship Program 2026 | GethSupports Geth's core protocol development, client maintenance, and the implementation of new Ethereum Improvement Proposals.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol PrototypingTranslates novel protocol research into working code. This enables empirical testing of theoretical assumptions and quantifies design trade-offs for future Ethereum upgrades.SecurityApplicationSafeLensEnables offline verification of Gnosis Safe multisig transactions. SafeLens generates evidence packages for signatures, hashes, and enriched proofs, allowing local transaction replay and human-readable details via built-in interpreters.LinkZero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - SilentSigEnables ZisK to transition L1 block-proving to on-premise, multi-GPU setups. This initiative stress-tests operational resilience and reduces cloud 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 block provers to transition from cloud-hosted environments to resilient multi-GPU configurations, reducing centralized dependencies.LinkNodes and ClientsApplicationGean, A Lean Ethereum Consensus ClientBuilds Ethereum's long-term resilience with Gean, a new Go-based consensus client. This open-source implementation replaces quantum-vulnerable cryptography and diversifies the client ecosystem from Africa.LinkPrivacyDeveloper toolingQuixote Private Reads + Aave IntegrationEnhances Quixote, a Rust EVM event indexer, with Tor-based private reads and GraphQL support. Demonstrates its value by integrating it into the Aave frontend, replacing TheGraph for improved data access.LinkSecurityDeveloper toolingEthereum Protocol Security Agents - SPECA & LeanAgentDevelops an LLM-powered system to automate Ethereum client spec compliance checking and bug discovery. This includes formal verification of Gasper Lean 4 and a pipeline to bridge SPECA outputs into Lean 4 formal specifications.SecurityDeveloper toolingCantina Apex AI Code Analyzer for Security VulnerabilitiesEnhances Ethereum's security posture with 52 AI-powered smart contract scans for client and protocol repositories over the next year.CryptographyResearchleanVM under Bitcoin constraintsOptimizes leanVM's post-quantum signature aggregation for Ethereum's consensus layer. This work enhances speed, improves efficiency, and ensures Bitcoin compatibility to establish an industry-wide standard.LinkOtherEcosystem developmentProgramming the AI x Ethereum Convergence in RomeFostering the AI x Ethereum intersection, Urbe Hub in Rome hosts recurring workshops, demos, and builder sessions. This initiative cultivates cross-pollination events, strengthening both communities and collaborating with the EF dAI Team.LinkCryptographyDeveloper toolingFast Field Arithmetic for CompPolyDevelops efficient, verified implementations of prime and binary tower fields in Lean4. This work covers small STARK fields, large SNARK/curve fields, and binary tower fields, all proven correct via RingEquiv.LinkApplication layerResearchEthereum "Reasonably Necessary" Frontier Use Case R&DInvestigates unique Ethereum use cases with real-world impact. This research also explores novel organizational structures beyond traditional crypto setups.Zero-knowledge ProofsDeveloper toolingCompPoly Polynomials Lean Libary - Parts of Roadmap 2Optimizes polynomial evaluation in CompPoly using Horner, batch, and NTT methods. Implements and verifies the Guruswami-Sudan algorithm for zkVMs, complete with Lean proofs and benchmarks.LinkSecurityApplicationLLM-Based Client Compliance Analysis for EthereumEnhances Ethereum client security 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 funding instruments for Digital Public Goods, leveraging Ethereum to shift public goods funding from grants to scalable capital markets. This initiative designs bond-like mechanisms for large-scale infrastructure.LinkCryptographyDeveloper toolingBivariate Polynomials — CompPoly Phase 2, Item 6Extends CompPoly with advanced bivariate polynomial operations, including Guruswami-Sudan infrastructure and performance optimizations like Kronecker substitution, enhancing cryptographic primitive development.CryptographyResearchThe recursive extraction problemInvestigates the security of recursive SNARKs, probing the limits of knowledge extractors in deep recursion. This research will analyze SNARK variants with superpolynomial extractor complexity to inform new proof frameworks for real-world systems.CryptographyEcosystem developmentEfficient Single-Server PIR for Ethereum IndexersEvaluates modern Private Information Retrieval schemes for Ethereum data access. This work will specify a state-of-the-art scheme, complete with reusable tests, to enhance user privacy and reduce MEV risks.Ethereum ProtocolEcosystem developmentInternship Program 2026 | PoseidonDevelops efficient post-quantum signature schemes for Ethereum's execution layer, leveraging Poseidon-based constructions to prepare the network for the post-quantum transition.Zero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - Matter LabsDecentralizes L1 block-proving by moving infrastructure from cloud to on-premise, multi-GPU setups. This initiative will open-source an On-Prem Ops Playbook, providing a blueprint for future provers to enhance resilience.Ethereum ProtocolEcosystem developmentInternship Program 2026 | STEELEnhances Ethereum's core Python specifications (EELS) and test suites (EEST). This critical work ensures client compatibility and strengthens network consensus.PrivacyApplicationKohaku Wallet Frontend Support - Follow UpRefactors the Kohaku browser extension wallet and Railgun SDK integration. This work enhances maintainability and modularity, advancing the wallet for broader adoption and community contributions.LinkOtherEcosystem developmentBhutan Blockchain Offline Residency 2026Cultivates a new cohort of Ethereum developers in Bhutan through an intensive residency. This program fosters local talent and seeds a self-sustaining developer community in the region.Ethereum ProtocolEcosystem developmentInternship Program 2026 | PandaOpsEnables safe, well-tested network upgrades by building custom tooling, deployment scripts, and data 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 academic excellence in blockchain technology through scholarships for outstanding MScBT students. Supports talent development and engagement with Devconnect/Devcon, alongside sponsoring Asiacrypt 2026.Zero-knowledge ProofsEcosystem developmentCompPoly Roadmap Contributions — Exponentiation, Multilinear Transforms, ECCOptimizes exponentiation and proves multilinear transform equivalence for CompPoly. Integrates error-correcting interpolation via Berlekamp-Welch, enhancing the protocol's robustness.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol ConsensusAnalyzes and designs advanced consensus mechanisms. This work strengthens protocol guarantees, fostering long-term network decentralization.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Funding CoordinationFacilitates connections between EF grantees and external funding sources. This helps essential public goods projects secure vital support from government, philanthropic, and ecosystem partners.Zero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative - Succinct LabsEnables 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 reducing reliance on centralized infrastructure.SecurityDeveloper toolingOctane: LLM-Powered Protocol Security for Ethereum ClientsEnhances smart contract security with AI-powered vulnerability detection. This subscription provides 25 comprehensive scans, a project dashboard, and VIP support for up to four client projects.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | zkEVMAdvances ZK-EVM research, developing scaling solutions and integrating ZK-proofs directly into the Ethereum execution layer.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol SecurityEnhances Ethereum's security posture through proactive code reviews, advanced tooling, and robust bug bounty program management.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol ConsensusAnalyzing consensus mechanisms to strengthen long-term decentralization. This research helps close the gap between current protocol guarantees and future network goals.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographySupports research into advanced cryptographic primitives and security protocols, ensuring Ethereum's continued leadership in secure, privacy-preserving technology.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographyAdvances Ethereum's cryptographic security by designing and analyzing new primitives and protocols. This ensures robust, privacy-preserving technology for the future.Ethereum ProtocolEcosystem developmentVerified zkEVM ArkLib Day at ZKProof 8Expands ZKP standardization efforts by bringing together over 1,000 practitioners at ArkLib Day at ZKProof 8. This event fosters collaboration on formal verification and applied zero-knowledge proofs.LinkSecurityDeveloper toolingNoir to LLZK compilerDevelops a Noir to LLZK compiler, bridging two critical SNARK ecosystems. This enhances interoperability and expands the developer base for LLZK tooling, strengthening Ethereum's SNARK security efforts.LinkApplication layerDeveloper toolingComposable Orchestration, Batching Ethereum UX and InteropEnables dynamic smart account batching and predicate-based execution. This project standardizes and open-sources a production orchestration stack, making composable multi-step, multi-chain transactions a public good for the Ethereum ecosystem.LinkZero-knowledge ProofsDeveloper toolingImproved Proving Infrastructure for RISC-V zkVMsVerifies SP1 Hypercube zkVM's arithmetization using Lean 4, formally proving its constraint systems correctly implement RISC-V ISA semantics for each instruction.Ethereum ProtocolEcosystem developmentInternship Program 2026 | zkEVMAdvances ZK-EVM research, developing scaling solutions and integrating ZK-proofs directly into Ethereum's execution layer for enhanced efficiency.PrivacyApplicationKohaku Wallet Frontend SupportRefines the Kohaku browser extension for a robust, privacy-first wallet UX on Sepolia. Integrates Privacy Pools and Railgun, optimizing the Ambire fork and user flows.Link