BTC $62,817.64 -1.04%
ETH $1,876.21 -0.38%
BNB $605.02 -0.55%
XRP $1.00 -0.49%
SOL $75.47 -0.59%
TRX $0.3330 -0.29%
DOGE $0.0694 -1.04%
ADA $0.1797 -1.92%
BCH $203.56 -4.55%
LINK $8.86 +1.09%
HYPE $56.18 -2.11%
AAVE $85.75 -3.34%
SUI $0.6761 -1.58%
XLM $0.1590 -0.70%
ZEC $485.21 -1.33%
BTC $62,817.64 -1.04%
ETH $1,876.21 -0.38%
BNB $605.02 -0.55%
XRP $1.00 -0.49%
SOL $75.47 -0.59%
TRX $0.3330 -0.29%
DOGE $0.0694 -1.04%
ADA $0.1797 -1.92%
BCH $203.56 -4.55%
LINK $8.86 +1.09%
HYPE $56.18 -2.11%
AAVE $85.75 -3.34%
SUI $0.6761 -1.58%
XLM $0.1590 -0.70%
ZEC $485.21 -1.33%

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.