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


风险提示

根据央行等部门发布“关于进一步防范和处置虚拟货币交易炒作风险的通知”,本网站内容仅用于信息分享,不对任何经营与投资行为进行推广与背书,请读者严格遵守所在地区法律法规,不参与任何非法金融行为。吴说内容未经许可,禁止进行转载、复制等,违者将追究法律责任。目前存在大量伪造账号,吴说只提供区块链行业信息,任何内容不涉及政治,也绝不会私信要求转账,更不会喊单某一代币,请勿相信。

关注我们
生成海报

风险提示

根据央行等部门发布“关于进一步防范和处置虚拟货币交易炒作风险的通知”,本网站内容仅用于信息分享,不对任何经营与投资行为进行推广与背书,请读者严格遵守所在地区法律法规,不参与任何非法金融行为。吴说内容未经许可,禁止进行转载、复制等,违者将追究法律责任。目前存在大量伪造账号,吴说只提供区块链行业信息,任何内容不涉及政治,也绝不会私信要求转账,更不会喊单某一代币,请勿相信。

请长按保存图片,将内容分享给更多好友