清华大学与Aptos Labs合作推动共识算法测试工具创新

神经日报 Aptos LAbs 宣布与清华大学软件系统安全保障小组 WingtecHer Labs 展开合作，围绕共识算法实现，共同开发一款前沿的测试工具。该工具结合了自动化测试、协议状态空间探索能力，以及逻辑错误检测功能，有助为 Aptos 新一代高性能共识协议 Raptr 的稳定性和安全性奠定坚实基础。 此次合作融合了顶尖学术科研与前沿工程实践，不仅有助于强化 Aptos 自身核心协议的质量保障，也为区块链基础设施的测试能力与系统保障注入创新动力。通过推动更强大且可持续的测试工具链建设，为行业的技术进步与持续发展树立标杆。 项目预计将在 2026 年第二季度或之前完成，首个集成阶段现已上线并启动实验测试。