BTC $68,430.61 -6.98%
ETH $1,919.02 -6.17%
BNB $630.79 -6.55%
XRP $1.00 -3.76%
SOL $78.20 -5.69%
TRX $0.3104 -2.15%
DOGE $0.0633 -5.60%
ADA $0.1671 -3.15%
BCH $214.73 -6.12%
LINK $9.67 -4.09%
HYPE $70.39 -2.12%
AAVE $109.88 -7.18%
SUI $0.7678 -6.03%
XLM $0.1424 -2.64%
ZEC $892.46 -9.00%
AAPL $356.18 -0.01%
AMZN $268.04 +0.54%
GOOGL $300.58 +1.90%
MSFT $520.48 -0.16%
META $624.89 -0.57%
NVDA $164.42 +2.22%
TSLA $398.48 +3.13%
SNDK $923.12 -2.01%
INTC $61.14 +1.46%
SPCX $140.49 +0.91%
MU $794.28 +1.57%
AMD $577.03 +2.65%
BTC $68,430.61 -6.98%
ETH $1,919.02 -6.17%
BNB $630.79 -6.55%
XRP $1.00 -3.76%
SOL $78.20 -5.69%
TRX $0.3104 -2.15%
DOGE $0.0633 -5.60%
ADA $0.1671 -3.15%
BCH $214.73 -6.12%
LINK $9.67 -4.09%
HYPE $70.39 -2.12%
AAVE $109.88 -7.18%
SUI $0.7678 -6.03%
XLM $0.1424 -2.64%
ZEC $892.46 -9.00%
AAPL $356.18 -0.01%
AMZN $268.04 +0.54%
GOOGL $300.58 +1.90%
MSFT $520.48 -0.16%
META $624.89 -0.57%
NVDA $164.42 +2.22%
TSLA $398.48 +3.13%
SNDK $923.12 -2.01%
INTC $61.14 +1.46%
SPCX $140.49 +0.91%
MU $794.28 +1.57%
AMD $577.03 +2.65%

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.