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