imtoken钱包下载
  首页 » 下载地址

一文探究zkEVM:以太坊扩容方案的关键

发布时间: 2021-12-05 03:12:08  浏览量:9990+  信息来源:http://www.leland.com.cn  作者:TP钱包

最近🙀👽💼👽👿"一文探究zkEVM:以太坊扩容方案的关键"在百度搜索里面异常火爆,为解决广大朋友的问题,🙀👽💼👽👿满足搜索引擎用户对"一文探究zkEVM:以太坊扩容方案的关键"的需求,特将《一文探究zkEVM:以太坊扩容方案的关键》相关内容进行发布在该页面,以供所有用户参考!希望🙀👽💼👽👿能对大家带去帮助!

8月13日,Polygon公司公司已于以2.5亿澳元的价格接近收购以太坊Layer2扩展第一次 再一次解决方案Hermez,其核心新型技术为zkEVM第一次 再一次解决方案;

据想去 解,EVM小操作码的话 种,如CALL、EXP、CREATE等,它的对zk电路的直接证明很不友好,第一次 第一次小操作码的逻辑也也不要有以用微小操作码更友好地表达。微小操作码但在uVM中执行的,uVM以此一定量的加密工具来能实现zk,相对于以此Plookup算法全面提高 了验证和验证的效率。

HermezzkEVM的相对于 亮点是,它第一次多个方面以此这第一次直接证明管理系统,专人生成STARK直接证明,以后以此PLONK或Groth16生成STARK直接证明,并在Layer1上以此验证,它成证据直接证明。这就第一次 STARK的直接证明量大,验证链的开销大,而Groth16或PLONK的直接证明少,验证加速快。二者的紧密结合各有其优点,也不要有以轻易地视相对于 种紧密结合以此非对称和对称加密算法的方案。

在此个事务中,EVM或EVMs负责其它相关处理事务。EVM会像这第一次堆栈,程序员用Solidity例如的高级语言写出代码,以后编译成EVM也不要有以深入理解的EVM字节码。EVM以多种EVM小操作码形式执行基本标准栈小操作,尽管生成再一次状态如何。

2、在以此EVM开发工具时,设计理念这第一次零知识直接证明友这样新型虚拟机,保持稳定Solidity兼容。这第一次核心模式俩个方面由zkSync以此。

Hermez以此第这第一次策略,把整个这是世界EVM小操作码集转换成微小操作码。

对zkEVM相对于,目前上看有这种俩个方面的能实现策略。

俩个方面执行战略。

苹果。

和Hermez不像 ,AppliedZKPzkEVM也以此了第这第一次策略。AppliedZKP以此BusMapping映射思想将存储和计算分开。按照BusMapping映射提取的存储数据情况,State直接证明了数据情况出一 致性,EVM直接证明了计算逻辑是正确的。

3、以太坊基金会出一 份关于系统研究与发展进步进展状态如何的定期声明中说,在过了这第一次月里,以太坊基金会资助了zkEVM团队人员,希望再一次得到够以此ZK电路失去能实现EVM的小操作码。

1、失去大力支持现有EVM小操作码集,失去符合Solidity小操作码集。该方案的以此者其中Hermez和以太坊基金zkEVM。

zkSyncEVM以此TinyRAM能实现通常小操作码集,第一次多个方面消耗在三定量gas小操作码,如SHA256和keccak,具体信息能实现其电路,并以此递归聚合新型技术将所通常直接证明数据情况集中出来,以全面提高 效率。

赫梅兹基埃夫。

自创世五年来,以太坊通出一 次出一 次的交易转化为目前上看的以太坊状态如何。此状态如何其中映射到第一次些 帐户餐厅地址和帐户状态如何。

摘要:继 以太坊 Layer2扩展图源Arbitrum和Optimism图源已于其主网的公测版本已于同步发布以后,Layer2的上看数据情况相对于极为显著的增长,这就标志着以太坊Layer2扩展第一次 再一次解决方案它成OptimisticRollup已于启动。是的,...

在例如Arbitrum和Optimism等OptimisticRollup它成市场中关注新焦点时,Layer2图源zkEVM在此多个方面胜利了这就重要的进展。也已,俩个地方地方是看见了了更具 多的zkEVM也已它成扩展以太坊的重要。其他文章 其他文章 让他对zkEVM的失去原理和发展进步状态如何失去更深入的想去 解。

先要,在探讨zkEVM的一个角色以后,俩个地方地方是是再一次想去 解你们以太坊。第一次 ,以太坊出一 种做基础交易的状态如何机。台电脑科学中,状态如何机是以此读取一系列输入,将旧状态如何转换为新状态如何的机器。

对第这第一次策略相对于,第一次 它失去大力支持现通常EVM小操作码集,第一次 以此与EVM不尽相不尽相同编译器,现通常生态管理系统和开发工具是失去兼容的,相对于这样地继承了以太坊的安全模型。相对于 种两种方法,它不受原始EVM小操作码集的限制,第一次 也不要有以更灵活地将代码编译成对零知识直接证明出来友这样小操作码集。这就省想去 与第一次 原始EVM小操作代码集兼容所也不要有整个这是世界量我的工作。

主方案对比。

zkSync还开发了这种用于zkEVM的编译器前端:Yul和Zinc。Yul出一 种小型Solidity语言,再一次得到帮助 将各种各种后端编译成字节码;Zinc出一 种用于智能合同出一 般零知识直接证明电路的做基础Rust的语言。这第一次,开发者也不要有以有更这样选择放弃。

Tags: 以太坊  zkEVM 

2.EVM执行运算码;

以此达到这第一次关于项目,俩个地方地方是看见了了了ZkEVM新型技术正逐步成熟,并将在俩个月内能实现与EVM兼容的zkRollup扩展第一次 再一次解决方案。

4.State直接证明负责BusMapping读取和写入数据情况出一 致性和正确性,EVM直接证明负责其它相关处理EVM小操作码的正确执行。

以太坊Layer2扩展图源Arbitrum和Optimism图源已于其主网的公测版本已于同步发布以后,Layer2的上看数据情况相对于极为显著的增长,这就标志着以太坊Layer2扩展第一次 再一次解决方案它成OptimisticRollup已于启动。是的,这就均属Layer2的季节。

zkSyncEVM。

zkSync已于将其2.0版本推迟到8月31日。以zkEVM为做基础的zkSync2.0将它成第这第一次与EVM兼容的zkRollup;

具体信息程序具体信息:

这这第一次第一次 再一次解决。俩个地方地方是看见了zkRollup第一次 再一次解决方案也不要有对Layer2上把事务进而零知识直接证明,并将它的传回Layer1以此验证。要进而零知识直接证明,交易的其它相关处理不要有符合zk电路直接证明规范。第一次 ,在EVM设计理念的初期,设计理念人员真正的考量对零知识的验证。俩个地方地方是也不要有zkEVM。zkEVM再一次型技术上看说意味着:运行在zkRollup图源中有虚拟机,兼容EVM,并以此零知识直接证明友好。

3.EVM以此BusMapping映射写入再一次状态如何;

第一次多个方面,zkSync选择放弃了LLVM出一 第一次进的工业级系列产品 编译器框架,来确保编译器是完整的,对在第一次个 经典优化。

概述。

zkEVM基础功能。

俩个地方地方是看见了,在比一定量 OptimisticRollup和ZKRollup第一次第一次扩展第一次 再一次解决方案时,V神想必OptimisticRollups第一次 不久不久再一次不久再一次也不要有以再一次得到这第一次通用EVM计算。第一次 从短期内 上看,ZK-SNARK新型技术再一次得现如今全面提高 ,ZKrollup也不要有以在各种各种应用场景中“胜出”。“ZK-SNARK新型技术的改进”俩个方面指zkEVM是大获。

概述。

不像 Hermez和AppliedZKP,zkSync选择放弃了第一次策略。zkSync的zkEVM真正第一次第一次EVM的副本,真正的和新设计理念的,也不要有以运行99%的Solidity合同,确保在不尽不尽相不尽相同状态如何下就能非正常我的工作(其中回滚和异常)。以此zkEVM也不要有以有效性地生成电路中有零知识直接证明。

1.EVM在BusMapping映射中读取关于的必需状态如何。其状态如何其中存储、存储器、堆栈;

目前上看,区块链新型技术正快速现如今这第一次史无前例的争论变革时代。由公共供应链争夺战到以太坊扩张按计划之争,失去 出一 种具体信息的扩展方案,不尽不尽相不尽相同关于项目正互相竞争、追赶超越,俩个地方俩个地方地多个方面蕴藏着与现实地这是世界的更大博弈,俩个地方地方是所处值得一提区块链新型技术最有活力的变革时代。

上看相对于,第这第一次策略出来兼容、安全,第一次 我的工作量更大;第一次策略出来灵活,我的工作量较小,第一次 也不要有以此更这样幅度调整 。

相关推荐