BTC $83,435.45 -0.92%
ETH $2,682.24 +0.39%
BNB $760.60 -1.79%
XRP $1.49 -1.08%
SOL $118.18 -2.48%
TRX $0.3358 +0.78%
DOGE $0.0932 -2.71%
ADA $0.2448 -3.07%
BCH $308.80 -6.74%
LINK $15.12 +8.32%
HYPE $87.16 -4.63%
AAVE $147.05 -4.26%
SUI $1.14 -7.96%
XLM $0.2248 +4.83%
ZEC $1,470.94 -7.26%
AAPL $338.79 -0.15%
AMZN $246.58 -0.99%
GOOGL $342.66 -0.28%
MSFT $510.23 -1.16%
META $717.90 -4.23%
NVDA $229.45 +2.22%
TSLA $358.51 -3.83%
SNDK $1,714.13 -3.40%
INTC $116.07 -6.18%
SPCX $146.05 -2.27%
MU $1,056.51 -3.00%
AMD $610.94 -3.28%
BTC $83,435.45 -0.92%
ETH $2,682.24 +0.39%
BNB $760.60 -1.79%
XRP $1.49 -1.08%
SOL $118.18 -2.48%
TRX $0.3358 +0.78%
DOGE $0.0932 -2.71%
ADA $0.2448 -3.07%
BCH $308.80 -6.74%
LINK $15.12 +8.32%
HYPE $87.16 -4.63%
AAVE $147.05 -4.26%
SUI $1.14 -7.96%
XLM $0.2248 +4.83%
ZEC $1,470.94 -7.26%
AAPL $338.79 -0.15%
AMZN $246.58 -0.99%
GOOGL $342.66 -0.28%
MSFT $510.23 -1.16%
META $717.90 -4.23%
NVDA $229.45 +2.22%
TSLA $358.51 -3.83%
SNDK $1,714.13 -3.40%
INTC $116.07 -6.18%
SPCX $146.05 -2.27%
MU $1,056.51 -3.00%
AMD $610.94 -3.28%

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.