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

这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升Web3生态的可靠性和规模化发展。

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