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