WEEX 唯客博客, PANews 4月8日消息,在2025年Web3學者高峰會上,耶魯大學電腦科學系主任、CertiK共同創辦人邵中教授首次公開LiDO模型及LiDO-DAG擴展框架。這項突破性成果透過三層細化驗證框架(安全抽象層、活性保障層、DAG擴展層),為複雜拜占庭容錯(BFT)共識協議提供可機械化驗證的安全性與活性證明,旨在提升Web3生態的可靠性和規模化發展。 LiDO已成功應用於Jolteon等工業級協議,完成超萬行Coq程式碼驗證。邵中教授表示,LiDO針對PoS共識協議安全性、活性與去中心化難以兼得的困境,提出系統性解決方案。目前,LiDO正探索與主流公鏈合作,協助建構可信賴的去中心化網路協定棧。 WEEX交易所官網:https://www.weex.com