動的スケジューリング

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