吴說得知,Aptos 表示,其成為首個支持對動態分發(dynamic dispatch)進行形式化驗證的 Layer 1 區塊鏈,可通過數學方法驗證相關機制是否按設計運行。Aptos 稱,開發者可借助 AI 編寫規範,並通過 Move Prover 對智能合約邏輯進行驗證,以提升鏈上程序的可驗證性與安全性。

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
Немає коментарів
  • Закріплено