DAOs/GovernanceResearchFaculty Analysis Fellowship: Ethereum Research (AY 2025–2026)Allows Prof. Strnad to dedicate substantial analysis time to Ethereum-focused issues, together with DAO governance, decentralized system administration, and optimistic rollup problem durations, whereas advising OpenLab students.SecurityResearchEL+CL & Glamsterdam SecurityEnhances 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 ClientsApplicationLodestar 2026Develops and maintains the Lodestar consensus consumer, implementing arduous forks and contributing protocol analysis. This helps operator UX and ecosystem tooling for TypeScript and Zig Ethereum communities.LinkEthereum ProtocolApplicationLighthouse – Might to October 2026Lighthouse consumer 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 consumer hardening efforts additionally progress.LinkCryptographyDeveloper toolingPoulpy PIR toolingDevelops a production-grade, Rust-based Personal Info Retrieval library. This permits environment friendly, batched queries for key-value databases as much as 32GB, optimizing server and consumer communication with out requiring state.LinkEthereum ProtocolDeveloper toolingETHeoremMaps Ethereum consensus specs to consumer implementations, ETHeorem permits systematic safety evaluation throughout Lighthouse, Prysm, geth, and Reth. This agentic system combines LLMs with program evaluation for full-stack protection.Ethereum ProtocolApplicationReam – Lean Consensus Consumer in RustDevelops Ream, a Rust-based Lean Consensus Consumer, to advance post-quantum-ready consensus with quick finality and 4-second slots. This renewal helps core consumer improvement, testing infrastructure hardening, and scaling devnets to 10,000 validators.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | Strong Incentives GroupModels financial incentives and participant habits to optimize protocol sport idea, enhancing community stability and effectivity.Software InfrastructureResearchEthereum 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 searching for a blockchain to construct on.LinkCryptographyResearchTechnical Overview of Fiat–Shamir From Duplex SpongesAudits the safety arguments of Fiat-Shamir transformations instantiated through duplex sponges. This work clarifies key abstractions to assist future Lean formalization, strengthening zero-knowledge proof programs.Zero-knowledge ProofsResearchEthproofs Extra {Hardware} – BrevisBrevis 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 ProtocolEcosystem developmentquic-go priorities for ethp2pEnhances 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 InfrastructureDeveloper toolingWeb3j: Sustaining Ethereum’s JVM and Android integration infrastructureKeeps Web3j, the dominant JVM consumer library, in sync with upcoming Glamsterdam arduous fork. This ensures continued seamless integration for Java, Kotlin, and Android functions, alongside AI-targeted documentation.LinkZero-knowledge ProofsResearchEthproofs Extra {Hardware} – Succinct LabsSuccinct 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 ProofsResearchEthproofs Extra {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 cut back ecosystem dependency on centralized cloud suppliers.OtherEcosystem developmentBlockchain Curriculum prepare the trainers program for MindanaoEnables 8 Philippine educational establishments to develop blockchain curricula. Helps school in changing into trainers, fostering native Ethereum training by a 6-day program.Software InfrastructureDeveloper toolingmevlog-rs – EVM transactions querying CLI/TUI powered by RevmIndexes on-chain information into an area SQLite database, accessible through TUI and MCP. This device permits versatile native querying and IPFS sharing of outcomes for builders and LLM brokers.LinkEthereum ProtocolResearchTransaction AssertionsEnables customers to programmatically confirm transaction outcomes earlier than signing with EIP-7906. This consists of optimistic and detrimental circumstances in opposition to any sensible contract, enhancing safety and consumer management.LinkApplication layerApplicationSteward, A Self-Sovereign Ethereum Pockets with an On-Gadget AI AssistantBuilds Steward, a completely native macOS Ethereum sensible account pockets. Each element, from the sunshine consumer to the AI assistant, runs on-device, guaranteeing end-to-end verifiable safety and sovereignty.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographyDevelops novel cryptographic primitives and safety protocols, enhancing Ethereum’s foundational safety and privateness for all customers.PrivacyResearchThe Open Anonymity ProjectEnables 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 ProofsResearchEthproofs Extra {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, producing an open-source On-Prem Ops Playbook.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Cryptography ResearchFormalizes the safety mannequin of Encrypted Mempools, enhancing transaction privateness and community resilience for Ethereum customers.SecurityDeveloper toolingVerityDevelops Verity, a Lean 4-based sensible contract language and formally verified compiler. It permits builders to jot down, formally specify, and show contract properties, compiling to EVM bytecode with verified semantics.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | Protocol SnarkificationVerifies cryptographic protocols and zkVM circuits, guaranteeing mathematical correctness for Ethereum’s scaling infrastructure by formal strategies.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Strong Incentives GroupOptimizes protocol sport idea by making use of mechanism design and financial modeling to know and enhance participant incentives.Ethereum ProtocolEcosystem developmentZK + testing exploration workExplores zkVM runtime habits throughout various {hardware} to optimize proving efficiency. This analysis goals to establish bottlenecks and allow extra sensible, close to real-time proving for Ethereum mainnet functions.Ethereum ProtocolEcosystem developmentInternship Program 2026 | GethSupports Geth’s core protocol improvement, consumer upkeep, and the implementation of recent Ethereum Enchancment Proposals.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol PrototypingTranslates novel protocol analysis into working code. This permits empirical testing of theoretical assumptions and quantifies design trade-offs for future Ethereum upgrades.SecurityApplicationSafeLensEnables offline verification of Gnosis Protected multisig transactions. SafeLens generates proof packages for signatures, hashes, and enriched proofs, permitting native transaction replay and human-readable particulars through 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, producing 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, decreasing centralized dependencies.LinkNodes and ClientsApplicationGean, A Lean Ethereum Consensus ClientBuilds Ethereum’s long-term resilience with Gean, a brand new Go-based consensus consumer. This open-source implementation replaces quantum-vulnerable cryptography and diversifies the consumer ecosystem from Africa.LinkPrivacyDeveloper toolingQuixote Personal Reads + Aave IntegrationEnhances Quixote, a Rust EVM occasion indexer, with Tor-based non-public reads and GraphQL assist. Demonstrates its worth by integrating it into the Aave frontend, changing TheGraph for improved information entry.LinkSecurityDeveloper toolingEthereum Protocol Safety Brokers – SPECA & LeanAgentDevelops an LLM-powered system to automate Ethereum consumer spec compliance checking and bug discovery. This consists of formal verification of Gasper Lean 4 and a pipeline to bridge SPECA outputs into Lean 4 formal specs.SecurityDeveloper toolingCantina Apex AI Code Analyzer for Safety VulnerabilitiesEnhances Ethereum’s safety posture with 52 AI-powered sensible contract scans for consumer and protocol repositories over the following 12 months.CryptographyResearchleanVM underneath Bitcoin constraintsOptimizes leanVM’s post-quantum signature aggregation for Ethereum’s consensus layer. This work enhances velocity, improves effectivity, and ensures Bitcoin compatibility to determine an industry-wide customary.LinkOtherEcosystem developmentProgramming the AI x Ethereum Convergence in RomeFostering 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 Staff.LinkCryptographyDeveloper toolingFast Discipline Arithmetic for CompPolyDevelops 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 appropriate through RingEquiv.LinkApplication layerResearchEthereum “Moderately Crucial” Frontier Use Case R&DInvestigates distinctive Ethereum use circumstances with real-world impression. This analysis additionally explores novel organizational buildings past conventional crypto setups.Zero-knowledge ProofsDeveloper toolingCompPoly Polynomials Lean Libary – Components of Roadmap 2Optimizes 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.LinkSecurityApplicationLLM-Based mostly Consumer Compliance Evaluation for EthereumEnhances Ethereum consumer safety by deploying AI brokers to scan Geth, Nethermind, Lighthouse, and Prysm in opposition to EIP specs, figuring out divergences and edge-case bugs.OtherResearchOnchain Capital Devices for Digital Public GoodsDevelops 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.LinkCryptographyDeveloper toolingBivariate Polynomials — CompPoly Section 2, Merchandise 6Extends CompPoly with superior bivariate polynomial operations, together with Guruswami-Sudan infrastructure and efficiency optimizations like Kronecker substitution, enhancing cryptographic primitive improvement.CryptographyResearchThe recursive extraction problemInvestigates 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 programs.CryptographyEcosystem developmentEfficient Single-Server PIR for Ethereum IndexersEvaluates fashionable Personal Info Retrieval schemes for Ethereum information entry. This work will specify a state-of-the-art scheme, full with reusable assessments, to boost consumer privateness and scale back MEV dangers.Ethereum ProtocolEcosystem developmentInternship Program 2026 | PoseidonDevelops environment friendly post-quantum signature schemes for Ethereum’s execution layer, leveraging Poseidon-based constructions to organize the community for the post-quantum transition.Zero-knowledge ProofsResearchEthproofs On-Prem Multi-GPU Prover Initiative – Matter LabsDecentralizes 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 ProtocolEcosystem developmentInternship Program 2026 | STEELEnhances Ethereum’s core Python specs (EELS) and check suites (EEST). This important work ensures consumer compatibility and strengthens community consensus.PrivacyApplicationKohaku Pockets Frontend Assist – Comply with UpRefactors the Kohaku browser extension pockets and Railgun SDK integration. This work enhances maintainability and modularity, advancing the pockets for broader adoption and group contributions.LinkOtherEcosystem developmentBhutan Blockchain Offline Residency 2026Cultivates 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 ProtocolEcosystem developmentInternship Program 2026 | PandaOpsEnables protected, well-tested community upgrades by constructing customized tooling, deployment scripts, and information pipelines for Protocol R&D.Software InfrastructureEcosystem developmentOpen Intents Framework – Adoption & Upkeep 2026Develops 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 ProtocolEcosystem developmentHong Kong Polytechnic College – Sponsorship of the Analysis Centre for Blockchain Expertise (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 ProofsEcosystem developmentCompPoly Roadmap Contributions — Exponentiation, Multilinear Transforms, ECCOptimizes exponentiation and proves multilinear rework equivalence for CompPoly. Integrates error-correcting interpolation through Berlekamp-Welch, enhancing the protocol’s robustness.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol ConsensusAnalyzes and designs superior consensus mechanisms. This work strengthens protocol ensures, fostering long-term community decentralization.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Funding CoordinationFacilitates connections between EF grantees and exterior funding sources. This helps important public items tasks safe important assist from authorities, philanthropic, and ecosystem companions.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 decreasing reliance on centralized infrastructure.SecurityDeveloper toolingOctane: LLM-Powered Protocol Safety for Ethereum ClientsEnhances sensible contract safety with AI-powered vulnerability detection. This subscription gives 25 complete scans, a venture dashboard, and VIP assist for as much as 4 consumer tasks.LinkEthereum ProtocolEcosystem developmentInternship Program 2026 | zkEVMAdvances ZK-EVM analysis, growing scaling options and integrating ZK-proofs immediately into the Ethereum execution layer.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol SecurityEnhances Ethereum’s safety posture by proactive code opinions, superior tooling, and sturdy bug bounty program administration.Ethereum ProtocolEcosystem developmentInternship Program 2026 | Protocol ConsensusAnalyzing consensus mechanisms to strengthen long-term decentralization. This analysis helps shut the hole between present protocol ensures and future community objectives.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographySupports analysis into superior cryptographic primitives and safety protocols, guaranteeing Ethereum’s continued management in safe, privacy-preserving know-how.Ethereum ProtocolEcosystem developmentInternship Program 2026 | CryptographyAdvances Ethereum’s cryptographic safety by designing and analyzing new primitives and protocols. This ensures sturdy, privacy-preserving know-how for the long run.Ethereum ProtocolEcosystem developmentVerified zkEVM ArkLib Day at ZKProof 8Expands 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.LinkSecurityDeveloper toolingNoir to LLZK compilerDevelops 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.LinkApplication layerDeveloper toolingComposable Orchestration, Batching Ethereum UX and InteropEnables dynamic sensible account batching and predicate-based execution. This venture standardizes and open-sources a manufacturing 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 utilizing Lean 4, formally proving its constraint programs appropriately implement RISC-V ISA semantics for every instruction.Ethereum ProtocolEcosystem developmentInternship Program 2026 | zkEVMAdvances ZK-EVM analysis, growing scaling options and integrating ZK-proofs immediately into Ethereum’s execution layer for enhanced effectivity.PrivacyApplicationKohaku Pockets Frontend SupportRefines the Kohaku browser extension for a strong, privacy-first pockets UX on Sepolia. Integrates Privateness Swimming pools and Railgun, optimizing the Ambire fork and consumer flows.Hyperlink
