木星链 木星链
Ctrl+D收藏木星链

ISC:zkEVM VS zkVM:一字之差,天壤之别

作者:

时间:1900/1/1 0:00:00

前言

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

背景

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

Zilliqa今日将启动在主网部署EVM兼容性的升级,升级期间网络暂停24小时:4月25日消息,据官方博客,Layer1区块链Zilliqa发布关于在主网上启动EVM的具体安排和未来部署,EVM兼容性将在北京时间4月25日16:00作为更新至v9.0.0版本的一部分部署在Zilliqa主网上。网络停机时间将从4月25日16:00开始长达24小时,以促进网络升级过程。在此期间,网络不会处理任何交易。建议网络升级期间暂停主网充提业务。升级过程完成后,网络将恢复正常处理交易。[2023/4/25 14:24:59]

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

快速了解EVM:

前BitGo、Curv高管推出新的加密钱包安全公司Fordefi:11月5日消息,前BitGo、Curv高管Josh Schwartz推出新的加密钱包安全公司Fordefi,Fordefi提供了一个允许机构参与各种链的钱包平台。

Fordefi表示,使用安全的多方计算 (MPC) 以一种更难以妥协的方式分配用户的私钥,它将允许用户自动化他们与区块链和智能合约的互动。Fordefi的25人团队位于以色列和纽约,其中包括Michael Volfman和Dima Kogan。该公司聘请了斯坦福大学的加密货币教授Dan Boneh和前Curv首席执行官Itay Malinger作为顾问。(The Block)[2022/11/5 12:18:25]

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

彭博社:Celsius已收到美国大陪审团传票:金色财经报道,破产的加密货币借贷服务提供商Celsius已收到美国大陪审团传票,这意味着美国检察官和几家联邦监管机构将从Celsius Network Ltd那里寻求更多证据信息,传票内容显示,SEC、CFTC 和 FTC 也向Celsiu公司发出了询问。

据悉,大陪审团可以使用法院的权力传唤证据,尽管他们也可以邀请(而不是指挥)证人作证。如果收到传票,但认为不应该出庭作证,或者认为传票的要求是“无理或压制”,那么可以提出一个动议来消除这种声音。Celsius表示,他们正在配合所有监管调查。[2022/10/17 17:28:14]

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

Web3游戏开发商Flowstate Games完成200万美元融资:10月11日消息,Web3游戏开发商Flowstate Games宣布完成200万美元Pre-Seed轮融资,Play Ventures Future Fund领投,Web3基础设施开发公司Equilibrium、Elite Game Developers创始人Joakim Achrén及其天使投资团队参投。

得益于这笔最新融资,该公司将推出首款Web3汽车格斗游戏Smash Stars: Thunderdome,玩家可以用车载大炮击落敌人,每一款都将以NFT形式在游戏中体现,车辆将能在二级市场上进行交易。

此外,Flowstate Games还与Immutable X达成合作,旨在解决NFT交易费用、安全性和碳中和等问题。(Venturebeat)[2022/10/11 10:30:28]

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

高盛前CEO Blankfein:美国经济衰退风险“非常非常高”:5月16日消息,高盛前CEO、高级主席Lloyd Blankfein敦促企业和消费者为美国经济衰退做好准备,称这是一个“非常、非常高的风险”。Blankfein在接受哥伦比亚广播公司采访时表示:“如果我经营的是一家大公司,我会做好充分的准备。如果我是消费者,我也会做好准备。”Blankfein还补充称,虽然美联储有非常强大的工具,但“很难迅速看到这些工具改变经济状况的效果”,认为他们的反应很好。(金十)[2022/5/16 3:18:44]

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

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

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

那么,当你把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,帮助建立一个去中心化和可扩展的全民互联网。

标签:ISCEROZERZEROBISCHeroesTD CGCZEROAZERO价格

以太坊价格热门资讯
COM:当 SUI 成为游戏的新选择:盘点 9 款正在开发的潜力游戏

SUI正逐渐成为游戏开发者们的热门选择,目前已经有40多款游戏正在该链上开发,其中包括一些备受瞩目的项目,研究员apix总结其中比较流行的9款游戏.

1900/1/1 0:00:00
ORDI:Twitter Sapce实录:BRC-20集体遇冷,市场迎来拐点?

一路高歌猛进后,BRC-20走势开始疲软。对市场自身说,这只是一次短暂的Meme狂欢,还是未被Crypto世界真正理解的Magic?对投资者而言,这是绝佳的入场机会,还是筑底前的信号?5月12日.

1900/1/1 0:00:00
莱特币:莱特减半,矿工遇险

北京时间8月5日下午6点16分,莱特币在区块高度为840000高度上执行挖矿奖励将减半,区块奖励由25个莱特币降为12.5个.

1900/1/1 0:00:00
区块链:多部委扶持区块链应用,韩、委、古推动发行政府加密货币 | 7月政策

当前,距Facebook推出Libra项目已有月余,但围绕该项目及数字货币的探讨仍在持续。7月份时,美国国会两院就已围绕数字货币进行了四次听证会.

1900/1/1 0:00:00
AGA:Solana Saga手机测评:1000美元的Web3智能手机会成为市场突破口吗?

5月9日,SolanaLabs宣布SagaWeb3手机正式面向公众发售,此前预购的订单已开始向美国、加拿大、欧盟、英国、瑞士、澳大利亚和新西兰等地发货.

1900/1/1 0:00:00
HTT:长推:玩转 BRC20 和Ordinals NFT ,看这篇就够了

注:原文来自@0xUnicorn发布长推。基础设施合集币钱包及市场https://unisat.io/brc20目前垄断BRC20铸造和交易.

1900/1/1 0:00:00