太坊基金会第二季度拨款报告 - 2025年
- 以太坊中文
- 发布于 3天前
- 阅读 169
该文档是2025年第二季度以太坊基金会（Ethereum Foundation）的资助分配报告，详细列出了各个类别（社区与教育、共识层、密码学与零知识证明、开发者体验与工具、执行层、通用研究、Layer2、其他、协议增长与支持）的资助项目、接受者、项目描述以及联系方式。总共资助金额达8,374,108.64美元，旨在支持以太坊生态系统的发展和创新。
从基层聚会到突破性项目，以下是我们在 2025 年第二季度支持的内容！ 向下滚动以浏览以太坊生态系统中正在进行的工作：
| 类别 | 项目 | 接收者 | 描述 | 联系方式 |
|---|---|---|---|---|
| 社区与教育 | 旨在向非加密受众介绍以太坊应用和体验的活动，在意大利米兰设计周期间举办。 | |||
| 社区与教育 | 在不丹帕罗举行的黑客马拉松，联合本地和全球创新者，共同开发利用去中心化技术的解决方案，包括不丹的自主（NDI），该技术使公民能够控制和选择性地共享个人数据。 | |||
| 社区与教育 | 在土耳其安卡拉组织的学生运营的会议，涵盖密码学、治理和 DeFi 等主题。 | |||
| 社区与教育 | IRL训练营第三期 | 在尼日利亚乔斯举办的区块链开发者培训计划，旨在通过 Solidity 和区块链基础知识的深入技术指导、实践学习、黑客马拉松和项目展示，将 web2 开发者转变为 web3 构建者。 | ||
| 社区与教育 | 在肯尼亚内罗毕举行的混合黑客马拉松，重点是构建项目以将非洲带到链上，主题包括基础设施和工具、医疗保健和教育。 | |||
| 社区与教育 | 10 周年纪念 | 庆祝哥本哈根以太坊聚会社区团体成立 10 周年的聚会。 | ||
| 社区与教育 | 在美国纽约市举办的会议，围绕将 web2 与 web3 连接、DeFi 和监管等主题展开。 | |||
| 社区与教育 | 2025 年 5 月至 11 月在阿根廷布宜诺斯艾利斯举行的以太坊生态系统发展计划，包括与以太坊一致的快闪城市、峰会、黑客马拉松、训练营和其他合作活动。 | |||
| 社区与教育 | 提供对区块链技术进行多学科探索的暑期学校，通过高度互动的为期 3 周的课程将理论与实践经验相结合，涵盖其技术、经济和法律支柱。 | |||
| 社区与教育 | 专注于支持社区主导的活动和倡议的资助计划，这些活动和倡议有助于将阿根廷和更广泛的拉丁美洲地区带到链上。 | |||
| 社区与教育 | 支持 Edge City 的 2025 年快闪村庄，该村庄汇集了在技术、科学和社会创新前沿工作的人们，以对新想法和协作进行真实的实验。 | , | ||
| 社区与教育 | 社区聚会 | 在尼泊尔加德满都组织的社区聚会，探讨区块链、人工智能和社会影响之间的交叉点等主题。 | ||
| 社区与教育 | 在中国北京组织的学生运营的黑客马拉松，重点关注公共物品和 AI x Crypto 的赛道。 | |||
| 社区与教育 | 在塞尔维亚贝尔格莱德举办的会议和黑客马拉松，主题包括基础设施和扩展、隐私和开发者工具。 | |||
| 社区与教育 | 在巴黎戛纳举办的会议，围绕核心协议与研究、零知识与密码学和安全等主题展开。 | |||
| 社区与教育 | 在墨西哥墨西哥城举办的对初学者友好的会议和黑客马拉松，其中包括为期 1 个月的大学入职计划。 | |||
| 社区与教育 | 在罗马尼亚克卢日-纳波卡举办的会议，探讨以太坊路线图、开发者入职和人工智能等赛道。 | |||
| 社区与教育 | 在爱尔兰都柏林举办的会议和黑客马拉松，重点关注公共物品、隐私和安全以及 DeFi 等主题。 | |||
| 社区与教育 | 支持 Ethereum México 的 2025 年计划，通过教育和社区驱动的计划在墨西哥发展以太坊生态系统。 | |||
| 社区与教育 | 鼓励在塞尔维亚诺维萨德发展学生主导的以太坊社区，当地技术大学的教授和助教将提供指导，他们将帮助学生进行自我组织、举办活动并建立可持续的本地生态系统。 | |||
| 社区与教育 | 以太坊研究马拉松 | 在德国慕尼黑举办的活动，汇集参与者，集思广益，应对具有重大影响力的研究挑战，组建团队探索理论概念、构建模拟模型或在主要研究人员的指导下提出新的机制。 | ||
| 社区与教育 | 通过一系列以聚会、黑客之家、会议和黑客马拉松为特色的计划，支持 ETHKL 的发展和自我可持续性探索。 | |||
| 社区与教育 | 支持 ETHWarsaw 的 2025 年计划，包括年度会议和黑客马拉松、定期的月度以太坊聚会、区块链训练营、研讨会、法律会议、播客剧集和新闻通讯。 | |||
| 社区与教育 | 在肯尼亚为非洲建设者和创始人组织的驻留计划，包括办公时间、点对点协调和研讨会。 | |||
| 社区与教育 | 全球开源聚会，汇集活动家、技术专家和艺术家合作构建一个更加开放、包容和值得信赖的互联网。 | |||
| 社区与教育 | Onchain 训练营 | 在泰国曼谷朱拉隆功大学举办的以太坊为重点的训练营，教授参与者智能合约、L2、dapp、实际用例和职业机会方面的实用技能。 | ||
| 社区与教育 | 开源平台，使用户能够轻松管理其在 Pectra 之后的以太坊验证器，从而提供用户友好的工具来合并、撤回和补充其验证器。 | |||
| 社区与教育 | 研究机构和聚会，重点关注互操作性、用户体验和可编程密码学，在香港举办。 | |||
| 社区与教育 | 在新加坡举办的关于 Sumcheck 协议和 DeFi 中可验证 AI 的讲座聚会。 | |||
| 社区与教育 | 在华盛顿特区举行的每月教育活动，针对政策制定者和政策专家，重点关注加密和隐私以及其他相关主题。 | |||
| 社区与教育 | 在印度尼西亚巴厘岛举办的针对工程师和安全研究人员的教育性 ZK 训练营和协同工作活动。 | |||
| 社区与教育 | 在美国伯克利举行的围绕区块链协议、密码学、分布式系统、安全计算和密码经济学的学术会议。 | |||
| 社区与教育 | Web3 反钓鱼培训平台，旨在提高区块链社区的安全意识。 | |||
| 社区与教育 | 在意大利罗马举办的快闪村庄，围绕隐私、金融和人工智能等主题展开，通过 Urbe Campus 训练营、研讨会和 ETHRome 黑客马拉松等活动。 | |||
| 社区与教育 | 暑期学校为本科生配备 web3 和 dapp 的基本和高级概念，然后举行全国性的黑客马拉松。 | |||
| 社区与教育 | 阿根廷、巴西和厄瓜多尔的 ZK 核心计划 | ArgCryptoHub，阿根廷、巴西和厄瓜多尔 | 支持阿根廷、巴西和厄瓜多尔的本地 ZK 社区，通过为期 6 周的教育计划和每周针对学生和早期职业开发者的聚会来启动其发展。 | |
| 社区与教育 | 在瑞士举办的驻留计划，深入研究瑞士治理和民主、d/acc 以及以太坊和密码朋克等主题。 | , , | ||
| 社区与教育 | 资助计划，支持当地社区组织者举办一系列全球聚会，以庆祝创世区块成立 10 周年。 | |||
| 共识层 | 倡导 EIP-7917，其中包括编写解释性文档和单元测试、参与所有核心开发者电话会议以及倡导将其纳入主网。 | |||
| 共识层 | GossipSub分析以实现对等DAS | 开发或扩展当前的一组工具，以在以太坊网络准备好向 PeerDAS 过渡时测量网络和 GossipSub 协议的性能。 | ||
| 共识层 | PeerDAS 路线图支持 | 通过分析分布式 blob 发布的效果、getBlobs 命中率并创建一个工具来帮助验证节点托管检查，从而支持 PeerDAS 路线图。 | ||
| 共识层 | 用 Rust 编写的模块化、对贡献者友好且快速的规范实现。 | |||
| 共识层 | 用于签名聚合的递归 zkVM | 在 Rust 中实现一个简单、高性能的用于签名聚合的递归 zkVM，并在 Python 中编写其规范。 | ||
| 共识层 | ROP-9.4：FOCIL 实现、测试和开发网络 | 客户端之间的互操作性，开发用于共识层和执行层的测试套件，并与核心开发人员协调。 | ||
| 密码学和零知识证明 | 建立一个基于交互式预言机证明 (IOP) 的形式化验证密码证明系统的 Lean 库。 | |||
| 密码学和零知识证明 | Lean 中的 Binius | 为 Lean 的形式化验证 SNARK 库添加与 Binius 相关的工作的形式化，包括在二元塔域 (BTF) 上的构造代码，以及 BTF 之上的一些构造（二元 FRI、二元 BaseFold、Ligero-Binius、FRI-Binius) 和稳健性/完整性证明。 | ||
| 密码学和零知识证明 | 通过研究和识别目标原语或相关的玩具哈希/密码、使用松井搜索或类似工具研究 AO 中轨迹聚类成差异、研究截断轨迹以及分析潜在的恶意设计，将差分轨迹聚类成差分或截断差分。是密码学审计实验室的一部分。 | |||
| 密码学和零知识证明 | 基于 Poseidon 的 Fiat-Shamir 协议的密码分析 | 作为密码学审计实验室的一部分，分析在非交互式 ZK 协议中使用简化轮 Poseidon 哈希函数时的安全性，该协议使用 Fiat-Shamir 启发式生成公共随机性。 | ||
| 密码学和零知识证明 | 贡献 | 通过增强其核心功能和用户体验来促成 Ethproofs 的持续开发，重点关注改进区块证明浏览器界面和用户体验、改进证明指标的数据可视化功能以及优化证明比较功能等领域。 | ||
| 密码学和零知识证明 | Groebner 基攻击研究 | 作为密码学审计实验室的一部分，进行一系列使用 Groebner 基攻击的实验，以评估 Poseidon 的安全性及其作为以太坊协议中组件的适用性。 | ||
| 密码学和零知识证明 | 针对算术化导向原语的积分密码分析和针对统计攻击的安全论证 | 和在以下实验室的支持下，提高针对在线性密码分析和差分密码分析的安全论证，用于定义在大型字段上的原语，并将（超度量）积分密码分析扩展到任何特征的有限域。 | ||
| 密码学和零知识证明 | 建立从 Plonky3 到 Rocq 的提取，并通过验证基于 Plonky3 的 zkVM 的相关组件来演示其用途。 | |||
| 密码学和零知识证明 | 去中心化的隐私投票平台，使用户能够在保护选民匿名性和完整性的同时进行和参与投票，并通过具有无缝用户体验。 | |||
| 密码学和零知识证明 | 证明生成和编排优化 | 生成区块证明并将其上传到，以及开发一个开源、优化的编排器以加速证明生成。 | ||
| 密码学和零知识证明 | 调查量子计算机对以太坊密码系统构成的潜在威胁，提供对量子算法周围的数学和符号的良好介绍，以及它们如何工作的机械描述。 | |||
| 密码学和零知识证明 | 在以太坊主网上部署和测试“prover killer”交易，旨在对证明系统（如）进行压力测试并为其生成可见性。 | |||
| 密码学和零知识证明 | 设计、实现和基准测试 zk-FOCIL 提案中描述的方案的基于 SNARK 的实例化。 | |||
| 开发者体验和工具 | 致力于以太坊开发者教育的建设者社区，重点是扩展，使用户更容易使用和等工具在以太坊上构建，并通过将教育带给全球的大学生。 | |||
| 开发者体验和工具 | 去中心化可验证前端 | 该项目使用户能够直接从 IPFS 等去中心化网络获取和验证前端数据，从而减少对中心化基础设施的依赖并减轻审查、中断和供应链攻击等风险。 | ||
| 开发者体验和工具 | 通过引入实时升级跟踪、生命周期分析和贡献者教育，提高 EIP 流程的可见性和易用性，同时还提供新的社区参与工具，例如趋势仪表板、引导式提交构建器和可自定义的 EIP 状态通知。 | |||
| 开发者体验和工具 | 更新和维护 eRPC，这是一种容错 EVM RPC 代理和可识别重组的永久缓存解决方案。 | |||
| 开发者体验和工具 | 查询数据库竞赛 | 为 Glider 查询提交到开源查询数据库的安全社区的奖金池做出贡献，以保护链上主网合约和项目免受漏洞利用，从更广泛的以太坊安全社区众包漏洞查询。 | ||
| 开发者体验和工具 | 更新和维护 Kurtosis，这是一个用于打包和启动临时后端堆栈的开源平台，重点是普通开发人员的可访问性。 | |||
| 开发者体验和工具 | 为 Hax 开发一个 Lean 后端，Hax 是一种用于将 Rust 的大部分子集转换为语言证明（目前为 Rocq 和 F*）的工具，然后可以使用该工具来证明其正确性。 | |||
| 开发者体验和工具 | Paymaster 管理应用 | 开源工具，使开发人员能够轻松定义、管理和衡量 ERC-4337 账户抽象钱包的 Gas 赞助策略。 | ||
| 开发者体验和工具 | 与 Visual Studio Code 集成的 Solidity 调试器，通过模拟和检查 Solidity 和 EVM 级别的合约执行来工作，支持断点、变量检查和符号执行。 | |||
| 开发者体验和工具 | Solidity 调试器，采用实验性解释器方法，适用于任何 Solidity 编译器生成的优化 EVM 字节码。 它将以 TypeScript 库的形式开发，因此它小、模块化且易于嵌入到各种项目中。 | |||
| 开发者体验和工具 | 设计和实现一种任何人都可以用来交易、构建和改编的开源路由算法。 | |||
| 执行层 | 设置基础设施以在更高的 Gas 限制下测试各种执行层客户端，识别瓶颈并构建工具来模拟主网条件。 | |||
| 一般研究 | 预确认知识体系化 | 生成关于以太坊中预确认的开放知识体系化，涵盖理论、实现、批评和未决问题。 | ||
| 一般增长与支持 | 巴西社区货币演变 | 通过测试迁移过程并评估扩展到巴西 170 个市政合作伙伴以及更远地区的可行性，将社区货币平台从 web2 过渡到 web3。 | ||
| 一般增长与支持 | 为旧金山的以太坊之家提供初步支持，该之家是以太坊社区在硅谷的物理中心，将促进加密创新、跨行业协作和社区参与。 | |||
| 一般研究 | 资助计划，为旨在创建更多关于以太坊、区块链技术和相关领域的知识的正式研究提供资金。 | |||
| 一般研究 | 为期 3 个月的计划，旨在对区域 DAO、数字治理等的现状进行可操作的研究。 | |||
| Layer2 | 通过与以太坊基金会的研究人员合作将rollup验证直接嵌入到以太坊中并维护治理最小化的可用rollup，从而推进治理最小化、抗审查的 rollups。 | |||
| 其他 | 通过索引 EIP-7702 活动、显示钱包使用趋势、分析授权合约模式以及衡量 EIP-7702 钱包与 ERC-4337 基础设施的交互方式，引入 EIP-7702 及其与 ERC-4337 关系相关的详细跟踪和指标。 | |||
| 其他 | 作为一个非营利组织，倡导去中心化成为新兴技术的基本特征。 这包括开发不可变、抗审查、透明、安全并支持数据自主权的区块链协议和应用程序。 | |||
| 其他 | 以太坊隐私生态系统映射 | 研究并创建以太坊隐私生态系统地图，以高亮显示和方便参考现有参与者，建立联系并促进生态系统在以太坊中提供实际的日常隐私。 | ||
| 其他 | 硬件钱包盲签名解决方案 | 探索硬件钱包中盲签名问题的概念验证解决方案。 这涉及一个事务“包”，其中包含一个自定义的一次性智能合约（用于链上验证某些操作）和实际的链上状态更改验证/断言，将预期事务夹在中间。 | ||
| 其他 | 为安全专业人士、协议和社区之间的协调提供共同利益基础设施，以合作开展有影响力的安全计划，例如 SEAL 911、SEAL Wargames 和 SEAL-ISAC。 | |||
| 协议增长与支持 | 为 EPF 成员提供助学金，EPF 是一项旨在帮助开发人员了解协议开发过程的计划。 | |||
| 协议增长与支持 | 资助计划，为以太坊生态系统 为 Pectra 网络升级做准备提供支持。 | |||
| 协议增长与支持 | 计划和研究工作，旨在激发人们对将协议作为思考世界的首要概念进行研究的广泛兴趣。 |
2025 年第二季度总授予金额：$8,374,108.64
你是否正在从事你认为可以改善以太坊的项目？ 请访问我们的，了解更多关于我们 在我们资助的项目中寻找什么。
- 原文链接： blog.ethereum.org/2025/0...
- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
本文参与登链社区写作激励计划 ，好文好收益，欢迎正在阅读的你也加入。
