智能合约是公链表达能力的体现，是生态发展的关键。当前模块从各个角度深入介绍了智能合约语言Move，帮助您全方位了解Move合约开发。
Move是线性逻辑的智能合约语言，是专门为金融场景打造的智能合约语言，拥有很好的安全性。
Move有Ability的特性，抽象了4种常用的ability，分别是copy、drop、key、store。根据不同业务场景自身的特点，将不同的ability应用到不同的Struct上，能设计出不同特点、不同安全性的结构体，例如Resource类型。Resource是Move特有的资源类型，从VM层保障该类型的实例不能复制，也不能丢弃，拥有完美的安全性，是天生的NFT。Move在FT和NFT方面都有得天独厚的优势，是DeFi场景的安全利器。
除了面向资源编程，Move还有一个非常重要的特性，面向泛型编程。Move是纯静态类型的智能合约语言，不会出现动态调用引发的各种安全隐患。为了提升扩展性，Move支持泛型。泛型拥有很好的扩展能力，并且提高了代码的复用率。Starcoin利用泛型的优势，设计了官方标准的协议，例如NFT协议。
Move有一套完整的形式化验证的工具，这也是Solidity等其他智能合约没法比拟的。Move的形式化验证，将编写的智能合约代码作为输入数据，用数学的方式，来证明合约代码的安全性，更好的保障智能合约的安全。
有关Move的更深入的内容，将从以下这些方面，由浅入深，逐步讲解：
