BTC $62,618.06 -1.66%
ETH $1,869.04 -1.12%
BNB $603.25 -0.99%
XRP $1.00 -0.38%
SOL $75.38 -0.90%
TRX $0.3323 -0.55%
DOGE $0.0692 -1.14%
ADA $0.1794 -1.92%
BCH $202.31 -5.35%
LINK $8.81 +0.28%
HYPE $56.05 -2.75%
AAVE $85.62 -3.28%
SUI $0.6754 -2.14%
XLM $0.1596 -0.23%
ZEC $483.03 -1.62%
BTC $62,618.06 -1.66%
ETH $1,869.04 -1.12%
BNB $603.25 -0.99%
XRP $1.00 -0.38%
SOL $75.38 -0.90%
TRX $0.3323 -0.55%
DOGE $0.0692 -1.14%
ADA $0.1794 -1.92%
BCH $202.31 -5.35%
LINK $8.81 +0.28%
HYPE $56.05 -2.75%
AAVE $85.62 -3.28%
SUI $0.6754 -2.14%
XLM $0.1596 -0.23%
ZEC $483.03 -1.62%

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.