Matter Labs ：引介ZK Stack —— 构建ZK驱动的主权链模块化框架
用于构建模块化、主权、ZK 驱动的超级链的框架
原文标题：Introducing the ZK Stack
原文作者：zkSync
原文来源：matter-labs
编译：Kate, Marsbit
上周，我们分享了ZK Credo的初稿：一份关于ZK技术和价值观重塑互联网的基本原则的宣言。本文件阐明了我们认为去中心化的区块链网络所必需的关键属性，以利用ZK的力量作为新兴的价值互联网的基础。
今天，我们很高兴地分享我们实现这一使命的扩展愿景：ZK堆栈（ZK Stack），一个用于构建ZK驱动的主权链的模块化框架。
ZK Stack一览
•免费：ZK Stack是在完全许可的MIT/Apache开源许可证下开发的，确保其免费可用，我们强烈鼓励你根据自己的需要贡献和使用它。
•可组合：使用ZK Stack构建的超级链可以在无需信任的网络中无缝连接，具有低延迟和共享流动性。
•模块化：定制和塑造超级链的各个方面，从排序器和数据可用性模式的选择到定义自己的代币经济。
•久经考验：zkSync Era是以太坊上采用最广泛的ZK rollup, TVL和交易量的可观交易证明了这一点。有了这样的记录，ZK Stack在安全性和可靠性方面是一个安全的选择。
•面向未来：ZK rollups是以太坊扩展的未来。为了充分发挥 ZK 超能力的潜力，从一开始就构建正确的架构至关重要。
什么是ZK Stack？
ZK Stack代表了我们对ZK Credo中概述的挑战的回应。由于目前还没有完全符合所需属性的解决方案，我们觉得有必要创建一个解决方案并将其提供给社区。
ZK Stack是一个免费的模块化开源框架，旨在基于zkSync Era的代码构建定制的ZK驱动的L2和L3(称为超级链)。
ZK Stack的核心提供了两个关键功能：主权与无缝连接。创建者(你)拥有代码的全部权利，并享有不受限制的自主权来定制和塑造链的各个方面。超级链独立运行，仅依赖以太坊L1来实现其活跃性和安全性，而超级桥网络促进了每个超级链的互连，从而实现无需信任、快速(几分钟内)和廉价(单笔交易成本)的互操作性。
zkSync Era 在这个超可扩展的统一流动性网络中处于领先地位，它是超级链的先驱。
对于zkSync核心团队来说，ZK Stack也是一个重要的范式转变。在此之前，我们一直专注于尽可能快地构建最先进的ZK技术，最终在创纪录的时间内推出并采用了zkSync Era——第一个与EVM兼容的ZK rollup。然而，正如俗话所说，“如果我们想走得远，就一起走。” 我们当前的首要任务是帮助众多团队理解 ZK Stack 并为其做出贡献。随着更多超级链的推出，核心贡献者的数量将会增长，社区将成为zkSync网络的真正所有者，使其能够维护 ZK Credo中所体现的精神和价值观。
ZK Stack 适合谁？
ZK Stack并不适合所有人。如果你正在构建一个通用的DeFi dApp或NFT项目，将其部署在现有的超级链(如zkSync Era)上将是一个更简单的过程，让您能够与生态系统中的其他协议同步组合，从而实现像闪存贷这样的功能。
但是，在两种情况下，你可能更喜欢在ZK Stack上构建自己的超级链：
1.当你需要为你的区块链量身定制时。
2.当你对与更广泛的生态系统的异步连接感到满意时。
示例(并非详尽无遗)：
•如果你正在构建游戏或社交网络，并且需要一个不受其他 dApp和用例负担的轻量级排序器。
•对于那些构建一个重视低延迟排序的交换应用链(想想dYdX)。
•银行或企业寻求封闭的私有链，同时与生态系统的其他部分保持互连。
•如果你的目标是构建一个能够相互交互的应用程序网络，不需要x链桥中固有的信任假设，并且成本最低。
•对于你的用例与代币紧密相关并且你打算将其用作系统的基本代币的场景。
为什么选择 ZK Stack？
关于【Matter Labs ：引介ZK Stack —— 构建ZK驱动的主权链模块化框架】的延伸阅读
一文轻松看懂什么是拉格朗日ZK Prover网络
Lagrange ZK Prover是加密行业首个生产就绪的ZK Prover网络，利用EigenLayer和网关实现与以太坊相同的安全级别。Prover是生成ZK证明的程序，网关类似于经理，将证明请求分发给Prover。第一个网关是Lagrange自己的ZK协处理器。总的来说，Lagrange ZK Prover网络为应用程序安全地生成ZK证明。
一个堪比POW矿业的全新市场？ZK硬件加速大讨论
本次Space讨论了ZK挖矿技术对以太坊的影响，包括对Danksharding路线图的影响、Aleo挖矿算法的传言、ZK挖矿的愿景和商业化、矿工收益模型以及解决不同矿工效率差异的问题。嘉宾们认为ZK技术可以提高轻客户端和Verkle Tree的效率，但生成ZK证明的速度仍需改进。Vitalik强调了ZK证明对协议效能的重要性。Cysic是一家提供ZK proof generation服务的初创公司，推出了小型ZK加速卡，方便开发人员和普通用户。嘉宾们讨论了ZK Prover Market的收益模型和市场前景，认为随着越来越多的项目采用ZK技术，对Prover的需求也会增加。同时，他们也提出通过协议设计和硬件选择来解决不同矿工的效率差异问题。
简短的回答是：它是面向未来的。
人们不可能在建造齐柏林飞艇的同时，把螺旋桨换成涡轮风扇发动机。
人们不可能铺设一条窄轨铁路，然后在上面发射子弹头列车。
人们不可能建造一个天然气表，然后用作高压液化天然气接收站。
每一次根本性的技术转变都需要重新设计和调整系统的各个方面，以充分发挥该技术的潜力。如果你不从一开始就掌握这些知识，以后就很难利用它了。最终，你将需要进行迁移，消除旧技术上积累的所有网络效应。
ZK技术解锁了现有非ZK解决方案无法实现的独特超能力。利用这些超能力需要创新和开辟新道路的勇气，这正是我们在zkSync Era所做的。
以下是一些值得注意的例子：
•神奇的用户体验：ZK Stack拥有当前L2领域唯一的原生账户抽象。它的设计受益于我们支持ZK的架构中的无Gas调用数据。
•压缩：由于ZK证明的简洁性，某些交易类型(如预言机更新)在ZK Stack上的成本将比其他rollup平台便宜1000倍。
•超低成本：除了ZK rollup模式(Hyperchain帐户完全继承以太坊的安全性)之外，ZK Stack还支持可选扩展，为适当的用例提供极其实惠的zkPorter帐户。
我们将开始一系列技术深入研究，其中我们将解释ZK Stack架构的基本原理和细节。为了促进深入和富有成果的讨论，我们将逐一讨论ZK Credo中的原则。今天，我们将重点讨论ZK Stack最突出的价值主张：超可扩展性（Hyperscalability）。
超可扩展性
ZK Stack允许你在不牺牲互操作性和可组合性的情况下构建自己的主权超级链。
每个超级链都无缝集成到我们无限扩展的生态系统中，由共享证明者和分形扩展提供支持，从而形成一个完整的流动性网络。在这个生态系统中，用户可以以无需信任的方式快速转移他们的资产(在几分钟内)，并且不会通过Hyperbridges在超级链上产生任何额外的成本。智能合约将跨链异步调用彼此。超级链本身将具有主权，使他们能够加入其他生态系统，如果他们选择离开，也可以带走他们的资产。
阅读更多关于Hyperchains的信息
https://blog.matter-labs.io/introduction-to-hyperchains-fdb33414ead7
如何开始
在接下来的几周里，我们将对代码库进行修改，使其更容易签出、配置和部署ZK Stack的实例。我们的最终目标是一键部署！
如果你是有兴趣参与其中的开发人员，我们鼓励你与我们联系并协助我们加快实现这一目标的进程。
探索 zkSync Era 文档：https://era.zksync.io/docs/
我们目前正在协助几个试点项目采用ZK Stack，这将使我们能够收集反馈并改善开发人员的体验。如果您希望成为这个群体的一员，请发送电子邮件至[email protected]。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：Marsbit，如有侵权请联系删除。转载或引用请注明文章出处！
