Sui學術研究資助計劃公布新一輪獲獎名單

近期，Sui學術研究資助計劃宣布了新一批獲得資金支持的研究提案。該計劃旨在推動Web3技術的發展，特別是圍繞區塊鏈網路、智能合約編程以及基於Sui構建的產品相關技術。

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

部分獲獎提案概覽

DAO投票羣體多樣性研究

康奈爾大學的研究團隊將探討去中心化組織的本質，並建立衡量DAO去中心化程度的指標。該研究旨在找出可以增強組織內部去中心化的實踐方法。

提升共識協議安全性

倫敦大學學院的研究者提出開發一種異步DAG協議，以提高系統抵御攻擊的能力，並能適應不斷變化的對手環境。該協議有望在保持高性能的同時，提供更好的安全性和適應性。

智能合約審計新方法

另一個來自倫敦大學學院的團隊計劃利用GPT-4等大型語言模型來改進Sui智能合約的審計過程。他們將基於之前對Solidity合約的分析經驗，擴展研究範圍到Sui智能合約，重點關注及時進行穩健的安全評估。

共識協議領域研究

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

預言機協議驗證框架

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

識別區塊鏈可擴展性瓶頸

蘇黎世聯邦理工學院的研究旨在識別源於智能合約設計缺陷的可擴展性瓶頸。他們還將探討調整交易費用如何影響並行化潛力。

Bullshark協議形式化驗證

新加坡國立大學的團隊計劃使用現代計算機輔助驗證工具對Bullshark協議的屬性進行形式化驗證，以推進對基於DAG的共識協議的理解。

這些研究項目涵蓋了區塊鏈技術的多個關鍵領域，從共識機制、智能合約安全到去中心化組織治理等。通過支持這些前沿研究，Sui基金會希望能夠推動整個Web3生態系統的技術進步和創新。