zkMove——针对Move合约生态的zkVM

1. 引言

Move为不同于Solidity的，开源的安全的智能合约开发语言，最早由Facebook为Diem链创造开发。不过，Move本身设计为与平台无关的语言，具有通用的库、工具，并使得采用完全不同数据模型和执行模型的链的开发者社区都可使用Move。

当前支持Move合约的链有：

• Sui：定位为具有高吞吐量、低延迟、面向资产编程模式的下一代智能合约平台，采用Move语言进行合约开发。当前处于devnet。
• 0L： 中性复制状态机的引用实现。源自Libra/Diem技术。当前处于mainnet。
• Starcoin：通过分层实现扩容的智能合约区块链网络。当前处于mainnet。
• Aptos：定位为最安全以及扩容性最好的Layer 1区块链解决方案。当前处于mainnet。
• Pontem：基于Substrate的搭载了MoveVM的平行链。当前处于testnet。
• Celo：即将同时支持EVM和MoveVM的链。coming soon。
• Diem：Facebook原始的Meta链（又名Libra）。
• ChainX：Bitcoin的Layer 2智能合约网络，当前已支持WASM和EVM，未来将支持MoveVM。当前处于mainnet。
• Solana：在尝试让Solana支持Move，具体见https://github.com/solana-labs/move——为Move提供LLVM IR支持（即，将Move翻译为LLVM）。

zkMove为针对Move合约生态的zkVM，开源代码见：

• https://github.com/young-rocks/zkmove

不同于 “将Move->Yul中间语言->Miden汇编语言，然后基于Miden虚拟机生成证明”，zkMove认为，Move语言的安全性由Move虚拟机保证，转换为Miden后可能存在安全性降低的问题。zkMove与原生Move虚拟机完全兼容，可继承Move所有的安全特性。

参考资料

[1] Write Smart Contracts with Sui Move
[2] Awesome Move
[3] zkMove 创始人: 关于 zkMove 经常被问到的几个问题
[4] First impressions of the Move programming language