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

2026-05-15 00:30 來源： x.com 事件類型：上線/更新

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

相關專案