BTC $62,979.84 +0.64%
ETH $1,881.45 +0.85%
BNB $608.96 +0.92%
XRP $1.00 -0.11%
SOL $75.48 +0.32%
TRX $0.3307 -0.46%
DOGE $0.0700 +1.07%
ADA $0.1787 -0.29%
BCH $204.82 +0.91%
LINK $9.47 +7.50%
HYPE $56.39 +0.35%
AAVE $86.54 +0.94%
SUI $0.6824 +0.77%
XLM $0.1578 -1.19%
ZEC $490.02 +1.25%
BTC $62,979.84 +0.64%
ETH $1,881.45 +0.85%
BNB $608.96 +0.92%
XRP $1.00 -0.11%
SOL $75.48 +0.32%
TRX $0.3307 -0.46%
DOGE $0.0700 +1.07%
ADA $0.1787 -0.29%
BCH $204.82 +0.91%
LINK $9.47 +7.50%
HYPE $56.39 +0.35%
AAVE $86.54 +0.94%
SUI $0.6824 +0.77%
XLM $0.1578 -1.19%
ZEC $490.02 +1.25%

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.