Back

Aptos Says It Is First Layer-1 Blockchain to Support Dynamic Scheduling Formal Verification

Aptos says its network can now use AI-assisted formal verification for dynamically scheduled Move contracts, with Move Prover checking correctness.

APT

Summary

Aptos said it is the first Layer-1 blockchain to support AI-assisted formal verification for dynamically scheduled Move contracts. The company said artificial intelligence drafts the specification, while Move Prover is used to verify correctness, positioning the system as a bridge between markets and machine agents. The update highlights a security-focused development for blockchain infrastructure by applying formal methods to execution logic and scheduling.

Terms & Concepts
  • Formal verification: A mathematical method for proving that software or system behavior matches a predefined specification, often used to improve reliability in critical code.
  • Layer-1 blockchain: A base blockchain network that processes and settles transactions on its own main chain, rather than relying on another blockchain.
  • Move Prover: A verification tool for the Move programming language that checks whether code satisfies stated correctness properties.