zkSync 发展”诊断“:渐进式的去中心化道路,仍处早期生态缺乏特色
作者:bayemon.eth, ChainCatcher
近期,zkSync 宣布向 179365 名活跃社区成员中“随机”选择 10000 名空投“LIBERTAS OMNIBUS”系列NFT。不得不说,zkSync 选择在这种Rollup赛道竞争白热化的时间节点给用户空投NFT,确实给大批羊毛用户打了一剂加强针。据DefiLlama 数据显示,13 日交易量仅有10730 ETH的zkSync在14日空投预热和15号空投当日交易量增长到16410 ETH,整整增加了52%。同时,zkSync Era 过去 30 天交易笔数超过Arbitrum,成为过去一个月内交易笔数最多的以太坊Layer2。
然而加强针也有不小的后遗症,很快社区中有用户发现中奖的钱包地址都是清一色的0x0开头,之后又有人扒出所谓的“随机”根本就是官推公布空投时随手打上去的修饰语,实际上是将近18万个地址字符串排了序,再给排名前10000的用户空投NFT。
一时间,意识到被拐进“空投骗局”的羊毛党震怒,同时也带着整个社区对zkSync的观感直线下跌。察觉到事情不对的zkSync官方立马滑跪道歉,并表示在近期召开的EthCC结束之后,其他用户依然有能收到NFT空投的机会,然而这并不能让“被摆了一道”的用户回心转意,刚刚在7月15日达到巅峰的zkSync,仅仅在两天之内,就看着TVL像蹦极一样跌到了8063.66 ETH,甚至还略低于空投前的水平。
zkSync 团队可能也想不到仅仅因为宣传时的描述不当就翻了船。然而在空投预期下,短期情绪主导的交易数据变化并不能作为长期的参考。事实上,近期在L2内卷不断升级的压力下,zkSync也明显加快了开发进度。
近日,zkSync Era 推出证明系统升级 Boojum,将协助网络过渡到 STARK 支持的证明系统,需要特别强调的是,Boojum 是证明者实现去中心化的重要步骤。除此之外,zkSync还在上个月推出开源框架 ZK Stack,将赋予开发人员从选择数据可用性模式到使用项目自己的代币去中心化定序器等方面完全的自主权。
要知道,zkSync Era的去中心化之路和代币发布及空投计划息息相关。
今年3月,zkSync 开发公司 Matter Labs CEO Alex Gluchowski 在接受 The Block 采访时表示,zkSync Era 不会马上推出代币,因为网络目前在很大程度上依然非常中心化,公司仍然控制着定序器和证明器两个核心组件的操作方式。而代币仅在在网络去中心化时发生作用,所以他预计至少还有一年的时间才能实现网络去中心化,而后推出代币。
这之后的3月底,zkSync随即发布去中心化愿景,其中包括定序器、ZK证明者、zkPorter、社区治理以及zkSync Era网络的其他关键部分,将在核心虚拟机和证明者巩固和稳定后去中心化。
作为ZK Rollup重要成员之一,从zkSync创立之初到zkSync Era的推出,其中心化道路是怎样的?目前的进展如何?本文将梳理zkSync v1.0 上线以来的里程碑事件,探讨zkSync“渐进式”去中心化道路的历程及进度。
zkSync Era 里程碑事件梳理
ChainCatcher 制图
zkSync v1.0:引入 ZK Rollup
时间线回到两年之前,当时的以太坊网络和加密货币市场似乎完全是投机者的天堂,受制于底层设计,DeFi、代币经济学等价值主张对彼时的以太坊网络而言就像天方夜谭。当大多数人还沉浸在“今天又赚了一点”的喜悦之中时,志不在此的“以太坊单推人”已经开始思索为什么如此“优越”的技术却没实现大规模推广。
既然Rollup方案是以太坊生态继续扩张的必经之路,那么问题就到了如何消除解决OP机制带来的问题,从而依然保留以太坊最宝贵的去中心化特性。OP 最严重的风险之一源于“可能为利益驱使”的验证器,那如果利益无法左右验证机制呢?社区的目光再次聚焦于以太坊的基石——密码学。
于是,由一群密码学家和程序员组成的Matter Labs 在2020年初发布了zkSync的最初构想,并在同年6月正式在以太坊主网上发布zkSync v1.0版本。通过引入ZK Rollup将生成证明的过程交给“没有感情,全是数学”的零知识证明电路,zkSync验证器无权对用户资产进行任何操作,从而消除中心化验证器带来的部分风险,并将ZKP与链上数据可用性相结合,意在为以太坊创造了一个响应速度更快、成本更低的扩展方案。
虽然看起来只是一个解决加密货币支付问题的扩展方案,但在v1.0版本发布时,Matter Labs已经在为后续实现智能合约功能、与进一步增强Layer2网络去中心化奠定了技术基础。
zkSync 2.0 / Era:实现EVM 兼容
当 ZK Rollup 在以太坊生态站稳了脚跟,也帮助整个以太坊实现了吞吐量和交易速度的优化,曾经被很多业内人士定义为“需要几年时间才能实现的技术”一夕之间为以太坊带来了翻天覆地的变化,对 ZK Rollup 赛道的所有团队而言,探索的领域就不仅仅是“推广以太坊”那么简单,他们需要迫切地找寻一条能够在竞争中吸引更多的目光的长远通路。
就 ZK Rollup 而言,StarkWare 和 zkSync 都提供了目前被广泛采用的解决方案,但 2018 年就投入开发的 StarkWare 团队显然具有先发优势——采用对计算资源要求更低且速度更快的zk-STARKs,以及使用生成证明效率更高的开发语言 Cairo。即便是Cairo在证明生成方面具有灵活性和高效率,但既然 ZK Rollup 的原点是“促进以太坊的大规模推广”,那么这种需要额外学习和应用时间的语言,也必然在应用规模逐渐扩大的带来无法避免的附加成本,也或多或少会对一层网络的扩张产生阻力。因此,对于zkSync来讲,实现EVM兼容可能会成为“弯道超车”的好机会。
于是在 zkSync 1.0 发布一年之后,2022年6月23日,zkSync 开发团队发布EVM兼容的zkSync v2.0并代码开源,其兼容性能够让绝大多数的dApps使用的Solidity和Vyper代码,无需进行任何改动就直接移植到 zkSync Layer2 网络上,而选择代码开源则毫无疑问吸引了一波对ZK技术感兴趣的极客团体参与其中。此外,zkSync v2.0 还带来了账户抽象(Acount Abstraciton,AA)。简单来讲,AA能让一个钱包虽然仍然由私钥控制,但具有可编程性。
2023年2月16日,经历了半年沉淀的 zkSync 2.0 Fair Onboarding Alpha 主网上线,并更名为 zkSync Era,并于一个月后面向公众全面开放。
zkSync v2.0 的大版本更新实现了EVM兼容和智能合约部署优化,极大程度保留了以太坊去中心化的优势,从而带来生态丰富的可组合性。团队也曾无比兴奋地宣称他们构建了“第一个开源的zkEVM”,但这一表述在当时的加密社区曾招致诸多批评,因为这个版本的zkEVM 仍然非常“中心化”。
zkSync团队自己也承认公司仍然控制着定序器和证明器两个核心组件的操作方式,不过,与 OP Rollup相比,zkSync 的定序器无法改变排序,所以即使达不到极致的去中心化,但也无法作恶。
官方在今年3月底发布的去中心化愿景,也下了逐渐在未来一年实现定序器、ZK证明者、zkPorter、社区治理等核心去中心化的决心。
值得一提的是,近日zkSync Era 推出证明系统升级 Boojum,是证明者实现去中心化的重要步骤,将协助网络过渡到 STARK 支持的证明系统。
此前,zkSync 主要使用 ZK-SNARK证明。从证明量角度来讲,SNARK证明量较小,且需要消耗的Gas更少,通信复杂度会呈线性增长官方文档相对更全,因此也更开发者友好。但ZK-STARK证明所需时间更短,更加契合ZK Rollup对于扩容速度的要求。而且,STARK能够抵抗量子攻击且无需复杂的可信设置,在信任机制上略优于使用椭圆曲线加密的SNARK。
所以,zkSync Era升级 Boojum主要目的是降低证明生成的硬件需求并提升生成速度,从而提升扩容效率。
ZK Stack:为开发者分权和开启社区治理的重要一步
从团队一直以来的侧重点来看,zkSync 具有传统的“学霸思维”,一头扎进新技术的开发,以实现ZKP应用领域的技术领先,官方宣传也一直以技术为主。直到最近推出了 ZK Stack之后,zkSync团队才显示出想参与社区治理的意愿。
仔细扒一扒官方在 2022 年给出的公共路线图,除了上文提到的重要更新之外,主要框架改造、证明合并、动态交易费用都已经完成,同时路线图中还揭开了团队关于Layer3概念与应用的简要构思。随着越来越多业界和学术界的目光聚焦于ZK技术,ZK Rollup 也被视作以太坊扩容的未来,那么怎样从开局就建立正确的架构以发挥 ZK 技术未来惊人的潜力,就显得至关重要。
为了给未来ZKP技术匹配一个同样扩张等级的市场,同时避免“路走偏了”的问题,zkSync 主张“将zkSync的所有权交给社区”,并于6月推出模块化开源框架 ZK Stack(其中包含 HyperChain、HyperBridge 以及 HyperScalability等构想),允许社区在zkSync Era 基础上构建由 ZKP 驱动的 Layer2 甚至 Layer3 应用。
官方给出ZK Stack的两个重要特性:“主权”和“无缝衔接”,很大程度上对标以太坊生态“可扩展”与“互操作”的未来。ZK Stack 开源代码赋予社区自主定义链功能和特性的权利,从而让以太坊未来生态建设涌现出更多具有个人色彩的项目。同时,HyperChain 独立运行,完全依赖以太坊作为底层信任与安全机制,HyperBridge 则是作为“Web3.0互联网”实现链之间无需信任且快速的互相操作。将一个原本对专业知识要求极为严苛的项目变成了自定义链的接口,zkSync似乎想要将去中心化的概念搬到Layer2,并成为Rollup的基础设施,以在二层网络复刻以太坊社区的繁荣。因此,团队将 ZK Stack 定义为“一次重大的模式转变”。
小结
zkSync Era 仍处于早期阶段,尚未部署像Aave、Uniswap 等比较头部的 dApp 尚未部署,其在生态上的建设也缺乏特色。目前其网络性能与其他Layer2相比也表现较为一般,日均 TPS 仅有 9.91,Gas fee 虽然均值在0.3美元附近徘徊,但也存在高达 7.8 美元的情况,且为了防范验证器风险仍设有24小时交易延迟。
尽管近期的 NFT 空投燃起了社区的交互热情,但 zkSync 的去中心化道路(发币之路)依然任重道远,不过这同时也意味着用户仍有机会深度参与其生态的交互并有希望获得空投奖励。