Techub News 消息，CertiK 聯合創始人、耶魯大學計算機科學係教授邵中在香港 Web3 學者峰會 2025 上公佈 LiDO 模型及 LiDO-DAG 擴展框架，通過安全抽象層、活性保障層和 DAG 擴展層三層細化驗證框架，為復雜拜佔庭容錯（BFT）共識協議提供可機械化驗證的安全性與活性證明。
内容來源：TECHUB NEWS
更多精彩內容，請登陸
財華香港網 (https://www.finet.hk/)
現代電視 (http://www.fintv.com)