Move Language

Implementing, testing, and verifying a fungible token

Move is a programming language designed specifically for blockchain environments, focusing on safety and flexibility for smart contract development. It introduces unique concepts like resource types and linear logic to prevent common blockchain vulnerabilities while enabling complex financial applications. ## Key Features - **Resource Safety** — Resources cannot be copied or implicitly discarded, preventing double-spending and other financial bugs - **Formal Verification** — Built-in support for mathematical proofs of contract correctness - **Module System** — Encapsulated modules with fine-grained access control for secure code organization - **Linear Types** — Track ownership and consumption of assets at the type system level - **Transaction Scripts** — Flexible scripting capability for composing multiple operations ## Philosophy Move prioritizes safety and correctness in financial applications through a type system that enforces resource invariants by default, making it harder to write vulnerable smart contracts.

Move and SmartContract Development

Maintained by the Starcoin team

Programming with objects

Maintained by the Sui team