Sui学术研究奖新一轮结果揭晓：全球顶尖高校参与，17个项目获42.5万美元资助

Sui基金会近期公布了新一轮Sui学术研究奖的获奖名单。该计划旨在资助推动Web3发展的研究，特别是在区块链网络、智能合约编程和基于Sui构建的产品等相关技术领域。

在过去两个阶段中，共有17个来自国际知名大学的提案获得批准，总资助金额达42.5万美元。参与高校包括韩国科学技术院、伦敦大学学院、洛桑联邦理工学院和新加坡国立大学等。

部分获奖提案概览

DAOs：投票团体多样性

康奈尔大学的Ari Juels教授领导的这项研究旨在解决去中心化组织的本质问题。研究将建立衡量DAO去中心化程度的指标，并探索提高组织内部去中心化的实践方法。

自适应安全的异步DAG协议共识

伦敦大学学院的Philipp Jovanovic博士团队提出开发一种异步DAG协议，以增强抗攻击能力并适应不断变化的对手。该协议将在保持性能的同时，提供比当前部分同步模型更好的安全性和适应性。

大型语言模型辅助Sui智能合约审计

同样来自伦敦大学学院的Arthur Gervais教授团队计划利用GPT-4-32k和Claude-v2-100k等大型语言模型来改进Move智能合约审计。该项目将基于先前对Solidity合约的分析经验，扩展到Sui智能合约的安全评估。

映射共识协议领域

伯尔尼大学的Christopher Cachin教授领导的项目将全面调研当前共识领域，为密码共识协议提供新见解，有助于更好地理解现有算法并为分布式协议设计提供新思路。

去中心化预言机协议的高可信验证框架

卡内基梅隆大学的Giselle Reis博士和Djed Alliance的Bruno Woltzenlogel Paleo博士合作开发的这个项目，旨在创建一个框架，通过形式化方法严格分析和验证区块链预言机。该框架对确保智能合约中外部数据的准确性和公平性至关重要。

识别可扩展性瓶颈

苏黎世联邦理工学院的Roger Wattenhofer教授团队的研究旨在识别源于智能合约设计缺陷的瓶颈，以提高区块链应用程序的并行化潜力。他们还将探讨调整交易费用对并行化潜力的影响。

Bullshark协议机械化

新加坡国立大学的Ilya Sergey教授领导的这项研究计划使用现代计算机辅助验证工具对Bullshark的属性进行正式验证，推进基于DAG的共识协议的理解。该项目将为分布式系统研究提供首个经机械验证的DAG共识协议模型。

BBSF：区块链基准化标准框架

利哈伊大学的Henry F. Korth教授团队提出创建一个区块链基准标准化格式，以公平比较L1区块链和L2扩展解决方案。该项目旨在为用户和开发者提供链性能的透明洞察，促进明智决策。

构建可扩展和去中心化的共享序列层

韩国科学技术院的Min Suk Kang教授团队将探索将Bullshark/Mysticeti作为共享排序器算法的应用。他们计划运行多个使用Sui作为排序层的Rollup，使这些Rollup能够根据各自的执行层解释交易。

用于最佳拥堵定价的本地费用市场

纽约大学的Abdoulaye Ndiaye教授的研究项目将调查本地费用市场以优化拥堵定价，对交易拥堵和区块链网络中的交易执行进行类比。目标是建立反映拥堵状态的有效定价机制，实现最佳资源分配。

这些获奖项目涵盖了区块链技术的多个关键领域，从共识协议、智能合约安全到去中心化金融和性能优化。Sui基金会通过支持这些前沿研究，展现了推动区块链技术创新和实际应用的决心。这些研究成果有望为Sui生态系统乃至整个区块链行业带来重要突破。