Aptos becomes the first L1 supporting formal verification of dynamic scheduling

Aptos stated on X platform that it is the first L1 blockchain to support formal verification of dynamic scheduling, mathematically proving that it operates as designed. Aptos said that AI writes the specifications, mathematics proves their correctness, and the Move Prover serves as the oracle — this is the trust layer between the market and the machine.