标签

A tag for feature requests and suggestions.

A tag for an unexpected problem with Move.

Move Prover is an automatic formal verification system for Move.

Scripts are executable entrypoints similar to a main function in a conventional language. A script typically calls functions of a published module that perform updates to global storage.

Modules are libraries that define struct types along with functions that operate on these types.

A smart contract is a computer program or a transaction protocol that is intended to automatically execute, control or document legally-relevant events and actions according to the terms of a contract or an agreement.

Move is an executable bytecode language used to implement custom transactions and smart contracts.

The Move command-line interface is a tool that provides an easy way to interact with Move, to experiment with writing and running Move code.