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

编者按：本文来自登链社区，Odaily星球日报经授权转载。

Curve和MatterLabs团队很高兴宣布以安全且去中心化的方式向以太坊扩展迈出了一大步：今天，我们和CurveFinance一起发布了第一个常驻dapp的zkSyncL2智能合约测试网。>>**演示demo!**<<在Zinc上的Curve合约Zinc文档为什么选择ZKRollup？

扩展性是以太坊一个迫切的需求-隧道尽头有一个亮灯。VitalikButerin刚刚宣布Rollup是现阶段扩展以太坊的“唯一选择”，突出显示了其(/matter-labs/evaluating-ethereum-l2-scaling-solutions-a-comparison-framework-b6b2f410f955"独特的无需信任安全保证")。ZKRollup(ZKR)是现有的两种Rollup版本之一，另一种是OptimisticRollup(简写：OR)。两种方法都有其取舍(参见详细比较)。这是主要的实际差异：安全-即使使用单个验证者，ZKRollup也非常安全，因为它们依靠纯数学，而不是进行持续的经济激励活动来确保资金安全。除了密码学假设外，ZKR与基础L1一样安全。这对于处理资产总值高的协议尤其重要。与ZKR相比，OptimisticRollup具有强大的反网络效应：其安全性与锁定价值成比例地降低。实际上，需要控制资本上限(数千万美元的范围内)，才能安全地放如在单个OptimisticRollup中，才能保持对对L1的高度合理攻击的抵抗.只要以太坊仍然是PoW链，就无法缓解。最终确定性。ZKRollup的最终确定性时间(分钟)短，因此支持资本快速退回到L1。相反，OptimisticRollup被迫在快速退出和资本效率退出之间进行选择，但不能两者兼有。大多数研究人员认为，OR至少需要一个星期的争议延迟时间。这对于与L1上的合约(至少将在最初)继续在生态系统中发挥重要作用的合约的互操作性非常重要。可编程性-通过OptimisticRollup支持完全的EVM兼容性更加容易。通常认为OR方法是将现有以太坊智能合约引入L2的唯一可行方法。但是，这种情况即将改变。ZKRollup中的智能合约？

观点：就算是美国经济减速或衰退，美联储都不大可能停止紧缩:6月15日消息，随着公布的数据显示美国5月通胀超预期，市场对于美联储紧缩加码的担忧再度升温。此前市场一度出现了“通胀见顶论”，但是在美国5月CPI同比和环比均超预期的情况下该预测被彻底推翻。美国高通胀持续时间会很长，且回落缓慢，美联储加息和缩表等紧缩政策作用于需求端，对供应冲击带来的通胀压力缓解作用很小。参照20世纪70年代滞涨期的经验，美联储可能不得不付出经济减速或衰退的代价来遏制通胀。就算是美国经济减速或衰退，美联储都不大可能停止紧缩。(金十)[2022/6/16 4:30:13]

直到最近，在ZKRollup中支持任意用户定义的智能合约还是一项极富挑战性的任务。但是这些天来，在零知识证明领域中事情发展很快。2020年带来了几项突破，最终使之成为可能：MatterLabs引入了Zinc编程语言和对SNARK友好的ZincVM，并实现了以太坊的递归PLONK证明验证。这些技术的结合将推动zkSync上的实现智能合约。ZincVM如何工作？

观点：如果比特币下跌，科技股将受到严重打击:全球最知名的大师级投资专家之一的Mark Mobius在接受采访时表示，比特币与科技股票市场之间的关联非常紧密，如果比特币下跌，科技股将受到严重打击。他还表示，金价下跌是因为比特币越来越受欢迎。（U.Today）[2021/3/10 18:33:34]

合约以Zinc编程语言编写并编译。编译器输出是双重的：Zinc虚拟机的字节码。合约的SNARK验证密钥。ZincVM字节码+验证密钥可以完全无许可的方式部署到zkSync网络。合约将在L2中被分配一个新地址。每当用户与该合约进行交互时，zkSync的验证程序将执行ZincVM操作码并产生对交易有效性的零知识证明–友好的SNARKZincVM的特殊设计使其成为可能。然后将由Rollup块电路针对已部署的验证密钥来递归验证该证明。然后，以太坊上的zkSync智能合约验证区块证明，以授权状态转换，所有交易状态转换可以在一个区块快速的验证。因此，zkSync上的Zinc智能合约继承了有效性证明的严格安全保证。如何为zkSync编写智能合约？

观点：美国国债收益率仍有可能降为负值，将有利于比特币:7月10日，高盛前对冲基金销售主管Raoul Pal在推特分享过去30年美国10年期国债收益率图表。图表表明，10年期国债收益率仍有望在未来数月和数年内降至0%以下。该图表描绘了债券收益率在宏观上呈下降趋势，自20世纪80年代以来一直在下降。如果收益率为负，这将是美国历史上高期限国债收益率首次低于零。

分析师们表示，这种情况对比特币来说将非常有利。早在2019年，Gemini联合创始人Cameron Winklevoss在评论全球已存在数万亿美元负收益债券时表示，“目前有17万亿美元的负利率债券。17万亿个你应该拥有比特币的理由。”比特币开发者Jimmy Song在今年3月表示，在负利率盛行的世界里，平等将会迅速减少。他认为比特币是一种合乎逻辑的解决方案，因为与法定货币相比，它相对稀缺，因此可以减轻“坎蒂利翁效应”的影响。

注：坎蒂利翁效应（Cantillion Effect）是自由主义经济学家/投资者中常见的概念，认为印钞造成巨大的不平等。（Bitcoinist）[2020/7/12]

目前，必须使用Zinc编程语言编写ZincVM的智能合约。查看最新版本的ZincBook，你将找到完整的入门指南和完整的开发人员参考。我们期待你在ZincGitter聊天室中提出的问题和反馈。Zinc目前处于封闭开发Beta版。如果你有兴趣为你的项目尝试，请与我们联系.Zinc与Solidity/Vyper有何不同？我可以移植现有的源代码吗？

观点：比特币有望成为价值储存和通胀对冲工具:美国正在印制美元并大幅削减利率以帮助民众。随着美国注入数万亿美元刺激经济，由于大多数美国人不拥有资产，可能将经历的是购买力减弱。LiquidApps首席执行官Beni Hakak认为，比特币有机会将自己打造成价值储存手段：“COVID金融危机是比特币作为一种资产类别所经历的第一次危机，虽然有人预计比特币的表现与黄金类似，但它导致比特币价格大幅下跌。随着世界经济开始重新开放，比特币的复苏相当不错，表现优于标普自低点以来的表现。随着比特币减半，这一事件在历史上一直伴随着牛市，看看比特币能否作为一种对冲通胀和价值储存的工具而被接受，将是一件有趣的事情。”在比特币减半的同时，法定货币正在扩大供应量。随着市场上对通胀的担忧再度出现，可证明稀缺性的资产被认为处于有利地位。量子经济学创始人Mati Greenspan认为，随着大规模量化宽松政策的推出，比特币将因供应稀缺而保持其未来价值。“比特币就像黄金和白银一样，可以对冲通胀。因此，如果这种货币创造的可能情景碰巧引发了通胀，那么黄金、白银和比特币很可能会对这种货币保持价值，并充当有效的对冲工具。”（Cointelegraph）[2020/5/17]

Zinc遵循简化的Rust语法，但它借鉴了Solidity的所有智能合约元素和结构体。任何有经验的Solidity/Vyper开发人员都可以在几天之内了解到它。由于Zinc在结构体上与Solidity相同，因此可以轻松地将现有的Solidity代码转换为Zinc。主要的挑战是Zinc目前尚未完全图灵完备。这意味着：禁止递归和无限循环(有限循环是OK的)。第二受欢迎的ETH智能合约语言Vyper也不是图灵完备的。因此，今天任何Vyper程序都可以同构转换为Zinc。这正是zkSync上Curve的工作方式：MatterLabs帮助Curve团队将现有的Curve合约重写为Zinc版本。它几乎逐行与原始来源相同。尽管Zinc本身不是图灵完备的，但实际上任何在Solidity可以完成的工作而只需进行很少的修改即可在Zinc中完成，部分是因为大多数Defi应用程序的代码很少需要循环或递归，部分是因为图灵完整组件可以通过利用交易级别的递归来重新实现，即合约通过外部调用来调用自己的公共方法(在zkSync中仍然可以实现)。此外我们还有更多的好消息：MatterLabs正在努力在不久的将来使Zinc图灵完备。在此之前，我们很乐意为你的团队提供支持，以使现有的Solidity代码可移植。请联系.可组合性如何？

观点：看好减半后形势，牛市一定会来:4月23日下午，XBIT举办线上AMA《行业大数据分析减半行情》直播分享，邀请了OKEx矿池负责人Alina、BTC.com CEO庄重、币信矿业CEO刘飞以及芯动科技销售总监汪生林。

四名嘉宾对减半后币价的走势表示看好，预言牛市一定会来。丰水期即将到来，刘飞认为今年矿场供应量整体是超出需求量的。汪生林表示，芯动矿机的生产和部署不会受疫情阴霾影响。此外，Alina认为，目前是矿池诞生以来竞争最激烈的时期，虽已形成三足鼎立的稳定格局，但后起之秀的爆发力不容小觑。近年来，BTC全网算力长期保持增长趋势，庄重认为，算力不会影响币价，矿机技术进步才能推动算力的逐步增长。[2020/4/23]

zkSyncL2网络中的所有合约都将能够以与以太坊主网上完全相同的方式原子地互相调用。如何管理用户密钥？

在Gitcoin赞助第7轮，zkSync被直接集成到结帐流程中，这需要信任Gitcoin网站。在此Demo中，zkSync私钥永远不会离开connect.zksync.dev的范围。这种类型的集成类似于Web2世界中的单点登录身份验证方案，该方案广泛用于Google/Apple/Facebook登录。这实际上意味着zkSync现在可以与任何以太坊钱包和任何数量的完全不受信任的dapp结合使用。即使zkSync网站被黑，我们的方法也需要通过以太坊钱包另外签名每条消息的方式进行2次验证。目前，该签名已由我们的服务器验证，尽管递归PLONK证明现在使我们可以将其直接集成到我们的ZKP电路中，而无需太多开销。同时，我们正在与其他团队合作开发通用的以太坊L2签名标准，这将使围绕L2合约进行交互的用户体验更加令人愉悦。ZincAlef的局限性是什么？

测试网功能齐全，你可以编写智能合约，将它们部署到测试网，在本地测试它们，并生成智能合约执行的零知识证明。每笔交易都将导致zkSync测试网上的进行真实通证转移，这将反映在区块浏览器和钱包中。但是，在此阶段，ZincVM尚未集成到zkSync核心中。Zinc编程语言中的一些重要功能也可能会丢失。我们将根据社区的要求优先开发功能。

标签：ZINKSYSYNCzkSyncZINU价格KSY币dsync.aizksync币总量

ADA热门资讯