深潮 TechFlow 消息,6 月 10 日,Aptos Labs 宣佈與清華大學軟件系統安全保障小組 Wingtecher Labs 展開合作,圍繞共識算法實現,共同開發一款前沿的測試工具。該工具結合了自動化測試、協議狀態空間探索能力,以及邏輯錯誤檢測功能,有助爲 Aptos 新一代高性能共識協議 Raptr 的穩定性和安全性奠定堅實基礎。

此次合作融合了頂尖學術科研與前沿工程實踐,不僅有助於強化 Aptos 自身核心協議的質量保障,也爲區塊鏈基礎設施的測試能力與系統保障注入創新動力。通過推動更強大且可持續的測試工具鏈建設,爲行業的技術進步與持續發展樹立標杆。

項目預計將在 2026 年第二季度或之前完成,首個集成階段現已上線並啓動實驗測試。