アプトスは、自社ネットワークが、Move Proverによる正当性検証を伴う動的にスケジュールされるMoveコントラクト向けのAI支援形式検証を利用できるようになったと述べた。
アプトスは、動的にスケジュールされるMoveコントラクト向けのAI支援形式検証に対応する初のレイヤー1ブロックチェーンであると述べた。同社によると、人工知能が仕様を下書きし、Move Proverが正当性を検証することで、同システムを市場と機械エージェントの橋渡し役として位置付けているという。今回の更新は、実行ロジックとスケジューリングに形式手法を適用することで、ブロックチェーン基盤におけるセキュリティ重視の開発を浮き彫りにしている。