CertiK聯創邵中出席Web3學者高峰會，首發LiDO框架破解BFT共識安全難題

BlockBeats 訊息，4 月 8 日，在 2025 年 Web3 學者高峰會上，耶魯大學電腦科學系主任、CertiK 共同創辦人邵中教授首次公開 LiDO 模式及 LiDO-DAG 擴充架構。這項突破性成果透過三層細化驗證框架（安全抽象層、活性保障層、DAG 擴展層），為複雜拜占庭容錯（BFT）共識協議提供可機械化驗證的安全性與活性證明，旨在提升 Web3 生態的可靠性和規模化發展。

LiDO 已成功應用於 Jolteon 等工業級協議，完成超萬行 Coq 程式碼驗證。邵中教授表示，LiDO 針對 PoS 共識協議安全性、活性與去中心化難以兼得的困境，提出系統性解決方案。目前，LiDO 正探索與主流公鏈合作，協助建構可信賴的去中心化網路協定堆疊。

原文連結