BTC $77,962.85 -1.84%
ETH $2,444.82 -1.34%
BNB $695.34 -0.51%
XRP $1.37 -6.87%
SOL $95.95 -2.27%
TRX $0.3346 -2.13%
DOGE $0.0845 -5.23%
ADA $0.2047 -4.92%
BCH $261.56 -2.38%
LINK $11.21 -3.17%
HYPE $80.95 -0.03%
AAVE $122.69 -4.98%
SUI $0.7354 -7.06%
XLM $0.1794 -5.51%
ZEC $773.35 -4.37%
BTC $77,962.85 -1.84%
ETH $2,444.82 -1.34%
BNB $695.34 -0.51%
XRP $1.37 -6.87%
SOL $95.95 -2.27%
TRX $0.3346 -2.13%
DOGE $0.0845 -5.23%
ADA $0.2047 -4.92%
BCH $261.56 -2.38%
LINK $11.21 -3.17%
HYPE $80.95 -0.03%
AAVE $122.69 -4.98%
SUI $0.7354 -7.06%
XLM $0.1794 -5.51%
ZEC $773.35 -4.37%

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

2026-05-15 00:31:46

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

Связанные теги
Связанные теги
app_icon
ChainCatcher Building the Web3 world with innovations.