BTC $64,890.97 +0.45%
ETH $1,944.74 +1.73%
BNB $573.84 +0.21%
XRP $1.09 -0.95%
SOL $75.86 +0.74%
TRX $0.3275 -1.26%
DOGE $0.0719 -0.76%
ADA $0.1588 -3.23%
BCH $216.06 +0.51%
LINK $8.61 +0.49%
HYPE $57.18 -2.87%
AAVE $99.45 +2.50%
SUI $0.7006 -1.71%
XLM $0.1762 -1.37%
ZEC $488.72 -0.82%
BTC $64,890.97 +0.45%
ETH $1,944.74 +1.73%
BNB $573.84 +0.21%
XRP $1.09 -0.95%
SOL $75.86 +0.74%
TRX $0.3275 -1.26%
DOGE $0.0719 -0.76%
ADA $0.1588 -3.23%
BCH $216.06 +0.51%
LINK $8.61 +0.49%
HYPE $57.18 -2.87%
AAVE $99.45 +2.50%
SUI $0.7006 -1.71%
XLM $0.1762 -1.37%
ZEC $488.72 -0.82%

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.