币圈界报道：

Aptos引领链上验证革新：首度实现动态调度形式化证明

据最新消息，Aptos在X平台正式披露，其已成功部署全球首个支持动态调度形式验证的一层区块链架构，标志着底层协议可信性进入可数学证明的新纪元。

以AI生成规范，通过形式化工具严格校验

该系统采用人工智能辅助撰写协议规范文档，并交由Move Prover进行逻辑完整性审查，确保代码实现与预期行为完全匹配，大幅降低人为疏漏风险。