# Sui新一轮学术研究资助计划结果公布：全球知名高校参与，17个项目获超42万美金支持近日，Sui基金会宣布了新一轮学术研究资助计划的获奖结果。该计划旨在资助推动Web3发展的研究，特别关注区块链网络、智能合约编程和基于Sui构建的产品相关技术的突破。在过去两个阶段中，共有17个来自国际知名大学的研究提案获得批准，总资助金额达425,000美元。参与高校包括韩国科学技术院、伦敦大学学院、洛桑联邦理工学院和新加坡国立大学等。以下是部分获奖提案的简介：1. DAOs：投票团体多样性 康奈尔大学的Ari Juels将研究去中心化组织的本质，建立衡量DAO去中心化程度的指标，并探索增强组织内部去中心化的实践方法。2. 自适应安全的异步DAG协议共识 伦敦大学学院的Philipp Jovanovic提出开发一种异步DAG协议，以提高抗攻击能力并适应变化的对手环境。该协议旨在提供更好的安全性和适应性，同时保持接近部分同步对手的性能水平。3. 大型语言模型指导下的Sui智能合约审计 伦敦大学学院的Arthur Gervais团队将利用GPT-4-32k和Claude-v2-100k等大型语言模型改进Move智能合约的审计过程。该项目将在Sui智能合约上应用他们之前在Solidity DeFi合约上的研究成果。4. 映射共识协议领域 伯尔尼大学的Christopher Cachin将调查当前的共识领域，为密码共识协议提供新见解，以助于更好地理解现有算法，并为设计分布式协议提供新思路。5. 去中心化预言机协议的高可信验证框架 卡内基梅隆大学的Giselle Reis和Djed Alliance的Bruno Woltzenlogel Paleo将创建一个框架，通过形式化方法严格分析和验证区块链预言机，确保智能合约中外部数据的准确性和公平性。6. 识别可扩展性瓶颈 苏黎世联邦理工学院的Roger Wattenhofer将研究如何通过识别智能合约设计缺陷来提高区块链应用程序的并行化潜力，并探讨调整交易费用对并行化的影响。7. Bullshark协议机械化 新加坡国立大学的Ilya Sergey旨在使用现代计算机辅助验证工具对Bullshark的属性进行正式验证，推进对基于DAG的共识协议的理解。8. BBSF：区块链基准化标准框架 利哈伊大学的Henry F. Korth将创建一个区块链基准标准化格式，以公平比较L1区块链和L2扩展解决方案，为用户和开发者提供链性能的透明洞见。9. 构建可扩展和去中心化的共享序列层 韩国科学技术院的Min Suk Kang将探讨将Bullshark/Mysticeti用作共享排序器算法，研究在Sui上运行多个Rollup的可能性。10. 用于最佳拥堵定价的本地费用市场 纽约大学的Abdoulaye Ndiaye将研究本地费用市场以优化拥堵定价，旨在建立反映拥堵状态的有效定价机制，实现最佳资源分配。这些研究项目涵盖了区块链技术的多个关键领域，从共识协议、智能合约安全到去中心化金融和预言机系统。它们的成果有望为Sui生态系统和整个区块链行业带来重要突破和创新。
Sui基金会新一轮学术资助:17个项目获42万美金 全球名校参与
Sui新一轮学术研究资助计划结果公布：全球知名高校参与，17个项目获超42万美金支持
近日，Sui基金会宣布了新一轮学术研究资助计划的获奖结果。该计划旨在资助推动Web3发展的研究，特别关注区块链网络、智能合约编程和基于Sui构建的产品相关技术的突破。
在过去两个阶段中，共有17个来自国际知名大学的研究提案获得批准，总资助金额达425,000美元。参与高校包括韩国科学技术院、伦敦大学学院、洛桑联邦理工学院和新加坡国立大学等。
以下是部分获奖提案的简介：
DAOs：投票团体多样性 康奈尔大学的Ari Juels将研究去中心化组织的本质，建立衡量DAO去中心化程度的指标，并探索增强组织内部去中心化的实践方法。
自适应安全的异步DAG协议共识 伦敦大学学院的Philipp Jovanovic提出开发一种异步DAG协议，以提高抗攻击能力并适应变化的对手环境。该协议旨在提供更好的安全性和适应性，同时保持接近部分同步对手的性能水平。
大型语言模型指导下的Sui智能合约审计 伦敦大学学院的Arthur Gervais团队将利用GPT-4-32k和Claude-v2-100k等大型语言模型改进Move智能合约的审计过程。该项目将在Sui智能合约上应用他们之前在Solidity DeFi合约上的研究成果。
映射共识协议领域 伯尔尼大学的Christopher Cachin将调查当前的共识领域，为密码共识协议提供新见解，以助于更好地理解现有算法，并为设计分布式协议提供新思路。
去中心化预言机协议的高可信验证框架 卡内基梅隆大学的Giselle Reis和Djed Alliance的Bruno Woltzenlogel Paleo将创建一个框架，通过形式化方法严格分析和验证区块链预言机，确保智能合约中外部数据的准确性和公平性。
识别可扩展性瓶颈 苏黎世联邦理工学院的Roger Wattenhofer将研究如何通过识别智能合约设计缺陷来提高区块链应用程序的并行化潜力，并探讨调整交易费用对并行化的影响。
Bullshark协议机械化 新加坡国立大学的Ilya Sergey旨在使用现代计算机辅助验证工具对Bullshark的属性进行正式验证，推进对基于DAG的共识协议的理解。
BBSF：区块链基准化标准框架 利哈伊大学的Henry F. Korth将创建一个区块链基准标准化格式，以公平比较L1区块链和L2扩展解决方案，为用户和开发者提供链性能的透明洞见。
构建可扩展和去中心化的共享序列层 韩国科学技术院的Min Suk Kang将探讨将Bullshark/Mysticeti用作共享排序器算法，研究在Sui上运行多个Rollup的可能性。
用于最佳拥堵定价的本地费用市场 纽约大学的Abdoulaye Ndiaye将研究本地费用市场以优化拥堵定价，旨在建立反映拥堵状态的有效定价机制，实现最佳资源分配。
这些研究项目涵盖了区块链技术的多个关键领域，从共识协议、智能合约安全到去中心化金融和预言机系统。它们的成果有望为Sui生态系统和整个区块链行业带来重要突破和创新。