Aptosは、動的ディスパッチの形式的検証をサポートする最初のレイヤー1ブロックチェーンであることを発表しました。これにより、メカニズムの正しい動作が数学的に検証可能になります。この進歩により、開発者はAIを使って仕様を書き、Move Proverを用いてスマートコントラクトのロジックを検証できるようになり、オンチェーンプログラムの検証可能性とセキュリティが向上します。