Aptos claims ‘first L1’ status for AI‑assisted formal verification of dynamic dispatch
Aptos says it is the first L1 to support AI‑assisted formal verification for dynamically scheduled Move contracts, pitching Move Prover as an "oracle"
14 May 20:24 · crypto.news