Move 语言

XMETA使用Move语言，Move语言是一款图灵完备的智能合约语言，为XMETA 区块提供安全、可编程的能力，是面向数字资产设计的智能合约开发语言。

Move最关键的新功能是自定义资源类型，Move为资源提供特殊的安全性保证。在Move中，资源类型永远不会被复制、重用或丢弃。资源类型只能由定义类型的模块创建或销毁，即如果代被定义为资源，那么在底层虚拟机上就避免了由智能合约层面上无限增发的BUG、溢出检查失效造成的刷等各种漏洞。

Move与平台无关，支持跨区块链的共享库、工具和开发人员社区。Move语言的设计强调安全性，旨在避免许多 Web3.0 用户受害的情形，包括但不限于重入漏洞（re-entrancy vulnerabilities）、毒令牌（poison tokens）和欺骗性令牌批准（spoofed token approvals）等问题。数字资产也应该被视为资源，这意味着数字资产不能被随意复制或意外破坏。

为了提供额外的保护，Move 可以用 Move Prover 验证工具辅助开发，该工具允许开发人员为其应用程序的关键特征编写正式规范，并使用验证器在 30 秒内检查代码的执行正确性。