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

根據 Foresight News 報導，Aptos 在推文中表示，Aptos 成為首個實現動態分發（dynamic dispatch）形式化驗證的 L1，能透過數學方式證明其依照設計正確運行。Aptos 表示，AI 負責撰寫規範，Move Prover 以數學方式驗證其正確性，這為市場和機器提供了信任的基礎層。此外，Move 是唯一原生內建形式化驗證的智能合約語言，目前已擴展對動態分發的支援。