币界网消息，Aptos宣布其网络成为首个支持AI辅助动态调度合约的L1网络，称其Move Prover可作为市场与机器代理之间的“预言机”。Aptos强调，其Move智能合约堆栈可以数学证明其行为符合设计，即使合约使用高阶函数和动态调度。Aptos Labs在社交媒体上表示，AI编写规范，数学证明其正确性，Move Prover作为信任层，确保市场与机器之间的信任。该团队还指出，Move是唯一内置原生形式验证的智能合约语言，并扩展了对动态调度的支持。根据Aptos的Move Prover文档，验证器已在协议层面用于验证核心逻辑，包括质押、计量、代码部署和支持数据结构。最新研究表明，动态调度显著增加了状态空间的复杂性，要求Aptos工程师重新设计验证条件生成和检查方式。此次AI辅助验证的推进伴随一项5000万美元的Aptos资金计划，旨在为链上市场和AI系统提供支持。
Aptos：最初のAI支援による動的スケジューリングコントラクトをサポートするL1ネットワーク
币界网消息，Aptos宣布其网络成为首个支持AI辅助动态调度合约的L1网络，称其Move Prover可作为市场与机器代理之间的“预言机”。Aptos强调，其Move智能合约堆栈可以数学证明其行为符合设计，即使合约使用高阶函数和动态调度。Aptos Labs在社交媒体上表示，AI编写规范，数学证明其正确性，Move Prover作为信任层，确保市场与机器之间的信任。该团队还指出，Move是唯一内置原生形式验证的智能合约语言，并扩展了对动态调度的支持。根据Aptos的Move Prover文档，验证器已在协议层面用于验证核心逻辑，包括质押、计量、代码部署和支持数据结构。最新研究表明，动态调度显著增加了状态空间的复杂性，要求Aptos工程师重新设计验证条件生成和检查方式。此次AI辅助验证的推进伴随一项5000万美元的Aptos资金计划，旨在为链上市场和AI系统提供支持。