Move language: A safe and flexible blockchain language

The Move language is designed for safe resource management and verifiable execution on a blockchain. Transaction execution is deterministic, hermetic, and metered. Deterministic and hermetic means that the output of transaction execution is completely predictable and based only on the information contained within the transaction and current ledger state. Metering is an important defense against denial of service attacks at the transaction execution level. The Move prover can formally verify properties of Move modules via an expressive specification language and is fast enough to run as a part of continuous integration tests. Move resources, inspired by linear types, statically ensure resources are conserved and not copied or accidentally destroyed — avoiding a whole class of potential attacks entirely. Our blockchain and the Move language were co-developed at the same time over three years ago. Accounts, transaction fees, a standard library, validator node management, and configuration are all implemented with Move. We love the safety of Move and are excited about helping build a broad ecosystem around it.

Move language: A safe and flexible blockchain language

The Move language is designed for safe resource management and verifiable execution on a blockchain. Transaction execution is deterministic, hermetic, and metered. Deterministic and hermetic means that the output of transaction execution is completely predictable and based only on the information contained within the transaction and current ledger state. Metering is an important defense against denial of service attacks at the transaction execution level. The Move prover can formally verify properties of Move modules via an expressive specification language and is fast enough to run as a part of continuous integration tests. Move resources, inspired by linear types, statically ensure resources are conserved and not copied or accidentally destroyed — avoiding a whole class of potential attacks entirely. Our blockchain and the Move language were co-developed at the same time over three years ago. Accounts, transaction fees, a standard library, validator node management, and configuration are all implemented with Move. We love the safety of Move and are excited about helping build a broad ecosystem around it.