Aptos 成為首個支持動態調度形式化驗證的 L1

Aptos 在 X 平台發文表示，Aptos 是首個支持動態調度形式化驗證的 L1，可數學證明其按設計運行。Aptos 稱，AI 編寫規範，數學證明其正確性，Move Prover 即為預言機，這是市場與機器的信任層。