宇宙链 宇宙链
Ctrl+D收藏宇宙链

比较以太坊ZK系6 个Layer 2 项目:探索 ZkEVM 的技术差异

作者:

时间:1900/1/1 0:00:00

Layer 2 扩展是目前行业最关键的问题之一,原先 L1 是由以太坊本身实现的,在以太坊区块链上运行智能合约平台,但由于以太坊的原始架构存在吞吐量限制和高昂交易手续费等问题,因此需要构建 L2 扩展解决方案来提高交易速度和降低成本。

而基于 zkEVM 项目旨在提高以太坊的可扩展性和安全性,通过使用零知识证明、分片技术和其他技术来实现更快、更高效的交易。

zkEVM(Zero-Knowledge Execution Environment Virtual Machine)是一种利用零知识证明实现隐私保护的以太坊虚拟机。它允许以保护智能合约条款和合约中涉及的数据隐私方式执行智能合同,其中完全是通过零知识证明所实现的。

可以把 zkEVM 视为,在以太坊的智能合约执行过程中,部分数据可在不泄露原始数据的情况下进行处理和验证。项目若引入 zkEVM 可以有效提高智能合约的隐私性和性能,而借由 zkEVM,用户可以在保护隐私的前提下,以更快的速度执行包含秘密计算的智能合约。

根据 Vitalik 的解读, zkEVM 可分为:

(一)类型 1 PSE:(完全以太坊——等效)—— zkEVM 不会改变以太坊系统的任何部分,并力求完全等效。

(二)类型 2 Scroll(完全 EVM——等效)—— zkEVM 看起来会完全等同以太坊,但在数据结构和状态树等方面有所不同。

(三)类型 2.5(EVM——等同于 gas 、成本除外) —— zkEVM 显著增加 GAS 成本,以满足EVM 中非常难以 zk 证明的特定操作,而开发人员在此处部署 dApp 时需要小心,因这些可能会破坏一些开发人员的工具。

(四) 类型 3(几乎等效于 EVM) —— zkEVM 几乎等效于 EVM,但它们必须做出一些牺牲并删除那些难以在 zkEVM 系统中实现的功能。

(五)类型 4(高级语言等效) ——这些 zkEVM 在语言级别(Solidity、Vyper)是兼容的。

他们采用用这些语言编写的智能合约,并使其有可能用另一种用于构建 zkEVM 系统的语言进行编译。目前,zkSync 就是这样一种 zkEVM 实现。

zkEVM 分类与线路

目前以太坊扩容方案 Rollup 有两大不同的賽道,Optimistic Rollup 与 zk Rollup ,他们执行原理差不多,主要区别在于交易验证过程。

观点:在增加供应量方面 XRP可以与美元相比较:7月24日,资深交易员Peter Brandt发推称,XRP可以与美元相比较,美联储是美元的保管员,如果他们愿意,他们可以将美元供应量增加一倍。而Ripple则能为XRP提供双倍的供应量。无法相信有那么多聪明的人支持XRP。[2020/7/24]

值得注意的是, zk Rollup 的“零知识证明(ZKP)”技术使用了诸如 SNARKs,这种加密方式验证并在以太坊上发布其交易批次。

因此可以将  ZK rollup 理解成,通过零知识证明(ZKP)将链下执行与链上数据结合起来,也逐步成为 ZK 主流解决方案。

但除了 ZK-rollup 之外,其实还有另外两种解决方案——Validium 和 Volitions。

首先,ZK-rollup的运作简单来说是将多笔交易打包在一起,发布到 L1 上,同时发布一个证明(用零知识证明技术)来声称这些交易有效,一旦在 L1 上验证确实有效,zk-rollup 的状态就会更新。

这套证明机制也被称作“有效性证明”,目前 ZK-rollup 主要采用的证明机制有 zkSNARK 和 zkSTARK。

接着还有 Validium 和 Volitions。

ZK-rollup 将交易分批发送到L1上去执行,是一种无需信任的“自定义安全性”。Validium 则是直接在链下执行,并通过零知识证明来维护数据,只有需要的时候才在主网上验证取款请求的有效性证明。

所以 Validium 可扩展性更高于ZK-rollup(目前最高的TPS可以达到20000以上),缺点即是,它把信任权交给链外“弱信任”第三方扩容,遭受攻击导致数据不可用或者用户无法取出资金的机率较高。

其中,解决安全的方式即是“采用 PoS 机制”,以经济激励来确保数据皆以储存在各个节点当中并且随时可用。

目前采用Validiums方案的代表项目是Immutable X,以 NFT 为中心的扩展解决方案。Vitalik 也曾说过 Validium 严重被低估,其实大多数 dApp 用 Validium 就已经可以满足运行需求了。

至于 Volitions,它是 StarkWare 团队结合 ZK-rollup 和 validium 创造出的 Volitions 方案,顾名思义是关于“决断能力”。Volitions 本质上可同时提供 ZK-rollup 和 validium 两种服务,因为它们共享同一个状态根(state root),用户可以自行选择每笔交易的 DA 模式。

Bitwise高管:在加密领域,与比特币相关的ESG问题比较少见:比特资产管理公司(Bitwise Asset Management)全球研究主管Matt Hougan表示,在加密技术的范围内,与比特币相关的ESG(环境、社会和治理)问题确实偶尔会出现,但相对来说比较少见。她称,“我完全同意ESG在2020年进入了一个新时代,每20场认真的谈话中就有一次(与ESG话题相关),可以公平地说,比特币社区在很大程度上不太关心环境问题”。(Coindesk)[2020/3/30]

即便像上述所说, Validium 遭受到攻击导致数据不可用或者用户无法取出资金,ZK-rollup 上的资金仍然可以保证安全。因用户可在涉及重要资金往来时选择 ZK-rollup 模式,共享以太坊的安全性,如果是日常娱乐、社交或者小额交易,就可切换回 Validium 模式来提高速度并节省成本。

zkEVM 项目最新进展、分析

  1. StarkNet根据 Dune 显示, StarkNet 桥接用户量达到 318,253 个,超越 Optimism 的 317,758 个。不过在桥接存储总价值方面,StarkNet 仍落后 Optimism ,前者桥接储存价值为 39,900 ETH,后者桥接储存价值为 527,480 ETH,价值超 10 亿美元。作为四大 L2 中(Optimism、Arbitrum、zkSync、StarkNet)估值最高的项目,StarkNet 生态项目,近期的交易活跃度就可见一斑。StarkNet 已经于 2022 年 11 月 16 日宣布在以太坊主网上部署了其原生代币 $STRK,用于投票、质押和支付费用,代币分配仍待决定。而 StarkNet 母公司 StarkWare 成立于 2018 年,总部位于以色列,两个主要产品为基于以太坊主網構建的擴容引擎 StarkEx 和通用型 ZK-Rollup StarkNet。首先,StarkNet 是 StarkWare 推出的通用型 L2,採取有效性證明方案來獲得主網的安全性,通過 STARK+Cairo 將有效性證明技術打造屬於 StarkNet 原生的生態。简单来说,用户发起交易后会将交易发送给 Squencer 进行验证、排序和执行,并打包批次,Squencer 通过 Cairo OS 执行交易(Cairo 语言有着 zk 友好特性),也就是 EVM 的角色。Squencer 再将执行交易的踪迹递交给 Prover,由 Prover 对计算完整性生成一个有效性证明,这里的 Prover 也为 StarkEx 生成有效性证明,且可以聚合来自不同 StarkEx 应用和 StarkNet 的交易,实现共享。二者所使用的底层技术是相通的,StarkEx 相当于通过单个 App 中心化运营的方式提前使用了 ZK Rollup 技术,而 StarkNet 则承担了建立节点网络的去中心化任务。StarkWare 对领域的一项重大贡献,就在于通过 Cairo 语言,将所有的智能合约计算结果转化成了可证明的多项式方程,由此让智能合约与 Validity Proof 相兼容。StarkWare 在 7 轮融资中累计已获得 2.73 亿美元融资,其中母公司 StarWare 估值 80 亿美金,这也是为何是四大估值最高原因之一。在 zk-rollup 的细分赛道中,StarkNet 并没有在 zkEVM 占上一定用户比例, 目前,StarkNet 的生态仅是初现雏形,交易量过于稀少也让 StarkNet 难以积攒足够数量的交易来均摊有效性证明的成本,导致 StarkNet 的交易确认时间较长,无法发挥极致的可拓展性。不过今年 1 月 5 日,StarkWare 宣布正式推出编程语言 Cairo 1.0 公开版本,正式取代为期两年的测试、预览版本,也标志着使用该语言在 StarkNet 上编写智能合约已经成为可能,同时也会兼顾高效的执行效率,成为 ZK 系 Layer 2 Rollup 技术派的里程碑事件。可见对于开发生态对于项目方来说才是生态系统的基础,据 Electric Capital 统计,StarkWare 的全职开发者是 Aptos 和 Sui 的两倍,算上兼职可能有 3 倍左右,而且数量还在增长之中。过去 1 年来增长了 214%,过去 2 年来增长了2220%。即便 StarkNet 暂时放弃朝 EVM 兼容性路线走,但也让 StarkNet 更放开手聚焦于获得更加灵活的开发体验,吸引多元化的开发者。

声音 | 《比较》杂志研究部:区块链技术的兴起一定程度上会抑制垄断促进竞争:《比较》杂志研究部主管陈永伟在1月12日举行的界面思享会“区块链的中国道路”上的演讲表示,第一方面是区块链技术的兴起,一定程度上会抑制垄断促进竞争。第二方面,区块链本身对一些大企业也能够产生冲击,就是所谓的Token效应。但区块链对于竞争的阻碍作用也是很明显的。其实从市场的结构上来讲,区块链其实可能比我们想象的更加容易集中,并不是像想象的那样去中心化。从理论上讲的话,区块链给大企业之间进行合谋提供了一个非常好的工具。另外,区块链行业的并购可能会产生非常复杂的影响。[2020/1/19]

  2. zkSync Era去年 10 月以太坊 L2 扩容解决方案 zkSync 的 zkSync 2.0 主网第一阶段 Baby Alpha 上线,成为以太坊上第一个 zkEVM 项目中发布的主网,而在今年 3 月 24 日 zkSync 则宣布,zkSync 2.0 主网已进入第二阶段 Fair Onboard Alpha ,允许注册项目皆能在主网上部署,甚至决定将 zkSync 2.0 更名为 zkSync Era、zkSync 1.0 则更名为 zkSync Lite 。zkSync Era 主网正式向公众开放后,3 天内单一地址数便突破 10 万个,1.8 万枚 ETH 跨链进入 zkSync Era。截至今年 4 月 14 日,zkSync Era TVL 已达 2.4 亿美元。先前 ZkSync Lite 的交易成本其实不高,但整体速度较慢;而 ZkSync Era 则进一步提高了交易速度、并大幅降低了交易成本。不仅如此, ZkSync Era 将会有和现存开发工具更多的集成,以降低外部开发者的进入门槛,简单来说,在这次更新后, ZkSync Era 将会和云端开发环境进行兼容适配,比如谷歌云服务存储数据。还有,GPU 和非 GPU 环境,都可用于秘钥生成和设置,并且 GPU 加速仍会优化,以便于未来开发硬件加速设备。zkSync Era 亮点分别为:(1) 完全不依赖第三方却类似主网的安全性:支持 Solidity 0.8.x 版本,和以太坊主网开发环境保持一致。(2) 无需许可权的 EVM 相容智能合约:zkSync 的 EVM 兼容性,使 Solidity 和 Vyper 编写的智能合约无需重构即可在 zkSync 上使用。zkSync 这次还为 EVM 语言(Solidity、Vyper、Yul)构建了第一个基于 LLVM(LowLevelVirtualMachine )的编译器,得益于 LLVM 的开源和普适性,最终可让开发人员使用 C++、Rust 等语言编写智能合约。(3) 标准 Web3 API:Web3 API 与 Ethereum 几乎完全兼容,开发者可使用绝大部分 API。(4) 保留关键的 EVM 功能,例如智慧合约可组合性。

声音 | 朱佩江:区块链在电商行业应用的比较多的:中关村区块链产业联盟秘书长朱佩江在《解码区块链》中表示:区块链我们现在所看到的,其实已经很多场景在应用了,在电商行业应用的比较多的,目前会比较快的落地的,还是产品溯源,可以提高,信息的数据的有效性和可信度,也提高了它的防伪能力,和防造假的能力。从这个角度来说,可以提升用户的,愿意去购买的一些意愿,包括农产品的溯源,包括艺术品、工艺品的这种溯源,高价值产品的溯源,其实有很多项目在这做,在这个里面,溯源只是一方面,我们获得了这种可信的,全流程的数据以后,随着数据的积累,在后面所跟随的,供应链金融的服务,还有跟随的这种征信的服务,就配套的就跟上了,这样的话,对于整个电商,包括参与电商,还有厂家的自身的这种经济发展,就会有一个,很大的提升和推动作用。[2019/7/16]

(5) 引入新功能,如抽象帐户:zkSync Era 直接使用本地抽象帐户,协助 Era 上的任何帐户可以用任何代币支付费用,甚至可以在一些协议愿意补贴的条件下让用户以零费用进行交易。(6) 执行延迟机制:根据官方 3 月 24 日消息指出,zkSync 宣布 zkSync Era 多层安全机制中的其中一种机制,即“执行延迟”,也就是每个提交给 L1 的 L2 区块在执行和最终确定之前都会有一个时间锁,最初该延迟将是 24 小时,随着系统的成熟,该延迟将逐渐减少,直到移除 Alpha 阶段,届时延迟将被完全移除。此举主要是要确保团队有足够的时间在区块成为最终区块之前验证包含在区块中的交易所带来的任何影响,并且有足够的时间来检测漏洞、调查并通过治理冻结协议。以上为 zkSync 技术目前最新进展。而 zkSync 开发公司 Matter Labs 的融资背景和技术背景不容小觑,Matter Labs 已于 2022 年 11 月完成 2 亿美元融资,且团队早在 2020 年 12 月 20 日踏上 ZK 道路,推出了 zkSync Lite(zkSync 1.0 ),但当时由于缺乏 EVM 功能,开发人员使用起来相对不便。因此,可以说 zkSync Era 目前完成度相较以往较高,其面向开发者和项目的技术,例如开源了 zkEVM(零知识以太坊虚拟机)更让开发人员易使用构建自身的生态系统。其次, zkSync Era 对于接入 Web2 以及硬件之应用以加速和链间扩展性,也有更多的技术储备。现在生态不仅更适合开发者还有项目可构建自身的生态系统,更吸引了多个应用,包括 DeFi、钱包、跨链、NFT 、基础设施等多个领域,不过 zkSync Era 还处在 Alpha 阶段,生态内许多项目皆属于其他网路的应用迁移,极少原生应用,其风险性依旧未知。

声音 | Jake Chervinsky:以太坊社区比较友好:美国政府执法辩护和证券诉讼律师Jake Chervinsky今日发推称:“有趣的是,当我昨天发推文说我喜欢比特币和以太坊时,基本上每个加密货币社区都批评我,只有以太坊社区比较友好。尽管我说了我对BTC的未来绝对肯定并且对ETH不确定。”[2019/7/11]

  3. Polygon zkEVMPolygon zkEVM 主网测试版本 3 月 27 日 正式上线,Vitalik 在上面完成了第一笔交易,这次与 EVM 完全兼容,这也意味着它支持与以太坊相同的程式代码。在过去的一年中,Polygon 是收入最高的链,收入超过 2600 万美元,而 Arbitrum 和 Optimism 分别为 1900 万美元和 1800 万美元。而在去年 10 月上线测试网以来,已取得许多重要的里程碑,包含生成超过 75,000 个 ZK 证明,部署 5,000 个智能合约,大量交易生成的证明成本低至 0.06 美元等。这一次主网更有突破性发展,Polygon zkEVM 已经通过了 100% 适用于 zkEVM 的以太坊测试向量,开发人员无需修改或重写任何程式码,且所有以太坊工具都可以与 Polygon zkEVM 无缝协作,意味着在 ZK Rollup 的 EVM 兼容再迈出一大步,推测已达到 type 2 的水平,完全等效于 EVM。会说 Polygon zkEVM 继承了以太坊的安全性,是因 Sequencer 做了类似以太坊 Proposer 的工作,提议了一批交易是有效交易,并且给出了这批交易执行后的新状态;而 L1 合约的验证逻辑,相当于所有 L1 的 Validator 都会在自己的以太坊客户端里执行一遍,实际上是所有的以太坊验证者充当了 Rollup 的验证者,因此才可以验证 Polygon zkEVM 完全等同 L1。根据 DuneAnalytics 数据,Polygon zkEVM 上线近 24 小时,已超过 2,500 名用户完成超过 2,700 笔、88 万美元的跨链交易量,今(4/14) Polygon TVL 约 360 万美元。在过去的一年中,Polygon 是所有链中收入最高的,超过 2600 万美元,而 Arbitrum 和 Optimism 分别为 1900 万美元和 1800 万美元。然而,根据 Token Terminal 的数据,由于代币激励措施让项目平均每年约多负 3 亿美元,但这对 Polygon 拥有的 24 亿美元资金库来说根本不到占比的 15%。ZK 系以太坊二层扩容产品的竞争意味浓烈,目前 Polygon zkEVM 在 EVM 兼容性上看似暂时胜出,因此可以推测下一个竞争点则是正式上线主网的时间,以及谁先建立稳固的生态系统,预测 L2 将在今年 Q2 到 Q3 成为整个市场的热点。

  4. ScrollScroll 和 Polygon EVM 分别在开源技术上被市场认为做的最好的项目,除此之外,EVM 兼容程度也非常类似, V 神提出的 4 种不同类型的 ZK-EVM 类型按照兼容或是等效程度从高排列,Zk-sync是 4 型,而 Scroll 和 Polygon 都是组在第 3 型正过渡到第 2 型的发展中。Scroll 共同创办人 Sandy Peng 4 月 10 日在 Foresight 香港峰会中宣布将推出激励生态的合作计划,未来 3 到 4 个月就会上线主网,近期还以 18 亿美金的估值完成第三轮融资。Scroll 于去年 8 月宣布试行第一个 Pre-alpha 测试网,使用户能够在该网路上进行交易,并且于今年 1 月 16 日首次完成测试网重置。根据最新消息指出,目前 Scroll 的 Alpha 测试网正式在 Goerli 测试网运行,已经从 Pre-alpha 阶段过渡到 Alpha 测试阶段,在 Alpha 测试网截至上周也已产生超过 100 万个区块。以技术来看,Scroll 开发了世界上最快的 GPU prover,允许任何人利用 GPU 机器搭建证明节点,实现去中心化。加入的节点越多,算力越大,成本越低,从而激励社区更新更好更快的硬件,迭代专属于 ZK 的 ASIC,进一步缩小 L1 的最终确认时间和证明成本。在ZK Rollup赛道,Scroll 拥有最高的硬件计算效率,除了技术层面,Scroll 团队追求社会和文化层面的去中心化。2022年,Scroll 团队增加了 39 名成员,分布于 20 多个城市,10 多个时区。其中超过 30 位都是 ZK 或者区块链研究员和开发者。除了在EVM兼容方面的优秀表现,Scroll证明节点的去中心化和开源的社区经营都体现了以太坊的正统性,达到了价值观层面的“兼容”,顶级硬件速度为 Scroll 注入了更大的潜力。且Scroll 的三个设计原则或核心价值 (社群驱动、安全第一和各个层面的去中心化) 是项目的竞争优势。今年注入新资金后,Scroll 计划继续构建其产品,推出其主网并扩大其生态系统。为此,团队表示 Scroll 未来会寻求将目前的团队规模从 60 人左右增加到近 100 人。

  5. LineaPolygon zkEVM 主网 BETA 上线,带给 zkEVM 新热度;ConsenSys 官方也宣布其 ConsenSys zkEVM 更名为 Linea,并已向所有开发人员、用户与协议开放测试网并原生集成了 MetaMask 和 Truffle 等工具;加上此前 Consensys 共获超 7 亿美元的融资(多于 Arbitrum 和 zkSync),由 Microsoft,SoftBank,Temasek,Coinbase Ventures 等参与投资。而 Linea 技术亮点即是不使用转译器或自定义编译器为 Solidity 智能合约生成 zk 证明,采用的是编译后的 Solidity 字节码。不仅可以降低漏洞和黑客攻击的表面风险,且他们提供的创新证明者设计可确保更快的交易速度和更低的 Gas 成本。Linea 写道:“我们创新的证明器(Prover)设计确保了更快的交易速度和更低的 Gas 成本,而不会牺牲安全性。”就在向公众开放 Linea 测试网后,仅在第一周,就看到了 270 万笔交易、354,000 个唯一钱包地址、75,000 个已部署合约和 26,000 个关注者,所以 ConsenSys 官方接着宣布创建了开放版纪念 NFT 来庆祝 Linea 的公开测试网发布。

结语

先不说以太坊本未来是否有机会会升级到 Type 1 zkEVM 以进一步进行链上扩展。目前单从 Type 2 到 Type 4 的外部 zkEVM 赛道来看,为开发人员和用户提供独特的定制和 UX 造就了蓬勃生态,这往往是现在以太坊 L1 无法做到的。以 ZK rollups 技术展开的项目不难看出最终目标都是 zkEVM,而从去年至今将是日常加密货币用户将能够首次尝试 zkEVM 的一年。去年年底市场给出 2023 年的建议是“在 zkEVM 成熟之前,市场格局应该依然是以 OP 主、ZK 为辅”,但今年年初大多 ZK 项目纷纷确认主网上线,看来时机会比去年格局来的更快,在技术上也更稳定了不少。

链茶馆

个人专栏

阅读更多

金色荐读

金色财经 善欧巴

Chainlink预言机

区块律动BlockBeats

白话区块链

金色早8点

Odaily星球日报

MarsBit

Arcane Labs

深潮TechFlow

标签:ROLLROLZKSSYNCroll币可以roll坐骑吗BenjiRollszksync币什么时候能买Brain Sync

比特币交易热门资讯
ParaSpace陷入内部纷争 麻吉大哥称要支持Founder

金色财经记者 Jessy近日,NFT借贷项目ParaSpace出现了内部纷争。经过梳理纷争对立双方的发言,金色财经记者发现,这是一场团队内部的权力争夺战,但也暴露了团队在运作过程中,确实也存在着并不那么透明甚至是挪用用户资金的问题.

1900/1/1 0:00:00
zkEVM 与 zkVM:一字之差 天壤之别

作者: RISC Zero 高级工程师 Erik Kaneda  译者:Maxlion本文将对比 zkEVM 和 zkVM 在技术上的差异.

1900/1/1 0:00:00
Arthur Hayes:美国金融危机风雨欲来 比特币将成为最后的“避风港”

作者: Arthur Hayes 编译:Kate, Marsbit现在我们来谈谈更紧迫的问题:银行体系如何分配不可避免的损失。各国都喜欢稳健的银行体系。一个良好的银行体系可以把公民的储蓄集中起来,贷给政府和生产性企业.

1900/1/1 0:00:00
羊毛出在猪身上?一文读懂Arbitrum上首个游戏化DEX:Sparta Dex

一直以来,市场对于GameFi的认知就是游戏化的DeFi。一个行业新范式传播路径往往是:DeFi率先钻研出新的玩法,然后市场上其他相关仿盘开始出现,最后再将势能传导到GameFi中,用游戏的方式将DeFi的思维逻辑再体现一遍.

1900/1/1 0:00:00
深度解读NFT MEV:NFT交易中的新机遇

原文来源:Alana Levin, Variant Fund (与 Frontier Research 合作完成)原文编译:Cecilia.

1900/1/1 0:00:00
一文梳理 ParaSpace「内斗」大戏始末

5月10日下午,多位 KOL 纷纷发文预警 NFT 借贷协议 ParaSpace 团队内部出现矛盾,并建议用户尽快撤资,此事在社区内速发酵,大量用户出于恐慌纷纷顶着高额 gas 从 ParaSpace 内撤出资金.

1900/1/1 0:00:00