Curve+zkSyncL2：以太坊的ZKRollup智能合约_数字货币

[2021-01-31 21:39:30] 来源：编辑：wangjia 点击量：

评论 点击收藏

导读： Curve 和 Matter Labs 团队很高兴宣布以安全且去中心化的方式向以太坊扩展迈出了一大步：今天，我们和 Curve Finance 一起发布了第一个常驻 dapp 的 zkSync L2

Curve 和 Matter Labs 团队很高兴宣布以安全且去中心化的方式向以太坊扩展迈出了一大步：今天，我们和 Curve Finance 一起发布了第一个常驻 dapp 的 zkSync L2 智能合约测试网。

一文了解怎样提高从波卡国库申请 DOT 的成功率？

目前波卡国库中发起了 25 个支出提案，已通过 18 个，一共拨款 104,054 个 DOT。平均每个支出议案得到约 5780 个 DOT（价值约 29,000 美金）资助。

Curve 和 Matter Labs 团队很喜悦宣布以平安且去中央化的方式向以太坊扩展迈出了一大步：今天，我们和 Curve Finance 一起公布了第一个常驻 dapp 的 zkSync L2 智能合约测试网。

为什么选择 ZK Rollup ？

扩展性是以太坊一个迫切的需求 - 隧道终点有一个亮灯。Vitalik Buterin 刚刚宣布 Rollup 是现阶段扩展以太坊的“唯一选择”[6]，突出显示了其[怪异的无需信托平安保证](/ matter-labs/evaluating-ethereum-l2-scaling-solutions-a-comparison-framework-b6b2f410f955 "怪异的无需信托平安保证") 。

ZK Rollup (ZKR)是现有的两种 Rollup[7] 版本之一，另一种是 Optimistic Rollup (简写：OR)[8]。两种方式都有其取舍(参见详细对照[9])。这是主要的现实差异：

平安 - 纵然使用单个验证者，ZK Rollup 也异常平安，由于它们依赖纯数学，而不是举行连续的经济激励流动来确保资金平安。除了密码学假设外，ZKR 与基础 L1 一样平安。这对于处置资产总值高的协议尤其主要。与 ZKR 相比， Optimistic Rollup 具有壮大的反网络效应：其平安性与锁定价值成比例地降低。现实上，需要控制资源上限(数千万美元的局限内)，才气平安地放如在单个 Optimistic Rollup 中，才气保持对对 L1 的高度合理攻击的抵制[10]. 只要以太坊仍然是 PoW 链，就无法缓解。

最终确定性。ZK Rollup 的最终确定性时间(分钟)短，因此支持资源快速退回到 L1（L1：第一层，即以太坊自身网络）。相反， Optimistic Rollup 被迫在快速退出和资源效率退出之间举行选择[11]，但不能两者兼有。大多数研究人员以为，OR 至少需要一个星期的争议延迟时间。这对于与 L1 上的合约(至少将在最初)继续在生态系统中施展主要作用的合约的互操作性异常主要。

可编程性 - 通过 Optimistic Rollup 支持完全的 EVM 兼容性加倍容易。通常以为 OR 方式是将现有以太坊智能合约引入 L2 （L2 ：二层网络）的唯一可行方式。然则，这种情形即将改变。

ZK Rollup 中的智能合约？

直到最近，在 ZK Rollup 中支持随便用户界说的智能合约照样一项极富挑战性的义务。然则这些天来，在零知识证实领域中事情生长很快。2020 年带来了几项突破，最终使之成为可能：Matter Labs 引入了 Zinc 编程语言和对 SNARK 友好的 Zinc VM，并实现了以太坊的递归 PLONK 证实验证[12]。这些手艺的连系将推动 zkSync 上的实现智能合约。

Zinc VM 若何事情？

合约以 Zinc 编程语言编写并编译。编译器输出是双重的：

Zinc 虚拟机的字节码。

合约的 SNARK 验证密钥。

Zinc VM 字节码+验证密钥可以完全无允许的方式部署到 zkSync 网络。合约将在 L2 中被分配一个新地址。每当用户与该合约举行交互时，zkSync 的验证程序将执行 Zinc VM 操作码并发生对买卖有效性的零知识证实 – 友好的 SNARK Zinc VM 的特殊设计使其成为可能。然后将由 Rollup 块电路针对已部署的验证密钥来递归验证该证实。然后，以太坊上的 zkSync 智能合约验证区块证实，以授权状态转换，所有买卖状态转换可以在一个区块快速的验证。

因此，zkSync 上的 Zinc 智能合约继续了有效性证实的严酷平安保证。

若作甚 zkSync 编写智能合约？

现在，必须使用 Zinc 编程语言编写 Zinc VM 的智能合约。查看最新版本的Zinc Book[13]，你将找到完整的入门指南和完整的开发人员参考。我们期待你在Zinc Gitter 聊天室[14]中提出的问题和反馈。

Zinc 现在处于封锁开发 Beta 版。若是你有兴趣为你的项目实验，请与我们联系[15].

Zinc 与 Solidity/Vyper 有何差别？我可以移植现有的源代码吗？

Zinc 遵照简化的 Rust 语法，但它借鉴了 Solidity 的所有智能合约元素和结构体。任何有履历的 Solidity/Vyper 开发人员都可以在几天之内领会到它。

由于 Zinc 在结构体上与 Solidity 相同，因此可以轻松地将现有的 Solidity 代码转换为 Zinc。主要的挑战是 Zinc 现在尚未完全图灵完整。这意味着：克制递归和无限循环(有限循环是 OK 的)。

第二受欢迎的 ETH 智能合约语言 Vyper 也不是图灵完整的。因此，今天任何 Vyper 程序都可以同构转换为 Zinc。这正是 zkSync 上 Curve 的事情方式：Matter Labs 辅助 Curve 团队将现有的 Curve 合约重写为 Zinc 版本。它险些逐行与原始泉源相同。

只管 Zinc 自己不是图灵完整的，但现实上任何在 Solidity 可以完成的事情而只需举行很少的修改即可在 Zinc 中完成，部门是由于大多数 defi 应用程序的代码很少需要循环或递归，部门是由于图灵完整组件可以通过行使买卖级别的递归来重新实现，即合约通过外部挪用来挪用自己的公共方式(在 zkSync 中仍然可以实现)。

此外我们另有更多的好新闻：Matter Labs 正在起劲在不久的将来使 Zinc 图灵完整。在此之前，我们很乐意为你的团队提供支持，以使现有的 Solidity 代码可移植。请联系[16].

可组合性若何？

zkSync L2 网络中的所有合约都将能够以与以太坊主网上完全相同的方式原子地相互挪用。

若何治理用户密钥？

在Gitcoin 赞助第 7 轮[17]，zkSync 被直接集成到结帐流程中，这需要信托 Gitcoin 网站。在此 Demo 中，zkSync 私钥永远不会脱离connect.zksync.dev[18]的局限。这种类型的集成类似于 Web2 天下中的单点登录身份验证方案，该方案普遍用于 Google/Apple/Facebook 登录。这现实上意味着 zkSync 现在可以与任何以太坊钱包和任何数目的完全不受信托的 dapp 连系使用。

纵然 zkSync 网站被黑，我们的方式也需要通过以太坊钱包另外署名每条新闻的方式举行 2 次验证。现在，该署名已由我们的服务器验证，只管递归 PLONK 证实现在使我们可以将其直接集成到我们的 ZKP 电路中，而无需太多开销。

同时，我们正在与其他团队合作开发通用的以太坊 L2 署名尺度，这将使围绕 L2 合约举行交互的用户体验加倍令人愉悦。

Zinc Alef 的局限性是什么？

测试网功效齐全，你可以编写智能合约，将它们部署到测试网，在内陆测试它们，并天生智能合约执行的零知识证实。每笔买卖都将导致 zkSync 测试网上的举行真实通证转移，这将反映在区块浏览器和钱包中。

然则，在此阶段，Zinc VM 尚未集成到 zkSync 核心中。Zinc 编程语言中的一些主要功效也可能会丢失。我们将凭据社区的要求优先开发功效。