# Sui公布最新学术研究资助名单:17个项目获42万美元支持近期,Sui基金会宣布了新一轮学术研究资助计划的获奖名单。该计划旨在支持推动Web3技术发展的研究项目,特别关注区块链网络、智能合约编程以及基于Sui构建的产品相关技术的突破。在过去两个阶段中,共有17个来自全球顶尖学府的研究提案获得批准,总资助金额达42.5万美元。参与机构包括韩国科学技术院、伦敦大学学院、洛桑联邦理工学院和新加坡国立大学等。## 部分获资助项目概览### 去中心化自治组织的多样性研究康奈尔大学的研究团队将着手解决DAO的本质问题,建立衡量去中心化程度的指标,并探索提升组织内部去中心化水平的实践方法。### 提升异步DAG协议共识安全性伦敦大学学院的项目旨在开发一种新型异步DAG协议,以增强抵御攻击的能力并适应不断变化的对手环境。该协议将在保持高性能的同时,提供更强的安全性和适应性。### 利用大型语言模型审计Sui智能合约另一个来自伦敦大学学院的团队计划运用GPT-4-32k和Claude-v2-100k等大型语言模型,显著提升对Move智能合约的审计能力。他们此前在分析52个Solidity DeFi智能合约时发现了导致近10亿美元损失的漏洞,现将研究扩展到Sui生态系统。### 共识协议领域的全面梳理伯尔尼大学的研究者将对当前共识协议领域进行全面调查,为密码学共识协议提供新的见解,有助于更深入理解现有算法并为设计新的分布式协议提供思路。### 去中心化预言机的高可信验证框架卡内基梅隆大学与Djed联盟的联合项目将创建一个框架,通过形式化方法严格分析和验证区块链预言机。这对确保智能合约中外部数据的准确性和公平性至关重要。### 识别区块链可扩展性瓶颈苏黎世联邦理工学院的研究旨在通过识别源于智能合约设计缺陷的瓶颈,提高区块链应用程序的并行化潜力。同时也将探讨交易费用调整对并行化能力的影响。### Bullshark协议的机械化验证新加坡国立大学的项目将利用现代计算机辅助验证工具对Bullshark协议进行形式化验证,推进对基于DAG的共识协议的理解。这将为分布式系统研究提供首个经机械验证的DAG共识协议模型。这些研究项目涵盖了区块链技术的多个关键领域,从基础设施到应用层面,有望为Sui生态系统和整个Web3行业带来重要突破。通过支持学术界的创新研究,Sui正在积极推动区块链技术的前沿发展。
Sui基金会投42万美元支持17个Web3学术研究项目
Sui公布最新学术研究资助名单:17个项目获42万美元支持
近期,Sui基金会宣布了新一轮学术研究资助计划的获奖名单。该计划旨在支持推动Web3技术发展的研究项目,特别关注区块链网络、智能合约编程以及基于Sui构建的产品相关技术的突破。
在过去两个阶段中,共有17个来自全球顶尖学府的研究提案获得批准,总资助金额达42.5万美元。参与机构包括韩国科学技术院、伦敦大学学院、洛桑联邦理工学院和新加坡国立大学等。
部分获资助项目概览
去中心化自治组织的多样性研究
康奈尔大学的研究团队将着手解决DAO的本质问题,建立衡量去中心化程度的指标,并探索提升组织内部去中心化水平的实践方法。
提升异步DAG协议共识安全性
伦敦大学学院的项目旨在开发一种新型异步DAG协议,以增强抵御攻击的能力并适应不断变化的对手环境。该协议将在保持高性能的同时,提供更强的安全性和适应性。
利用大型语言模型审计Sui智能合约
另一个来自伦敦大学学院的团队计划运用GPT-4-32k和Claude-v2-100k等大型语言模型,显著提升对Move智能合约的审计能力。他们此前在分析52个Solidity DeFi智能合约时发现了导致近10亿美元损失的漏洞,现将研究扩展到Sui生态系统。
共识协议领域的全面梳理
伯尔尼大学的研究者将对当前共识协议领域进行全面调查,为密码学共识协议提供新的见解,有助于更深入理解现有算法并为设计新的分布式协议提供思路。
去中心化预言机的高可信验证框架
卡内基梅隆大学与Djed联盟的联合项目将创建一个框架,通过形式化方法严格分析和验证区块链预言机。这对确保智能合约中外部数据的准确性和公平性至关重要。
识别区块链可扩展性瓶颈
苏黎世联邦理工学院的研究旨在通过识别源于智能合约设计缺陷的瓶颈,提高区块链应用程序的并行化潜力。同时也将探讨交易费用调整对并行化能力的影响。
Bullshark协议的机械化验证
新加坡国立大学的项目将利用现代计算机辅助验证工具对Bullshark协议进行形式化验证,推进对基于DAG的共识协议的理解。这将为分布式系统研究提供首个经机械验证的DAG共识协议模型。
这些研究项目涵盖了区块链技术的多个关键领域,从基础设施到应用层面,有望为Sui生态系统和整个Web3行业带来重要突破。通过支持学术界的创新研究,Sui正在积极推动区块链技术的前沿发展。