作者:?RISCZero高级工程师ErikKaneda??译者:Maxlion
前言
本文将对比zkEVM和zkVM在技术上的差异,并介绍RISCZerozkVM及其即将推出的Bonsai网络。关于RISCZero,它是一个通用zkVM,RISCZerozkVM是一台可验证的计算机,其工作方式类似于真正的嵌入式RISC-V微处理器,使程序员能够像编写任何其他代码一样编写ZK证明。支持Rust和C++编写ZK证明,并支持任何编译为RISC-V的语言。
背景
随着当前智能合约的复杂性增加,dapp越来越先进,区块空间越来越稀缺,运行链上代码的成本也在增加。换句话说,如果你的DeFi逻辑变得计算昂贵,或者你的链上游戏逻辑需要额外的计算能力,你应该考虑使用zkVM或zkEVM,将复杂的应用逻辑移到链外。
在这篇博文中,我想解释在这种情况下,一个字母所能带来的不同。我将从EVM的概述开始,然后是zkEVM,再接着是zkVM。zkEVM允许你在链外传输Solidity应用程序,而RISCZero的zkVM和即将推出的Bonsai网络允许你使用Rust编写可扩展的、与链无关的代码。
IDEX宣布构建基于Polygon zkEVM的Layer-2命名为“Xchain”:金色财经报道,IDEX宣布计划构建一条基于Polygon zkEVM的Layer-2,名为Xchain。目前处于测试网阶段,该区块链正在基于PolygonSupernets软件堆栈的zkEVM进行开发,旨在提供一个去中心化的永续交易平台。[2023/7/7 22:22:25]
快速了解EVM:
EVM是EthereumVirtualMachine的缩写,你可以把它看作是执行Ethereum上所有交易的软件。
Polygon已开源Polygon zkEVM代码,即将上线公共测试网:金色财经报道,Polygon 已开源 Polygon zkEVM 的代码,并表示即将上线公共测试网,后续会发布更多文档来详细说明细节。据悉,Polygon zkEVM 可为开发人员和用户提供EVM 等效解决方案、高性能 zk 证明机制(zk-proofs)与以太坊主网级别的安全性[2022/7/20 2:26:17]
每个节点通过运行这个软件来参与以太坊网络。在以太坊中,交易是由代码表示的,其格式称为EVM字节码,代表EVM的指令。大体上,这些指令面向数学计算,来获取区块链信息,以及交换金钱。世界上有许多虚拟机,每一个都有自己的专长。以太坊的虚拟机很关键,因为它更适合应用于去中心化的金融。
什么是"zk",为什么每个人都把它放在其他词的前面?
最近最酷的趋势之一是把"zk"放在单词的前面,这两个字母代表零知识证明。维基百科上有很多例子。如果你对它们不熟悉,我建议此时花几分钟时间读一读零知识证明的例子。
Polygon Hermez正在开发zkEVM,计划2022年Q2上线主网:据官方消息,Polygon Hermez宣布Hermez零知识以太坊虚拟机(zkEVM)正在开发中,并计划2022年Q2上线主网。
据悉,目前,Hermez只代币传输,不支持EVM兼容。根据Hermez的路线图,一个完全兼容EVM的V2版本将支持现有智能合约的透明部署,而无需对其进行调整或编译。[2022/1/9 8:36:19]
长话短说,零知识证明能够实现可验证的计算。你可以把它看作是一种确保哪些计算被完成,以及计算结果是正确的方法。计算机就计算结果达成一致的一种方式是让每台机器运行相同的代码并比较结果。根据不同的计算,这对资源有限的系统来说可能很昂贵。通过使用像RISCZero这样的零知识证明框架,机器可以通过检查证明的数学有效性来确保计算的正确执行,而不是重复运行相同的代码。
在RISCZero,我们把这些证明称为"收据",在博客的其余部分,我将使用这个术语。每张收据都包括一个加密标识符,表明进行了哪项计算,以及计算的任何公共输出的日志。虽然这可能看起来是一个简单的概念,但它意味着机器可以生成收据来"证明"计算已经完成。
意大利支付公司SIA与金融科技公司Wizkey合作提供基于区块链的信用交易:1月28日消息,意大利支付公司、CDP Equity的子公司SIA,已与金融科技公司Wizkey合作提供基于区块链的信用交易。根据新闻稿,SIA宣布与Wizkey合作推出一项新举措,使银行、金融运营商和基金等金融机构能够利用区块链技术交易信贷,包括不良贷款(NPL)。(BTCManager)[2021/1/28 14:13:01]
那么,当你把zk放在EVM前面时会发生什么?
术语zkEVM是用来描述在EVM字节码引擎上运行智能合约的软件,并为特定的计算生成收据。这个软件通常可以证明两个或多个收据是有效的,并生成另一个收据。通过使用这种机制,zkEVM可以运行许多交易,并使用一个收据来表示它,这被称为"Rollup"。用Solidity编写的项目可以使用zkEVMs来扩展交易,而不是在链上进行所有计算,在区块链上发布一个单一的收据来代表许多发生在链外的交易。zkEVM有很多类型,如果你想了解它们,你可以在这篇文章中阅读更多。
动态 | 新加坡联合早报首次头版报道加密货币购车 支付解决方案由Bizkey提供:2019年1月3日,值比特币诞生十周年之际,提供数字货币解决方案的Bizkey与其合作商户MHG车行迎来了第一位以加密货币购车的买家。27岁的刘姓人士在新加坡通过bizkey用以太币购买了一辆本田Vezel,此事获得了新加坡联合早报的头版报道,成为第一个上头版的加密货币交易。[2019/1/4]
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,帮助建立一个去中心化和可扩展的全民互联网。
7:00-12:00关键词:拜登、灰度、数字欧元、Ordinals1.拜登:不排除短期提高债务上限.
1900/1/1 0:00:00对游走于灰色地带的加密领域而言,出入金是不得不提起的话题。在近月来制度红利催生的香港热点下,圈内人最关注的无外乎是出入金,剑指出入金背后,则是合规牌照.
1900/1/1 0:00:00本文来自?TheBlock,原文作者:AislinnKeely原标题:《电子经纪商盈透证券通过Paxos推出加密货币交易服务》全球电子经纪公司盈透证券正与美国加密资产托管公司PaxosTrustCompany合作,以实现加密货币交易.
1900/1/1 0:00:00头条 ▌以太坊在24小时内第二次出现性能故障后恢复,原因仍正在调查金色财经报道,以太坊区块链在今日凌晨遭遇了一个技术问题,导致网络停止,最终确定区块的时间超过一个小时,这是过去24小时内第二次出现这种中断.
1900/1/1 0:00:00原文作者:/img/20230515155033177148/0.jpg "/>通过上图可以发现,并没少数人持有大量代币,这表明RUG或砸盘的可能性较小。但这些大户的地址我们仍然需要多加留心,右边红框的地方看到他们的持仓排名.
1900/1/1 0:00:00据CryptoPotato消息,1月6日,NFT分析平台CryptoSlam宣布完成了900万美元战略种子轮融资,本轮融资由AnimocaBrands领投.
1900/1/1 0:00:00