Web3学者峰会上耶鲁教授揭示新型コンセンサスプロトコル安全模型

最近開催された2025年Web3学者サミットで、イェール大学コンピュータサイエンス学科の教授ショウ・ジョンが注目を集める講演を行い、彼のチームが最新に開発した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は、"ネットワーク物理システムの安全性のマイルストーン"と称され、世界初の形式的検証を通じて"無脆弱性"のオペレーティングシステムです。この成果は、チームのシステムセキュリティ分野における深い蓄積を示すだけでなく、彼らのその後の研究のための堅固な技術基盤を築きました。2017年、邵中教授は彼の学生である顧榮輝教授と共同で形式的検証技術をスマートコントラクトおよびオンチェーンプロトコルの安全保障分野に導入し、数千億ドル規模の暗号資産に安全保護を提供しました。

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

講演の結びに、邵中教授は次のように強調しました："信頼できる、安全な、検証可能なネットワークプロトコルスタックは、真の分散型未来への重要な道筋となるでしょう。"この見解は、彼のWeb3技術の発展方向に対する深い洞察を浮き彫りにし、未来のブロックチェーンと分散型システムの安全性に新たな思考の方向性を提供しました。