帖子

Aptos 成为首个支持动态调度形式化验证的 L1

ChainCatcher
ChainCatcher

ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。

APT+2.24%
00:31 · 26/05/15·2.15万 浏览量·
查看来源
0
0

免责声明：欧易星球内容仅供参考。 了解更多

回复

暂无评论，快来抢沙发！

相关快讯

来源头像Odaily•2 小时前

韩元稳定币KRW1将上线Aptos

来源头像ChainCatcher•3 小时前

Aave 升级漏洞赏金计划：V4 及 Core V3 关键漏洞赏金上限提升 5 倍

来源头像ChainCatcher•5 小时前

TownSquare 宣布推出 1 亿美元的 USD1 稳定币流动性计划

来源头像ChainCatcher•2 天前

tZERO 将合规代币化平台接入 Aptos，机构 RWA 发行加速扩展至高性能公链

来源头像ChainCatcher•2 天前

Aptos 拟推出原生加密内存池，成为首个具备该功能的 L1 公链

来源头像Odaily•6 天前

Aptos基金会与日本NETSTARS合作探索多链支付解决方案

来源头像TechFlow•7 天前

Aptos Foundation 和 Aptos Labs 将投入逾 5000 万美元支持生态建设

来源头像ChainCatcher•9 天前

数据：Aptos 链上稳定币市值突破 19 亿美元，创历史新高

来源头像ChainCatcher•13 天前

Aptos 生态 DEX Tapp Exchange 宣布停运，5 月 31 日前可正常提款

来源头像TechFlow•14 天前

Paxos、Solana 等多领域机构宣布支持 OKX Agent 支付协议