Sui学术研究奖最新一轮结果公布：全球知名高校参与，17个项目获42万美元资助

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

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

部分获奖提案概览

去中心化自治组织(DAOs)的投票群体多样性研究

康奈尔大学的Ari Juels教授将探讨去中心化组织的本质，并建立衡量去中心化程度的指标。该研究旨在确定能够增强组织内部去中心化的实践方法。

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

伦敦大学学院的Philipp Jovanovic博士提出开发一种异步DAG协议，以提高抗攻击能力并适应不断变化的对手。该协议旨在提供更好的安全性和适应性，同时保持接近部分同步对手的性能水平。

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

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

共识协议领域的全面梳理

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

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

卡内基梅隆大学的Giselle Reis和Djed Alliance的Bruno Woltzenlogel Paleo将创建一个框架，通过形式化方法严格分析和验证区块链预言机。该项目将利用Coq证明管理系统，开发全面的定义和证明策略库。

识别区块链可扩展性瓶颈

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

Bullshark协议的机械化验证

新加坡国立大学的Ilya Sergey教授计划使用现代计算机辅助验证工具对Bullshark的属性进行正式验证，推进对基于有向无环图的共识协议的理解。

区块链基准化标准框架(BBSF)

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

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

韩国科学技术院的Min Suk Kang教授将探索将Bullshark/Mysticeti用作共享排序器算法的可能性，研究如何运行多个使用Sui作为排序层的Rollup。

本地费用市场优化拥堵定价

纽约大学的Abdoulaye Ndiaye教授将研究本地费用市场以优化拥堵定价，建立反映拥堵状态的有效定价机制，以实现最佳资源分配。

这些研究项目涵盖了区块链技术的多个关键领域，从共识机制到智能合约安全，从预言机到去中心化金融。它们的成果有望为Sui生态系统和整个区块链行业带来重要突破和创新。