UST:zkSync 2.0：首个测试网版本上线_Dextrust

作者：

时间：

介绍

克服了最困难的技术挑战之后，我们进入了这项工作的冲刺阶段：在兼容EVM的环境中部署智能合约。zkSync推出zkSync2.0首个测试网版本：用户已经可以使用区块浏览器查看zkSync2.0的交易活动。在本文中，我们将深入解释每个关键组件，公布进度更新以及下一个版本的计划。

ZKSYNC2.0测试网浏览器：

https://zksync2-alpha.zkscan.io/

关键成就

在密码学方面，zkEVM的指令集已经确定下来，并且两种实现都已经完成：在电路中和在执行环境中。

在编译器方面，用Solidity和Zinc编写的智能合约现在可以编译到zkEVM字节码中。

在核心基础设施方面，全节点集成已完成，并且能够成功地部署和执行已编译的智能合约。

虽然zkEVM和2.0的核心基础设施已经准备好向公众公开，但是该版本的编译器还需要更多工作进行完善，以应对所有极端情况。为了提供更加全面的开发者体验，我们决定在该编译器100%可靠之后，将同时开放对zkEVM、编译器和核心SDK的访问。

比较zkSync2.0和以太坊

两者看起来大部分相同，以下几点是比较重要的区别：

智能合约

zkSync2.0支持以太坊上的大部分操作码。然而，有以下这些例外：

1.这次的测试网版本不支持ADDMOD、SMOD、MULMOD、EXP和CREATE2操作码，但是未来的版本会支持。

数据：zkSync Lite 独立地址数逾100万，已存入超30万枚ETH:7月8日消息，Dune 数据显示，zkSync Lite独立地址数量已突破100万，本文撰写时达到1,001,376个，已存入超30万枚ETH。此外zkSync Era链上独立地址数约114万个，已存入超61万枚ETH。[2023/7/8 22:26:05]

2.我们将暂时不支持KECCAK256操作码，而是通过自动调用另一个抗碰撞的哈希函数来替代它的所有调用。KECCAK256之后将作为预编译引入。

3.我们决定不再包含SELFDESTRUCT操作码，因为以太坊正计划将其移除。

4.我们可以移除对完整256位XOR/AND/OR操作码的支持，因为这些操作码只存在于那些用于位屏蔽的已编译的solidity代码中。这可以由编译器使用其他操作码来完成。

Gas

在zkSync2.0中，有一个不同概念的gas。交易费价格将根据当前L1gas费和生成零知识证明(ZKP)的成本而波动。智能合约的调用将有一个最大的zkEVM步骤和存储写入参数。

Web3API

下一个版本将包含我们Web3API实现，它将与以太坊文档所定义的Web3标准兼容。事件将开箱即用，并且所有服务都可以轻松整合。

zkSync包含L1没有的特性，比如已验证和已敲定区块的概念。因此，还会有其他方法让开发者更精确地控制数据。Web3客户端代码将接收与以太坊相同的数据，但可以通过zksync_名称空间请求特定的信息。

zkSync独立存款地址突破100万个，桥接锁仓量超6亿美元创历史新高:金色财经报道，21 Shares母公司21.Co链上数据研析师Tom Wan在社交媒体透露数据显示，zkSync独立存款地址已突破100万个，本文撰写时达到101万，桥接锁仓量为6.078亿美元创历史新高，其中ETH占比约为75.7%，USDC占比约21%，MUTE占比约1.4%。[2023/6/25 21:58:19]

因为zkSync有多种交易类型，并且使用EIP712签名，所以eth_sendRawTransaction数据的格式与L1不同。然而，编码与以太坊ABI相对应，所以支持它并不困难。

对交易进行签名

zkSync2.0中的交易可以通过两种方式进行授权(除了优先级队列机制)：

1.用户可以通过对一个EIP712信息签名，从而用他们普通的以太坊钱包(如Metamask或者任意的WalletConnect钱包)对交易进行签名。

2.任何账户都可以设置一个公钥来创建我们的内部Schnorr签名来对交易进行签名。这允许基于智能合约的钱包与zkSync2.0进行交互，而无需额外的成本发送L1的信息。

存储效率提升

每个区块只能对存储槽覆写一次。这意味着，如果多个用户与单个AMM合约交互，那么该AMM合约的存储槽只会被覆写一次。这允许排序者稍后向用户退还单次写入的共享成本。

预编译

“预编译”机制是在计划中的，但将在稍后发布。我们计划首先支持keccak256、sha256哈希和ECDSA恢复原语。此外，我们会根据需求和复杂性考虑包含其他预编译，例如Blake2f轮函数(以当前形式在以太坊中几乎无法使用)。

ZigZag：zkSync的TVL目前在以太坊L2中位列第五，将推出NFT市场:金色财经消息，近日，基于ZKRollup的订单簿式DEX ZigZag在推特表示，根据L2BEAT的数据，zkSync的的TVL在过去7天中已经增加了85%，在排除Loopring和Boba Network原生Token的情况下，zkSync的TVL目前在以太坊L2中位列第五。同时，ZigZag宣布将推出NFT市场，继续扩大TVL份额。[2022/3/23 14:13:35]

进一步的限制

zkSync2.0的第一次迭代可能会增加一个额外的限制，即每笔交易只能调用32次智能合约，直到可以实现恰当的记账机制。

执行跟踪将有硬限制，但它将与以太坊区块大小目前的限制相当，不应影响大多数。

可能会有更多的限制，但我们的目标是在最终版本中将这些限制尽可能减少到最低限度。

深入了解zkSync2.0的架构

你可能听说过“区块链的不可能三角”，但当谈到扩容以太坊时，还有第4个因素：可编程性。所有当前的扩容解决方案都牺牲了一些安全性、去中心化和可编程性来实现可扩展性。zkSync2.0的设计结合了下列两大技术突破，旨在最大化实现上面说到的四个特性：

1.zkEVM：为兼容EVM的zkRollup提供支持的引擎，这是同时提供L1安全性以及支持solidity智能合约的解决方案。

2.zkPorter：一个链下数据可用性系统，其可扩展性比rollups高出两个数量级。

以太坊扩容方案zkSync将通过OKEx实现法币出入金通道:11月11日消息，以太坊扩容方案zkSync开发团队Matter Labs宣布与OKEx达成合作关系，双方的第一个合作目标是在OKEx上支持直接向zkSync的二层网络提供法定货币的提现和充值功能。zkSync表示此次集成正在进行中，后续OKEx还会提供更多在zkSync上的业务。（Medium）[2021/11/11 6:46:17]

由于zkEVM和zkPorter是可互操作以及可组合的，zkSync2.0显著优于所有其他扩容解决方案。

目前的共识是：Eth2数据分片将在2022年底上线，在不牺牲去中心化的前提下提供更大的数据可用层。结合了Eth2数据分片的zkRollup技术是zkSync的最终目标，在不牺牲4个因素中任意一个的前提下达到10万以上的TPS。

状态树

zkSync2.0状态树覆盖了以太坊全部的160位地址空间。每个帐户将存在于zkRollup部分或zkPorter部分的状态中。zkRollup和zkPorter帐户完全相同，除了一点不同：获取数据可用性的地方不同。zkRollup交易数据通过数据调用发布到以太坊主网中；而zkPorter的交易数据发布到zkSyncGuardian网络中，其中，zkSync代币持有者能够参与该网络的PoS机制。

ZKSwap24小时交易笔数超过10万笔预计2月初上线以太坊主网:1月18日消息，基于ZK Rollup扩容技术的AMM去中心化交易所ZKSwap过去24小时处理的交易笔数超过10万笔交易，其中包括47,977笔Layer2的swap交易和61,584笔Layer2到Layer1的提现交易。另外，根据系统在以太坊主网的部署情况，ZKSwap预计会在2月1日至2月8日之间上线以太坊主网。主网上线之后，ZKSwap将会进一步开发分布式的零知识证明网络和Layer2的隐私支付工具（率先支持USDT的layer2隐私支付）以及隐私兑换协议（所有swap过程全部隐私）以及未来支持ERC-721和NFT token的swap交易。目前ZKSwap部署在以太坊Ropsten测试网上，是一个非常接近以太坊主网的测试网络。ZKSwap团队将在1月25号开启测试网最后一轮活动，将测试流动性挖矿、交易即挖矿和智能合约锁仓挖矿，以及模拟主网上线的环境和活动。除此之外，ZKSwap开发团队已经完成了plonk算法的GPU版本的实现，TPS也会有大幅提升，在上线主网的时候也会部署。[2021/1/18 16:27:18]

选择在哪里发布数据，是在成本和安全性两者间做出权衡。zkPorter的交易费比rollup的交易费要便宜很多，但是用户的资金可能会被冻结。然而，zkRollup和zkPorter账户的有效性是由零知识证明和以太坊来提供保证的。换句话说，zkPorter中的资金只能被冻结，不能被窃取。

zkRollup和zkPorter帐户的互操作性和可组合性给了每个用户成为zkSync一流公民的机会。假设，Uniswap部署在zkRollup端，用户可以通过zkPorter账户访问，并以最低的手续费进行swap。zkSync2.0是一个专门为整个金融领域用户设计的系统。

密码学

我们的虚拟机，通常被称为zkEVM，它并不是完成1:1复刻EVM的。但是，zkEVM旨在能够运行99%用Solidity编写的合约，并且在遇到回滚和异常时也能维持同样的行为。同时，zkEVM能够有效率地在一个电路中生成零知识证明。

zkEVM的实现不需要我们对此前的证明系统做出重大的变动；我们继续使用带有自定义门和查询表的PLONK?(通常被称为UltraPLONK)和以太坊的BN-254曲线。这是有利的，因为这个证明系统已经过实战测试(自2020年6月以来，zkSync1.0和其他项目就开始使用这个证明系统)。

经过几个月的努力，zkEVM的指令集已完成，并在电路和执行环境中实现。

这里有一个重要的区别：电路和执行环境中的实现是分开的，用于不同的目的。电路的工作是生成执行跟踪的证明并提供证人，但这个过程十分缓慢。另一方面，执行环境是zkEVM在rust中的直接实现，效率高、速度快。如果我们在生成证明和执行的过程中都依赖于电路，那么敲定交易需要几个小时。而生成证明和简单执行的分离使得zkSync上的交易能够即时结算。

接下来，我们的工作将专注于将zkEVM和编译器结合在一起，并和递归结合在一起：区块之间的递归允许我们为N个区块发布一个证明；而区块内的递归聚合了区块不同逻辑部分的子证明。这是简单的部分！自2020年6月以来，zkSync1.0主网上已经使用了区块之间的递归聚合证明。更多关于区块内递归和我们的zkEVM如何工作的信息，请观看视频解释。

编译器