The Aptos team invented Move and natively integrated it into the blockchain. Among other benefits, this native language to the Aptos chain improves the speed and security of transaction execution. In addition, Aptos comes with a formal verifier for smart contracts written in Move called the “Move prover”.
Aptos is a Layer 1 blockchain built with a Rust-based programming language called Move. Its key features include a parallel execution engine, high-level security features and low transaction costs
