2021年10月13日，以太坊Layer2解决方案zksync开发者MatterLabs展现一个带有Solidity智能合约和Web3前端的功用彻底的dApp UniSync，这是MatterLabs运用UniswapV2智能合约和前端布置在zkSync 2.0测验网alpha版上的dAPP。用户能够经过uni.zksync.io页面领取测验代币测验此dAPP。
MatterLabs表示，自6月1日zkSync 2.0测验网alpha版上线后，solidity编译器状况很安稳，而且完结了带有额定的Layer2特定功用的Web3 API的开发，完结了首个EVM兼容的zkRollup。
MatterLabs官方还透露，zkSync 2.0测验网将很快上线，正经过“zkSync 2.0 Testnet: North Star”计划欢迎项目方入驻。这也意味着zkSync 2.0主网越来越近了。
金色财经汇总了关于zkEVM和zkSync 2.0的最全阐明。
什么是zkSync 2.0
zkSync 2.0是由Matter Labs构建的与EVM兼容的ZK Rollup，由Matter Labs开发的zkEVM供给支撑。
而zkSync 1.0已上线支付近1.5年，zkSync 1.0
降低主网转帐本钱约50倍，
完结近400万笔买卖，
在最近的4轮Gitcoin捐款中98%的买卖运用zkSync
什么是zkEVM？为什么它很重要？
zkEVM是一种以兼容零常识证明核算的方法执行智能合约的虚拟机。这是构建兼容EVM的ZK rollup，一起保存经过实战测验的代码和在运用Solidity多年后取得的常识的要害。zkEVM保存了EVM语义，但也是ZK友爱的，并采用了传统的CPU架构。
zkEVM的推出代表了加密技术的一个重要转折点。直到最近，它仍被认为只是一种理论上的或许性，需求数年时刻才干完结。但在过去一年，整个零常识证明生态体系行进的步伐超出了咱们的预期。并且因为多项研制打破使zkEVM成为或许，Solidity程序员现在能够最先接触到零常识证明的无与伦比的扩展性、安全性和UX优势。
基础常识
什么是ZK Rollup？
ZK Rollups是2层扩展解决方案，它运用有用性证明来扩展核算：每批买卖都带有一个由以太坊智能合约验证的加密证明 (ZK-SNARK)。这样，在区块终究承认之前，一切以太坊完好节点都会对每笔买卖进行彻底验证。
ZK Rollup安全性怎么？
在一切扩展解决方案中，ZK Rollups是最安全的，彻底依托数学，然后彻底承继L1的安全性，这关于在高度对抗性环境中的功用至关重要。相反，其他扩展解决方案依托于经济担保或第三方，因而供给的安全特点要弱得多。
ZK Rollups中状况更改的验证是经过核算零常识证明来完结的：如果任何状况更改无效，则无法生成证明，反过来，这意味着实体会证不能包括无效的状况更改。这就是咱们称它们为排序器（sequencers）而不是验证者（validators）的原因：它们不验证买卖，以太坊智能合约依托纯数学来验证。咱们不需求信任他们或监控他们的欺诈行为，因为他们不能进行任何欺诈。
ZK Rollup的可扩展性怎么？
ZK Rollups能够在峰值负载下供给高达2000的TPS，但它会变得更好。
ZK Rollups也是唯一一个能够让一个体系供给数量级规模扩展的L2，zkPorter能够供给高达20000的TPS。
zkPorter是什么？
zkPortor将数据可用性——重建状况所需的底子买卖数据——放在链下而不是以太坊上。取而代之的是，运用zkSync代币典当者的权益证明来保护数据可用性。这完结了更高的可扩展性（数万TPS），然后完结了与侧链相当的超低买卖费用（几美分）。
zkPorter的安全性依然优于任何其他L1或侧链。在最坏的状况下，歹意行为者操控排序器和超过2/3的总权益，他们能够签署有用的状况转化，但保存数据。在这种状况下，状况被“冻住”，用户将无法退出，但攻击者的stake也被冻住。因而，具有很多权益的攻击者没有直接的方法从缝隙运用中取得经济利益。
zkSync中的买卖完结（transaction finality）是什么？
排序器将为买卖供给快速的链下承认。这种承认是半可信的：排序器不能触发无效的状况更新（例如盗取资金），但在承认后仍或许无法包括买卖，或许在短时刻内重新排序买卖。
当生成零常识证明并将其发布到以太坊时，买卖被视为终究买卖。根据活动状况，这或许需求 15分钟到3小时不等。
和其他扩容方案的比较
zkSync 2.0和达观rollup（例如Arbitrum、Optimism）之间的首要区别是什么？
1) 明显更高的安全性
ZK rollup消除了对观察者（watcher）的依托，用加密安全替代了博弈论的经济安全——你相信纯数学而不是鼓励参与者。
2) 更高的资金功率
在OR中，任何财物的原生提款都需求很长时刻（最佳状况：1 周）。这是一个安全参数，在安全性没有指数级下降的状况下无法削减。
关于同质化代币，这个问题能够经过在桥的另一边有很多搁置流动性来缓解。为了补偿资金的机会本钱，用户需求支付绕过等候期的费用。
关于较小的资金，这或许是能够接受的，但关于专业买卖者来说，这已经构成了巨大的本钱，并将反映在他们的利润率上。关于需求定时在L1和L2之间转移很多流动性（数十亿）的机构来说，这种解决方案功率不高，因为流动性供给者不太或许让这么多资金搁置。
3) NFT的用户体会
NFT的原生提款无法加速——流动性供给者解决方案不适用，因为NFT是绝无仅有的。因而，要撤回NFT，用户必须真实等候1周或更长时刻。
在zkSync中，任何提款都会在15分钟到3小时之间完结，当活动较多时，提款时刻会更快。
4) 买卖本钱
关于大多数盛行的加密用例，ZK Rollups更廉价，因为它需求在链上发布的数据量最少（没有签名和买卖参数）。
但是，关于一些常见的用例，本钱节约的数量级要大得多。具体来说，ZK Rollups只需求将终究更改发布到状况，并且因为许多买卖进入相同的存储槽，因而能够摊销本钱。例如，同一区块中的一切买卖和预言机更新买卖的数据可用性本钱为零。
最终，zkSync 2.0将有一个名为zkPorter的扩展，经过将数据放在链下，供给1-3美分的固定买卖费用。达观rollup从底子上不能有这样的链下数据可用性扩展，因为没有公共数据，观察者无法验证每笔买卖的有用性。因而，他们不或许向更喜欢超低费用而非安全性的用户供给这样的混合体系。
运用zkSync与侧链（例如Matic/Polygon、BSC、Solana、Avalanche）比较怎么？
以太坊侧链是一个独自的L1，具有自己的安全机制以及它与以太坊之间的桥梁。有时桥接验证者与侧链验证者相同并运用相同的典当机制（例如在Polygon/Matic PoS的状况下）。
关于这个话题最重要的一点是，不管侧链本身怎么被保护，当它被用作扩展解决方案时，财物的安全性始终取决于大多数桥接验证者的好心。如果大多数人遭到危害，他们能够不可逆转地盗取一切财物。因为大多数网桥在低推迟共识要求下以DPoS模型运转，因而大部分stake通常仅由物理上坐落同一数据中心的少数验证者服务器操控。一切这些服务器被入侵的风险是非常重要的，而且不仅仅是理论上的威胁。
zkSync 2.0为其用户供给两种帐户类型：ZK Rollup和zkPorter。对它们中的每一个进行比较：
1) ZK Rollup与侧链
ZK Rollup供给与L1本身相同级其他安全性，但本钱更高（大约是L1本钱的1/50）。另一方面，侧链依托诚实多数的假设来完结低得多的费用。
2) zkPorter与侧链
zkPorter供给相似侧链的超低费用，但安全性提高了一个数量级。
zkPorter依托以太坊来确保买卖有用性，依托zkSync代币典当者来确保数据可用性。
在最坏的状况下，歹意行为者操控排序器和超过2/3的总stake，他们能够签署有用的状况转化，但保存数据。这将冻住状况，用户将无法撤回，但攻击者的权益也会被冻住。
这依然是比侧链更有力的确保，因为没有黑客能够直接被运用，被入侵也没有经济利益。此外，监护人节点能够在顾客等级硬件上运转，因而它们不需求DPoS。这意味着更高的去中心化程度，然后带来更高的数字安全性：黑客或许需求损坏数百个乃至数千个看护节点来操控大部分股权stake。
底线
不管用户挑选哪种zkSync帐户类型，它都会比侧链安全得多。ZK Rollups将供给最高的安全性，而zkPorter将供给可比的本钱。在任何状况下，一切用户都将能够彼此无缝交互，然后形成更大的流动性池。
对开发者意味着什么
zkSync是否支撑Solidity智能合约？
是的
大多数DeFi和NFT项目无需更改代码即可运转。但是，在第一个版别中，对SHA256和 Keccak256的调用将被编译器主动替换为电路友爱的哈希函数。目前也不支撑其他一些加密原语，例如ecrecover和加密预编译。
UI怎么与智能合约交互？能够重用当时的前端吗？
能够经过咱们的Web3 API和Ethers SDK与智能合约和zkSync网络彻底交互：
关于读取恳求：任何语言的任何符合web3的结构都能够开箱即用，并具有额定的可选zkSync L2特定功用。
关于写恳求（发送买卖）：因为L1和L2之间的底子区别，将不得不编写一些额定的代码（例如，zkSync支撑以任何代币支付费用，因而发送买卖将触及挑选代币支付费用） .
所以，是的！开发者只需进行少量更改即可重用当时的前端（发送买卖是不同的）。
用户怎么提交买卖？支撑哪些钱包？
关于与智能合约的交互，用户将运用calldata的哈希值签署EIP712消息。因为EIP712根据原生以太坊签名，一切钱包，乃至硬件钱包，都无需任何扩展即可运转。
