2024年度学术资助计划获奖者名单公布
- 以太坊中文
- 发布于 2025-01-18 17:29
- 阅读 16
以太坊基金会宣布了2024年度学术资助计划的获奖者，共资助来自全球研究机构的41个项目，总预算为1,786,137.48美元。这些项目涵盖密码学、共识机制、安全、执行等以太坊发展的关键领域，旨在解决以太坊面临的根本挑战和机遇，推动以太坊生态系统的发展。
生态系统资助计划团队很高兴地宣布 2024 年学术资助轮次 的获得者！在这一轮中，我们很荣幸能够支持来自全球研究人员和机构的 41 个项目。这些项目旨在解决以太坊增长关键领域（包括密码学、共识机制、安全性、执行等）中的根本性挑战和机遇。
按类别划分的预算摘要
| 类别 | 项目数量 | 总预算 |
|---|---|---|
| 客户端工程 | 1 | 18,500.00 美元 |
| 共识层 | 5 | 230,400.00 美元 |
| 密码学、零知识证明等 | 11 | 532,625.00 美元 |
| 网络安全和隐私 | 7 | 148,553.48 美元 |
| 经济学和最大可提取价值 (MEV) | 6 | 262,322.00 美元 |
| 形式化验证 | 3 | 231,800.00 美元 |
| P2P 网络 | 2 | 159,437.00 美元 |
| 社会和监管 | 6 | 237,500.00 美元 |
| 总计 | 41 | 1,786,137.48 美元 |
客户端工程
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 以太坊上经过身份验证且高效的链上事件查询 | Damiano Di Francesco Maesa | 比萨大学 | 该项目提出了一种新颖的索引数据结构，用于高效且安全地检索区块链数据，从而提高 dapp 性能和客户端效率。 |
共识层
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 探索以太坊规范的自动模型检测 | Igor Konnov 博士, Jure Kukovec, Andrey Kuprianov 博士, Thomas Pani 博士 & Than Hai Tran (Consensys) | 独立 | 这项探索性研究项目旨在开发用于自动验证以太坊共识层规范的方法。该项目建立了从可执行的 Python 规范到 TLA+ 规范语言的转换规则，从而使这些规范易于进行模型检查。当前的 3SF 以太坊协议规范是案例研究。 |
| 用于识别以太坊激励漏洞的渗透测试框架 | Rujia Li, Sisi Duan 博士, Mingfei Zhang & Xueqian Lu | 清华大学 | 该项目是一项开创性的工作，旨在解决检测以太坊激励机制缺陷的挑战。通过提出一个自动化的渗透测试框架，该研究通过分析和减轻其激励系统中的漏洞来确保以太坊网络的完整性和可靠性。 |
| 以太坊的抗审查性 | Kartik Nayak 博士 & Sarisht Wadhwa | 杜克大学 | 抗审查性是去中心化基础设施的关键属性。该项目探索使用多重性工具来显着增加审查成本，同时考虑可能导致不同情况下的弹性的特定于应用程序的因素。 |
| 区块链基础 - 权益证明 | Dionysis Zindros & Aggelos Kiayias | Common Prefix | 该项目是即将出版的教科书“区块链基础”的一部分，该书探讨了无需许可的共识和区块链。它基于多年的研究生课程教学经验，为学生提供了对权益证明系统的基础见解。 |
| 权益证明加密货币网络上削减惩罚的制度经济分析 | Eric Alston & William Lehr 博士 | 科罗拉多大学博尔德分校 & 麻省理工学院 | 该项目调查了区块链网络中的削减政策，重点关注治理影响和自动化程序的多样性。该研究强调了在惩罚措施与正当程序机制之间取得平衡，以确保公平的治理结构。 |
密码学、零知识证明等
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 更高效且可扩展的后量子多重签名 | Muhammed Esgin 博士, Ron Steinfeld 副教授, John Tsz Hon Yuen 副教授, Joseph Liu 教授 | 莫纳什大学 | 该项目开发了两种后量子多重签名方案，提供了不同的安全假设和权衡。它通过先进的密码学方法，有助于增强以太坊的可扩展性和安全性。 |
| 平衡金融和其他交易中的匿名性和合规性 | Anna Lysyanskaya 教授 & Scott Griffy | 布朗大学 | 该研究侧重于隐私保护蓝图，从而增强金融交易中的安全性和合规性。它旨在启用匿名凭证，同时允许在特定法律情况下进行溯源。 |
| Fiat-Shamir 的理论和实践 | Michele Orrù, Trevor Perrin, Dmitry Khovratovich, Bart Mennink & Mario Marhuenda | CNRS | 该项目弥合了 Fiat-Shamir 转换的理论和实践方面，重点是将 SAFE API 集成到 zk-proof 框架中，以增强其采用率。 |
| ZK 编译器的形式化验证 | Qinxiang Cao, Yu Yu, Yucong Hu, Zihan Xu, Youwei Zhong & Xiwei Wu | 上海交通大学 | 零知识证明已在区块链应用中得到越来越广泛的应用。该项目计划形式化验证 ZK 编译器的安全保证，以提高其在区块链环境中的稳健性。 |
| 可扩展的去中心化密封投标拍卖 | Philipp Jovanovic, Kobi Gurkan, Alireza Kavousi & Andrija Novakovic | UCL & Geometry Research | 数字拍卖机制需要安全性、隐私性和可扩展性。该项目旨在开发满足这些要求的拍卖，从而在在线市场上实现安全高效的资产价格发现。 |
| 具有 SNARK 聚合的后量子签名 | Matthieu Rivain & Thibauld Feneuil | CryptoExperts | 该项目设计并实现了 SNARK 友好的后量子签名，以实现高效且通用的聚合方案，从而使用高级密码学工具增强以太坊的生态系统。 |
| 对称密码学原语的设计 | Lorenzo Grassi | Ponos Technology | 该项目侧重于为 ZK 应用程序设计密码学原语，从而实现隐私保护计算验证并增强以太坊 Rollup 解决方案的安全性。 |
| 对称密码学原语的密码分析 | Lorenzo Grassi | Ponos Technology | 该项目分析了 ZKP 中使用的对称密码学原语的效率和安全性，从而有助于提高基于以太坊的解决方案的可靠性和可扩展性。 |
| ZK-ARCKIT | Albert Rubio 教授, Miguel Isabel 助理教授 & Clara Rodriguez | 马德里康普顿斯大学 | 该项目开发工具来分析、验证和优化 ZK 协议中使用的多项式约束系统，旨在增强其可用性和性能。 |
| c-kzg 库的形式化验证 | Eddy Westbrook 博士, Than-Hai Tran 博士 & Roberto Saltini | Galois & Consensys | 该项目通过形式化验证 c-kzg 库来支持 EIP-4844 (Proto Danksharding)，这是以太坊扩展进步的关键组成部分。 |
| 构建实用且安全的基于区块链的 AI | Zhipeng Wang, Jiahao Sun & Sylvie Zhang | 伦敦帝国学院 & FLock.io | 该项目集成了经济建模和 ZKP，以增强基于区块链的 AI 框架，从而确保机器学习应用程序的隐私和安全性。 |
网络安全和隐私
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 编码问责制：区块链安全治理 | Kelsie Nabben 博士 & Primavera De Filippi 博士 | BlockchainGov | 该项目侧重于行业与学术界的合作，以推进区块链安全实践。它利用基础学术分析来产生有影响力的结果，从而将以太坊的社区和区块链安全实践联系起来。 |
| 数据驱动的时序模糊测试 | Fudong Wu 博士, Xiaoyu Liu, Jialing Fan 博士 & Jiaqi Gao 博士 | 北京航空航天大学 | 该项目开发了模糊测试方法，通过解决以太坊对等网络中的漏洞来提高以太坊网络安全性。 |
| 揭示盲消息攻击 | Wenrui Diao 博士 & Xiaokuan Zhang 教授 | 山东大学 & 乔治梅森大学 | 该项目通过调查和减轻盲消息攻击中的漏洞来解决 Web3 身份验证方法中的安全漏洞，从而增强以太坊的生态系统。 |
| CANARY：变更分析系统 | Anindya Maiti 博士, Scott Seidenberger, Alec Sokol, Khoi Trihn, Tristan Bony & Koy Wilson | 俄克拉荷马大学 | CANARY 项目为以太坊的 P2P 网络创建了一个实时监控系统，以识别异常并确保网络安全。 |
| 最佳反击合成 | Yu Feng 助理教授, Hanzhi Liu & Hongbo Wen | 加州大学圣巴巴拉分校 | 该项目通过合成最佳反击并减轻以太坊智能合约中的漏洞来加强对链上攻击的防御。 |
| 训练 EVM 原生 GPT | Kaihua Qin 博士, Liyi Zhou, Javier García Arredondo, Weilin Li & Arthur Gervais 博士 | Zoro AG | 该项目开发了基于 GPT 的以太坊交易分析模型，从而实现实时入侵检测和动态安全策略。 |
| SEADRAGON | Anindya Maiti 博士, Scott Seidenberger, Alec Sokol, Khoi Trihn, Tristan Bony & Koy Wilson | 俄克拉荷马大学 | SEADRAGON 通过先进的覆盖网络增强了以太坊的节点安全性，从而确保了隐私和运营弹性。 |
经济学和最大可提取价值 (MEV)
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 以太坊区块空间衍生品框架 | Shouqiao Wang | 哥伦比亚商学院 | 该项目开发了以太坊区块空间衍生品市场的框架，从而解决了交易费用波动并提高了市场效率。 |
| 质押经济中的流动性转换 | Alfred Lehar 教授 & Christine Parlour | 卡尔加里大学 | 该研究分析了以太坊质押经济中的激励结构和系统性风险，从而有助于建立稳健的经济模型。 |
| 流动性质押中的委托代理问题 | Apostolos Tzinas | Common Prefix | 该项目调查了 Lido 和 Rocketpool 等流动性质押协议中的治理动态和安全权衡。 |
| 区块链几何 | Vijay Mohan 博士 | 独立 | 该项目开发了用于可视化平衡状态下的区块链行为的分析工具，从而集成了经济和计算视角。 |
| MEV-Boost 拍卖 | Mengqian Zhang & Fan Zhang | 耶鲁大学 | 该项目提高了以太坊 MEV-boost 拍卖的效率和稳健性，从而引入了新颖的拍卖机制来减轻低效率。 |
| 客户端多样性的可靠基础 | Javier Ron & Martin Monperrus 教授 | KTH 皇家理工学院 | 该项目改进了欺诈证明机制并促进了以太坊生态系统中的客户端多样性。 |
形式化验证
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 加速大型位向量的 SMT 求解 | Clark Barrett 教授, Aina Niemetz & Mathias Preiner | 斯坦福大学 | 该项目推进了 SMT 求解器，以实现对大型位向量的有效推理，从而解决了以太坊的验证挑战。 |
| 在 Lean 中构建 EVM 和 Yul 的可执行形式模型 | Rodrigo Ribeiro 教授, Julian Sutherland 博士, Fabricio Paranhos & Andrei Burduşa | Nethermind | 该项目在 Lean 中形式化了以太坊虚拟机 (EVM)，从而提供了用于推理智能合约和执行环境的工具。 |
| SOPA (EVM 字节码的可靠且精确的 Gas 分析) | Elvira Albert 教授, Albert Rubio 教授, Pablo Gordillo, Alejandro Hernández-Cerezo, Jesús Correas & Guillermo Román-Díez | 马德里康普顿斯大学 | 该项目开发了以太坊智能合约的 Gas 分析工具包，从而确保了精确且可靠的资源估计。 |
P2P 网络
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 以太坊 P2P 协议的基于细化的分析 | Panagiotis Manolios 教授, Cristina Nita-Rotaru 教授, Ankit Kumar & Max Von Hippel | 东北大学 | 该项目形式化了以太坊 P2P 协议的正确性，从而分析了其针对攻击的稳健性。 |
| 乐观的点对点网络 | Chen-Da Liu-Zhang 博士, Christian Matt 博士 & Søren Eller Thomsen | Primev | 该项目探索了用于区块链的高效点对点网络设计，从而提高了带宽和延迟。 |
社会和监管
| 项目名称 | 研究员姓名 | 机构 | 描述 |
|---|---|---|---|
| 斯坦福区块链法律与政策杂志 | Steve Nam | 斯坦福大学 | 斯坦福区块链法律与政策杂志 成立于 2018 年，旨在解决区块链法律与政策中服务不足的法律主题，从而提供平衡的视角和创新的解决方案。 |
| 开源软件开发和社区动态 | Jiasun Li 博士 & Mariia Petryk 博士 | 乔治梅森大学 | 该项目调查了开源项目，以汲取区块链治理的经验教训，重点关注社区动态和项目成功因素。 |
| 从法律角度看以太坊的执行和最终性 | Mikolaj Barczentewicz 博士 | 独立 | 该项目根据欧盟金融监管审查了以太坊中的交易结算和执行，从而解决了法律框架中的差距。 |
| EVM 生态系统的有效状态列表 | Felix Hoops, Burak Öz & Florian Matthes 教授 | 慕尼黑工业大学 | 该项目为以太坊用户提出了去中心化身份机制，从而解决了隐私和互操作性挑战。 |
| 肯尼亚 DeFi 可访问性的 USSD | Dennis Kaburu 博士 | 乔莫·肯雅塔农业技术大学 | 该项目增强了肯尼亚 USSD 用户的 DeFi 可访问性，从而解决了区块链采用的技术障碍。 |
| 以太坊社会层 (ESL) 项目 | Paul Dylan-Ennis 助理教授 | 独立 | 该项目研究了以太坊不断发展的社会动态及其社区和治理结构中潜在的攻击媒介。 |
再次祝贺所有获奖者！
- 原文链接： blog.ethereum.org/2025/0...
- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
本文参与登链社区写作激励计划 ，好文好收益，欢迎正在阅读的你也加入。
