Move编程语言

Move的主要特性是定义自定义资源类型的能力，这在统计上确保资源只能在程序存储位置之间移动，而不能被克隆或删除。通过有效防止上述漏洞等问题，该实施显著提高了安全性。然后，资源由Move模块管理，类似于智能合约，Move模块控制对创建、更新和删除已声明资源的规则进行编码的过程。Move模块优于智能合约的地方在于它们执行数据抽象，这意味着资源在其声明模块内是透明的，而在其声明模块外是不透明的。

此外，在富有表现力的规范语言的帮助下，Move Prover验证器可以正式验证Move模块的特征，并且足够高效地用于持续集成测试。Sui以对象为中心的模式和存储系统与Core Move和Aptos有很大不同。在撰写本文时，开发人员报告了他们的不一致之处，他们认为在快速更新文档以跟上最新分支方面存在问题。也就是说，这个问题很容易解决，开发人员已经表示，他们对在MOVE编程语言基础上进行开发活动非常有信心。