Aptos 成為首個支援動態分發形式化驗證的區塊鏈

在 5 月 14 日（UTC+8），Aptos 宣布它已成為第一個支持動態調度的形式驗證的 Layer 1 區塊鏈。 Aptos 表示，開發人員現在可以使用 AI 編寫規範，並通過 Move Prover 驗證智能合約邏輯，從而提高鏈上程序的可驗證性和安全性。 [MLion]