Foresight News 消息，Aptos Labs 宣佈與清華大學軟件系統安全保障小組 Wingtecher Labs 展開合作，圍繞共識算法實現，共同開發一款前沿的測試工具。該工具結合了自動化測試、協議狀態空間探索能力，以及邏輯錯誤檢測功能，有助爲 Aptos 新一代高性能共識協議 Raptr 的穩定性和安全性奠定堅實基礎。該項目預計將在 2026 年第二季度之前完成，首個集成階段現已上線並啓動實驗測試。