zkEVM 如何与以太坊 L1 交互?

撰文:Salazar.eth

编译:0x11,Foresight News

我们都知道 zkEVM 是什么,但它是如何与以太坊基础层交互的呢?

这是一个对初学者友好的 zkEVM 工作流程。

好吧,对于那些不了解 zkEVM 的人,可以先阅读这篇贴文。

Orbiter Finance已集成Polygon zkEVM网络:3月28日消息,Layer 2跨Rollup桥Orbiter Finance宣布已集成Polygon zkEVM网络,允许用户在Polygon zkEVM与支持的其他网络间跨链转移资产。[2023/3/28 13:31:18]

现在,让我们开始吧。

1/ 一切皆可模块化;因为那是现在,不是未来。

下图所示,在今天的背景下:我们是用户,Rollup Operator 是 ZK Rollup,基础层是以太坊。

Web3开发者平台Thirdweb将支持Polygon zkEVM扩容解决方案:金色财经报道,Web3开发者平台Thirdweb表示将在Polygon zkEVM扩容解决方案主网推出时增加对其支持。目前,团队已经开始在Polygon zkEVM测试网上进行部署。[2023/3/4 12:41:26]

以太坊二层解决方案zkSync 2.0上线zkEVM测试网Alpha版:据官方消息,以太坊扩容项目Matter Labs宣布,以太坊二层解决方案zkSync 2.0上线zkEVM测试网Alpha版,用户已经可以使用区块浏览器查看zkSync 2.0上的活动。该版本主要成果包括完成zkEVM指令集;用Solidity和Zinc编写的智能合约现在可以编译成zkEVM字节码;完成全节点集成,能够成功部署和执行编译后的智能合约。[2021/6/1 23:00:17]

2/ 不同于以太坊 L1 依赖于智能合约的重新执行——这可能是耗时和资源密集的,zkEVM 依赖于 zkEVM 电路的有效性证明。

3/ zkEVM 分为执行环境、证明电路、验证者合约三部分。

zkEVM 的执行环境类似于 EVM,它是程序(智能合约)运行的地方。

4/ 它需要初始状态(任何交易执行之前的系统状态)和当前交易输出最终状态(指区块链在所有待办交易被处理和验证之后的状态)。

5/ 证明电路产生 ZKP,验证在执行环境中计算的交易的有效性。

它以上述状态作为输入,然后证明者生成一个简洁的有效性证明,以表明状态已正确更新。

6/ 验证者合约是在以太坊 L1 上的合约。它接收证明和交易信息,确认交易有效性,并在不重新执行交易的情况下更新状态。

7/ 与在以太坊第 1 层上重新执行合约相比,zkEVM 方法可以显着降低 Gas 成本并提高交易速度。

8/ 依靠 zkEVM 电路的有效性证明,可以在链下处理交易,并且可以在不重新执行交易的情况下更新状态,这使其成为提高以太坊网络可扩展性的潜力解决方案。

Foresight News

企业专栏

阅读更多

金色早8点

金色财经

Odaily星球日报

欧科云链

Arcane Labs

深潮TechFlow

MarsBit

澎湃新闻

BTCStudy

链得得

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

银河链

火必下载零知识证明开发指南:从入门到高阶

通过阐述整个开发工具集,本文希望提供一个指南,帮助开发者在决策过程中选择合适的zk堆栈。去年夏天,Vitalik 写了一篇博文,概述了不同类型的 zkEVM(零知识以太坊虚拟机)。Vitalik 根据性能和兼容性来定义与权衡.

FTX生成式AI狂飙 中国版ChatGPT还有多远

从去年元宇宙、虚拟数字人和Web3.0的风靡,到今年年初聊天机器人ChatGPT的“出道即爆火”,一场关乎人工智能的狂飙拉开大幕。ChatGPT由微软投资的人工智能研究室OpenAI推出,仅用2个多月就实现了注册用户超1亿.

[0:15ms0-1:781ms