BTC $80,217.87 -0.16%
ETH $2,321.41 -0.44%
BNB $740.64 +0.24%
XRP $1.30 +0.08%
SOL $101.61 +0.68%
TRX $0.3307 +0.52%
DOGE $0.0772 +0.90%
ADA $0.2053 +0.52%
BCH $278.01 +2.11%
LINK $11.46 +0.75%
HYPE $77.43 +1.30%
AAVE $136.04 +0.18%
SUI $0.9160 -0.10%
XLM $0.1696 +0.43%
ZEC $1,237.28 +2.10%
AAPL $344.17 -0.73%
AMZN $250.65 +0.72%
GOOGL $322.64 +0.39%
MSFT $527.34 +0.67%
META $640.09 -0.27%
NVDA $213.19 +0.40%
TSLA $381.61 +2.71%
SNDK $1,263.82 +1.77%
INTC $88.65 +2.21%
SPCX $148.09 -0.20%
MU $897.23 +0.89%
AMD $523.39 +0.87%
BTC $80,217.87 -0.16%
ETH $2,321.41 -0.44%
BNB $740.64 +0.24%
XRP $1.30 +0.08%
SOL $101.61 +0.68%
TRX $0.3307 +0.52%
DOGE $0.0772 +0.90%
ADA $0.2053 +0.52%
BCH $278.01 +2.11%
LINK $11.46 +0.75%
HYPE $77.43 +1.30%
AAVE $136.04 +0.18%
SUI $0.9160 -0.10%
XLM $0.1696 +0.43%
ZEC $1,237.28 +2.10%
AAPL $344.17 -0.73%
AMZN $250.65 +0.72%
GOOGL $322.64 +0.39%
MSFT $527.34 +0.67%
META $640.09 -0.27%
NVDA $213.19 +0.40%
TSLA $381.61 +2.71%
SNDK $1,263.82 +1.77%
INTC $88.65 +2.21%
SPCX $148.09 -0.20%
MU $897.23 +0.89%
AMD $523.39 +0.87%

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.