以太坊基金会2026年第一季度资助情况

以太坊基金会公布2026年第一季度资助项目列表，涵盖密码学、零知识证明、安全、协议研究、Layer 2、节点客户端、隐私、治理、DeFi等多个领域，总计资助约985.6万美元。项目包括Poseidon密码分析、GPU加速R1CS、Lighthouse客户端开发、L2BEAT数据分析、隐私池集成、形式化验证等，旨在强化以太坊基础架构并推动生态发展。

2026年第一季度拨款更新

2026年第一季度拨款概览

2026年第一季度，我们继续专注于加强以太坊的基础，持续投资于密码学、零知识证明、安全性和协议研究等核心领域。以下是本季度我们支持的项目和生态系统工作列表，构建者正在推进关键基础设施、工具和跨网络研究。

领域 类别 项目名称 描述 链接/仓库
应用基础设施 开发者工具 EthereumJS 维护 维护 EthereumJS TypeScript 堆栈，以确保可靠性以及与执行层变更的兼容性。包括实现协议更新、改进测试以及支持下游开发者。
应用层 研究 通过 Tor 保护以太坊用户匿名性 通过集成 Tor 增强以太坊轻客户端隐私。该项目设计并实现基于 Tor 的缓解方案，提升用户匿名性和网络韧性。
应用层 生态系统发展 ERC-8004 开发者参与 通过提供技术援助和协调构建者参与，促进 ERC-8004 社区发展。通过直接反馈和 Devconnect 活动策划来支持去中心化 AI 工程师。
应用层 开发者工具 BuidlGuidl：AI 就绪的以太坊教育与基础设施维护 将旗舰以太坊教育和开发者工具（包括 SpeedRunEthereum 和 Scaffold-ETH 2）过渡到 AI 就绪的维护模式。该项目维持核心基础设施并支持企业认证工作。
应用层 开发者工具 Open Creator Rails 开发一个可验证的链上运行时，用于管理对数字资源的时间限制访问，支持订阅和隐私保护链接。
应用层 开发者工具 Walletconnect 清晰签名库 开发一个库和概念验证钱包，以解决盲签问题，增强交易安全性和用户透明度。
社区 生态系统发展 2026年开发者增长支持 优化开发者漏斗，主导企业认证工作，并为开发者增长制定生态系统资助策略。
社区 生态系统发展 专题活动支持 支持2026年上半年专题活动的运营和系统部署，包括规划协调和开票流程。
社区 生态系统发展 2025年康奈尔区块链会议 在康奈尔科技校区举办的学术会议，汇聚研究人员、政策制定者和行业领袖，审视美国加密创新及其对金融系统和公共基础设施的影响。
社区 生态系统发展 网络学校的 L2 活动 在新加坡举行的私密、高信号的第2层团队聚会，聚焦路线图对齐、L1–L2 协调和合作研发，加强亚太及全球生态系统的长期协议协作。
社区 生态系统发展 Invisible Garden 支持 Invisible Garden，一个在布宜诺斯艾利斯举办的、专注于以太坊、ZK、AI 和网络安全的开发者快闪城市。
密码学 研究 Poseidon 赏金 授予 Poseidon 团队悬赏计划解决方案：M31-6-4 ，更多详细信息请查看悬赏页面
密码学 研究 Poseidon Gröbner 基探索 系统化代数建模，以确定针对 Poseidon 实例的 Gröbner 基攻击的复杂度。大规模实验将推导出更新的轮数公式，增强安全性分析。
密码学 研究 Local Mixing 使用可逆电路开发实用的、开源的不区分混淆（iO）。该 Rust 实现旨在从小电路扩展到大型电路，提升以太坊应用的隐私性。
密码学 开发者工具 基于 MLIR 编译器栈的 GPU 加速 R1CS 见证生成 构建基于 MLIR 的编译器栈，用于端到端 R1CS 流水线，以解耦 ZK 电路编写与硬件优化。这减少了碎片化，并展示了基于 GPU 的见证生成，为未来 zkVM 集成做准备。
密码学 生态系统发展 高保证加密软件研讨会 高保证加密软件研讨会（HACS）是一个小型研讨会，汇聚密码学家、加密软件工程师和形式验证专家，旨在提高实际密码实现的正确性和安全性。
密码学 研究 形式化邻近生成器及相关属性 在 ArkLib Lean 库中添加新的编码理论定义和定理，重点关注 Reed Solomon 码的距离保持和邻近生成器。
密码学 研究 用于混淆的局部混合方法 研究局部混合作为一种新的实用混淆方法，旨在证明其安全性并开发新的密码原语。
DAO/治理 研究 gov/acc 支持与知识共享手册 构建一个全面的知识共享库，以映射治理研究中的开放问题、解决方案和活跃贡献者。该项目结合数据收集和社区研讨会，创建一个可复用的研究协调框架。
去中心化身份 生态系统发展 推进 did:ethr 方法规范 通过现代化规范和改进 EVM 互操作性，推进 did:ethr 去中心化标识符标准。此项研究和工具更新解决了可用性差距，旨在使该标准在整个生态系统中达到 DIF 推荐状态。
DeFi 仪表盘 开源研究平台 实现对区块链和 DeFi 交易模式的系统研究。该开源平台提供策划的数据集、基准和工具，用于可复现的实证研究，加速累积性洞察。
以太坊协议 生态系统发展 2026年实习项目，协议 Snarkification 确保以太坊扩展基础设施的数学正确性，这项工作将形式验证应用于加密协议和 zkVM 电路。
以太坊协议 生态系统发展 以太坊创始人与风投——香港战略论坛 在香港举办的一个聚焦、战略性的论坛和交流活动，汇聚机构资本、领先风投和以太坊主网创始人，共同定义2026年 EVM 格局的未来。
以太坊协议 仪表盘 [Pectra 轮] Pectra 后网络仪表盘 现在可获取关于信标网络验证者整合和 P2P 带宽使用情况的洞察。该仪表盘跟踪 Pectra 硬分叉后的改进，包含实时和历史数据。
以太坊协议 应用 Lighthouse - 2025年11月至2026年4月 开发 Lighthouse 客户端功能，用于 Fusaka 过渡和 BPO 分叉。此项研发将实现 Glamsterdam、树同步，并扩展对抗性测试，以提高主网韧性和模块化。
以太坊协议 生态系统发展 性能基准测试资助 开发工具，用于生成主网规模的10倍膨胀且易于维护的状态。此项工作识别并解决性能瓶颈，优先处理有状态测试中关键但未被充分代表的领域。
以太坊协议 研究 Zeam 第三阶段 - 使用 Zig 精简客户端的 leanEthereum 规范与实现 开发精简共识，重点关注 PQ 共识、快速最终性研究以及带有 ZK 轻客户端验证协议的 ZK 验证共识。
第2层 仪表盘 L2BEAT - 2026 维持 L2BEAT 的重要工作，为以太坊第2层提供链上透明度和安全性评估。支持2026年优先事项，包括互操作性仪表盘、代币透明度和 DA 风险框架。
节点和客户端 研究 DISC-NG Geth 项目提案 将 DISC-NG 集成到 Geth 中，用结构化广告替代随机漫步，实现更快、更可预测的以太坊节点发现。
节点和客户端 应用 Erigon 和 Zilkworm（2026年上半年） 用 C++ 开发 Erigon 的 zkEVM 来宾程序 Zilkworm。这增强了 Erigon 作为高性能、紧凑型以太坊客户端的能力，结合了前沿的零知识证明技术。
节点和客户端 开发者工具 Besu 客户端与 HSM 集成 为 Besu 客户端开发一个生产就绪的 PKCS#11 插件，确保验证者密钥生成和签名完全在硬件安全模块内进行，消除机构采用以太坊的主要合规障碍。
节点和客户端 生态系统发展 Vero 开发一个多节点验证者客户端，通过结合多个执行和共识客户端对的视图来缓解共识错误。操作员可以在证明链状态之前配置安全阈值。
节点和客户端 研究 Ethproofs zkAttester 通过在实时以太坊质押环境中运行一个运行 Lighthouse zkAttester 分支的主网验证者，验证基于 ZK 的证明。
其他 生态系统发展 产品化公共物品 该项目专注于为“产品化公共物品”确定试点范围，探索嵌入式和自愿性机制，特别是围绕 DeFi 策展人作为公共物品管理者，以及针对 ENS、Aave 和 Uniswap 等协议的公共物品 UI 或前端。
其他 生态系统发展 2026年温哥华以太坊 在温哥华培育一个充满活力的以太坊生态系统，通过定期、高信号的活动连接初创公司、研究人员和公众。该倡议培养本地人才和协作。
隐私 开发者工具 Kohaku - 隐私池和 TC 集成 将 Privacy Pool v1 和 TC 集成到 Kohaku SDK 中，使钱包团队能够以最小的开发工作量采用隐私功能。
隐私 研究 OpenAC 分析与文档 分析 OpenAC 访问控制系统与选择性披露和凭证展示标准的关系。该项目生成技术映射，为生态系统讨论提供信息，而不引入新的机制。
隐私 开发者工具 dRPC NodeCore 负载均衡器 资助支持 dRPC 在开源 RPC 负载均衡器 NodeCore 上的工作。
隐私 开发者工具 Oblivious Labs 服务器 <> Kohaku 构建一个 Oblivious 服务器，用于处理来自 Kohaku 扩展嵌入式执行客户端的请求，实现私有状态读取。
隐私 开发者工具 解锁 Tor 桥的可扩展性 解决 Tor 桥的可扩展性问题，以支持 EF 隐私团队的集成工作并推进网络级隐私。
安全性 研究 Poseidon(2)(b) 的改进轮跳过 扩展 Poseidon2 的密码分析，探索高级轮跳过技术，并将攻击扩展到新的参数集和模式。该研究还调查了如改进轮常数选择等对策。
安全性 研究 改进的基于结式的方法用于 Poseidon(2)(b) 的密码分析 探索 Poseidon2 多项式系统中的结式度，开发用于迭代结式的新算法。将这些算法与 Gröbner 基技术进行基准比较，针对 CICO-k, k >= 2。
安全性 开发者工具 ERC-7730 v2 跨平台清晰签名库 使移动钱包能够显示人类可读的交易预览。该 Rust 库实现了 ERC-7730 v2 清晰签名，并包含 iOS 和 Android 绑定，用更好的用户体验替代原始十六进制调用数据。
安全性 开发者工具 Kohaku 轻客户端 将 Colibri 无状态客户端集成到 Kohaku SDK 和浏览器扩展中。这使得在面向用户的环境中能够进行无需信任、基于证明的链上状态验证，而无需依赖中心化 RPC。
安全性 开发者工具 ePBS 规范合规性 “ePBS 规范合规性”将现有的分叉选择合规测试生成器扩展到以太坊共识协议中的 ePBS 变更。
安全性 研究 Brevis Pico RISC-V zkVM 的形式验证 在 Lean 中针对 RISC-V 规范形式验证 Brevis Pico RISC-V zkVM 核心。它产生一个可重复的工作流，用于根据验证指令语义检查 zkVM 约束，提供一个证明库和工具。
社会与监管 研究 以太坊气候影响评估 对以太坊气候影响评估的更新将完善合并后的电力消耗和温室气体排放估算。该研究用当前、准确的数据增强公共剑桥区块链网络可持续性指数。
社会与监管 研究 2026年欧洲去中心化研究所 支持 EDI 的2026年路线图，交付四个关键政策项目，包括研究、圆桌会议和政策简报。这项工作促进以太坊生态系统的战略性监管参与和政策制定。
社会与监管 生态系统发展 Synergy Seoul：以太坊构建者聚会 Synergy Seoul 是一个为期3天的聚会，设有战略匹配计划，将本地构建者与关键利益相关者联系起来。该倡议旨在促进韩国以太坊生态系统的深度、可持续整合。
UX/UI 生态系统发展 改进用户体验工作 开发开放意图框架和互操作 SDK，推进以太坊互操作性标准如 ERC-7930。这项工作改进跨链用户体验，支持代币标准、余额整合和消息传递，以促进更广泛的采用。
UX/UI 研究 用例实验室 - 项目专家 支持用例实验室，通过研究和试点干预，识别并解除除金融以外的高潜力以太坊用例的障碍。
零知识证明 研究 基于 Fiat-Shamir 的 Poseidon 密码分析 调查基于 Poseidon 的 Fiat-Shamir 证明系统和折叠方案的加密漏洞。探索基于 FRI 的承诺中可能存在的弱点，以及 SumCheck 规约是否暴露出新的攻击向量。
零知识证明 开发者工具 加速最小迹构造 通过将 EVM 预编译提示和区块输入与顺序仿真进行流水线处理，优化 ZisKVM 迹构造。这种并发工作流显著降低端到端延迟，并提高实时证明的吞吐量。
零知识证明 研究 AVAZAR：zkVM 算术化的自动验证工具 自动验证 zkVM 的见证计算语义与多项式约束系统之间等价性的工具。
零知识证明 开发者工具 LLZK IR 的演进 推进 LLZK 中间表示，支持形式化规范、多态自由函数和见证生成。
零知识证明 研究 通过 Lean 4 工具调研的 Rust 验证 研究使用 Lean 4 和 hax 工具链对 zkEVM/zkVM 栈中 Rust 组件进行形式验证。
零知识证明 研究 Axiom + OpenVM 形式验证资助 为 OpenVM 建立一个基于 Lean 的形式验证系统，以证明 RV32IM 操作码电路的功能正确性。

2026年第一季度总拨款：9,856,014.14 美元

  • 原文链接： blog.ethereum.org/2026/0...
  • 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ，好文好收益，欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
以太坊中文
以太坊中文
以太坊中文， 用中文传播以太坊的最新进展

以太坊中文

如果觉得我的文章对您有用，请随意打赏。你的支持将鼓励我继续创作！

作者暂未设置收款二维码