Aptos：首个支持AI辅助动态调度合约的L1网络

时间：2026-05-15 05:21:55

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

上一篇：以色列军方：向克里亚特·什慕纳发射火箭弹是真主党严重违反停火协议返回首页

下一篇：伊朗外长与印度总理讨论地区安全局势

热点推荐

1 伊朗外长与印度总理讨论地区安全局势

伊朗外交部长阿拉格齐于当地时间周四在印度新德里与印度总理莫迪会面，双方就战争局势及...

2 Aptos：首个支持AI辅助动态调度合约的L1网

消息，Aptos宣布其网络成为首个支持AI辅助动态调度合约的L1网络，称其Move Prover可作为市场与机...

3 以色列军方：向克里亚特·什慕纳发射火

消息，以色列军方表示，向克里亚特什慕纳发射火箭弹的行为是对停火协议的严重违反。...

4 伊朗议会成员纳哈伊：关闭曼德海峡是对

消息，伊朗议会内部事务委员会成员纳哈伊近期发表了以下观点：作为对敌人任何侵略行径的...

5 伊朗外长阿拉格齐：地区国家意识到不能