# Web3学者峰会は、コンセンサスプロトコルの安全性研究に焦点を当て、新型LiDOモデルにフォローを引き寄せます。最近開催された2025年Web3学者サミットで、有名なコンピュータサイエンスの教授が「洗練されたコンセンサスプロトコルの安全性と活性証明:LiDOとその拡張」というタイトルの基調講演を行い、彼のチームが開発したLiDOモデルとLiDO-DAG拡張フレームワークを初めて公開しました。この革新的な成果は、複雑なビザンチン耐障害(BFT)コンセンサスプロトコルに対して機械的検証可能な安全性と活性証明を提供することを目的としており、Web3エコシステムの信頼性とスケールアップの発展のための技術的基盤を築くことを目指しています。! [CertiKの共同創設者であるShao Zhong教授は、Web3 Scholars Summitに出席し、LiDOモデルを初めて公開しました](https://img-cdn.gateio.im/social/moments-7f2809cd995635c37c41f88a101d02b1)講演の中で、教授は既存のコンセンサスプロトコル(PBFTやJolteonなど)が広く使われているものの、実現が複雑で潜在的な脆弱性を隠すことがあると指摘しました。この問題を解決するために、LiDOモデルは革新的に三層の詳細な検証フレームワークを提案しました:1. セキュリティ抽象層:プロトコルを線形化状態機械にマッピングし、ログの整合性を確保する(セキュリティ);2. アクティブ保障層:"Pacemaker"メカニズムを導入し、タイムアウトブロードキャストとラウンド同期を通じてネットワーク遅延の課題を解決する;3. DAG拡張層:Narwhal、Bullsharkなどの新興DAGプロトコルをサポートし、リーダー不在のコンセンサスの効率的な検証を実現。現在、LiDOは産業レベルのプロトコルJolteon(2段階BFT)および複数のDAGプロトコルに成功裏に適用され、1万行を超えるCoqコードの機械的証明が完了し、安全性と活性の検証コード量はそれぞれ4000行と1700行に達しています。この教授は講演の中で次のように指摘しました:"現在、PoSコンセンサスプロトコルは一般的に安全性、活性、分散化の三者を同時に満たすことが難しいというジレンマに直面しています。LiDOモデルはこのジレンマを打破するために提案された体系的な設計方案です。"言及すべきは、その教授が以前に率いたチームによって開発されたCertiKOSが、世界初の形式的検証を通じての「バグのない」オペレーティングシステムであり、「サイバーフィジカルシステムの安全性のマイルストーン」と称賛されていることです。この成果は、あるセキュリティ企業の技術基盤を築くだけでなく、システム安全分野におけるその深い蓄積をも示しています。近年、その教授はブロックチェーンの安全性に注力し、形式的検証技術をスマートコントラクトとチェーン上プロトコルの安全保障に導入し、数十億ドル級の暗号資産の安全を守っています。LiDOは現在、モデル設計と形式化検証を完了し、主流のパブリックチェーンおよび去中心化プロトコルとの統合の可能性を探り始めています。この教授は、Web3.0における重要なメカニズムの検証に取り組んでおり、全周期の製品とサービスを提供することで、Web3企業とエコシステムの長期的な発展戦略をより良くサポートすることを目指しています。講演の最後に、彼は次のように強調しました:"信頼でき、安全で、検証可能なネットワークプロトコルスタックは、真の去中心化未来への重要な道筋となるでしょう。"
Web3学者峰会首発LiDOモデル コンセンサスプロトコルの安全性が新たな高みへと進化
Web3学者峰会は、コンセンサスプロトコルの安全性研究に焦点を当て、新型LiDOモデルにフォローを引き寄せます。
最近開催された2025年Web3学者サミットで、有名なコンピュータサイエンスの教授が「洗練されたコンセンサスプロトコルの安全性と活性証明:LiDOとその拡張」というタイトルの基調講演を行い、彼のチームが開発したLiDOモデルとLiDO-DAG拡張フレームワークを初めて公開しました。この革新的な成果は、複雑なビザンチン耐障害(BFT)コンセンサスプロトコルに対して機械的検証可能な安全性と活性証明を提供することを目的としており、Web3エコシステムの信頼性とスケールアップの発展のための技術的基盤を築くことを目指しています。
! CertiKの共同創設者であるShao Zhong教授は、Web3 Scholars Summitに出席し、LiDOモデルを初めて公開しました
講演の中で、教授は既存のコンセンサスプロトコル(PBFTやJolteonなど)が広く使われているものの、実現が複雑で潜在的な脆弱性を隠すことがあると指摘しました。この問題を解決するために、LiDOモデルは革新的に三層の詳細な検証フレームワークを提案しました:
現在、LiDOは産業レベルのプロトコルJolteon(2段階BFT)および複数のDAGプロトコルに成功裏に適用され、1万行を超えるCoqコードの機械的証明が完了し、安全性と活性の検証コード量はそれぞれ4000行と1700行に達しています。この教授は講演の中で次のように指摘しました:"現在、PoSコンセンサスプロトコルは一般的に安全性、活性、分散化の三者を同時に満たすことが難しいというジレンマに直面しています。LiDOモデルはこのジレンマを打破するために提案された体系的な設計方案です。"
言及すべきは、その教授が以前に率いたチームによって開発されたCertiKOSが、世界初の形式的検証を通じての「バグのない」オペレーティングシステムであり、「サイバーフィジカルシステムの安全性のマイルストーン」と称賛されていることです。この成果は、あるセキュリティ企業の技術基盤を築くだけでなく、システム安全分野におけるその深い蓄積をも示しています。近年、その教授はブロックチェーンの安全性に注力し、形式的検証技術をスマートコントラクトとチェーン上プロトコルの安全保障に導入し、数十億ドル級の暗号資産の安全を守っています。
LiDOは現在、モデル設計と形式化検証を完了し、主流のパブリックチェーンおよび去中心化プロトコルとの統合の可能性を探り始めています。この教授は、Web3.0における重要なメカニズムの検証に取り組んでおり、全周期の製品とサービスを提供することで、Web3企業とエコシステムの長期的な発展戦略をより良くサポートすることを目指しています。講演の最後に、彼は次のように強調しました:"信頼でき、安全で、検証可能なネットワークプロトコルスタックは、真の去中心化未来への重要な道筋となるでしょう。"