原标题:《zkevm vs zkvm:一个字母可以造成很大的不同！》
RISC Zero高级工程师Erik Kaneda撰写
译者:Maxlion
本文将比较zkEVM和zkVM的技术差异，并介绍RISC Zero zkVM及其即将推出的Bonsai网络。至于RISC Zero，它是一个通用的ZVM，RISC Zero zkVM是一个可验证的计算机，它像一个真正的嵌入式RISC-V微处理器一样工作，使程序员能够像编写任何其他代码一样编写ZK证明。支持Rust和C++写ZK证明，支持任何编译成RISC-V的语言
背景随着智能合约越来越复杂，dapp越来越高级，block 空越来越稀缺，链上运行代码的成本也越来越高。换句话说，如果您的DeFi逻辑变得计算昂贵，或者您的链上游戏逻辑需要额外的计算能力，您应该考虑使用ZKMM或zkEVM将复杂的应用程序逻辑移出链。
在这篇博文中，我想解释一下在这种情况下一封信能带来的不同。我将从EVM的概述开始，然后是zkEVM，然后是zkVM。ZkEVM允许你将Solidity应用转移到链外，而RISC Zero的zkVM和即将推出的Bonsai网络允许你使用Rust编写可扩展的、独立于链的代码。
快速了解EVM:
EVM是以太坊虚拟机的缩写，你可以把它想象成在以太坊上执行所有交易的软件。
每个节点通过运行该软件(如geth)加入以太网。在以太坊中，交易由代码表示，其格式被称为EVM字节码，代表EVM指令。一般来说，这些指令面向数学计算，以获取区块链信息和兑换货币。世界上有很多虚拟机，各有专长。以太坊的虚拟机很关键，因为它更适合去中心化金融(DeFi)。
“zk”是什么，为什么大家都把它放在其他词之前？最近最酷的一个潮流就是把“zk”放在单词前面，这两个字母代表零知识证明。* * *(我最喜欢的是“两个球和色盲朋友”这个问题)的例子很多。如果你对它们不熟悉，我建议此时花几分钟看一下零知识证明的例子。
长话短说，零知识证明可以实现可验证计算。你可以把它想成是一种保证哪些计算完成，结果正确的方法。让计算机对计算结果达成一致的一种方法是让每台机器运行相同的代码，并比较结果。根据计算结果，对于资源有限的系统来说，这可能很昂贵。通过使用类似RISC Zero的零知识证明框架，机器可以检查证明的数学有效性，以确保计算的正确执行，而不是重复运行相同的代码(如EVM)。
在RISC Zero，我们称这些证明为“收据”，我将在博客的其余部分使用这个术语。每张收据都包含一个加密的标识符，指示进行了哪项计算，以及该计算的任何公开输出的日志。虽然这似乎是一个简单的概念，但这意味着机器可以生成一张收据来“证明”计算已经完成。
那么，当你把zk放在EVM前面时会发生什么？术语zkEVM用于描述在EVM字节码引擎上运行智能合约并为特定计算(或交易)生成收据的软件。这种软件通常可以证明两张或多张收据有效，并生成另一张收据。通过使用这种机制，zkEVM可以运行许多事务，并使用一个收据来表示它，这被称为“Rollup”。用Solidity编写的项目可以使用zkEVMs来扩展事务，而不是在链上做所有的计算，并在区块链上发布一个收据来表示链外发生的许多事务。zkEVM有很多种类型。如果你想了解他们，你可以阅读这篇文章。
ZkVM:通过放弃RISC Zero中的E解锁可验证计算，我们实现了一个零知识虚拟机(zkVM)而不是zkEVM。两者的区别在于“VM”，即“虚拟机”，比EVM更通用。
在zkVM上，你几乎可以运行所有在电脑上运行的软件，而不是任何可以在以太坊上运行的软件。这台计算机使用RISC-V架构，这是一组用于一般计算的指令。这意味着RISC-V没有内置钱包地址或其他区块链结构的概念。指令集主要由运算符组成，这些运算符在内存位置之间移动数据，并对数据执行数学运算。虽然这个指令集可能看起来太笼统，但它并不要求程序员知道如何用汇编语言编程才能为这个zkVM编写程序。
与EVM相比，这个低级RISC-V模拟器允许程序员用Rust、C/C++和Go等语言为zkVM编写程序(注意，我们目前支持Rust，我们对C/C++和Go的支持目前正在进行中)。这意味着zkVM程序员可以使用该语言生态系统中其他人开发的相关库。一个例子是，我们可以运行玩游戏的程序，如Wordle或Waldo在哪里。然而，我们并不局限于简单的游戏:你可以运行许多其他编译成RISC-V的程序。
运行RISC-V程序有什么用？如果你想了解更多关于帮助你编写更好的DeFi应用的框架，你可能想知道我们为什么要研究RISC Zero，一个通用的计算框架。
通过允许用户用通用语言编写程序，我们打开了在Solidity库之外编写代码的可能性。这意味着应用程序逻辑不需要局限于可以用Solidity表达的东西，允许你写与链无关的代码。像Rust这样的通用语言允许开发人员编写不同类型的程序，比那些为特定目的设计的程序更容易。例如，您可以用Rust编写一个简单的算术计算器，它接受一个数学表达式作为输入，运行数学计算，并将解作为输出返回。如果你增加这个计算器的复杂度来支持常见的编程语言结构，比如变量、循环、函数，你就实现了一个简单的语言解释器，它以程序为输入，运行程序，返回解作为输出。这些程序可以编译成RISC-V，在RISC Zero的zkVM上运行。有了Rust，你可以使用现有的板条箱来编写你的应用程序，而不是从头开始编写。
一个这样的库是关于铁锈的revmcraft。这个箱子是用铁锈写成的EVM的作品。通过使用这个机箱，我们可以在zkVM上运行EVM字节码解释器。这意味着您可以在zkVM上运行的EVM字节码解释器上运行solidity契约！通过这样做，zkVM将生成一个收据，代表运行智能合约的EVM的执行。这一点在Odra的这篇博文中已经讨论过了，zkPoEx团队也用它来提高bug奖励。
如何扩展区块链随着当前智能合约的日益复杂，许多人发现他们在链上维护的代码只会随着他们的开发而增加成本。换句话说，如果你的DeFi逻辑变得越来越计算昂贵，或者你的链上游戏逻辑需要额外的计算能力，RISC Zero的zkVM和即将推出的Bonsai网络允许你用通用编程语言编写可扩展的链上代码。我在这篇博文中列举了几个例子，我们正处于一个真正可扩展的计算网络的开端。
本网站声明:网站内容来源于网络。如有侵权，请联系我们，我们会及时处理。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"kvm磁盘扩容，zfs 扩容"：http://www.guoyinggangguan.com/qkl/149454.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
