據Odaily星球日報報道，2025年4月8日，在Web3學者峯會上，耶魯大學計算機科學系主任、CertiK聯合創始人邵中教授首次公開LiDO模型及LiDO-DAG擴展框架。該成果通過三層細化驗證框架，爲複雜拜占庭容錯共識協議提供安全性與活性證明，提升Web3生態的可靠性和規模化發展。LiDO已應用於Jolteon等協議，完成超萬行Coq代碼驗證。邵中教授表示，LiDO針對PoS共識協議的安全性、活性與去中心化難題，提出系統性解決方案，並正探索與主流公鏈合作。