Aptos成为首个支持动态调度形式化验证的L1

2026-05-15 00:30 来源： x.com 事件类型：上线/更新

Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。

相关项目