Aptos introduces formal verification system to counter AI attacks

Aptos (APT) has become the first major Layer 1 blockchain to introduce a formal verification system, the project announced on its official X account. This verification method is designed to defend against AI-driven attacks and is implemented through the Move Prover, a proofing tool developed using AI for code written in the Move language.