Foresight News 消息,Aptos Labs 宣佈與清華大學軟件系統安全保障小組 Wingtecher Labs 展開合作,圍繞共識算法實現,共同開發一款前沿的測試工具。該工具結合了自動化測試、協議狀態空間探索能力,以及邏輯錯誤檢測功能,有助為 Aptos 新一代高性能共識協議 Raptr 的穩定性和安全性奠定堅實基礎。該項目預計將在 2026 年第二季度之前完成,首個集成階段現已上線並啓動實驗測試。
Foresight News 消息,Aptos Labs 宣佈與清華大學軟件系統安全保障小組 Wingtecher Labs 展開合作,圍繞共識算法實現,共同開發一款前沿的測試工具。該工具結合了自動化測試、協議狀態空間探索能力,以及邏輯錯誤檢測功能,有助為 Aptos 新一代高性能共識協議 Raptr 的穩定性和安全性奠定堅實基礎。該項目預計將在 2026 年第二季度之前完成,首個集成階段現已上線並啓動實驗測試。
免責聲明:投資有風險,本文並非投資建議,以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請,作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考,不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證,投資者應自行研究並在投資前尋求專業建議。