首页项目动态文章详细

Curve + zkSync L2:ETH的ZK Rollup智能合约
  • 项目动态

登链社区2020-11-22 15:44:32 12106

摘要:zkSync L2 收集中的全部合约都将可以或许以与ETH主网上完整雷同的体式格局原子地相互挪用。

Curve + zkSync L2:以太坊的ZK Rollup智能合约

Curve 以及 Matter Labs 团队很快乐公布以平安且去中央化的体式格局向ETH扩大迈出了一年夜步:本日,咱们以及 Curve Finance 一同公布了第一个常驻 dapp 的 zkSync L2 智能合约测试网。

>> **演示 demo!**[3] <<

正在 Zinc 上的 Curve 合约[4]

Zinc 文档[5]

为何挑选 ZK Rollup ?

扩大性因此太坊一个急迫的需要 - 地道止境有一个亮灯。Vitalik Buterin 方才公布 Rollup 是现阶段扩大ETH的“独一挑选”[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]. 只需ETH仍旧是 PoW 链,就没法减缓。

终极断定性。ZK Rollup 的终极断定性工夫(分钟)短,因而撑持资源疾速退回到 L1(L1:第一层,即ETH本身收集)。相同, Optimistic Rollup 自愿正在疾速加入以及资源服从加入之间举行挑选[11],但不克不及二者兼有。年夜少数研讨职员以为,OR 至多必要一个礼拜的争议耽误工夫。这关于与 L1 上的合约(至多将正在最后)继承正在生态体系中发扬紧张感化的合约的互操纵性十分紧张。

可编程性 - 经过 Optimistic Rollup 撑持完整的 EVM 兼容性愈加轻易。凡是以为 OR 办法是将现有ETH智能合约引入 L2 (L2 :二层收集)的独一可行办法。可是,这类环境行将改动。

ZK Rollup 中的智能合约?

直到近来,正在 ZK Rollup 中撑持恣意用户界说的智能合约照旧一项极富挑衅性的使命。可是这些天来,正在零常识证实范畴中事变开展很快。2020 年带来了多少项打破,终极使之成为大概:Matter Labs 引入了 Zinc 编程言语以及对于 SNARK 友爱的 Zinc VM,并完成了ETH的递归 PLONK 证实考证[12]。这些技能的联合将推进 zkSync 上的完成智能合约。

Zinc VM 怎样任务?

合约以 Zinc 编程言语编写并编译。编译器输入是两重的:

  • Zinc 假造机的字节码。

  • 合约的 SNARK 考证密钥。

Zinc VM 字节码+考证密钥能够完整无允许的体式格局摆设到 zkSync 收集。合约将正在 L2 中被分派一个新地点。每一当用户与该合约举行交互时,zkSync 的考证步伐将实行 Zinc VM 操纵码并发生对于生意业务有用性的零常识证实 – 友爱的 SNARK Zinc VM 的特别计划使其成为大概。而后将由 Rollup 块电路针对于已经摆设的考证密钥来递归考证该证实。而后,ETH上的 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 的)。

第二受接待的 以太坊 智能合约言语 Vyper 也没有是图灵齐备的。因而,本日任何 Vyper 步伐均可以同构转换为 Zinc。这恰是 zkSync 上 Curve 的任务体式格局:Matter Labs 资助 Curve 团队将现有的 Curve 合约重写为 Zinc 版本。它险些逐行与原始泉源雷同。

只管 Zinc 自己没有是图灵齐备的,但现实上任安在 Solidity 能够实现的任务而只要举行很少的修正便可正在 Zinc 中实现,部门是由于年夜少数 Defi 使用步伐的代码很少必要轮回或者递归,部门是由于图灵完备组件能够经过使用生意业务级此外递返来从头完成,即合约经过内部挪用来挪用本身的大众办法(正在 zkSync 中仍旧能够完成)。

别的咱们另有更多的好音讯:Matter Labs 在积极正在没有久的未来使 Zinc 图灵齐备。正在此以前,咱们很甘愿答应为你的团队供给撑持,以使现有的 Solidity 代码可移植。请接洽[16].

可组合性怎样?

zkSync L2 收集中的全部合约都将可以或许以与ETH主网上完整雷同的体式格局原子地相互挪用。

怎样办理用户密钥?

正在Gitcoin 资助第 7 轮[17],zkSync 被间接集成到结帐流程中,这必要信托 Gitcoin 网站。正在此 Demo 中,zkSync 私钥永久没有会脱离connect.zksync.dev[18]的范畴。这类范例的集成雷同于 Web2 天下中的单点登录身份考证计划,该计划普遍用于 Google/Apple/Facebook 登录。这现实上象征着 zkSync 如今能够与任何故太坊钱包以及任何数目的完整没有受信托的 dapp 联合利用。

纵然 zkSync 网站被黑,咱们的办法也必要经过ETH钱包别的署名每一条音讯的体式格局举行 2 次考证。现在,该署名已经由咱们的效劳器考证,只管递归 PLONK 证实如今使咱们能够将其间接集成到咱们的 ZKP 电路中,而无需太多开支。

同时,咱们在与其余团队互助开辟通用的ETH L2 署名尺度,这将使环绕 L2 合约举行交互的用户体验愈加使人愉悦。

Zinc Alef 的范围性是甚么?

测试网功用齐备,你能够编写智能合约,将它们摆设到测试网,正在当地测试它们,并天生智能合约实行的零常识证实。每一笔生意业务都将招致 zkSync 测试网上的举行实在通证转移,这将反应正在区块欣赏器以及钱包中。

可是,正在此阶段,Zinc VM 还没有集成到 zkSync 焦点中。Zinc 编程言语中的一些紧张功用也大概会丧失。咱们将依据社区的请求优先开辟功用。





本文标题:Curve + zkSync L2:ETH的ZK Rollup智能合约  文章来自网络收集整理,文章观点不代表 【HI币圈导航 】观点,不构成投资建议!若有侵权或不实内容请联系客服处理,转载请标明出处!

快审站点推荐

发表评论

  • * 评论内容:
  •  

精彩评论

  • 无任何评论信息!
打赏本站
欢迎投稿
欢迎投稿
风险提示
交易平台 行情数据 区块查询 挖矿矿池 资讯门户 极客社区 基础公链 匿名隐私 跨链侧链 平台币类 区块链钱包 应用分发 区块链资讯 快注册自助提交
火币交易所