BTC $77,109.53 -1.57%
ETH $2,459.71 -0.70%
BNB $715.82 -0.93%
XRP $1.35 -3.14%
SOL $99.83 -2.19%
TRX $0.3394 -0.31%
DOGE $0.0840 -2.21%
ADA $0.2099 -1.77%
BCH $228.07 -9.31%
LINK $11.52 -2.63%
HYPE $79.34 -5.77%
AAVE $122.73 -2.11%
SUI $0.7413 -3.67%
XLM $0.1765 -2.01%
ZEC $1,085.22 -13.14%
BTC $77,109.53 -1.57%
ETH $2,459.71 -0.70%
BNB $715.82 -0.93%
XRP $1.35 -3.14%
SOL $99.83 -2.19%
TRX $0.3394 -0.31%
DOGE $0.0840 -2.21%
ADA $0.2099 -1.77%
BCH $228.07 -9.31%
LINK $11.52 -2.63%
HYPE $79.34 -5.77%
AAVE $122.73 -2.11%
SUI $0.7413 -3.67%
XLM $0.1765 -2.01%
ZEC $1,085.22 -13.14%

Aptos는 동적 스케줄링 형식 검증을 지원하는 첫 번째 L1이 되었습니다

2026-05-15 00:31:46

Aptos는 X 플랫폼에서 발표하며, Aptos는 동적 스케줄링 형식 검증을 지원하는 최초의 L1으로, 설계대로 작동함을 수학적으로 증명할 수 있다고 밝혔습니다. Aptos는 AI가 규격을 작성하고, 그 정확성을 수학적으로 증명하며, Move Prover가 바로 시장과 기계의 신뢰 계층이라고 말했습니다.

app_icon
ChainCatcher Building the Web3 world with innovations.