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

Posted mutourend

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了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,开源代码见:

不同于 “将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

以上是关于zkMove——针对Move合约生态的zkVM的主要内容,如果未能解决你的问题,请参考以下文章

智能合约开发——Sui/Move vs. Solana/Rust

智能合约开发——Sui/Move vs. Solana/Rust

DarkFi中的Halo2 zkVM language——zkas

公链新宠Move合约如何快速入手

Facebook币Libra学习-4.新的智能合约语言Move入门

Flow 和 Cadence 开发工具概述