宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > XLM > 正文

zkVM:比zkEVM更普适的通用扩容方案

作者:

时间: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,将复杂的应用逻辑移到链外。

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

数据:zkSync Era 链上独立地址数突破 100 万:6月30日消息,据 Dune 数据显示,zkSync Era 链上独立地址数已突破 100 万,现为 1,086,771 个,链上桥接 TVL 总额达到 562,299 枚 ETH。据欧科云链 OKLink 多链浏览器数据显示,当前 zkSync Era 链上地址总数为 2,846,469 个,总交易量约 423 万笔。[2023/6/30 22:10:55]

快速了解EVM:

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

Sui生态游戏Abyss World将扩展至Polygon zkEVM:6月29日消息,Sui生态RPG开放世界游戏Abyss World宣布将基于Polygon zkEVM来打造其游戏,并将与Polygon Gaming合作提升基于区块链的游戏。[2023/6/29 22:08:16]

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

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

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

Polymer Labs推出Optimistic ZK IBC Connections,可降低延迟与成本:6月16日消息,专注于IBC协议的基础设施提供商Polymer Labs推出Optimistic ZK IBC Connections。该模型受到OSI模型启发,包含应用层、传输层与状态层。结合Optimistic与零知识证明验证两种技术可以提供具有理想特性的动态延迟:延迟的上限;当中继者受到适当激励时,可能会降低延迟;降低连接维护成本。[2023/6/16 21:42:32]

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

基于zkRollup的以太坊二层网络Taiko发布首个公共测试网:12月28日,据官方消息,基于 zkRollup 的以太坊二层网络 Taiko 发布测试网 Sn?fellsj?kull。目前该测试网支持开发者部署智能合约,并向普通用户开放交易测试和 L2 节点运行等功能。[2022/12/28 22:12:13]

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

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

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

MatterLabs已在以太坊主网部署Layer2扩展工具zkSync:据官方消息,以太坊扩容项目MatterLabs宣布已在以太坊主网部署其Layer2扩展工具zkSync。MatterLabs团队表示,zkSync将极大解决以太坊上的交易成本(Gas)费,平均交易费用旨在长期保持在的小于0.01美元的低位,并逐步实现最高达2000TPS的吞吐量。目前,zkSync已经实现「可扩展的支付功能」,后续将依次实现「智能合约部署」、「隐私」和「加密抗审查」等功能,最终实现为数十亿人提供可扩展的、保护隐私的、公平的且无许可的加密基础设施。(Medium)[2020/6/19]

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网络允许你使用通用编程语言编写可扩展的链上代码。我在这篇博文中列举了几个例子,我们正处于真正可扩展的计算网络的最开始。

标签:ISCEROZERZEROgenesischainFusion HeroesBlazerCoinZero Collateral Dai

XLM热门资讯
元宇宙野心未灭!Meta研究:到2035年对美GDP贡献或达2.4%

来源:财联社 编辑黄君芝 图片来源:由无界AI工具生成高通全球高级副总裁:AIGC的成熟和广泛应用将大幅提升元宇宙内容的生产效率:金色财经报道,在2023年世界人工智能大会现场,高通全球高级副总裁程立新表示.

1900/1/1 0:00:00
区块链安全100问 | 第八篇:智能合约自动化审计介绍

前言 当前区块链技术和应用尚处于快速发展的初级阶段,面临的安全风险种类繁多,从区块链生态应用的安全,到智能合约安全,共识机制安全和底层基础组件安全,安全问题分布广泛且危险性高,对生态体系,安全审计,技术架构.

1900/1/1 0:00:00
马斯克将卸任推特CEO,新任女掌门人揭秘,将花落谁家?

来源丨元宇宙简史 编写丨元宇宙简史主理人Fun推特现任首席执行官埃隆·马斯克周四在推特上宣布,他已经为推特聘请了一位新的CEO,但没有透露对方身份,只说“她将在6周后开始工作”!这一消息引发了网友们的猜测和好奇.

1900/1/1 0:00:00
Meme 热潮席卷比特币网络 BTC是否“见顶”

随着基于比特币BRC-20标准的Meme代币交易量飙升至两年高位,比特币周一跌破2.75万美元,链上数据显示,从历史数据来看,模因币的投机狂热预示着比特币短期“见顶”或者看跌逆转.

1900/1/1 0:00:00
SignalPlus宏观点评(20230510)

各位朋友,欢迎来到SignalPlus宏观点评。SignalPlus宏观点评每天为各位更新宏观市场信息,并分享我们对宏观趋势的观察和看法。欢迎追踪订阅,与我们一起关注最新的市场动态.

1900/1/1 0:00:00
以太坊Layer2扩容方案Arbitrum 将推出基于 WASM 的新版本 Nitro,可提升超 20 倍代码执行速度

巴比特讯,10月12日,以太坊Layer2扩容方案Arbitrum宣布将推出ArbitrumOne的下一个版本ArbitrumNitro.

1900/1/1 0:00:00