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 美银基金经理调查显示美联储未来12个月

消息，美国银行6月份全球基金经理调查发现，40%的投资者预计美联储在未来12个月内至少会加...

2 Capital B计划推出比特币支持的信用产品

消息，Capital B宣布计划推出一款比特币支持的信用产品，旨在为欧洲投资者提供新的融资工具...

3 Karma3 Labs宣布停止运营，剩余资本将返还

消息，Karma3 Labs创始人Sahil Dewan在X平台宣布，该公司及其开发的OpenRank协议将关闭并停止开发，...

4 inco lightning上线base主网，支持保密应用开

消息，inco宣布其保密应用开发平台inco lightning已上线base主网。该平台允许开发者在现有EVM链上...

5 Loracle：增持WLD多单136.74万枚