译文出自：登链翻译计划
译者：翻译小组
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链，就无法缓解。
Curve创始人地址将3800万CRV存入Aave:金色财经报道，据Lookonchain监测，“由于CRV价格下跌16%，Curve创始人地址将3800万CRV（2450万美元）存入Aave。他总共向Aave存入2.9亿CRV（1.87亿美元），并借入7100万美元的稳定币。”[2023/6/10 21:28:21]
最终确定性。ZKRollup的最终确定性时间(分钟)短，因此支持资本快速退回到L1。相反，OptimisticRollup被迫在快速退出和资本效率退出之间进行选择，但不能两者兼有。大多数研究人员认为，OR至少需要一个星期的争议延迟时间。这对于与L1上的合约(至少将在最初)继续在生态系统中发挥重要作用的合约的互操作性非常重要。
可编程性-通过OptimisticRollup支持完全的EVM兼容性更加容易。通常认为OR方法是将现有以太坊智能合约引入L2的唯一可行方法。但是，这种情况即将改变。
ZKRollup中的智能合约？
直到最近，在ZKRollup中支持任意用户定义的智能合约还是一项极富挑战性的任务。但是这些天来，在零知识证明领域中事情发展很快。2020年带来了几项突破，最终使之成为可能：MatterLabs引入了Zinc编程语言和对SNARK友好的ZincVM，并实现了以太坊的递归PLONK证明验证。这些技术的结合将推动zkSync上的实现智能合约。
Curve Finance资金池Pool Factoryv1版本发现漏洞:Curve Finance发布推文称，资金池PoolFactoryv1版本发现漏洞，建议v1用户立即使用crv.finance提取资金。Curve.fi和PoolFactoryv2资金池不受影响。团队还表示，尽管该漏洞很严重，但它仅影响v1池，黑客无法利用它来窃取用户资金。[2021/3/5 18:17:18]
ZincVM如何工作？
合约以Zinc编程语言编写并编译。编译器输出是双重的：
Zinc虚拟机的字节码。
合约的SNARK验证密钥。
ZincVM字节码验证密钥可以完全无许可的方式部署到zkSync网络。合约将在L2中被分配一个新地址。每当用户与该合约进行交互时，zkSync的验证程序将执行ZincVM操作码并产生对交易有效性的零知识证明–友好的SNARKZincVM的特殊设计使其成为可能。然后将由Rollup块电路针对已部署的验证密钥来递归验证该证明。然后，以太坊上的zkSync智能合约验证区块证明，以授权状态转换，所有交易状态转换可以在一个区块快速的验证。
因此，zkSync上的Zinc智能合约继承了有效性证明的严格安全保证。
如何为zkSync编写智能合约？
Securitize获SEC批准对数字资产替代交易系统进行收购:证券化代币公司Securitize今日表示，已获得美国证券交易委员会（SEC）的批准，将继续进行一系列收购，分别收购一家经纪自营商和一个数字资产替代交易系统。公司将帮助企业将其证券和资产代币化，在美国证券交易委员会(SEC)和金融业监管局(FINRA)的监管下，Securitize不久将能够提供区块链证券，并在某一时刻发展自己的二级市场。（financemagnates）[2020/11/24 21:59:27]
目前，必须使用Zinc编程语言编写ZincVM的智能合约。查看最新版本的ZincBook，你将找到完整的入门指南和完整的开发人员参考。我们期待你在ZincGitter聊天室中提出的问题和反馈。
Zinc目前处于封闭开发Beta版。如果你有兴趣为你的项目尝试，请与我们联系.
Zinc与Solidity/Vyper有何不同？我可以移植现有的源代码吗？
Zinc遵循简化的Rust语法，但它借鉴了Solidity的所有智能合约元素和结构体。任何有经验的Solidity/Vyper开发人员都可以在几天之内了解到它。
由于Zinc在结构体上与Solidity相同，因此可以轻松地将现有的Solidity代码转换为Zinc。主要的挑战是Zinc目前尚未完全图灵完备。这意味着：禁止递归和无限循环(有限循环是OK的)。
yearn.finance创始人：Curve分叉项目Swerve的设计很明智:yearn.finance创始人Andre Cronje发推称，Curve分叉项目Swerve的设计非常有趣。
1. Curve代码具有版权；
2. Curve池部署在链上；
3. ETH上的代理模式允许将存储与执行分开。
Swerve所做的是添加了一个代理模式，所以执行的是版权Curve合约，但存储是在Swerve。这遵守版权，但也允许一个完整的功能分叉。从法律和技术的角度来看，这确实是明智之举。
据此前报道，9月5日，Curve分叉项目Swerve发推宣布项目正式上线并启动流动性挖矿。用户将资金存入Swerve资金池，并质押 swUSD（LP代币），即可开始赚取SWRV。此外，Swerve将不采用Y代币，而仅使用底层资产，支持DAI、USDC、USDT和TUSD。Swerve表示这将会为交易、充值和提现减少2至4倍的Gas费用。与Curve一样，Swerve采用公平代币分配，没有预挖和私募，完全由社区拥有。Swerve允许用户向Swerve提供流动性获得ySWRV代币，然后将其抵押到入SwerveDAO中可赚取SWRV代币。[2020/9/5]
第二受欢迎的ETH智能合约语言Vyper也不是图灵完备的。因此，今天任何Vyper程序都可以同构转换为Zinc。这正是zkSync上Curve的工作方式：MatterLabs帮助Curve团队将现有的Curve合约重写为Zinc版本。它几乎逐行与原始来源相同。
动态 | ABeam发布ABeam Security解决方案，增强企业网络安全性:据日经pressrelease?6日报道称，随着人工智能、物联网以及区块链技术在商业中的广泛应用使得企业活动朝着数字化的方向发展，由此产生了一系列针对企业保存的个人信息及重要信息的网络攻击事件。日本咨询公司ABeam，为了进一步加强对企业网络安全的支持，开始提供“ABeam Security”服务，这是一种在“互联时代”支持公司网络安全对策的综合解决方案。该方案集成了与网络安全相关的战略咨询服务，并将全面增强企业的网络安全性。[2018/7/6]
尽管Zinc本身不是图灵完备的，但实际上任何在Solidity可以完成的工作而只需进行很少的修改即可在Zinc中完成，部分是因为大多数Defi应用程序的代码很少需要循环或递归，部分是因为图灵完整组件可以通过利用交易级别的递归来重新实现，即合约通过外部调用来调用自己的公共方法(在zkSync中仍然可以实现)。
此外我们还有更多的好消息：MatterLabs正在努力在不久的将来使Zinc图灵完备。在此之前，我们很乐意为你的团队提供支持，以使现有的Solidity代码可移植。请联系.
可组合性如何？
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编程语言中的一些重要功能也可能会丢失。我们将根据社区的要求优先开发功能。
本翻译由CellNetwork赞助支持。
来源：https://medium.com/matter-labs/curve-zksync-l2-ethereums-first-user-defined-zk-rollup-smart-contract-5a72c496b350
参考资料
登链翻译计划:https://github.com/lbc-team/Pioneer
翻译小组:https://learnblockchain.cn/people/412
演示demo!:https://zksync.curve.fi/
在Zinc上的Curve合约:https://github.com/matter-labs/curve-zinc
Zinc文档:https://zinc.zksync.io/
刚刚宣布Rollup是现阶段扩展以太坊的“唯一选择”:https://www.trustnodes.com/2020/10/05/ethereum-rollups-are-the-only-choice-for-scalability-says-vitalik-buterin
Rollup:https://learnblockchain.cn/tags/Rollup
Optimistic?Rollup(简写：OR):https://learnblockchain.cn/tags/OptimisticRollup
参见详细比较:https://learnblockchain.cn/article/738
对L1的高度合理攻击的抵抗:https://ethresear.ch/t/nearly-zero-cost-attack-scenario-on-optimistic-rollup/6336
被迫在快速退出和资本效率退出之间进行选择:https://medium.com/starkware/the-optimistic-rollup-dilemma-c8fc470ca10c
以太坊的递归PLONK证明验证:https://medium.com/matter-labs/zksync-v1-1-reddit-edition-recursion-up-to-3-000-tps-subscriptions-and-more-fea668b5b0ff
ZincBook:https://zinc.zksync.io
ZincGitter聊天室:https://gitter.im/matter-labs/zinc
与我们联系:https://zksync.io/contact.html
联系:https://zksync.io/contact.html
Gitcoin赞助第7轮:https://gitcoin.co/blog/gitcoin-grants-round-7/
connect.zksync.dev:https://connect.zksync.dev
CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。