Sui學術研究獎新一輪結果揭曉：全球頂尖高校參與，17個項目獲42.5萬美元資助

Sui基金會近期公布了新一輪Sui學術研究獎的獲獎名單。該計劃旨在資助推動Web3發展的研究，特別是在區塊鏈網路、智能合約編程和基於Sui構建的產品等相關技術領域。

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

部分獲獎提案概覽

DAOs：投票團體多樣性

康奈爾大學的Ari Juels教授領導的這項研究旨在解決去中心化組織的本質問題。研究將建立衡量DAO去中心化程度的指標，並探索提高組織內部去中心化的實踐方法。

自適應安全的異步DAG協議共識

倫敦大學學院的Philipp Jovanovic博士團隊提出開發一種異步DAG協議，以增強抗攻擊能力並適應不斷變化的對手。該協議將在保持性能的同時，提供比當前部分同步模型更好的安全性和適應性。

大型語言模型輔助Sui智能合約審計

同樣來自倫敦大學學院的Arthur Gervais教授團隊計劃利用GPT-4-32k和Claude-v2-100k等大型語言模型來改進Move智能合約審計。該項目將基於先前對Solidity合約的分析經驗，擴展到Sui智能合約的安全評估。

映射共識協議領域

伯爾尼大學的Christopher Cachin教授領導的項目將全面調研當前共識領域，爲密碼共識協議提供新見解，有助於更好地理解現有算法並爲分布式協議設計提供新思路。

去中心化預言機協議的高可信驗證框架

卡內基梅隆大學的Giselle Reis博士和Djed Alliance的Bruno Woltzenlogel Paleo博士合作開發的這個項目，旨在創建一個框架，通過形式化方法嚴格分析和驗證區塊鏈預言機。該框架對確保智能合約中外部數據的準確性和公平性至關重要。

識別可擴展性瓶頸

蘇黎世聯邦理工學院的Roger Wattenhofer教授團隊的研究旨在識別源於智能合約設計缺陷的瓶頸，以提高區塊鏈應用程序的並行化潛力。他們還將探討調整交易費用對並行化潛力的影響。

Bullshark協議機械化

新加坡國立大學的Ilya Sergey教授領導的這項研究計劃使用現代計算機輔助驗證工具對Bullshark的屬性進行正式驗證，推進基於DAG的共識協議的理解。該項目將爲分布式系統研究提供首個經機械驗證的DAG共識協議模型。

BBSF：區塊鏈基準化標準框架

利哈伊大學的Henry F. Korth教授團隊提出創建一個區塊鏈基準標準化格式，以公平比較L1區塊鏈和L2擴展解決方案。該項目旨在爲用戶和開發者提供鏈性能的透明洞察，促進明智決策。

構建可擴展和去中心化的共享序列層

韓國科學技術院的Min Suk Kang教授團隊將探索將Bullshark/Mysticeti作爲共享排序器算法的應用。他們計劃運行多個使用Sui作爲排序層的Rollup，使這些Rollup能夠根據各自的執行層解釋交易。

用於最佳擁堵定價的本地費用市場

紐約大學的Abdoulaye Ndiaye教授的研究項目將調查本地費用市場以優化擁堵定價，對交易擁堵和區塊鏈網路中的交易執行進行類比。目標是建立反映擁堵狀態的有效定價機制，實現最佳資源分配。

這些獲獎項目涵蓋了區塊鏈技術的多個關鍵領域，從共識協議、智能合約安全到去中心化金融和性能優化。Sui基金會通過支持這些前沿研究，展現了推動區塊鏈技術創新和實際應用的決心。這些研究成果有望爲Sui生態系統乃至整個區塊鏈行業帶來重要突破。