BTCBTC
💲81051.87
-
2.75%
ETHETH
💲2365.58
-
5.42%
SOLSOL
💲102.45
-
4.22%
ZECZEC
💲1092.13
-
11.7%
USDCUSDC
💲1.00
-
0%
XAUXAU
💲4164.75
+
0.38%

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

星球日报
星球日报|2026年05月14日 16:32
Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。(Odaily星球日报)
分享至：

熱門快訊

APP下載

X

Telegram

Facebook

Reddit

複製鏈接

熱門閱讀