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コンセンサスプロトコルは、安全性、活性、そして分散化の三者を同時に満たすことが困難なジレンマに直面しています。LiDOモデルはまさにこのジレンマを打破するために提案された体系的な設計方案です。"

世界初の形式的検証による「無漏洞」オペレーティングシステムCertiKOSの創始者である邵中教授は、システムセキュリティの分野で深い蓄積を持っています。この成果は、彼のセキュリティ技術分野における基盤を築くだけでなく、システムセキュリティにおける専門的な技術を示しています。近年、邵中教授は研究の焦点をブロックチェーンセキュリティに移し、形式的検証技術をスマートコントラクトとチェーン上プロトコルのセキュリティ保証に応用することに尽力し、数千億ドル規模の暗号資産に安全保障を提供しています。

LiDOモデルは現在、設計と形式化検証を完了し、主要なパブリックチェーンおよび分散型プロトコルとの統合の可能性を探り始めています。邵中教授は、彼らがWeb3.0における重要なメカニズムの検証に取り組んでおり、全周期の製品とサービスを提供し、Web3企業とエコシステムの長期的な発展戦略をより良く支援することを目指していると述べています。

講演の最後に、邵中教授は次のように強調しました："信頼でき、安全で、検証可能なネットワークプロトコルスタックは、真の分散型未来への重要な道筋となるでしょう。"この見解は、Web3時代において、安全で信頼性の高いインフラを構築することが、エコシステム全体の健全な発展を促進するために重要であることを浮き彫りにしています。