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生態系統的技術進步和創新。