This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Aptos Labsは、清華大学のソフトウェアシステムセキュリティグループであるWingtecher Labsと協力して、コンセンサスアルゴリズム実装のための最先端のテストツールを開発すると発表しました。 このツールは、自動テスト、プロトコル状態空間探索、および論理エラー検出を組み合わせて、Aptosの次世代コンセンサスプロトコルであるRaptrの安定性とセキュリティの強固な基盤を築くのに役立ちます。 プロジェクトは2026年に予定されています