Web3学者峰会はコンセンサスプロトコルの安全性とアクティビティ証明に焦点を当てています

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

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

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

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

現在、LiDOは産業レベルのプロトコルJolteon（二段階BFT）や複数のDAGプロトコルに成功裏に適用され、1万行以上のCoqコードの機械化証明を完了し、安全性と活性検証のコード量はそれぞれ4000行と1700行に達しています。この教授は講演の中で「現在、PoSコンセンサスプロトコルは一般的に安全性、活性、非中央集権の3つを同時に満たすことが難しいというジレンマに直面しています。LiDOモデルはこのジレンマを打破するために提案された体系的な設計ソリューションです。」と指摘しました。

言及すべきは、この教授が以前率いたチームが開発したCertiKOSは、世界初の形式的検証を通じて"脆弱性のない"オペレーティングシステムであり、"サイバーフィジカルシステムの安全性のマイルストーン"と称されています。この成果は、あるセキュリティ企業の技術基盤を築くだけでなく、システムセキュリティ分野での深い蓄積を示しています。近年、この教授はブロックチェーンセキュリティに注力し、形式的検証技術をスマートコントラクトとオンチェーンプロトコルの安全保障に導入し、1000億ドル規模の暗号資産の安全を守っています。

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