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

本文将对比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编写可扩展的、与链无关的代码。

Lido将通过Lido Grant资助ZK技术开发商Nil建立zkOracle:8月16日消息，流动性质押提供商Lido Finance宣布将通过Lido Grant资助ZK技术开发商Nil Foundation建立zkOracle，为Lido的会计报告提供信任最小化的健全性检查，保障Lido Finance的流动性。

Lido的zkOracle计算的证明将通过以太坊上的Proof Market直接从EVM签订，Proof Market是最近发布的网关接口，可为所有EVM应用程序提供可证明的计算可组合性。[2023/8/16 21:26:33]

快速了解EVM：

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

数据：zkSync桥接存储总价值突破20万枚ETH:金色财经报道，据 Dune Analytics 数据显示，以太坊 Layer2 扩容解决方案 zkSync 跨链桥接存储总价值已突破 20 万枚 ETH，截至目前达到 200,003 ETH（按照当前 ETH 价格计算超过 3.3 亿美元），参与桥接交易的用户量为 530,753 个。其他 L2 存储总价值方面，当前 Arbitrum 跨链桥存储总价值约为 211.23 万枚 ETH，Optimism 约为 46.65 万枚 ETH，StarkNet 约为 1.04 万枚 ETH。金色财经此前报道，zkSync 开发公司 Matter Labs 于去年 11 月中旬完成 2 亿美元 C 轮融资，Blockchain Capital 和 Dragonfly 共同领投。[2023/1/21 11:24:26]

ConsenSys推出zkEVM测试网私人测试版本:12月13日消息，以太坊基础设施开发公司 ConsenSys 官方发布 zkEVM 测试网私人测试版本，该测试网已在 Infura 上提供给选定的申请人，允许开发人员部署和测试智能合约，并从现有网络迁移 DApp，以及桥接 Token。

ConsenSys 表示，其 zkEVM 可实现 EVM 等效性，享受以太坊的安全性以及 zkEVM 的可扩展性和低费用有所。ConsenSys 将从下周开始在内部测试 zkEVM 测试网，2023 年 1 月份开始将逐步开放许可名单允许外部用户注册。[2022/12/14 21:42:28]

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

zkSync 1.x主网升级将于今晚11点开始，持续2-3小时:据官方消息，zkSync 1.x主网升级将于今晚11点开始，持续2-3小时，期间zkSync主网将无法使用。官方表示将升级合约和服务器以支持zkSync 1.x交换、NFT、一个新的事件系统和无许可代币上线。[2021/7/14 0:52:43]

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

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

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

动态 | 新加坡联合早报首次头版报道加密货币购车 支付解决方案由Bizkey提供:2019年1月3日，值比特币诞生十周年之际，提供数字货币解决方案的Bizkey与其合作商户MHG车行迎来了第一位以加密货币购车的买家。27岁的刘姓人士在新加坡通过bizkey用以太币购买了一辆本田Vezel，此事获得了新加坡联合早报的头版报道，成为第一个上头版的加密货币交易。[2019/1/4]

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

标签：LIDMEMEBONBONKBLIDMEMES价格shib币钱包怎么购买bonebonk币上线平台

币赢热门资讯