Move is a secure and expressive programming language designed for Diem, the financial inclusion blockchain built by Meta and integrated with the Aptos Blockchain. Pontem is building Move-based products deployed on Aptos that are interoperable across popular L1 blockchains.
JOIN COMMUNITYProver for smart contract formal verification
Deterministic transaction finality
Move Tokens are atomic ‘resource’ data types that can’t copied or discarded
160K+ TPS benchmarked with sub-second finality
Optimized for horizontal (sharded) compute & storage
Upgradeable HotStuff BFT consensus derivative extensible to L2 frameworks
Move language built on popular Rust language
Supports Private key rotation and recovery
Access control (permissions) built in