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 韩国信用卡行业韩元稳定币联合技术验证

韩国信用卡行业围绕韩元稳定币开展的联合技术验证将于7月底结束，后续不再计划设立新的工...

2 RoboSense与Origen达成战略合作

消息，RoboSense速腾聚创期间正式达成战略合作。此次合作将充分发挥RoboSense在三维感知技术、...

3 电池消费税政策分步调整，新能源电池逐

消息，电池消费税政策将分步调整，部分新能源电池逐步恢复征收消费税。工信部表示，将加...

4 韩国金融监管机构调查40起加密市场操纵

消息，韩国金融服务委员会主席李玉元表示，自2024年以来，韩国金融当局已调查超过40起不公...

5 Solana未来三年可能的增长动力