PANewsは4月8日、2025 Web3 Scholar Summitで、イェール大学コンピューターサイエンス教授でありCertiKの共同創設者でもあるShao Zhong教授が、LiDOモデルとLiDO-DAG拡張フレームワークを初めて公開したと報じた。この画期的な成果は、3 層の詳細な検証フレームワーク (セキュリティ抽象化層、活性保証層、DAG 拡張層) を通じて、複雑なビザンチン フォールト トレランス (BFT) コンセンサス プロトコルの機械化された検証可能なセキュリティと活性証明を提供し、Web3 エコシステムの信頼性と大規模な開発の向上を目指しています。
LiDO は Jolteon などの産業グレードのプロトコルに正常に適用され、10,000 行を超える Coq コードの検証が完了しました。邵中教授は、LiDOはセキュリティ、アクティビティ、分散化の面で実現が難しいPoSコンセンサスプロトコルのジレンマに対して体系的な解決策を提案したと述べた。現在、LiDO は、信頼できる分散型ネットワーク プロトコル スタックの構築を支援するために、主流のパブリック チェーンとの協力を検討しています。
