优惠论坛

标题: CertiK 创始人邵中教授出席 Web3 学者峰会，发布 LiDO 模型攻克 BFT 共识难题 [打印本页]

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

风险提示：本新闻涉及的内容仅供参考，不构成投资建议。依据发布的信息以及所表达的意见行事所造成的一切后果由行事者自负。文章链接

欢迎光临优惠论坛 (https://tcelue.cc/)