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

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

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