Aptos Labsは、清華大学のソフトウェアシステムセキュリティグループであるWingtecher Labsと協力して、コンセンサスアルゴリズム実装のための最先端のテストツールを開発すると発表しました。 このツールは、自動テスト、プロトコル状態空間探索、および論理エラー検出を組み合わせて、Aptosの次世代コンセンサスプロトコルであるRaptrの安定性とセキュリティの強固な基盤を築くのに役立ちます。 プロジェクトは2026年に予定されています

APT-1.51%
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております(表明・保証をするものではありません)。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については免責事項をご覧ください。
  • 報酬
  • 7
  • リポスト
  • 共有
コメント
0/400
TommyTeacher1vip
· 2025-06-10 11:25
協力の進展を楽しみにしています
原文表示返信0
  • ピン