基於 zkEVM 專案旨在提高乙太坊的可擴展性和安全性,通過使用零知識證明、分片技術和其他技術來實現更快、更高效的交易。
作者: Chole
封面:zkEVM
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 ,他們執行原理差不多,主要區別在於交易驗證過程。
值得注意的是, 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 模式。
即便像上述所说, 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 更放开手聚焦于获得更加灵活的开发体验,吸引多元化的开发者。
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 功能,例如智慧合约可组合性。
(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 阶段,生态内许多项目皆属于其他网路的应用迁移,极少原生应用,其风险性依旧未知。
3. Polygon zkEVM
Polygon 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. Scroll
Scroll 和 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. Linea
Polygon 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 项目纷纷确认主网上线,看来时机会比去年格局来的更快,在技术上也更稳定了不少。
免責聲明:作為區塊鏈資訊平臺,本站所發佈文章僅代表作者及嘉賓個人觀點,與 Web3Caff 立場無關。 本文內容僅用於資訊分享,均不構成任何投資建議及要約,並請您遵守所在國家或地區的相關法律法規。