Aptos Labs 宣布与清华大学软件系统安全保障小组 Wingtecher Labs 展开合作,围绕共识算法实现,共同开发一款前沿的测试工具。该工具结合了自动化测试、协议状态空间探索能力,以及逻辑错误检测功能,有助为 Aptos 新一代共识协议 Raptr 的稳定性和安全性奠定坚实基础。项目预计将在 2026 年第二季度或之前完成,首个集成阶段现已上线并启动实验测试。