Sui新一輪學術研究資助計劃結果公布：全球知名高校參與，17個項目獲超42萬美金支持

近日，Sui基金會宣布了新一輪學術研究資助計劃的獲獎結果。該計劃旨在資助推動Web3發展的研究，特別關注區塊鏈網路、智能合約編程和基於Sui構建的產品相關技術的突破。

在過去兩個階段中，共有17個來自國際知名大學的研究提案獲得批準，總資助金額達425,000美元。參與高校包括韓國科學技術院、倫敦大學學院、洛桑聯邦理工學院和新加坡國立大學等。

以下是部分獲獎提案的簡介：

1. DAOs：投票團體多樣性 康奈爾大學的Ari Juels將研究去中心化組織的本質，建立衡量DAO去中心化程度的指標，並探索增強組織內部去中心化的實踐方法。

2. 自適應安全的異步DAG協議共識 倫敦大學學院的Philipp Jovanovic提出開發一種異步DAG協議，以提高抗攻擊能力並適應變化的對手環境。該協議旨在提供更好的安全性和適應性，同時保持接近部分同步對手的性能水平。

3. 大型語言模型指導下的Sui智能合約審計 倫敦大學學院的Arthur Gervais團隊將利用GPT-4-32k和Claude-v2-100k等大型語言模型改進Move智能合約的審計過程。該項目將在Sui智能合約上應用他們之前在Solidity DeFi合約上的研究成果。

4. 映射共識協議領域 伯爾尼大學的Christopher Cachin將調查當前的共識領域，爲密碼共識協議提供新見解，以助於更好地理解現有算法，並爲設計分布式協議提供新思路。

5. 去中心化預言機協議的高可信驗證框架 卡內基梅隆大學的Giselle Reis和Djed Alliance的Bruno Woltzenlogel Paleo將創建一個框架，通過形式化方法嚴格分析和驗證區塊鏈預言機，確保智能合約中外部數據的準確性和公平性。

6. 識別可擴展性瓶頸 蘇黎世聯邦理工學院的Roger Wattenhofer將研究如何通過識別智能合約設計缺陷來提高區塊鏈應用程序的並行化潛力，並探討調整交易費用對並行化的影響。

7. Bullshark協議機械化 新加坡國立大學的Ilya Sergey旨在使用現代計算機輔助驗證工具對Bullshark的屬性進行正式驗證，推進對基於DAG的共識協議的理解。

8. BBSF：區塊鏈基準化標準框架 利哈伊大學的Henry F. Korth將創建一個區塊鏈基準標準化格式，以公平比較L1區塊鏈和L2擴展解決方案，爲用戶和開發者提供鏈性能的透明洞見。

9. 構建可擴展和去中心化的共享序列層 韓國科學技術院的Min Suk Kang將探討將Bullshark/Mysticeti用作共享排序器算法，研究在Sui上運行多個Rollup的可能性。

10. 用於最佳擁堵定價的本地費用市場 紐約大學的Abdoulaye Ndiaye將研究本地費用市場以優化擁堵定價，旨在建立反映擁堵狀態的有效定價機制，實現最佳資源分配。

這些研究項目涵蓋了區塊鏈技術的多個關鍵領域，從共識協議、智能合約安全到去中心化金融和預言機系統。它們的成果有望爲Sui生態系統和整個區塊鏈行業帶來重要突破和創新。