Techub News 消息，CertiK 聯合創始人、耶魯大學計算機科學係教授邵中在香港 Web3 學者峰會 2025 上公佈 LiDO 模型及 LiDO-DAG 擴展框架，通過安全抽象層、活性保障層和 DAG 擴展層三層細化驗證框架，為復雜拜佔庭容錯（BFT）共識協議提供可機械化驗證的安全性與活性證明。
内容來源：TECHUB NEWS
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至content@finet.com.hk，獲得書面確認及授權後，方可轉載。
下載財華財經APP，把握投資先機
https://www.finet.com.cn/app
更多精彩内容，請點擊：
財華網(https://www.finet.hk/)
財華智庫網(https://www.finet.com.cn)
現代電視FINTV(https://www.fintv.hk)
財華財經APP下載 
或
按钮分享