拨款更新 - 2024年第四季度
- 以太坊中文
- 发布于 2025-02-07 16:18
- 阅读 12
该文章总结了以太坊基金会在2024年第四季度资助的多个项目，这些项目涵盖社区教育、共识层、密码学与零知识证明、开发者工具、执行层、通用研究、L2等方面，旨在推动以太坊生态系统的发展。总计资助金额超过一千一百万美元。
新年可能已经到来，但我们仍然受到 2024 年第 4 季度资助的令人难以置信的项目的启发。查看下表，了解通过他们的工作塑造未来的受助者的概况！
| 类别 | 项目 | 接受者 | 描述 | 联系方式 |
|---|---|---|---|---|
| 社区与教育 | Aleph de Verano | Crecimiento | 在阿根廷布宜诺斯艾利斯举行的为期 2 周的活动，包括 ZK 和全同态加密 (FHE) 训练营、黑客马拉松、演示日以及关于 DeFi、基础设施、治理和监管的讲座。 | |
| 社区与教育 | Aleph ZK 周 | 在阿根廷布宜诺斯艾利斯 Aleph 弹出城市举办的为期 3 天的会议，深入探讨了可编程密码学、多方计算 (MPC)、FHE 和去中心化身份系统。 | ||
| 社区与教育 | 现代对称密码的设计和密码分析中的代数方面 (ALPSY) 2025 | 研究研讨会，汇集了面向算术的对称密钥原语及其密码分析方面的专家，以促进对重大研究问题（包括关于 Poseidon 的特别会议）的合作。 | ||
| 社区与教育 | bETHink 黑客马拉松 | 在中国上海组织的黑客马拉松，重点关注重建社会信任系统、开源和公共产品以及人类验证的赛道。 | ||
| 社区与教育 | 布加勒斯特以太坊中心 | ETH Bucharest | 支持在罗马尼亚克勒斯特当地以太坊中心开展的活动，包括黑客马拉松、聚会、Solidity 训练营和大学模块。 | |
| 社区与教育 | 区块链基础教科书 | Dionysis Zindros | 使用关于 PoS 和问责制的章节更新 区块链基础 教科书，该教科书将用于在雅典大学教授课程。 | |
| 社区与教育 | 基于队列的以太坊教育计划 | BlockHeader Web3 | 在尼日利亚卡杜纳举办的基于队列的 Solidity 培训和黑客马拉松。 | |
| 社区与教育 | DeFi 安全峰会 | 在泰国曼谷举行的活动，深入探讨了在区块链技术之上保护去中心化应用程序的教育和技术进步。 | ||
| 社区与教育 | Devcon 卫星活动 | 资助轮次，以支持突出 Devcon SEA 编程或体验的活动。 | ||
| 社区与教育 | 中文版 EOF V1 教育材料 | Hung-Ying Tai | 普通话的文章和视频教程，涵盖拟议的 EOF v1 (EIP-7692) 的详细信息以及任何相关的背景知识。 | Twitter, Email |
| 社区与教育 | ETH Belgrade | ETH Belgrade University 和社区倡议，包括在塞尔维亚和其他巴尔干国家举行的聚会、在贝尔格莱德大学的讲座以及关于 Solidity、安全和 ZK 的课程。 | ||
| 社区与教育 | 以太坊密码朋克大会 | Web3Privacy Now | 在泰国曼谷举办的密码朋克会议，深入探讨了诸如实用隐私和自主权工具、密码学的道德角色以及以太坊的政治文化等主题。 | |
| 社区与教育 | 以太坊日系列 - 区块链的奥秘 | Black Ice Hackerspace | 在哈萨克斯坦组织的一系列活动，探讨隐私、安全和 EVM 等主题。 | |
| 社区与教育 | 以太坊黑客马拉松支持与存档 | Alina Latinina | 为以太坊黑客马拉松组织者提供社区建设和运营支持，同时记录创建黑客马拉松档案的过程。 | |
| 社区与教育 | Ethereum Melbourne | 在澳大利亚墨尔本举办的一系列原生以太坊聚会，重点关注 EVM 安全、账户抽象 和 MEV 等主题。 | ||
| 社区与教育 | 以太坊安全研究训练营 | Guild Audits | 在尼日利亚通过讲座、活动和黑客马拉松进行的安全开发人员免费培训计划。 | |
| 社区与教育 | Ethereum Slovenia | 每月聚会深入探讨基础设施、安全和开发人员工具等主题，以及每季度举办的活动，以促进 web3 企业之间的合作并鼓励 web2 公司进入 web3 生态系统。 | ||
| 社区与教育 | ETHIndia | Devfolio | 在印度班加罗尔举办的黑客马拉松，重点是为印度的未来开发去中心化应用程序。 | |
| 社区与教育 | ETH Kipu | 2025 年的一系列社区和教育计划，包括学习中心、质押 计划、Kipu Impact 和年度 ETH Latam 会议。 | ||
| 社区与教育 | ZKP 形式化验证研讨会 | ZKProof | 研讨会汇集了形式化验证专家，以促进合作、分享见解并推进 ZKP 系统中的形式化验证工作。 | |
| 社区与教育 | Latincrypt 2025 | 为期一周的以密码学为重点的活动，将举办 Latincrypt 会议以及 ASCrypto 和 CatioCrypt 等教育活动，地点在哥伦比亚麦德林。 | ||
| 社区与教育 | Mempool Guru | Fan Zhang | 公共服务系统，用于收集、持久化和分析以太坊 mempool 数据以供研究。 | |
| 社区与教育 | Modular Carnival 2025 | Modular Crypto | 在巴西贝洛奥里藏特举行的活动，将探讨 L2、质押 和 ZK 等主题，其中包括会议、黑客马拉松和辩论比赛。 | |
| 社区与教育 | 可编程密码学研究研讨会 | 0xPARC | 在斯坦福举行的研究研讨会和座谈会期间举办的可编程密码学研讨会，确定了关键研究重点并讨论了该领域的重要问题。 | |
| 社区与教育 | The Red Guild | 通过安全研究、教育和公众意识倡议来增强以太坊的生态系统弹性。 | ||
| 社区与教育 | Devcon 之路资助轮次 | 资助轮次，以支持东南亚原生以太坊社区、倡议和项目的增长。 | ||
| 社区与教育 | SEED Org | 在阿根廷和拉丁美洲实施一系列社区建设计划，包括 SEEDLatam、SEEDNodes 等。 | ||
| 社区与教育 | KTH 皇家理工学院 的学生研究 | 为在 KTH 皇家理工学院进行区块链研究的学生提供津贴。 | ||
| 社区与教育 | 区块链女性大会 | 区块链与 Web3 社区网络 | 在赞比亚卢萨卡举办的活动，其中技术社区的女性发表了演讲，突出了区块链和以太坊在非洲的变革力量以及女性在这一旅程中发挥的重要作用。 | |
| 社区与教育 | Yul 谜题 | RareSkills | 一组 80 个谜题，供玩家熟悉编写 Yul 汇编，玩家在其中填写代码块并查看单元测试是否通过。 | |
| 社区与教育 | ZKProof 7 | ZKProof | 活动的重点是 ZK 标准化工作，其中一整天专门用于 zkEVM 形式化验证项目，在保加利亚索非亚举行。 | |
| 共识层 | 通过半拓扑结合逻辑与共识 | Murdoch Gabbay | 使用半拓扑设计指定共识协议和推理共识协议的新声明性方法。 | |
| 共识层 | Hashcaster 探索 | Thomas Coratger | 创建开发人员友好的文档，简化 Hashcaster 的数学基础，并构建一个开源实现，以促进社区采用和探索潜在的 CPU 优化。 | Twitter, Email |
| 共识层 | libp2p | libp2p 基金会 | libp2p 的持续开发以及对以太坊路线图至关重要的各种 libp2p 改进的支持。 | |
| 共识层 | 优化 ssz-rs 中的 Merkle 证明 | Håvard Anda Winninge | 通过研究其他 merkle 化库、创建强大的基准来衡量性能改进以及切换到 Prysm 的 hashtree 库来提高哈希效率，从而优化 ssz-rs 的 merkle 化性能。 | |
| 共识层 | 包含列表的交易费用机制 | Nethermind | 为包含列表开发一种交易费用机制，该机制将使研究人员能够更好地了解通过以太坊网络流动价值，从而可能影响 FOCIL 的用户体验和有效性。 | |
| 共识层 | Vero | Serenita | 更新 Vero 为 Pectra 网络升级做准备并解决流行的社区请求，同时为广泛使用的社区工具做出贡献，以便在 Pectra 升级之前和期间测试、管理和监控 Vero。 | Twitter, Telegram |
| 密码学与零知识证明 | 经过身份验证的 Garbling MPZ | Nakul Khambhati | 在 MPZ 中实现经过身份验证的 garbling，以补充正在进行的扩展 MPZ 以支持恶意安全的努力。 | |
| 密码学与零知识证明 | 区块链驱动的 eSIM | Dungeon, Manul Singh Parihar, & GuyPhy4 | 基于移动设备的硬件加密钱包，使用 eSIM 进行远程配置访问权限。 | |
| 密码学与零知识证明 | 提交和证明查找研究 | Chaya Ganesh | 研究提交和证明查找，以潜在地增强和改进 SNARK 和 STARK 设计的模块化。 | |
| 密码学与零知识证明 | Community Link 嵌入式软件工程师 | Giammarco Casanova | Community Link 的全栈工程师，专注于增强无线连接，同时提供密码学方面的专业知识，以弥合连接和智能合约之间的差距。请注意，此项目已由 PSE 停止，你可以访问此 page 以获取更多信息。 | |
| 密码学与零知识证明 | Community Link & Pollen Labs 智能合约工程师 | geeloko | 根据真实用户反馈和社区需求开发智能合约，并与 Community Link 和 Pollen Labs 团队的其他工程师密切合作。请注意，这些项目已由 PSE 停止，你可以访问此 page 以获取更多信息。 | |
| 密码学与零知识证明 | 草书连接 | Cursive | 设计和开发隐私保护应用程序，该应用程序在 Edge City Lanna 和 Devcon 上进行了试点，该应用程序使用私有数据上的密码计算来揭示用户之间有意义的连接，而不会公开任何信息。 | |
| 密码学与零知识证明 | 草书设计贡献 | Tessa Maneewong | 为 Cursive 的秋季激活设计工作，包括 Devcon “密码连接”展位以及制作/印刷设计。 | |
| 密码学与零知识证明 | 草书技术贡献 | Steven Elleman | 对 Cursive Connections 的技术贡献，协助开发生产级应用程序。 | |
| 密码学与零知识证明 | Circom 中的 ECIES 实现 | Crema | 在 Circom 中构建安全高效的 ECIES 加密系统，具有 ZKP 功能，并为 ECIES 方案创建一个示例用例。 | |
| 密码学与零知识证明 | cLean | zkSecurity | 在 Lean 中开发一个框架来编写电路并验证它们是否满足给定的规范，目标是演示 AIR 算术化和对 RISC-V zkVM 有用的预编译。 | |
| 密码学与零知识证明 | 移动 edDSA 密钥管理库 | Yash Goyal | 探索安全、可重用的移动库（用于管理 edDSA 密钥）的可行性和实现。 | |
| 密码学与零知识证明 | mopro | Hao-Chen Tsai, Fu-Chuan Chung, Yaroslav Yashin, & Oskar | 一种专为 ZKP 设计的工具包，它利用移动 GPU 日益增长的强大功能，直接在客户端应用程序上提供快速、可扩展且安全的证明体验。 | |
| 密码学与零知识证明 | 通过图匿名化和网络单纯形在 MPC 中进行多边贸易信贷结算 | Masato Tsutsumi (合著者) | 通过设计一种以隐私保护的方式有效解决最小成本流问题的 MPC 算法，为论文做出贡献。 | |
| 密码学与零知识证明 | OpenPassport | 身份钱包，允许用户从政府签发的身份证件（如护照）生成隐私保护证明。 | ||
| 密码学与零知识证明 | Pollen Labs 核心贡献者 | Nicole Yeh | Pollen Labs 的非技术研究和项目管理。请注意，此项目已由 PSE 停止，你可以访问此 page 以获取更多信息。 | |
| 密码学与零知识证明 | PSE 影响框架研究 | LauNaMu | 共同创建具体的影响定义和指标，使 PSE 团队能够衡量他们的成功，并支持他们改进短期和长期战略，以实现真正的世界影响。 | |
| 密码学与零知识证明 | 量子计算机金丝雀 | Kanguk Lee | 调查量子计算机对以太坊密码系统的潜在威胁，提供对量子算法的数学和符号的良好介绍，以及它们如何工作的机械描述。 | |
| 密码学与零知识证明 | 复制 circom-MP-SPDZ 以支持 MOTION | 为 MOTION 生成文档并将 circom-MP-SPDZ 复制到 circom-MOTION。 | ||
| 密码学与零知识证明 | 复制 circom-MP-SPDZ 以支持 tfhe-rs | Vishal Kulkarni & Changmin Cho | 创建 tfhe-rs 的全面文档并将 circom-MP-SPDZ 调整为 circom-tfhe-rs。 | |
| 密码学与零知识证明 | 信号量模块化智能合约验证器模块 | Jimmy Chu | 开发一个信号量 ERC-7579 验证器模块和前端演示，使用户能够将该模块安装到他们的智能帐户、将成员（身份承诺）添加到信号量组以及在测试网上发送 ZKP。 | Twitter, Telegram |
| 密码学与零知识证明 | 信号量支付方 | Jihoon Song & Alfredo Bonilla | 开源工具和模块化组件，包括信号量支付方和前端元素，专为构建 账户抽象 应用程序而设计。 | |
| 密码学与零知识证明 | zkintro | Oskar | 文章的重点是 ZK 和可编程密码学，旨在弥合 ZK 社区与更广泛的受众之间的差距，这些受众没有或很少接触加密货币和 ZK。 | |
| 密码学与零知识证明 | ZK IR | Veridise | 为电路语言设计中间表示 (IR)，以解决电路生态系统中存在的碎片化问题，重点是开发与概念验证前端和验证后端集成的初始 ZK IR 库。 | |
| 密码学与零知识证明 | zkLean | Galois | 开发一个 Lean DSL 来指定 ZK 语句，并开发一个工具来自动将 Jolt 的语句提取到这个 DSL 中。 | James' Email, Decker's Email |
| 密码学与零知识证明 | ZKLib | Gregor Mitscha-Baude (zkSecurity) & Devon Tuma | 建立一个 Lean 库，用于形式化验证基于交互式预言机证明 (IOP) 的密码证明系统。 | |
| 密码学与零知识证明 | ZK 研究工程研究小组 | 尼日利亚的开发人员团队，专注于研究、实施和教授 ZK 协议的核心和基础知识，以吸引新的和经验丰富的 ZK 研究工程师。 | ||
| 密码学与零知识证明 | ZK 与证明研究 | EAS Foundation | 研究证明和 ZK 之间的集成，以了解为从证明生成证明的开源工具的潜在开发。 | Twitter, Telegram |
| 开发人员体验与工具 | Aderyn | Cyfrin | 开源的、基于 Rust 的 Solidity 智能合约静态分析器，旨在帮助协议工程师和安全研究人员查找 Solidity 代码库中的漏洞。 | |
| 开发人员体验与工具 | Sail to Lean | University of Cambridge, Galois, & Lindy Labs | 使使用 Sail 中定义的 RISC-V 语义能够验证 zkVM，使 Lean 后端能够被更广泛的正式方法社区访问，并为验证 RISC-V zkVM 的团队提供提取的语义。 | |
| 开发人员体验与工具 | Sonatina 增强功能 | Lane Biocini | 为 Sonatina（基于 Rust 的编译器后端）开发正式语义，目标是在 Sonatina 的 IR 级别上实现形式化验证，以增强以太坊平台上智能合约开发的安全性、效率和稳健性。 | |
| 开发人员体验与工具 | tevm | Will Cory | TypeScript (TS) 库，旨在通过提供类型安全的低级 EVM 工具在 TS 中执行字节码并支持将 Solidity 应用程序二进制接口 (ABI) 捆绑到 TS 中，从而补充现有的 EVM-TS 浏览器工具。 | |
| 开发人员体验与工具 | txtx | Ludo Galabru & Micaiah Reid | 用于抽象和管理多 EVM 链智能合约部署和运营的工具，包括与 Hardhat 和 Foundry 的集成。 | |
| 开发人员体验与工具 | 使用 KEVM 和 K 的 Lean 后端验证 revm | Runtime Verification | 确保 revm 在针对 KEVM（用 K 编写的 EVM 的正式规范）编译为 RISC-V 时的正确性，并为 K 开发 Lean 后端。 | |
| 开发人员体验与工具 | Web3j | Web3 Labs | 轻量级、高度模块化、反应式、类型安全的 Java 和 Android 库，用于处理智能合约并与以太坊网络上的客户端（节点）集成。 | |
| 执行层 | Besu 无状态实现 | ConsenSys | 对无状态研究和开发的积极贡献，包括规范/设计工作和 Besu 实现。 | |
| 执行层 | 带有预编译的经过认证的编译 | Bas Spitters (Aarhus University) | 支持在 Aarhus University 开展的一个为期 3 年的项目，在此期间，一名博士生将致力于将带有预编译的经过认证的编译应用于 EVM 和 zkVM。 | |
| 执行层 | EIP-7736 原型 | Wei Han Ng | 制作 EIP-7736 的原型，这是一个利用 verkle 树实现状态过期的优雅而简单的提议。 | Discord/Telegram: @ngweihan_eth |
| 执行层 | Coq 中的 EVM | Karl Palmskog (KTH) & Bas Spitters (Aarhus University) | 在 Coq 中开发一个规范的、可维护的且经过验证的 EVM 规范，该规范可以是通过经过认证的编译来验证 EVM 的 RISC-V 规范实现的基础。 | |
| 执行层 | karalabe-ssz Fuzzer | DongHyeon Hwang | 研究和开发一个有效的 fuzzer，用于测试基于 Go 的 karalabe-ssz 中的序列化和反序列化过程。 | |
| 执行层 | ROP-14：用于并行执行的交易费用市场设计 | Lioba Heimbach & Andrei Constantinescu | 通过根据资源利用率和需求对交易收费，为以太坊设计一个适应并行执行的交易费用市场。 | |
| 执行层 | Zevem | Jordan Ellis Coppard | 扩展 Zevem（用 Zig 实现的 EVM）以支持所有当前指令和无状态 gas 成本。 | |
| 一般研究 | Crystal-Clear | CHAINS Research Group at KTH | 旨在映射智能合约之间的互连并跟踪智能合约更改以提高安全性的研究项目。 | |
| 一般研究 | 优化诚实的区块构建 | ALPACAS Research Group at HKUST | 研究优化诚实的区块构建（无有害的 MEV），以最大限度地提高总 gas 费用，使用交易之间的 gas 依赖关系、gas 依赖关系图的稀疏性以及参数化算法的设计进行优化。 | |
| 一般研究 | Restaking 经济模型 | CADLabs | 开发一个公共、开源的模拟模型，以评估 restaking 协议生态系统中的密码经济安全性以及收益/风险参数。 | |
| 间接资助 | Devcon SEA 二次投票轮次 | 二次投票轮次，以支持帮助社区了解相关以太坊数据的关键以太坊仪表板。每位 Devcon SEA 参与者都有机会投票。 | ||
| 间接资助 | Ethereum TGU Academia QV 轮次 | 使用 MACI 平台进行的公共产品资助轮次，旨在吸引洪都拉斯特古西加尔巴的大学社区并利用这些社区，重点关注研究、教育、社会公益和学术界的项目，这些项目可以促进区块链的采用。 | ||
| Layer2 | Based Rollup 的 Blob 共享协议 | Nethermind | 构建Based Rollup 的 blob 共享工具，这将涉及定义一个标准，用于如何在共享 blob 中布局不同 rollup 的 L2 区块、定义 L2 收件箱中的一个标准，用于消耗共享 blob，以及运行测试用例以验证设计。 | |
| Layer2 | growthepie | 扩展指标以包括以太坊链，并将部署到以太坊的合约纳入其合约标记解决方案中，使用户能够将以太坊 L1 链统计数据与 L2 进行比较。 | ||
| 其他 | DeFRIDA | Nethermind | L2 应用程序和轻客户端的新型数据可用性采样协议。 | |
| 其他 | [欧洲加密货币倡议组织 (EUCI)](https://eu |
- 原文链接： blog.ethereum.org/2025/0...
- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
本文参与登链社区写作激励计划 ，好文好收益，欢迎正在阅读的你也加入。
