Move

A resource-oriented smart contract language designed to make asset duplication and loss impossible at the type-system level.