简介
“ZK-Rollup”可能是今年最热门的网络流行语。随着zkSync2.0版本“babyalpha”主网的推出，这种兴奋情绪已经达到了顶峰。但在所有这些流行语背后，“ZK-Rollup”真正指的是什么?zkSync会在哪里发挥作用呢？在本文中，我将努力深入研究ZK-Rollup的原理和实践，解释作为一个项目的zkSyncv2.0的关键技术特征，并探索这一期待已久的技术的潜在未来影响。
ZK-Rollup的原理
为什么我们需要ZK-Rollup？以太坊很棒，但在目前的状态下，该网络从根本上来说是一种规模不经济。随着网络活动的增加，gas价格昂贵得令人望而却步。随着以太坊在过去几年中越来越受欢迎，其目前有限的可扩展性已成为该网络的致命弱点。
这就是“Rollup”发挥作用的地方——以太坊的Rollup本质上是一个“插件”，为以太坊提供了额外的可扩展性，从而解决了其固有的规模不经济问题。这个想法的背后逻辑是比较简单的。假设你有5件物品需要从A点搬运到B点。“常规”方式是依次搬运第1件、第2件等。但这显然是缓慢和繁琐的。“Rollup”本质上是将所有5件物品“打包”到一个包中，这样你就可以只搬运1次而不是5次。
MakerDAO：当前抵押率为154%，PSM储备金为31.5亿美元:3月11日消息，MakerDAO在社交媒体发布最新数据显示，当前Maker系统抵押率为154%，即53.8亿枚DAI由价值82.6亿美元的抵押品支持。过去一周MakerDAO没有触发清算，系统按预期运作。此外，当前PSM按预期顺利运作，储备金为31.5亿美元，以100%抵押支持31.5亿 DAI。[2023/3/11 12:57:23]
但有两点需要注意：
我们如何确保Rollup能够“适合”所有内容?我们如何确保Rollup没有被?ZK-Rollup是一种主要的Rollup技术(另一种是OptimisticRollup)，它利用“零知识证明”来解决这两个问题。为了解决这些问题，ZK-Rollup将一定数量的交易捆绑在一起，在L2上进行计算，并向L1上的验证者提交状态更改和“有效性证明”，以表明计算是完整的。这种“有效性证明”是以“零知识证明”的形式进行的，这是一种数学方法，告诉别人你知道某件事，而不告诉他们你知道什么。
数据：BTC月度波动率降至24.6%，ETH降至39.8%:金色财经报道，据区块链分析公司Glassnode最新数据显示，比特币月度波动率已降至24.6%低点，以太坊降至39.8%。比特币网络处理的美元总价值也出现“自由落体式”下降，日转账量已经从2022年第三季度的约400亿美元的高度跌至58亿美元/日，回到了2020年牛市前的水平，比特币大额转账（1000万美元以上）已经从FTX崩溃前的42.8%主导地位下降到19.0%。比特币的交易所流入量目前在3.5亿到4亿美元/天之间，以太坊交易所出现复苏从截至2021年5月仅30%增长到42%。[2023/1/13 11:10:39]
零知识证明的一个简单例子是代码自动评分程序(用于CS作业)。自动评分程序是一个“验证者”，它为我们提供一堆随机生成的测试用例，而我们是一个“证明者”，必须能够通过所有的测试用例，以证明自己有正确的代码。一直以来，我们都不会直接与自动评分程序共享代码。刚刚我们就进行了一个“零知识证明”，证明我们知道一些事情，而不用说出知道什么。
欧盟证券监管机构公开招标，以获得主要交易所和加密资产相关数据:8月3日消息，一份公开招标文件显示，欧盟证券监管机构-欧洲证券和市场管理局（ESMA）已开始准备加强对加密交易的审查。此前，欧盟就监管加密货币行业的开创性规则达成了一致。虽然加密资产公司将由27个成员国的国家监管机构颁发牌照，但ESMA将监督更大的参与者。周二，ESMA向加密交易（包括现货交易和衍生品）数据供应商公开招标。
ESMA在其通知中表示：覆盖范围应包括所有主要交易所和加密资产，以提供加密市场的公允代表。数据应该以每天的频率提供，包括查看各个交易所和交易对（法币和加密货币）的价差和流动性的订单簿。据悉，该招标合同最高价值10万欧元。（路透社）[2022/8/3 2:56:16]
代码自动评分程序——零知识证明的简单示例。资料来源：Gradescope。
上面的代码自动评分程序使用“交互式零知识证明”，自动评分程序和代码提供者直接“交互”。相比之下，大多数ZK-Rollup使用数学上更复杂的非交互式证明(如zk-SNARK)，这与交互式证明相比节省了时间和空间。虽然zk-SNARK的技术细节超出了本文的范围，但是测试用例传递的基本原则是相同的。
数据：Azuki NFT 6月销售额约为1206万美元，环比下降91%:7月19日消息，数据显示，Azuki NFT 6月份销售额约为1206万美元，相较于5月份的1.4797亿美元下降了91%，达到年内低点。今年1月份，Azuki NFT月销售额曾达到2.1908亿美元。
分析称，销售额的下降源于唯一身份买家数的下降，6月份Azuki NFT的唯一身份买家数为563名，交易数为837笔。而在今年1月份，Azuki NFT拥有9123名唯一身份买家和18012笔交易。（BeInCrypto）[2022/7/19 2:23:03]
ZK-Rollup的圣杯是零知识以太坊虚拟机(zkEVM)，允许开发人员在不修改的情况下将任何以太坊智能合约移植到ZK-Rollup链上。但这很难。因为每个“问题”都需要不同的“测试用例”集，开发一个可以解决每个想象得到的测试用例的“证明算法”是零知识证明和ZK-Rollup的技术瓶颈。
正如VitalikButerin所说：
总的来说，我个人的观点是，在短期内，OptimisticRollup可能会在通用EVM计算中胜出，而ZK-Rollup可能会在简单的支付、交换和其他特定于应用程序的用例中胜出，但从中长期来看，随着zk-SNARK技术的改进，ZK-Rollup将在所有用例中胜出。
宝盛集团 CEO：看好 DeFi 的前景:金色财经报道，资产管理规模超过 1100 亿美元的瑞士私人银行瑞士宝盛集团的首席执行官 Philipp Rickenbacher?透露，该公司将密切关注数字资产的兴起，并探索该行业可能带来的机遇。由于该公司的目标是将自己定位为“数字资产和法定世界”的交叉点，因此首席执行官确认将涉足 DeFi 领域，Rickenbacher?称，将数字资产整合到其整体财富管理主张中，将使瑞士宝盛坚定地站在数字资产和法币世界的界面上。集团已做好充分准备，成功应对DeFi不可避免地带来的破坏，成功驾驭其客户和业务。
此外，Rickenbacher 表示看好 DeFi 的前景，因为他表示该行业有可能颠覆 \"旧银行系统中传统的成本高昂的复杂部分\"。
此前金色财经报道，宝盛集团将为高端客户提供数字资产服务。[2022/5/20 3:30:40]
因此，从历史上看，ZK-Rollup只是针对特定应用程序的用例建立的技术，其中“测试用例”的定义明确且范围有限。然而，一些项目正在迅速朝着“山上城堡”的方向发展——一种与EVM兼容的通用ZK-Rollup算法。
zkSyncv2.0
zkSyncv2.0是目前开发zkEVM的众多项目中的一个(其他项目包括StarkNet、PolygonHermez和Scroll)。zkSyncv1.0它要求用户重新构建大部分代码库以从EVM移植到zkSync，在zkSyncv2.0中，程序员可以在几乎不做任何更改的情况下部署他们的应用程序。
在实践中，并非所有zkEVM都是一样的。在可组合性(它与原始EVM合约的接近程度)和性能(ZK-Rollup的运行速度)之间存在明显的权衡。在这种权衡中，zkSync选择完全优化性能，从而牺牲了组合性。
在VitalikButerin看来，zkEVM有四种不同的类型，归纳如下表：
zkEVM的类型
注释和改编自https://vitalik.ca/general/2022/08/04/zkevm.html
正如Vitalik所言，zkSyncv2.0目前的状态是Type4zkEVM，它能够使用自己的编译器编译Solidity和高级语言编写的合约，这与EVM不同。因为zkSync可以完全控制编译器的设计，所以他们能够积极地优化速度和吞吐量。这样做的代价是，一些dApp和EVM调试工具链可能与zkSyncv2.0不兼容。本质上，zkSync是与以太坊相同的汽车外壳，但更换了引擎。
事实上，在其开发人员文档中，MatterLabs声称，虽然智能合约的“读”操作可以在不改变任何代码的情况下集成，但智能合约的“写”操作需要“额外的代码”，因为“L1和L2之间有根本差异”。实际上，这有点误导人。这与其说是由于L1和L2之间的“根本差异”，不如说是由于MatterLabs决定追求的ZK-Rollup的类型——Type?4Rollup。因为zkSync基本上是使用不同编译器和字节码的Type4Rollup，这意味着智能合约有不同的地址，依赖字节码分析的调试器基础设施可能无法在zk-Syncv2.0上工作。
未来，zkSync可能会添加更多对EVM字节码的本地支持，允许系统慢慢过渡到支持更广泛的“边缘情况”的Type3Rollup。但zkSync的Type4或Type3ZK-Rollup要想与PolygonHermez和ScrollLabs的Type2Rollup更成功，就必须满足两个重要的先决条件。首先，只有一小部分不重要的项目与zkSync的自定义编译器不兼容。其次，与Type2zkEVM相比，zkSync的执行速度存在质的差异。
但是，任何高级的开发生态系统都依赖于成熟的“脚手架”基础设施，包括方便的、模块化的、调试和测试工具。如果正如Vitalik所假设的那样，由于字节码的差异，大部分EVM本地调试工具将无法移植到zkSync，那么zkSync将不得不开发自己的测试和调试工具套件。与更可组合的Type2zkEVM竞争对手(如PolygonHermez和Scroll)相比，这是额外的开销，可能最终会阻碍zkSync作为L2解决方案的采用速度。
ZK-Rollup的未来
在zkEVM的竞争中有许多竞争对手，可以说，我们看到一个功能齐全的zkEVM只是一个时间问题。但接下来呢？ZK-Rollup的长期优势来自于使用该解决方案的项目。
目前，DeFi、GameFi和移动应用程序是ZK-Rollup基础设施的主要受益者。DeFi和GameFi从根本上来说都是规模经济，因为它们在有很多人使用它们的环境中蓬勃发展。像移动钱包这样的移动应用程序也给大众消费者打开了闸门。因此，在这些情况下使用ZK-Rollup非常有意义。
但这绝不是ZK-Rollup用途的极限。现在这仅仅是一个开始。ZK-Rollup之于以太坊，就像5G之于互联网。正如5G可以实现物联网应用和系统的新世界一样，ZK-Rollup也可能打开“区块链物联网”的闸门，允许我们物理世界的数字设备——冰箱、手表、红绿灯等——与以太坊上的智能合约集成。
反对物联网的最大论点之一是，它将允许大型科技公司越界进入我们的日常生活。但是有了“区块链物联网”，我们就可以享受物联网带来的便利，而不用担心我们的智能设备在一个集中的数据库中被泄露。我们可以拥有便利和隐私，而不是方便或隐私。这就是ZK-Rollup向我们承诺的世界。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。