Aptos成为首个支持动态调度形式化验证的L1

Odaily星球日报は、AptosがXプラットフォームで、Aptosは動的スケジューリングの形式検証をサポートする初のL1であり、設計通りに動作することを数学的に証明できると発表したと報じました。Aptosは、AIが仕様を作成し、数学がその正確性を証明し、Move Proverがオラクルとして機能することで、これが市場と機械の信頼層となると述べています。