zkEVM VS zkVM：一字之差，天壤之别

前言

本文将对比zkEVM和zkVM在技术上的差异，并介绍RISCZerozkVM及其即将推出的Bonsai网络。关于RISCZero，它是一个通用zkVM，RISCZerozkVM是一台可验证的计算机，其工作方式类似于真正的嵌入式RISC-V微处理器，使程序员能够像编写任何其他代码一样编写ZK证明。支持Rust和C++编写ZK证明，并支持任何编译为RISC-V的语言。

背景

随着当前智能合约的复杂性增加，dapp越来越先进，区块空间越来越稀缺，运行链上代码的成本也在增加。换句话说，如果你的DeFi逻辑变得计算昂贵，或者你的链上游戏逻辑需要额外的计算能力，你应该考虑使用zkVM或zkEVM，将复杂的应用逻辑移到链外。

施罗德与新加坡MAS探索代币化投资工具的功能:金色财经报道，管理9160亿美元的英国资管巨头施罗德投资集团宣布一个代币化投资工具项目，施罗德正在参与新加坡金融管理局的Project?Guardian?，旨在通过支持全球测试代币化资产可行性的努力，同时管理金融稳定和诚信的风险，开发负责任和创新的数字资产生态系统。

施罗德将利用其专业知识并与全球基金网络Calastone合作，探索可变资本公司（VCC）（新加坡的一种常见基金结构）代币化工具的功能。[2023/6/30 22:09:42]

在这篇博文中，我想解释在这种情况下，一个字母所能带来的不同。我将从EVM的概述开始，然后是zkEVM，再接着是zkVM。zkEVM允许你在链外传输Solidity应用程序，而RISCZero的zkVM和即将推出的Bonsai网络允许你使用?Rust?编写可扩展的、与链无关的代码。

快速了解EVM：

美国首只杠杆比特币ETF BITX上线前15分钟内交易了价值约50万美元:金色财经报道，波动性股票2x比特币策略交易所交易基金(BITX)是美国第一支杠杆加密ETF，于周二开始交易，自上线以来迄今交易量约为420万美元。根据彭博社的数据，该ETF在前15分钟内交易了价值约50万美元的股票。Bitx目前股价约为15.48美元，自交易时段开始以来上涨了2%至15.90美元。[2023/6/28 22:04:19]

EVM是EthereumVirtualMachine的缩写，你可以把它看作是执行Ethereum上所有交易的软件。

美媒：马斯克将压轴出席太阳谷峰会并发表演讲:7月9日消息，知情人士称，特斯拉CEO马斯克在宣布终止440亿美元收购推特后，仍将在当地时间7月9日出席太阳谷峰会并发表演讲。这也是会议的最后一天。原本计划提前离开会议的与会者现在延长了逗留时间。知情人士说，马斯克将在当地时间上午晚些时候发言。太阳谷峰会是美国著名的科技和商业论坛，每年7月份举办。会议的压轴讲话通常留给沃伦·巴菲特等传奇投资者。(金十)[2022/7/9 2:02:00]

每个节点通过运行这个软件来参与以太坊网络。在以太坊中，交易是由代码表示的，其格式称为EVM字节码，代表EVM的指令。大体上，这些指令面向数学计算，来获取区块链信息，以及交换金钱。世界上有许多虚拟机，每一个都有自己的专长。以太坊的虚拟机很关键，因为它更适合应用于去中心化的金融。

什么是"zk"，为什么每个人都把它放在其他词的前面？

最近最酷的趋势之一是把"zk"放在单词的前面，这两个字母代表零知识证明。维基百科上有很多例子。如果你对它们不熟悉，我建议此时花几分钟时间读一读零知识证明的例子。

加密公司过去5个月筹集超264亿美元，为去年同期三倍:6月25日消息，据加密融资数据库Dove Metrics数据显示，加密货币和区块链公司在今年前五个月的992笔交易中至少筹集了264亿美元，这一数额是去年同期88亿美元的三倍。1月至5月期间，全球加密货币融资的最大份额来自基础设施（34%），其次是中心化金融（26.3%）。[2022/6/25 1:30:25]

长话短说，零知识证明能够实现可验证的计算。你可以把它看作是一种确保哪些计算被完成，以及计算结果是正确的方法。计算机就计算结果达成一致的一种方式是让每台机器运行相同的代码并比较结果。根据不同的计算，这对资源有限的系统来说可能很昂贵。通过使用像RISCZero这样的零知识证明框架，机器可以通过检查证明的数学有效性来确保计算的正确执行，而不是重复运行相同的代码。

在RISCZero，我们把这些证明称为"收据"，在博客的其余部分，我将使用这个术语。每张收据都包括一个加密标识符，表明进行了哪项计算，以及计算的任何公共输出的日志。虽然这可能看起来是一个简单的概念，但它意味着机器可以生成收据来"证明"计算已经完成。

德国加密支付处理器与Ripple Liquidity Hub建立合作:金色财经报道，加利福尼亚金融科技公司 Ripple 宣布与一家专门为奢侈品零售商处理加密货币支付的德国科技初创公司建立合作伙伴关系。

总部位于柏林的初创公司Lunu已成为Ripple Liquidity Hub的客户，该中心允许“金融机构和企业”“轻松有效地从全球加密市场获取数字资产”，并“为使他们能够为最终客户提供购买、出售和持有数字资产的能力。” Liquidity Hub 客户可以“从各种全球场所无缝访问加密资产，包括做市商、交易所和场外交易柜台。”这种合作伙伴关系将允许 Lunu 的“英国和欧洲的高端和奢侈品零售商”在 Ripple Liquidity Hub 的帮助下接受“通过 Lunu 的销售点 (POS) 终端和在线小部件在店内进行的加密支付”。（cryptoglobe）[2022/6/9 4:12:08]

那么，当你把zk放在EVM前面时会发生什么？

术语zkEVM是用来描述在EVM字节码引擎上运行智能合约的软件，并为特定的计算生成收据。这个软件通常可以证明两个或多个收据是有效的，并生成另一个收据。通过使用这种机制，zkEVM可以运行许多交易，并使用一个收据来表示它，这被称为"Rollup"。用Solidity编写的项目可以使用zkEVMs来扩展交易，而不是在链上进行所有计算，在区块链上发布一个单一的收据来代表许多发生在链外的交易。zkEVM有很多类型，如果你想了解它们，你可以在这篇文章中阅读更多。

zkVM：通过放弃E来解锁可验证的计算

在RISCZero，我们实现了一个零知识虚拟机，而不是一个zkEVM。两者之间的区别在于，"VM"，即"虚拟机"，比EVM更通用。

在zkVM上，你可以运行几乎所有在计算机上运行的软件，而不是任何可以在以太坊上运行的软件。这种计算机使用RISC-V架构，这是一套用于通用计算的指令。这意味着RISC-V并没有内置钱包地址或其他区块链结构的概念。该指令集主要由在内存位置之间移动数据和对数据进行数学运算的运算符组成。虽然这个指令集可能看起来过于笼统，但并不要求程序员知道如何用汇编语言编程，以便为这个zkVM编写程序。

与EVM相比，这个底层的RISC-V模拟器允许程序员用Rust、C/C++和Go等语言为zkVM编写程序。这意味着zkVM的程序员可以使用别人在该语言的生态系统中开发的相关库。一个例子是，我们可以运行玩?Wordle?或?Where'sWaldo?等游戏的程序。然而，我们并不局限于简单的游戏：你可以运行许多其他编译为RISC-V的程序。

运行RISC-V程序有什么用？

如果你想了解更多帮助你写出更好的DeFi应用的框架，你可能会想知道为什么我们正在研究RISCZero这样一个通用的计算框架。

**通过允许用户使用通用语言编写程序，我们打开了在Solidity库之外编写代码的可能性。**这意味着应用逻辑不需要局限于可以用Solidity表达的内容，并允许你写出与链无关的代码。像Rust这样的通用语言允许开发者比那些为特定目的而设计的语言更容易编写不同类型的程序。例如，你可以用Rust编写一个简单的算术计算器，它接受一个数学表达式作为输入，运行数学计算，并将解决方案作为输出返回。如果你增加这个计算器的复杂性，以支持常见的编程语言结构，如变量、循环和函数，你就实现了一个简单的语言解释器，将程序作为输入，运行程序，并将解决方案作为输出返回。这些程序可以被编译成RISC-V并在RISCZero的zkVM上运行。有了Rust，你可以使用现有的crates来为你的应用程序编程，而不是从头开始编写一切。

一个这样的库是Rust上的revmcrate。这个crate是用Rust编写的EVM的一个实现。通过使用这个crate，我们可以在zkVM上运行一个EVM字节码解释器。这意味着你可以在运行在zkVM上的EVM字节码解释器上运行solidity合约!通过这样做，zkVM会产生一个收据，代表运行智能合约的EVM的执行。这在Odra的这篇博文中已经进行了探讨，并被?zkPoEx?团队用来提高bug赏金。

如何扩展区块链

随着当前智能合约的复杂性增加，许多人发现他们维护的链上代码只会随着他们的开发而增加成本。换句话说，如果你的DeFi逻辑逐渐变得计算昂贵，或者你的链上游戏逻辑需要额外的计算能力，RISCZero的zkVM和即将推出的Bonsai网络允许你使用通用编程语言编写可扩展的链上代码。我在这篇博文中列举了几个例子，我们正处于真正可扩展的计算网络的最开始。如果你想看看这是怎么回事，今天就开始吧，加入我们的社区，注册Bonsai，帮助建立一个去中心化和可扩展的全民互联网。

标签：ISCEROZEROZERaisc币实时行情DEROZeroFiZEROX

BNB热门资讯