原文：SamMartin
编译：Crush
关键要点：
由于缺乏智能合约支持，与其他通用L2相比，ZkSync1.0的采用率低，使得rollup在代币转移和交换之外的效用最小
MatterLabs团队的目标是于?10月28日在主网上推出他们的alphazkEVM，这使他们成为第一个推出兼容EVM的通用智能合约ZKrollup的团队
第一个启动zkEVM的团队可能会获得显著的先发优势，特别是如果以太坊交易费用的飙升将用户推离基础层
zkSync团队相信他们在降低硬件要求方面取得了重大突破，这样能更容易成为证明过程的积极参与者
zkSync的最终目标是通过他们的证明技术和蓬勃发展的L3生态系统驱动的意志，同时保持以扩展以太坊为焦点的目标
由MatterLabs于2020年推出的ZkSync1.0是一种零知识Rollup，它依赖于以太坊的安全性，主要用于代币交换或转移。
它不支持智能合约，因此今天zkSync1.0上可用的产品是有限的，导致相对于其他以太坊扩展解决方案的采用率较低。MatterLabs团队希望通过在10月28日在主网上启动他们的alphazkSync2.0来解决这个问题。
此外，MatterLabs宣布将在2023年第一季度在测试网上推出L3。
ZkSync1.0
尽管缺乏对智能合约的支持，ZkSync1.0已经成功吸引了超过5400万美元的资金。zkSync上的大部分TVL是ETH和各种稳定币，因为网络上除了代币转移和交换之外缺乏实用性，而且NFT铸造未能获得显著的吸引力。
许多拥有Rollup资金的用户可能会为不可避免的代币空投做准备，这应该可以捕捉到zkSync经济的未来增长。Optimism和Arbitrum是两个最受欢迎的以太坊扩展解决方案，鉴于它们已经支持智能合约这一事实，它们看到了更多的用户活动。
数据：zkSync Era上25个巨鲸持有链上32%的代币，链上“闲置资金”较多:4月28日消息，据Nansen Research在社交媒体披露数据显示，当前zkSync Era上前25名头部巨鲸桥接用户拥有32%的链上代币总持有量，主要集中在ETH、USDC和MUTE，表明zkSync上仍有大量“闲置资金”。此外，数据显示zkSync Era链上活动主要围绕DEX，尤其是SyncSwap、iZUMi Finance、Mute.io和Velocore上的流动性提供者（LP），当前大多数LP集中在ETH/USDC池，而zkSync Era链上闲置资金则仍在等待部署。[2023/4/28 14:32:33]
虽然日交易量不是一个完美的指标，但它却侧面反映了zkSync因为不支持智能合约而错过的交易量有多少。
zkSync上的所有资金都在以太坊上的智能合约中得到保护，计算和存储在链下执行。交易被成批打包，在以太坊上结算，以在所有L2交易者之间平摊Gas成本，然后同时结算。
Rollup中发生的所有状态更改都作为Calldata以及确保状态更改有效的SNARK证明发布到以太坊。发布到以太坊的调用数据使任何人都可以重建L2状态，并且这比将整个L2状态存储在EVM上要便宜得多。
与以太坊基础层相比，SNARK能够以经济高效且及时的方式验证大批量交易，并为zkSync提供巨大的交易吞吐量。
数据：zkSync桥接存储总价值突破20万枚ETH:金色财经报道，据 Dune Analytics 数据显示，以太坊 Layer2 扩容解决方案 zkSync 跨链桥接存储总价值已突破 20 万枚 ETH，截至目前达到 200,003 ETH（按照当前 ETH 价格计算超过 3.3 亿美元），参与桥接交易的用户量为 530,753 个。其他 L2 存储总价值方面，当前 Arbitrum 跨链桥存储总价值约为 211.23 万枚 ETH，Optimism 约为 46.65 万枚 ETH，StarkNet 约为 1.04 万枚 ETH。金色财经此前报道，zkSync 开发公司 Matter Labs 于去年 11 月中旬完成 2 亿美元 C 轮融资，Blockchain Capital 和 Dragonfly 共同领投。[2023/1/21 11:24:26]
ZKR提供了许多优于其他扩展架构的优势。ZKR继承了以太坊的安全性，而像Ronin网络这样的侧链则受制于其自身验证器集中的漏洞。
ZKR也不依赖像Optimism或Arbitrum这样的欺诈证明，诚实的第三方必须监控区块中的恶意交易，并需要7天的挑战期来延迟资金提取。
此外，无论验证者集的状态如何，ZKR上的资金总是可以由其合法所有者取回，这与要求验证者安全监控提款的等离子链的情况不同。
zkEVM的机会
Scroll、zkSync和Polygon之间的zkEVM竞赛一直在升温，但zkSync看起来会在10月底推出其主网alpha版。先发优势对于团队取得成功有着不小的潜在影响，这一点是无法忽略的。
MATIC于2017年作为首批EVM兼容链之一推出，然后于2021年2月更名为Polygon，并在以太坊交易费用飞涨的情况下吸引了大量dApp和用户。
Sui联合创始人：Sui已支持Groth16 zkSNARK算法:11月19日消息，Sui Network联合创始人Kostas Kryptos发推称，Sui欢迎零知识证明，用户现已可以其交易事务中附加Groth16 ZKP证明，由于我们的后端结合了Arkworks和BLST，因此这样做可以提升2倍的验证性能速度。”与此同时，Kostas分享的Sui Github界面显示关于Groth16的模块已于今日提交。
注：Groth16是zkSNARK的典型算法，系Groth在2016年发表的一篇论文中提出，目前该算法在ZCash，Filecoin，Coda等多个项目中均有应用。[2022/11/19 13:24:11]
通过重新部署类似的代码，将应用程序迁移到EVM兼容链相对容易。无论哪个团队率先推出zkEVM，都可能会看到dApp部署和用户活动的爆炸式增长，从而像Polygon在2021年那样建立强大的网络效应。
如前所述，侧链的安全性不如ZKR，而领先的ETHL2、Arbitrum和Optimism都是OptimismRollup，其官方桥需要7天的退出期。L2的采用继续占据上风，L2支付给以太坊的总gas一直呈上升趋势。鉴于zkEVM的安全性和UX优于其以太坊侧链和OptimismRollup同行，zkEVM的推出将成为这一趋势的顺风车。
Matter Labs 将 Uniswap V2 智能合约和前端迁移至 zkSync 2.0 测试网:10月13日消息，Matter Labs 宣布将 Uniswap V2 智能合约和前端迁移至功能完备的 zkSync 2.0 测试网上，该端口名为 UniSync，为在 zkSync 2.0 上第一个迁移的 Solidity DApp。另外，Matter Labs 表示，UniSync 不隶属于 Uniswap Labs，将在即将推出的 zkSync 2.0 主网启动 Uniswap 实例。[2021/10/13 20:25:02]
ZkSync的愿景
ZkSync2.0的主网alpha发布将仅限于注册项目以参与公平发布的开发者。选择排除用户是为了确保dApp团队有足够的时间来确保其产品的顺利运行，保护用户免受任何错误的影响，并给MatterLabs团队更多的时间来迭代他们的zkEVM的设计。
值得注意的是，Starkware的Starknet是另一个处于alpha阶段的通用ZKR智能合约链，Starknet使用他们自己的针对ZKR优化的语言Cairo，而不是专注于EVM兼容性。
然而，Wrap正在开发一个Solidity到Cairo的转译器，它可以将其放入与zkSync的zkEVM类似的存储桶中。Cairo的开发人员工具、最佳安全实践和开源库将远远落后于Solidity。
此外，Polygon于10月10日在测试网上启动了他们的zkEVM，尽管zkSync已经在测试网上运行了大约9个月。
ZkSync通过将以太坊上的高级智能合约源代码Solidity编译为Yul来实现EVM的兼容性；Yul一种中间语言，可以编译成不同虚拟机的字节码。
然后使用LLVM编译器框架将Yul代码重新编译为为zkSync的zkEVM设计的自定义、电路兼容的字节码集。这种方法绕过需要通过直接从更高级别的代码开始对EVM执行中的所有步骤进行zk证明，从而在保持高性能的同时更容易分散证明过程。
zkSync 2.0引入三因素方法以保证资金安全:金色财经报道，据官方推特消息，以太坊二层解决方案zkSync表示，zkSync 2.0引入了三因素方法以保证资金安全。其中包括：1. 通过隔离和冗余实现安全性；2. 信任最小化的可升级性；3. 由15位以太坊社区成员组成的zkSync安全理事会。[2021/5/21 22:30:37]
未来可以通过构建新的编译器前端来添加对Rust、Javascript或其他语言的支持，从而为其zkEVM架构增加灵活性。需要指出的是，zkEVM与EVM兼容，在字节码级别上并不等同。
因此，虽然几乎所有的以太坊智能合约代码都可以直接移植到rollup中，但在某些异常情况下，一些代码需要更改并可能需要重新审核，以及调试工具。如果不进行细微调整就无法兼容。
帐户抽象
与以太坊的默认行为相比，正在zkEVM中实现的一个主要改进是账户抽象的想法。以太坊的核心架构支持两种类型的账户：外部拥有账户，即由私钥控制的公共地址，可用于签署交易，以及根据底层代码操作且无法发起的合约账户交易。这里的主要目标是将持有代币的账户与授权交易的签名者分离。
zkSync的zkEVM中的EOA当然能够发起交易，但也能够像以太坊上的智能合约账户一样在其中实现任意逻辑。这就是所谓的“账户抽象”，与EIP-4337非常相似，只是稍作修改，为用户提供更流畅的体验。
可以补偿其他账户交易的账户称为Paymasters。在实践中，Paymaster账户应启用协议以代表其用户以ETH或各种ERC-20代币支付交易费用。
随着应用场景的发现，帐户抽象可以为钱包提供商开辟一条新的创新途径。值得注意的是，这是一个仍在迭代中的新颖想法，用户应谨慎对待。
zkPorter
zkEVM竞赛是目前L2的主要叙事，但值得商榷的是zkSync的zkPorter。虽然zkEVM将为以太坊带来一个数量级的扩展，但仍然需要ZKR将数据发布到以太坊基础层，这降低了它们的潜在规模。
zkPorter的引入将zkSync的zkEVM牢牢地置于意志范畴，这意味着用户可以决定将他们的数据存储在链上还是链下。优先考虑安全性而不是吞吐量和极低交易费用的用户将选择在Rollup上进行活动以保证数据可用性。
那些优先考虑吞吐量和降低交易费用而不是安全性的用户将在zkPorter上进行他们的活动，在zkPorter上发布数据并在链下可用。
所有zkPorter交易数据都将发布到Guardian网络，这是一个由最终的zkSync代币保护的PoS网络。Guardian将通过签署区块来跟踪zkPorter端的状态，以确认数据可用。
恶意行为的Guardian将被削减，这为数据可用性提供了加密经济保证。与Optimisticrollups相比，如果数据被移出链外，恶意操作者将能够窃取rollup上的任何资金，而恶意的Guardian只能冻结zkPorter状态，这反过来又会冻结他们自己的资金。
此外，购买所有非质押的zkSync代币来发动此类攻击将花费大量资金，并在此过程中导致重大滑点。
zkSync在ZKR和zkPorter方面采用的双账户方法将为用户提供一个全方位的目的地来进行他们的活动，同时保持高安全性保证。ZKR和zkPorter双方的智能合约和账户将完全可以相互组合。
例如，Aave可以在ZKR上启动他们的合约代码以获得最大的安全性，但用户仍然可以通过他们在zkPorter端的账户与合约进行交互，以实现更低的费用和更高的吞吐量。zkPorter的最终设计仍在进行中，因此计划可能会发生变化。
虽然没有太多的信息披露，但MatterLabs最近宣布了他们的目标，即在2023年第一季度推出由其zkEVM提供支持的layer3。
被称为“机会”的ZKRL3很可能是有史以来第一个在测试网上推出的L3。我们的愿景是拥有无数个完全可定制的“HyperChain”，它们都通过本地桥梁相互连接，从而将安全互操作性的理念变为现实。
Pathfinder将是高度实验性的，但它是新区块链扩展架构研发的合乎逻辑的下一步。
构建L3验证的第三方将能够选择他们公开可用的数据，从而为用户提供隐私。这些团队还将被授权推出自己的代币，以捕捉他们正在构建的东西的利好。
这些代币还可以在分散其证明过程、排序器或数据可用性解决方案方面发挥关键作用。在可定制性方面，可以在Cosmos的应用程序特定链和zkSync的L3之间进行比较。
主要区别在于后者支持以太坊的安全性以及链之间完全可互操作的资产，而无需像IBC这样的通用消息传递协议。
ZkSync希望通过靠着自己的突破性研究，即在不牺牲性能的情况下降低参与证明过程的硬件要求，能够成为这个行业的标准。
这会将他们的ZKR、zkPorter和所有其他zkSyncL3放在同一条道路上，并消除反复被利用的桥接攻击向量。尽管这一愿景雄心勃勃，但它将使交易成本和速度、开发人员和用户体验、互操作性和安全性提高10-100倍。
剩下的主要问题有两个：在字节码级别上不等同于EVM的L2能否成为行业标准，竞争用户意识份额的L2和L1团队是否会抛开差异，将区块链扩展到大众？
最后的想法
ZkSync长期以来一直是零知识密码学的先驱，他们在扩展以太坊的道路上继续开拓。他们在10月底之前在主网上推出了第一个zkEVM，这可以为他们提供显着的先发优势，并使他们能够建立强大的网络效应。
他们在zkPorter和ZKR上使用可互操作帐户双管齐下的方法是一种独特的策略，这对开发人员和用户最终都有利。MatterLabs为所有链创建标准证明者的愿景雄心勃勃，如果他们真的开发了到目前为止最先进的证明者，那将大获成功。
这将为具有合理主权、高性能和安全互操作性的L3生态系统打开大门。与他们的策略相关的主要风险是他们为zkEVM选择的底层架构：在高级智能合约代码级别的以太坊兼容ZKR，而不是字节码级别的EVM等效性，或者通过创建一种新的编程语言并完全消除EVM兼容性。
有团队在研究上述所有三种策略，只有时间才能证明哪种以太坊的拓展方案是对的。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。