PANews 4月8日消息，在2025年Web3學者峰會上，耶魯大學計算機科學係主任、CertiK聯合創始人邵中教授首次公開LiDO模型及LiDO-DAG擴展框架。這一突破性成果通過三層細化驗證框架（安全抽象層、活性保障層、DAG擴展層），為復雜拜佔庭容錯（BFT）共識協議提供可機械化驗證的安全性與活性證明，旨在提升Web3生態的可靠性和規模化發展。
LiDO已成功應用於Jolteon等工業級協議，完成超萬行Coq代碼驗證。邵中教授表示，LiDO針對PoS共識協議安全性、活性與去中心化難以兼得的困境，提出係統性解決方案。目前，LiDO正探索與主流公鏈合作，助力構建可信的去中心化網絡協議棧。
内容來源：PANews
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。
PANews是區塊鏈和Web3.0領域領先的智庫型信息平台，為行業用戶提供具有國際視野的前沿資訊與報告。PANews優質多元的内容以圖文、音頻、視頻等形式在全網多渠道覆蓋，包含推特、微博、抖音、視頻號等主流平台，旨在成為用戶的Web3信息官。PANews同時還是騰訊新聞的内容合作夥伴，内容被福佈斯、財新等媒體引用，獲得騰訊新聞、今日頭條、澎湃新聞等頒發的相關獎項。PANews的兩位聯合創始人均為福
財華財經APP下載 
或
按钮分享