Sui新一轮区块链研究资助计划公布：多所知名高校参与，17个项目获资超42万美元

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

本轮资助共有17个来自全球知名高校的研究项目入选，总资助金额达425,000美元。参与高校包括韩国科学技术院、伦敦大学学院、洛桑联邦理工学院和新加坡国立大学等。

以下是部分获奖项目的简介：

去中心化自治组织(DAO)的多样性研究

康奈尔大学的研究团队将探讨去中心化组织的本质，建立衡量DAO去中心化程度的指标，并研究如何增强组织内部的去中心化。

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

伦敦大学学院的研究者提出开发一种异步有向无环图(DAG)协议，以提高抗攻击能力并适应不断变化的对手环境。该协议旨在提供更好的安全性和适应性，同时保持接近部分同步模型的性能水平。

基于大语言模型的智能合约审计

伦敦大学学院的另一个研究团队计划利用GPT-4等大型语言模型来改进Move语言智能合约的审计。他们此前对52个Solidity DeFi智能合约的分析发现了导致近10亿美元损失的漏洞。该项目将把这一研究扩展到Sui智能合约。

共识协议领域映射

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

去中心化预言机协议验证框架

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

识别区块链可扩展性瓶颈

苏黎世联邦理工学院的团队将致力于识别源于智能合约设计缺陷的可扩展性瓶颈，并探讨如何通过调整交易费用来提高并行化潜力。

Bullshark共识协议形式化验证

新加坡国立大学的研究旨在使用现代计算机辅助验证工具对Bullshark协议进行正式验证，推进对基于DAG的共识协议的理解。

区块链基准化标准框架

利哈伊大学的项目计划创建一个区块链基准标准化格式，以公平比较各种L1区块链和L2扩展解决方案的性能，为用户和开发者提供透明的链性能洞察。

这些研究项目涵盖了区块链技术的多个关键领域，从共识机制到智能合约安全，从去中心化组织到预言机协议。通过支持这些前沿研究，Sui基金会旨在推动整个Web3生态系统的技术进步和创新。