Techub News の報道によると、Cointelegraph の報告によると、Aptos はその動的スケジューリングメカニズムが形式的検証を完了し、数学的手法によってシステムが設計通りに動作することを証明したと発表しました。このプロジェクトは、これを実現した最初の Layer 1 ブロックチェーンであると主張しています。 形式的検証は数学的手法を用いてシステムの正確性を証明し、ブロックチェーンプロトコルが予期通りに動作し、脆弱性がないことを保証します。この取り組みは、ネットワークのセキュリティと信頼性を向上させ、ブロックチェーンインフラストラクチャにより高い保障を提供することを目的としています。