广场
最新
热门
资讯
我的主页
发布
Aptos成为首个支持动态调度形式化验证的L1
智能合约审计员
2026-05-14 16:36:06
关注
Odaily星球日报讯 Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
APT
-2.28%
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
赞赏
点赞
评论
转发
分享
评论
请输入评论内容
请输入评论内容
评论
暂无评论
热门话题
查看更多
#
成长值抽奖赢金条
123.92万 热度
#
WTI原油失守90美元
121.16万 热度
#
股票交易挑战最高赢17000U
21.13万 热度
#
美伊谈判博弈
936.16万 热度
#
交易CFD送黄金
323.12万 热度
置顶
网站地图
Aptos成为首个支持动态调度形式化验证的L1