Prover 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
List of trustworthy team members will help users to avoid scammers in group chats