在2025年web3學者峰會上，耶魯大學教授、Certik聯合創始人邵中發表了題為《基於細化的共識協議安全性與活性證明：Lido及其拓展》的演講。他闡述了現有共識協議的應用，並介紹了Lido的安全保障和活性保障機制。 Lido已在工業級協議Jolteon及多個DAG中成功應用，並完成了超萬行代碼的開發。同時，邵教授研發的Certikos操作系統被譽為“無漏洞”的里程碑，顯示了Certik在系統安全領域的深厚基礎。
在今日舉行的2025web3 學者峰會（ web3 web3學者會議2025）上，耶魯大學計算機科學系教授、 certik 聯合創始人邵中發表了題為《基於細化的共識協議安全性與活性證明：lido 及其拓展》的主題演講，lido lido lido lido-dodo lido-dag bft）coltect）
在本次演講中，邵中教授指出，現有共pbft，jolteon）雖廣泛應用
安全抽象層：將協議映射為線性化狀態機，確保日誌一致性（安全性）； 活性保障層：引入“起搏器”，通過超時廣播和輪次同步破解網絡延遲難題；，通過超時廣播和輪次同步破解網絡延遲難題； dag：支持-narwhal，bullshark等新興dag協議，實現無領導者，共識的高效驗證。
目前，lido已成功應用於工業級協議jolteon （兩階段bft）及多個dag，完成超萬行
邵中教授帶領團隊研發的certikos，是全球首個通過形式化驗證的“無漏洞”操作系統，被譽為“網絡物理系統安全的里程碑”。這一成就不僅奠定了安全公司certik的技術根基，也彰顯了其在系統安全領域的深厚增持。近年來，邵中教授深耕區塊鏈安全
lido當前已完成模型設計與形式化驗證，並開始探索與主流公鍊及去中心化協議的集成可能性。邵中教授表示，certik致力於驗證web3.0中的關鍵機制，以提供全週期產品和服務，更好地支持web3企業和生態的長期發展戰略。演講最後
資訊來源：由0x資訊編譯自互聯網。版權歸作者所有，未經許可，不得轉載