撰文：Donnager
Uniswap经过投票计划将V3上线二层扩容网络Arbitrum在引发了社区热议的同时，也让市场感受到了二层网络势不可挡的浪潮已经形成。
而今天MatterLabs的zkSync终于将支持通用智能合约的2.0版本上线了测试网，为此前计划在8月上线的主网进行着最后的准备。
此次zkSync2.0也公开了很多此前未披露的信息，其中很多都会直接影响用户和开发者的体验。
zkEVM：99%兼容EVM
此前Arbitrum引发一个讨论话题是EVM兼容性，虽然Optimism、Arbitrum和zkSync2.0都声称兼容EVM，这也意味着现在的以太坊开发者可以很方便的将现有的代码通过某些方式迁移至L2网络中。
但是根据几个扩容协议的文档显示，他们对于EVM的兼容性并不是100%的，比如Optimism就不支持部分Opcode。
而zkSync的zkEVM也是如此，虽然此前他们称zkEVM是图灵完备的，但还是不支持EVM的部分Opcode。
zkSync公布的信息显示，他们尚未支持ADDMOD、CREATE2等数个Opcode，但是未来支持加入。而另外比如KECCAK256在该版本中也会缺失，但是团队会引入另一个哈希函数。还有一类是以太坊基金会计划移除的Opcode，zkSync将不会支持。
所以根据他们的总结，zkEVM将不会完全支持EVM，不过预计可以支持99%以Solidity编写的智能合约。
zkSync2.0如何签署交易？
为了支持更广范围的钱包类型，比如普通的以公私钥生成的以太坊地址或者以智能合约为基础的账户，zkSync2.0在交易上支持两种方式。
对于绝大多数的用户而言，如果是原生二层网络的交易，用户的体验就是通过钱包对交易进行「签名」即可，所以用户不需要支付以太坊主网的交易费。他们采用的是EIP-712的标准，所以在MetaMask等钱包中是可以得知需要签署的交易信息的基本内容的。
而对于智能合约钱包，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的情况还是可能会为部分开发者带来不便。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。