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