Web3学者峰会上首次公开LiDOモデル，为コンセンサスプロトコル安全性提供新思路

最近開催された2025年Web3学者サミットで、イェール大学コンピュータサイエンス学科の教授が「洗練されたコンセンサスプロトコルの安全性と活性証明：LiDOとその拡張」というタイトルの基調講演を行い、初めて公に彼のチームが開発したLiDOモデルとLiDO-DAG拡張フレームワークを紹介しました。この革新的な成果は、複雑なビザンチン耐障害（BFT）コンセンサスプロトコルに対して機械的に検証可能な安全性と活性証明を提供し、Web3エコシステムの信頼性とスケーラブルな発展のための技術基盤を築くことを目的としています。

この教授は講演の中で、既存のコンセンサスプロトコル（PBFT、Jolteonなど）が広く使用されているにもかかわらず、実装の複雑さが高いため、潜在的なセキュリティ脆弱性を隠すことが多いと指摘しました。この問題を解決するために、LiDOモデルは三層の細分化検証フレームワークを革新的に提案しました。

1. セキュリティ抽象層：プロトコルを線形化された状態機械にマッピングし、ログの整合性を確保する（安全性）；
2. 活性保障層："Pacemaker"メカニズムを導入し、タイムアウトブロードキャストとラウンド同期を通じてネットワーク遅延の問題を解決します；
3. DAG拡張層：Narwhal、Bullsharkなどの新興DAGプロトコルをサポートし、リーダーなしのコンセンサスによる効率的な検証を実現します。

現在、LiDOは産業用プロトコルJolteon（2段階BFT）および複数のDAGプロトコルに成功裏に適用され、1万行を超えるCoqコードの機械的証明が完了しました。その中で安全性と活性の検証に関するコード量はそれぞれ4000行と1700行に達しました。この教授は講演の中で次のように強調しました："現在、PoSコンセンサスプロトコルは安全性、活性、分散化の3つを同時に達成することが困難なジレンマに直面しています。LiDOモデルはまさにこのボトルネックを打破するために提案された体系的な設計方案です。"

言うまでもなく、この教授は以前、形式的検証を通じて世界初の「バグのない」オペレーティングシステムCertiKOSを開発するチームを率いており、業界から「サイバーフィジカルシステムの安全のマイルストーン」と称賛されています。この成果は、彼がその後設立したセキュリティ会社の技術基盤を築くだけでなく、システムセキュリティ分野での彼の深い蓄積を示しています。近年、この教授はブロックチェーンのセキュリティを深く研究し、形式的検証技術をスマートコントラクトとオンチェーンプロトコルのセキュリティ保護分野に導入し、数千億ドル規模の暗号資産に安全を提供しています。

LiDOモデルは現在、設計と形式的検証を完了し、主流のパブリックチェーンおよび分散型プロトコルとの統合の可能性を探求し始めています。この教授は、Web3.0における重要なメカニズムの検証に取り組んでおり、全周期の製品とサービスを提供し、Web3企業とエコシステムの長期的な発展戦略をより良くサポートすると述べています。講演の最後に、彼は強調しました："信頼できる、安全な、検証可能なネットワークプロトコルスタックは、真の分散型未来への重要な道筋となるでしょう。"

! CertiKの共同創設者であるShao Zhong教授は、Web3 Scholars Summitに出席し、LiDOモデルを初めて公開しました