Sui學術研究獎最新一輪結果公布：全球知名高校參與，17個項目獲42萬美元資助

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

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

部分獲獎提案概覽

去中心化自治組織(DAOs)的投票羣體多樣性研究

康奈爾大學的Ari Juels教授將探討去中心化組織的本質，並建立衡量去中心化程度的指標。該研究旨在確定能夠增強組織內部去中心化的實踐方法。

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

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

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

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

共識協議領域的全面梳理

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

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

卡內基梅隆大學的Giselle Reis和Djed Alliance的Bruno Woltzenlogel Paleo將創建一個框架，通過形式化方法嚴格分析和驗證區塊鏈預言機。該項目將利用Coq證明管理系統，開發全面的定義和證明策略庫。

識別區塊鏈可擴展性瓶頸

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

Bullshark協議的機械化驗證

新加坡國立大學的Ilya Sergey教授計劃使用現代計算機輔助驗證工具對Bullshark的屬性進行正式驗證，推進對基於有向無環圖的共識協議的理解。

區塊鏈基準化標準框架(BBSF)

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

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

韓國科學技術院的Min Suk Kang教授將探索將Bullshark/Mysticeti用作共享排序器算法的可能性，研究如何運行多個使用Sui作爲排序層的Rollup。

本地費用市場優化擁堵定價

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

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