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

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

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

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

Polygon Labs发起新提案,提议将Spark Protocol部署至Polygon zkEVM:8月2日消息,Polygon Labs团队发起新提案,提议将MakerDAO旗下借贷协议Spark Protocol部署至Polygon zkEVM。提案称,Spark Protocol目前利用Chainlink Price Feeds来满足其预言机需求,目前Polygon Labs正在与Chainlink Labs团队讨论,后者将很快在8月份支持Polygon zkEVM,该时间表为Spark部署部署至Polygon zkEVM提供了充足的时间。最初上线的抵押品包括WETH、wstETH和DAI。

Polygon Labs目前正在探索一些选项,以为Spark在zkEVM上的发布提供初始DAI流动性。为了启动流动性,DAI流动性的最低目标规模为50万美元。Polygon Labs将确定额外的初始拨款规模,以引导Spark在Polygon zkEVM上的发展。[2023/8/2 16:13:32]

快速了解 EVM:

Vitalik:跨链证明是实现跨链社交恢复钱包的关键,ZK-SNARK等是可行选择:6月20日消息,以太坊联合创始人VitalikButerin在最新文章《更深入探讨钱包和其他用例的跨L2读取》中指出,实现跨链社交恢复钱包的一个可行方案是维护一个存放在特定位置的密钥库,以及多个不同位置的钱包,这些钱包可以读取密钥库来更新自身的验证密钥视图或在每次交易验证过程中。跨链证明是实现这个功能的关键,需要对其进行深度优化,可能的方案包括零知识证明(ZK-SNARK)、等待Verkle证明或自定义KZG解决方案。

从长远看,我们需要实现聚合协议,通过生成聚合证明来打包所有用户提交的操作,以此来降低成本。这可能需要将其集成到ERC-4337生态系统中,可能需要对ERC-4337进行一些修改。同时,为了减少从L2内部读取L1状态的延迟,L2应被优化。

钱包不只可以放在L2上,也可以放在与以太坊连接程度较低的系统上,如L3或只同意包含以太坊状态根的独立链。然而,密钥库应放在L1或高安全性的ZK-rollupL2上。尽管这样会增加复杂性,但从长期来看,可能在L2上设置密钥库才是成本更低的方案。在这个过程中,我们也需要致力于提供保护隐私的解决方案,并确保我们的方案可以与隐私保护方案兼容。[2023/6/21 21:50:47]

EVM 是 Ethereum Virtual Machine(以太坊虚拟机)的缩写,你可以把它看作是执行 Ethereum 上所有交易的软件。

ZK-EVM Kakarot完成pre-seed轮融资,Vitalik、StarkWare等参投:6月2日消息,zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资,StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。

Kakarot zkEVM 是 Cairo 实施的 EVM,利用 STARK 证明来证明交易和区块,确保透明度和安全性。据介绍,Kakarot zkEVM 发展分为三个阶段:1、作为 EVM 存在于 Starknet L2 上;2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM;3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]

聚币Jubi将于2021年1月6日首发上线ZKS:据官方消息,聚币Jubi将于2021年1月6日15:00(UTC+8)首发上线ZKS(ZKSwap)。ZKS的充值现已开放,提现将于1月7日15:00(UTC+8)开启。充值ZKS可获“充币挖矿”双倍算力。

ZKSwap是一套基于自动化做市商(AMM,Automated Market Maker)的代币Swap协议。通过ZK-Rollup技术在Layer-2实现了uniswap的全套功能,同时提供无限可扩展性和隐私性。

ZKSwap为流动性提供者和交易者提供超高吞吐量的Swap基础设施,且交易无需任何Gas费用。[2021/1/5 16:29:33]

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

声音 | 外媒:William Zietzke在对美国国税局调查其Bitstamp帐户的诉讼中败诉:加利福尼亚州联邦法院最近裁定,在特定情况下,美国国税局(IRS)向加密货币交易所Bitstamp提出的请求是合法的。法官认为,对IRS提起诉讼的William Zietzke提出的大多数论点都是没有根据的。据悉,IRS在对William Zietzke的调查过程中,美国国税局发现他没有告知他当时拥有的Bitstamp帐户。这促使政府机构要求Bitstamp提供有关Zietzke所持财产以及与其所有交易有关的公共密钥数据。这些信息被认为对协助调查他是否隐瞒资产很重要。(bitcoinexchangeguide)[2019/11/30]

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

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

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

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

在 RISC Zero,我们实现了一个零知识虚拟机(zkVM),而不是一个 zkEVM。两者之间的区别在于,「VM」,即 「虚拟机」,比 EVM 更通用。

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

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

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

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

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

随着当前智能合约的复杂性增加,许多人发现他们维护的链上代码只会随着他们的开发而增加成本。换句话说,如果你的 DeFi 逻辑逐渐变得计算昂贵,或者你的链上游戏逻辑需要额外的计算能力,RISC Zero 的 zkVM 和即将推出的 Bonsai 网络允许你使用通用编程语言编写可扩展的链上代码。我在这篇博文中列举了几个例子,我们正处于真正可扩展的计算网络的最开始。

StarkNet

企业专栏

阅读更多

金色荐读

金色财经 善欧巴

迪新财讯

Chainlink预言机

区块律动BlockBeats

白话区块链

金色早8点

Odaily星球日报

MarsBit

Arcane Labs

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

DAIDAO:讯飞“星火”抢夺AI话语权

5月6日下午,科大讯飞召开了名为“讯飞星火认知大模型”的成果发布会,同步发布了讯飞AI学习机、讯飞听见、讯飞智能办公本、讯飞智能座舱和讯飞开放平台等5项应用成果.

酷币下载DAO:拿什么来拯救你 PFP类的NFT

前几天看到一篇文章里说到了曾经风光无限的几个蓝筹PFP NFT 在这轮熊市中跌跌不休,有的价格甚至跌了99%,这让前两年刚入场的很多新韭菜们心头在流血.

[0:0ms0-3:83ms