CertiK创始人邵中教授出席Web3学者峰会,发布LiDO模型攻克BFT共识难题
火星财经消息, 4 月 8 日,在 2025 年 Web3 学者峰会上,耶鲁大学计算机科学系主任、CertiK 联合创始人邵中教授首次公开 LiDO 模型及 LiDO-DAG 扩展框架。这一突破性成果通过三层细化验证框架(安全抽象层、活性保障层、DAG 扩展层),为复杂拜占庭容错(BFT)共识协议提供可机械化验证的安全性与活性证明,旨在提升 Web3 生态的可靠性和规模化发展。LiDO 已成功应用于 Jolteon 等工业级协议,完成超万行 Coq 代码验证。邵中教授表示,LiDO 针对 PoS 共识协议安全性、活性与去中心化难以兼得的困境,提出系统性解决方案。目前,LiDO 正探索与主流公链合作,助力构建可信的去中心化网络协议栈。