您现在的位置是：首页 > 快讯快讯

LiDO模型正式首发，CertiK联创邵中聚焦破解BFT共识协议安全难题

zhoucl 2025-04-08 13:41:33 快讯已有人查阅

导读 4月8日消息，在2025年Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开LiDO模型及LiDO-DAG扩展框架。这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升Web3生态的可靠性和规模化发展。

4月8日消息，在2025年Web3学者峰会上，耶鲁大学计算机科学系主任邵中教授首次公开了LiDO模型及其扩展框架LiDO-DAG。该成果通过三层验证框架（安全抽象层、活性保障层、DAG扩展层），为复杂拜占庭容错（BFT）共识协议提供机械化验证的安全性和活性证明，助力Web3生态的可靠性与规模化发展。

LiDO已应用于Jolteon等工业级协议，并完成超万行Coq代码验证。邵中教授表示，LiDO针对PoS共识协议在安全性、活性与去中心化之间的权衡问题，提出了系统性解决方案，目前正探索与主流公链合作，推动可信去中心化网络协议栈的构建。

本文标签：

很赞哦！ ()

上一篇：新加坡加密货币持有率升至26%，年轻用户主导支付应用

下一篇：Bill Ackman为指责美国商务部长Lutnick致歉，称关税政策令经济成果面临风险