zkSync 2.0 测试网上线又透露哪些新信息?_ZKS:KSY

撰文:Donnager

Uniswap经过投票计划将V3上线二层扩容网络Arbitrum在引发了社区热议的同时,也让市场感受到了二层网络势不可挡的浪潮已经形成。

而今天MatterLabs的zkSync终于将支持通用智能合约的2.0版本上线了测试网,为此前计划在8月上线的主网进行着最后的准备。

此次zkSync2.0也公开了很多此前未披露的信息,其中很多都会直接影响用户和开发者的体验。

zkEVM:99%兼容EVM

此前Arbitrum引发一个讨论话题是EVM兼容性,虽然Optimism、Arbitrum和zkSync2.0都声称兼容EVM,这也意味着现在的以太坊开发者可以很方便的将现有的代码通过某些方式迁移至L2网络中。

zkSync2.0测试网已完成Regenesis更新:金色财经报道,zkSync宣布zkSync2.0测试网已完成Regenesis更新,该更新为Fair Onboarding Alpha做准备。Fair Onboarding Alpha里程碑允许开发者在封闭环境中测试其代码,新的费用模型可以确保交易和区块扩容考虑系统整体成本,改善证明生成性能并修复所有审计发现。

Regenesis重置交易历史记录与代币余额,并要求团队重新部署合约,同时引入账户抽象、SDK与Layer1合约等新功能。[2023/2/9 11:56:54]

但是根据几个扩容协议的文档显示,他们对于EVM的兼容性并不是100%的,比如Optimism就不支持部分Opcode。

而zkSync的zkEVM也是如此,虽然此前他们称zkEVM是图灵完备的,但还是不支持EVM的部分Opcode。

zkSync2.0推出后将采取限制日提款额等安全措施:2月8日消息,基于 ZK Rollup 的以太坊二层网络 zkSync 在其社交平台表示,zkSync 在审计、漏洞赏金上已投入至少 350 万美元,但考虑到没有绝对的安全,zkSync 2.0 发布后还将采取其他安全措施,包括:限制早期资金的流动,确保开发者有足够的 ETH 用于合约部署和测试交易,最大程度减少系统早期失去大量价值的风险;采取“speed bump”措施,将提款限制到每日 TVL 的 10%,限制任何安全漏洞的后果;使用 OpenZeppelin 自动监控预警,以应对关键情况等。[2023/2/8 11:54:18]

zkSync公布的信息显示,他们尚未支持ADDMOD、CREATE2等数个Opcode,但是未来支持加入。而另外比如KECCAK256在该版本中也会缺失,但是团队会引入另一个哈希函数。还有一类是以太坊基金会计划移除的Opcode,zkSync将不会支持。

Layer 2去中心化交易所ZKSwap V2已上线REI和zUSD:基于以太坊的Layer 2去中心化交易所ZKSwap宣布,ZKSwap V2已经于UTC时间8月5日7点(北京时间15点)上线Zerogoki原生系统代币REI,支持充值、提现和兑换。此外,据报道,ZKSwap于同一时间开启Zerogoki稳定币zUSD的充值、提现和兑换服务。据悉,Zerogoki Protocol是基于以太坊的衍生品平台。(U.Today)[2021/8/5 1:36:28]

所以根据他们的总结,zkEVM将不会完全支持EVM,不过预计可以支持99%以Solidity编写的智能合约。

zkSync2.0如何签署交易?

为了支持更广范围的钱包类型,比如普通的以公私钥生成的以太坊地址或者以智能合约为基础的账户,zkSync2.0在交易上支持两种方式。

zkSync在测试网中被意外触发安全开关Exodus Mode,可证明其安全机制有效:据官方消息,Matter Labs 表示昨日在以太坊测试网(Ropsten)上有用户触发了扩容方案 zkSync 1.0 的“Exodus Mode”(出埃及记模式),这并不是计划内的操作,但是也证明了 zkSync 1.0 的安全机制是有效的。该模式的触发是由于 Matter Labs 在测试一个新的系统,最终导致了系统认为 zkSync 的操作节点已下线了或者是恶意的,也就导致了该模式可以被触发。Matter Labs 表示,Exodus Mode 是 zkSync 可以与以太坊主链安全性一致的保证,在触发该模式后,用户可以重构状态数据并从 zkSync 网络中提现资产。[2021/4/24 20:53:50]

对于绝大多数的用户而言,如果是原生二层网络的交易,用户的体验就是通过钱包对交易进行「签名」即可,所以用户不需要支付以太坊主网的交易费。他们采用的是EIP-712的标准,所以在MetaMask等钱包中是可以得知需要签署的交易信息的基本内容的。

ZKSwap回应Matter Labs质疑:用户资金安全,智能合约和电路代码将开源:关于Matter Labs提到的一些疑问,ZKSwap作出如下回复:

1. ZKSwap在ZKSync Layer2转账的基础上完整实现了Layer2 AMM Swap电路,并实现了数项改进;

2. ZKSwap上用户的资金安全是得到保障的,智能合约和电路部分的代码已经获得了慢雾,Certik和ABDK三家权威安全审计机构的审计认证,审计报告已公开在项目github仓库中接受社区监督;

3. ZKSwap所有智能合约和电路的代码都将完全开源,其中,智能合约部分已经完全审计完成,将会在2021年3月1日开源;电路部分ABDK还在进行最后的审计报告编辑,将会在获得报告并在系统稳定运行一段时间后逐步开源,请社区保持关注;

4. 关于Matter Labs提到的智能合约中关于合约作者的疑问,ZKSync和ZKSwap都严格遵守MIT开源协议,必须保留原作者的版权声明和许可声明。ZKSwap在ZKSync合约的基础上进行的修改也将在合约开源时进行备注,并添加新的版权和许可声明,请社区监督。

此前消息,Matter Labs质疑ZKSwap克隆zkSync代码,担心其用户资金安全问题。[2021/2/24 17:47:58]

而对于智能合约钱包,zkSync为他们也提供了解决方案,会为这类账户设置一个公钥,以创建内部的SchnorrSignature以签署交易,这将允许这类钱包与zkSync2.0交互的时候不需要钱包使用者支付额外的L1交易费。

Gas消耗由两部分组成

与以太坊主网使用ETH作为交易手续费不同的是,L2在聚合交易信息的同时,还会增加一些额外的支出,特别是这些以零知识证明为基础的L2协议。

首先,zkSync的交易费会受到L1的Gas费影响,所以随着L1上的Gas增加,zkSync的Gas也会增加。另外,由于该方案本身的特性,需要消耗计算量以提供ZKP,所以这部分的计算费支出也会通过某种形式转移给使用者。当然,这部分费用也可能会因为专用计算设备的推出而逐渐降低这部分计算量的成本。

目前,针对这部分ZKP计算如何定价以及以何种方式支付,官方还没给出具体的细节。

与目前以太坊DApp的兼容性?

目前的版本中,zkSync2.0还没包括对Web3API的兼容。但MatterLabs表示,下个版本支持的Web3API,将与以太坊官方文档中所定义的Web3标准兼容,这也就代表着所有的事件都可以开箱即用,所有的服务也都可以集成。

另外zkSync还将包括L1中没有的功能,比如提交的区块和最终确定的区块的概念,所以还会为开发者增加额外的方法,为开发者能更精确地控制数据。

zkSync+zkPorter的妥协在哪?

zkSync一直都是标榜自己几乎与以太坊主网同等安全性的扩容方案,在安全性上几乎不用妥协,当然所以它的扩容效果远远不如侧链等方案,比如Polygon、xDAI,甚至是BSC。

所以从他们的视角中来看,侧链方案和OptimisticRollup的对比类似于下图。

而zkSync为了提供更夸张的扩容效果,也同步推出了可以兼容zkSync账户体系的zkPorter方案,将数据可用性移到以太坊之外,这样就可以更显著降低Gas了。而这部分移出的数据可用性就是依赖于zkSync的持币者通过某些博弈论或者代币经济设计来提供了,他们暂时还没有公开这部分细节。

所以对比OptimisticRollup来说,他们认为zkSync这种基于密码学的方案,安全性更高,和L1相同。不过他们也承认Rollup都会降低去中心化的程度,这里可能代表了节点数量上的区别,所以可能会产生交易审查等情况。

而zkPorter则是降低了部分的安全性,换取了更大的扩容效果,他们认为可以媲美侧链。所以「zkSync2.0」和「zkSync2.0+ETH2数据分片」方案的区别,可以参考下图。

考虑到当zkPorter在4月公开部分细节后VitalikButerin就质疑了其安全性无法媲美OptimisticRollup,MatterLabs这次还特意制作了这个「zkSync2.0和ETH2数据分片」组合的图表,可能是在迎合以太坊社区,展现出最完美的按层级和需求的综合扩容方案。

MatterLabs还在图表中展现了他们对于「可编程性」的信心,和其他所有方案一样都具有最好的可编程性。虽然他们是可以基于零知识证明实现图灵完备的编程能力,但是目前这些不兼容Opcode的情况还是可能会为部分开发者带来不便。

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

水星链

[0:15ms0-1:351ms