Aptos称其为首个支持动态调度形式化验证的Layer-1区块链

Aptos表示，其是首个支持对动态调度Move合约进行AI辅助形式化验证的Layer-1区块链。公司称，人工智能负责起草规格，Move Prover用于检验正确性，并将该系统定位为市场与机器代理之间的桥梁。此次更新凸显了区块链基础设施面向安全的开发方向，即将形式化方法应用于执行逻辑和调度。