DAO/治理研究学院研究奖学金：以太坊研究 (AY 2025–2026)使 Prof. Strnad 能够投入大量研究时间于以太坊重点问题，包括 DAO 治理、去中心化系统管理和 optimistic rollup 挑战期，同时指导 OpenLab 学者。安全研究EL+CL & Glamsterdam 安全通过在 Glamsterdam 升级前主动识别执行层和共识层客户端的漏洞，增强以太坊的安全性。这项研究加强了网络的韧性。节点和客户端应用Lodestar 2026开发并维护 Lodestar 共识客户端，实施硬分叉并贡献协议研究。这为 TypeScript 和 Zig Ethereum 社区的操作员用户体验（UX）和生态系统工具提供支持。Link以太坊协议应用Lighthouse - 2026 年 5 月至 10 月Lighthouse 客户端开发将继续进行，包括主网的 ePBS、Gloas 和部分消息网络。这项工作扩展了 tree sync、Diamond 测试框架和 ZK 验证共识。形式化验证和客户端加固工作也在取得进展。Link密码学开发人员工具Poulpy PIR 工具开发一个生产级的、基于 Rust 的私有信息检索（PIR）库。这实现了对高达 32GB 的键值数据库的高效、批量查询，在不需要状态的情况下优化服务器和客户端通信。Link以太坊协议开发人员工具ETHeorem将以太坊共识规范映射到客户端实现，ETHeorem 实现了对 Lighthouse、Prysm、geth 和 Reth 的系统性安全评估。这个代理系统将 LLM 与程序分析相结合，以实现全栈覆盖。以太坊协议应用Ream - 基于 Rust 的轻量级共识客户端开发 Ream，一个基于 Rust 的轻量级（Lean）共识客户端，以推进具有快速最终确定性和 4 秒 slots 的后量子就绪共识。此次续约支持核心客户端开发、测试基础设施加固，并将开发网络（devnets）扩展到 10,000 个验证者。Link以太坊协议生态系统开发2026 实习计划 | Robust Incentives Group对经济激励和参与者行为进行建模，以优化协议博弈论，增强网络的稳定性和效率。应用基础设施研究以太坊 LLM 优化 (Inseeq)使用当前的以太坊开发工具和 ethskills 数据增强 AI 模型。这提高了 LLM 的准确性，并增强了以太坊对寻求构建区块链的开发者的吸引力。Link密码学研究来自双工海绵（Duplex Sponges）的 Fiat–Shamir 技术审查审计通过双工海绵实例化的 Fiat-Shamir 变换的安全论证。这项工作阐明了关键抽象，以支持未来的 Lean 形式化，从而加强零知识证明系统。Link零知识证明研究Ethproofs 附加硬件 - BrevisBrevis 正在构建一个本地、多 GPU L1 区块证明堆栈，以压力测试真实世界的运行韧性。该倡议将为未来的证明者生成一份开源的《本地操作指南》（On-Prem Ops Playbook）。以太坊协议生态系统开发ethp2p 的 quic-go 优先级增强 quic-go，这是支撑以太坊共识层网络的 Go QUIC 实现。这项工作提高了 go-libp2p 的性能、传输能力和连接效率。应用基础设施开发人员工具Web3j：维持以太坊的 JVM 和 Android 集成基础设施使主流 JVM 客户端库 Web3j 与即将到来的 Glamsterdam 硬分叉保持同步。这确保了 Java、Kotlin 和 Android 应用的持续无缝集成，以及针对 AI 的文档。Link零知识证明研究Ethproofs 附加硬件 - Succinct LabsSuccinct 正在将 L1 区块证明迁移到本地、多 GPU 设置。这将压力测试运行韧性并减少对云的依赖，为未来的证明者生成一份开源的《本地操作指南》（On-Prem Ops Playbook）。零知识证明研究Ethproofs 附加硬件 - SilentSig使 ZisK 能够将其 L1 区块证明堆栈过渡到本地、多 GPU 配置。该倡议将生成一份开源的《本地操作指南》（On-Prem Ops Playbook），以减少生态系统对中心化云服务商的依赖。其他生态系统开发棉兰老岛区块链课程培训师培训计划使 8 家菲律宾学术机构能够开发区块链课程。通过为期 6 天的项目支持教师成为培训师，促进当地的以太坊教育。应用基础设施开发人员工具mevlog-rs - 由 Revm 驱动的 EVM 交易查询 CLI/TUI将链上数据索引到本地 SQLite 数据库中，可通过 TUI 和 MCP 访问。该工具为开发者和 LLM 代理实现了灵活的本地查询和结果的 IPFS 共享。Link以太坊协议研究交易断言使用户能够通过 EIP-7906 在签名之前以编程方式验证交易结果。这包括针对任何智能合约的正向和负向条件，从而增强安全性和用户控制。Link应用层应用Steward，一个带有设备本地 AI 助手的自主权以太坊钱包构建 Steward，一个完全本地的 macOS 以太坊智能账户钱包。从轻客户端到 AI 助手的每个组件都在设备上运行，确保了端到端的、可验证的安全性和主权。以太坊协议生态系统开发2026 实习计划 | 密码学开发新型密码学原语和安全协议，增强以太坊面向所有用户的基础安全和隐私。隐私研究开放匿名项目 (The Open Anonymity Project)实现对准入 API 服务的不可链接访问，从 AI 推理开始。这个开源模块化堆栈使用盲签名和 TEE 友好型服务器进行匿名信用验证。零知识证明研究Ethproofs 附加硬件 - Matter Labs通过过渡到本地、多 GPU 配置来增强 Matter Labs 的 L1 区块证明堆栈。该倡议压力测试运行韧性并减少对云的依赖，生成一份开源的《本地操作指南》（On-Prem Ops Playbook）。以太坊协议生态系统开发2026 实习计划 | 密码学研究形式化加密内存池（Encrypted Mempools）的安全模型，为以太坊用户增强交易隐私和网络韧性。安全开发人员工具Verity开发 Verity，一种基于 Lean 4 的智能合约语言和经过形式化验证的编译器。它使开发者能够编写、形式化指定和证明合约属性，并编译为具有经过验证的语义的 EVM 字节码。Link以太坊协议生态系统开发2026 实习计划 | 协议 Snark 化验证密码学协议和 zkVM 电路，通过形式化方法确保以太坊扩容基础设施的数学正确性。以太坊协议生态系统开发2026 实习计划 | Robust Incentives Group通过应用机制设计和经济建模来理解和改进参与者激励，从而优化协议博弈论。以太坊协议生态系统开发ZK + 测试探索工作探索跨不同硬件的 zkVM 运行时行为，以优化证明性能。该研究旨在识别瓶颈，并为以太坊主网应用实现更实用的、接近实时的证明。以太坊协议生态系统开发2026 实习计划 | Geth支持 Geth 的核心协议开发、客户端维护以及新以太坊改进提案的实施。以太坊协议生态系统开发2026 实习计划 | 协议原型设计将新型协议研究转化为运行代码。这实现了对理论假设的实证测试，并为未来的以太坊升级量化设计权衡。安全应用SafeLens实现 Gnosis Safe 多签交易的离线验证。SafeLens 为签名、哈希和丰富的证明生成证据包，允许通过内置解释器进行本地交易重放和人类可读的详细信息展示。Link零知识证明研究Ethproofs 本地多 GPU 证明者倡议 - SilentSig使 ZisK 能够将 L1 区块证明迁移到本地、多 GPU 设置。该倡议压力测试运行韧性并减少对云的依赖，为生态系统生成一份开源的《本地操作指南》（On-Prem Ops Playbook）。Link零知识证明研究Ethproofs 本地多 GPU 证明者倡议 - Brevis开发一份开源的《本地操作指南》（On-Prem Ops Playbook），使 L1 区块证明者能够从云托管环境过渡到具有韧性的多 GPU 配置，减少中心化依赖。Link节点和客户端应用Gean，一个轻量级以太坊共识客户端通过 Gean（一个新的基于 Go 的共识客户端）构建以太坊的长期韧性。这个开源实现取代了易受量子攻击的密码学，并从非洲使客户端生态系统多样化。Link隐私开发人员工具Quixote 隐私读取 + Aave 集成增强 Quixote（一个 Rust EVM 事件索引器），具有基于 Tor 的隐私读取和 GraphQL 支持。通过将其集成到 Aave 前端，取代 TheGraph 以改进数据访问，从而展示其价值。Link安全开发人员工具以太坊协议安全代理 - SPECA & LeanAgent开发一个由 LLM 驱动的系统，以自动执行以太坊客户端规范合规性检查和漏洞发现。这包括 Gasper Lean 4 的形式化验证，以及将 SPECA 输出桥接到 Lean 4 形式化规范的流水线。安全开发人员工具用于安全漏洞的 Cantina Apex AI 代码分析器在未来一年内，通过对客户端和协议存储库进行 52 次 AI 驱动的智能合约扫描，增强以太坊的安全态势。密码学研究Bitcoin 约束下的 leanVM为以太坊共识层优化 leanVM 的后量子签名聚合。这项工作提高了速度，改进了效率，并确保与 Bitcoin 的兼容性，以建立行业标准。Link其他生态系统开发在罗马编程 AI x 以太坊的融合促进 AI x 以太坊的交叉领域，罗马的 Urbe Hub 举办定期的研讨会、演示和构建者会议。该倡议培养跨界合作活动，加强这两个社区，并与 EF dAI 团队合作。Link密码学开发人员工具CompPoly 的快速域算术在 Lean4 中开发素数和二元塔域的高效、经过验证的实现。这项工作涵盖了小型 STARK 域、大型 SNARK/曲线域和二元塔域，所有内容都通过 RingEquiv 证明了其正确性。Link应用层研究以太坊“合理必要”的前沿用例研发调查具有现实世界影响力的独特以太坊用例。这项研究还探索了传统加密设置之外的新型组织结构。零知识证明开发人员工具CompPoly 多项式 Lean 库 - 路线图 2 的部分内容使用 Horner、批量和 NTT 方法优化 CompPoly 中的多项式评估。为 zkVM 实施并验证 Guruswami-Sudan 算法，并配有 Lean 证明和基准测试。Link安全应用基于 LLM 的以太坊客户端合规性分析通过部署 AI 代理扫描 Geth, Nethermind, Lighthouse 和 Prysm 是否符合 EIP 规范，识别差异和边缘情况漏洞，从而增强以太坊客户端的安全性。其他研究数字公共物品的链上资本工具为数字公共物品开发链上 ESG 资助工具，利用以太坊将公共物品资助从赠款转向可扩展的资本市场。该倡议为大规模基础设施设计类债券机制。Link密码学开发人员工具二元多项式 — CompPoly 第二阶段第 6 项扩展 CompPoly 的高级二元多项式运算，包括 Guruswami-Sudan 基础设施和 Kronecker 替换等性能优化，增强密码学原语的开发。密码学研究递归提取问题调查递归 SNARK 的安全性，探究深层递归中知识提取器的限制。这项研究将分析具有超多项式提取器复杂性的 SNARK 变体，为现实世界系统的新证明框架提供参考。密码学生态系统开发用于以太坊索引器的高效单服务器 PIR评估用于以太坊数据访问的现代私有信息检索 (PIR) 方案。这项工作将指定一个最先进的方案，并配有可重用的测试，以增强用户隐私并降低 MEV 风险。以太坊协议生态系统开发2026 实习计划 | Poseidon为以太坊执行层开发高效的后量子签名方案，利用基于 Poseidon 的构造，为网络的后量子过渡做好准备。零知识证明研究Ethproofs 本地多 GPU 证明者倡议 - Matter Labs通过将基础设施从云端迁移到本地、多 GPU 设置，实现 L1 区块证明的去中心化。该倡议将开源一份《本地操作指南》（On-Prem Ops Playbook），为未来的证明者提供增强韧性的蓝图。以太坊协议生态系统开发2026 实习计划 | STEEL增强以太坊的核心 Python 规范 (EELS) 和测试套件 (EEST)。这项关键工作确保了客户端兼容性并加强了网络共识。隐私应用Kohaku 钱包前端支持 - 后续重构 Kohaku 浏览器扩展钱包和 Railgun SDK 集成。这项工作增强了可维护性和模块化，推动钱包获得更广泛的采用和社区贡献。Link其他生态系统开发2026 不丹区块链线下驻场计划通过密集的驻场计划在不丹培养新一批以太坊开发者。该计划培育当地人才，并在该地区播下自给自足的开发者社区种子。以太坊协议生态系统开发2026 实习计划 | PandaOps通过为协议研发构建自定义工具、部署脚本和数据管道，实现安全且经过充分测试的网络升级。应用基础设施生态系统开发开放意图框架 (Open Intents Framework) - 2026 采用与维护开发开放意图框架，增强跨链流动性再平衡并支持 ERC-7683 规范开发。这扩展了以太坊的多链能力和工具。以太坊协议生态系统开发香港理工大学 - 区块链技术研究中心 (RCBT) 赞助通过为优秀的 MScBT 学生提供奖学金，促进区块链技术的学术卓越。支持人才培养和对 Devconnect/Devcon 的参与，同时赞助 Asiacrypt 2026。零知识证明生态系统开发CompPoly 路线图贡献 — 幂运算、多线性变换、ECC优化 CompPoly 的幂运算并证明多线性变换等价性。通过 Berlekamp-Welch 集成纠错插值，增强协议的健壮性。以太坊协议生态系统开发2026 实习计划 | 协议共识分析并设计高级共识机制。这项工作加强了协议保证，促进了长期的网络去中心化。以太坊协议生态系统开发2026 实习计划 | 资金协调促进 EF 受助者与外部资金来源之间的联系。这有助于重要的公共物品项目获得来自政府、慈善机构和生态系统合作伙伴的关键支持。零知识证明研究Ethproofs 本地多 GPU 证明者倡议 - Succinct Labs使去中心化证明者能够从云端过渡到本地、多 GPU 设置。该倡议将产出一份开源的《本地操作指南》（On-Prem Ops Playbook），加强生态系统韧性并减少对中心化基础设施的依赖。安全开发人员工具Octane：由 LLM 驱动的以太坊客户端协议安全通过 AI 驱动的漏洞检测增强智能合约安全性。此订阅提供 25 次全面扫描、一个项目仪表板，以及为最多四个客户端项目提供的 VIP 支持。Link以太坊协议生态系统开发2026 实习计划 | zkEVM推进 ZK-EVM 研究，开发扩容解决方案并将 ZK 证明直接集成到以太坊执行层。以太坊协议生态系统开发2026 实习计划 | 协议安全通过主动的代码审查、先进工具和稳健的漏洞赏金计划管理，增强以太坊的安全态势。以太坊协议生态系统开发2026 实习计划 | 协议共识分析共识机制以加强长期去中心化。这项研究有助于缩小当前协议保证与未来网络目标之间的差距。以太坊协议生态系统开发2026 实习计划 | 密码学支持对先进密码学原语和安全协议的研究，确保以太坊在安全、隐私保护技术方面的持续领先地位。以太坊协议生态系统开发2026 实习计划 | 密码学通过设计和分析新的原语和协议，推进以太坊的密码学安全。这确保了未来稳健的隐私保护技术。以太坊协议生态系统开发ZKProof 8 上的经过验证的 zkEVM ArkLib 日通过在 ZKProof 8 的 ArkLib 日汇聚 1,000 多名从业者，扩大 ZKP 标准化工作。该活动促进了形式化验证和应用零知识证明方面的合作。Link安全开发人员工具Noir 到 LLZK 编译器开发一个 Noir 到 LLZK 编译器，桥接两个关键的 SNARK 生态系统。这增强了互操作性并扩大了 LLZK 工具的开发者基础，加强了以太坊的 SNARK 安全工作。Link应用层开发人员工具可组合编排，批量化处理以太坊用户体验和互操作性实现动态智能账户批量处理和基于谓词的执行。该项目将生产编排堆栈标准化并开源，使可组合的多步骤、多链交易成为以太坊生态系统的公共物品。Link零知识证明开发人员工具用于 RISC-V zkVM 的改进证明基础设施使用 Lean 4 验证 SP1 Hypercube zkVM 的算术化，形式化证明其约束系统正确实现了每个指令的 RISC-V ISA 语义。以太坊协议生态系统开发2026 实习计划 | zkEVM推进 ZK-EVM 研究，开发扩容解决方案并将 ZK 证明直接集成到以太坊执行层以提高效率。隐私应用Kohaku 钱包前端支持改进 Kohaku 浏览器扩展，在 Sepolia 上实现稳健、隐私优先的钱包用户体验。集成 Privacy Pools 和 Railgun，优化 Ambire 分叉和用户流程。Link