CertiK創始人邵中教授出席Web3學者峰會，發布LiDO模型攻克BFT共識難題

Odaily星球日報訊 4 月8 日，在2025 年Web3 學者峰會上，耶魯大學計算機科學系主任、CertiK 聯合創始人邵中教授首次公開LiDO 模型及LiDO-DAG 擴展框架。這一突破性成果通過三層細化驗證框架（安全抽象層、活性保障層、DAG 擴展層），為複雜拜占庭容錯（BFT）共識協議提供可機械化驗證的安全性與活性證明，旨在提升Web3 生態的可靠性和規模化發展。 LiDO 已成功應用於Jolteon 等工業級協議，完成超萬行Coq 代碼驗證。邵中教授表示，LiDO 針對PoS 共識協議安全性、活性與去中心化難以兼得的困境，提出系統性解決方案。目前，LiDO 正探索與主流公鏈合作，助力構建可信的去中心化網絡協議棧。