第二层曲线选择：ZK-Rollup的优点分析

在过去的几个月里，以太坊网络已经被DeFi的影响所淹没。第2层和碎片化是以太坊未来可扩展性的途径。然而，碎片化的成熟实施需要几年的时间。目前最有可能的扩展路径是Layer2，在目前各种二层路径中，rollup系列是最有前途的技术路径。

在rollup系列中，ZK-rollup和optimum-rollup是主要的两种类。目前，他们进展顺利。9月底，乐观团队宣布其测试网络的第一阶段已经开通；燃料也被推进到测试网络；loopring、zksync和devorifi（基于starware技术）也推出了ZK rollup。之前blue fox的说明中提到的Zeroswap“Zeroswap:DEX基于ZK rollup”也将推出基于ZK rollup的AMM模式DEX。Layer2将在未来半年大力发展，特别是在profi领域。

而curve在Layer2的推广速度更快，基于ZK-rollup技术的curve即将问世。根据matter labs和curve的公告，在matter labs的帮助下，curve团队将现有的curve合同改写为锌版，并开通了测试网络进行测试。

（https://zksync.curve.fi)

第2层曲线选择

此前，蓝狐笔记还介绍了以太坊的Layer2轨迹，以太坊Layer2的突破性进展：什么意思，还介绍了ZK上卷与最优上卷的区别：以太坊的重要扩张方向。那么，曲线为什么选择基于ZK rollup的2层方案呢？

尽管市场上的每种第2层技术都有自己的优势，但最终，每种解决方案都有自己的平衡选择。有些协议需要较少的安全性，但需要更高的性能，例如游戏项目。有些协议在安全性方面是不能妥协的，比如DeFi协议。DeFi协议的总资本产出超过100亿美元，交易的资本额高达数十亿美元。安全性是这些协议的首要考虑因素。

目前，与layer 2相比，ZK-rollup和optimum-rollup更受DeFi协议的青睐。特别是ZK-rollup在安全性方面接近于第1层的水平，因此也被认为是未来最有前途的第2层方案。当然，在这个过程中，可能会出现新的更好的解决方案，这需要时间来催化。

曲线选择ZK-rollup的重要原因是其安全性考虑。目前，cuvre锁定的资产金额超过15亿美元，近期日交易量约为1.5亿美元。它已经有了相当大的规模，不能做太多的安全权衡。ZK汇总几乎是第1层安全性。这是curve选择ZK rollup的一个重要原因。

与经济激励下的博弈模相比，ZK-rollup安全更依赖于纯数学。另外，最优上卷存在潜在的安全问题，其安全性可能随着其锁定资产的增加而下降。因此，它有一个相对安全的资产范围，如果资产过大，就有可能受到攻击。

此外，ZK-rollup在最终性方面也比最优rollup有一定的优势。ZK汇总可以在几分钟内达到最终结果，这支持资金快速返回到第一层。最优上卷有一个有争议的延迟时间设计，通常至少需要一周。

当然，最优上卷也有它的优点。与ZK-rollup相比，它在可编程性方面更友好，支持EVM兼容性，更方便将现有的以太坊智能合约引入Layer2。

为了解决这个问题，matter labs声称它在ZK rollup方面取得了一些突破，特别是在支持任何用户定义的智能合约方面。matterlabs介绍了zinc编程语言和snark友好的zinkvm，并为以太坊实现了递归plonk验证。这三者的结合将支持zksync上的智能合约。

*锌程序设计语言

根据matter labs的公告，目前锌虚拟机的智能合约必须用锌编程语言编写。锌遵循简化的rust语法，并利用SOLidity的所有智能合约元素和结构。锌在结构上与固含量基本相同，因此将现有的固形代号转换为锌相对容易。但是，它目前不支持图灵完成（稍后计划），因此禁止递归和无限循环。此外，目前的Vyper程序可以同构转换为锌。经验丰富的SOLidity/Vyper开发人员可以在几天内掌握它。

锌本身并不是图灵完备的，但它可以通过一些修改来完成关于坚固性的工作。目前，DeFi应用程序的大部分代码很少需要循环或递归。此外，图灵的完整组件也可以通过使用事务级递归来重新实现。

*锌VM

根据matter labs的介绍，合同是用锌编程语言编写和编写的。zync虚拟机字节码和snark认证密钥可以在未经许可的情况下部署到zksync网络。

合同将在Layer2分配一个新地址。当用户与契约交互时，zksync的验证器将执行zync VM操作码，并生成交易有效性的零知识证明。该证明将由rollup块电路通过部署的认证密钥递归地验证。块证明由部署在以太坊上的zksync智能合约验证，以授权状态转换。在可组合性方面，ZKSyncLayer2的所有契约都可以相互调用，就像以太坊主网上一样。

*用户密钥管理

根据matterlabs的说法，zksync直接集成到签出过程中，类似于Web2.0的单点登录认证方案。假设zksync网站被黑客入侵，还需要用户以太坊钱包以消息签名的形式进行验证。签名当前由其服务器验证。为了提高用户体验，matter实验室正计划与其他团队合作，开发一个通用的以太坊第2层签名标准。

*开放式测试

网络测试功能齐全。用户可以编写合同，将其部署到测试网络，进行本地测试，并生成智能合约执行的零知识证明。每一笔交易都会在zksync测试网络上进行真实的代币转账，这将反映在区块浏览器和钱包中。用户需要使用真正的ERC20代币进行交易。

*当前限制

目前，锌VM还没有集成到zksync核心中。锌编程语言中的一些重要函数也可能丢失。这需要进一步改进。