基于ZK-Rollup的Curve要来了

在过去几个月的DeFi冲击之下,以太坊网络不堪重负。Layer2和分片是以太坊未来可扩展性的路径。不过分片的成熟落地需要好些年,目前来说,最有可能的扩展路径是Layer2,而在目前的各种Layer2路径中,Rollup系列是最被看好的技术路径。

Rollup系列中主要有ZKRollup和OptimisticRollup,目前它们的进展都还算顺利。9月底Optimism团队宣布其测试网第一阶段开启;Fuel也向测试网推进;Loopring、zkSync、Deversifi也已经有了ZKRollup的落地。之前蓝狐笔记提到的Zeroswap《ZeroSwap:基于ZK-Rollup的DEX》也要推出基于ZkRollup的AMM模式DEX。Layer2在未来半年到一年时间里会呈现出蓬勃发展的态势,尤其是在DeFi领域。

而Curve在Layer2方面的推进速度较快,如今基于Zkrollup技术的Curve也马上要来了。根据MatterLabs和Curve的公告,在MatterLabs的帮助下,Curve团队将现有的Curve合约重写为Zinc版本,目前已经开放测试网进行测试。

LayerZero Labs 与 Polyhedra Network 合作推出基于零知识证明的轻客户端:5月31日消息,LayerZero Labs 宣布与 Polyhedra Network 达成战略合作,共同推出基于零知识证明技术的轻客户端,使得 LayerZero 的开发者只需要更新一个参数配置就可以使用 Polyhedra Network 开发的零知识证明协议。[2023/6/1 11:51:12]

Curve?的Layer2?选择

ETC Group推出的基于MSCI指数的加密货币ETP上市XETRA:4月24日消息,ETC Group 推出的基于 MSCI 指数的加密货币交易所交易产品 ETC Group MSCI Digital Assets Select 20 ETP 上市德意志交易所 XETRA,可以以美元和欧元进行交易。该产品跟踪前 20 大可投资数字资产,指数中的三个最大头寸目前是比特币、以太坊和 XRP。该指数由 MSCI 管理和计算,每季度重新调整一次。在重新平衡时,单个成分的权重最高为 30%。[2023/4/24 14:23:38]

之前蓝狐笔记也介绍过layer2赛道《以太坊的Layer2赛道》《以太坊layer2突破性进展:意味着什么》,也介绍过ZKRollup和OptimisticRollup的区别《一文读懂ZKRollup和OptimisticRollup:以太坊重要的扩展方向》。那么,Curve为何选择了基于ZKRollup的Layer2方案?

基于Abracadabra的Degenbox策略即将上线Fantom网络:12 月 19 日消息,基于 DeFi 2.0 算法 Stablecoin 项目 Abracadabra 的 Degenbox 策略即将上线 Fantom 网络。[2021/12/19 7:49:07]

虽然市场上每个Layer2技术都在提自己的优势,但最终来说,每个解决方案都有其均衡选择。有些协议对于安全的需求没那么高,而对于性能的需求更高,比如游戏类的项目。有些协议在安全上无法妥协,比如DeFi协议,DeFi协议锁定的总资产量超过百亿美元,在其上交易的资金量高达数十亿美元。对于这些协议来说,安全性是首要考量的因素。

当前来看,相对而言,Layer2方面,ZKRollup和OptimisticRollup获得了更多DeFi协议的青睐。尤其是ZKRollup在安全性上接近于Layer1的级别,因此也被视为是未来一段时间内最具前景的Layer2方案。当然,在这个过程中,也有可能会有新的更好的解决方案冒出来,这需要时间来催化。

观点:基于比特币构建DeFi很困难,或因其安全性以及缺乏生态系统:比特币被当作金融系统替代品,但Atomic Loans CTO Matthew Black称,其大部分活动依赖去中心化交易所和中心化借贷平台。他指出,对这些加密银行的依赖使得其用户和其他人一样面临托管风险。

以太坊也被称为无银行货币系统,通过MakerDAO和Compound等DeFi项目超越中心化加密银行。DeFi获得巨大增长,成为以太坊生态系统最重要贡献者之一。但在比特币上很难实现同样目标。Black认为,部分原因与比特币的安全构建方式有关,无需担心以太坊上那样的智能合约黑客。这使得在比特币基础上进行构建的任务变得困难,而缺乏在BTC上构建金融应用程序的生态系统,使其变得麻烦。“如果没有MetaMask或Web3生态系统,构建比特币和DeFi的门户就更难了。”有人尝试在Bitcoin DeFi进行原子互换交易,但因UI/UX问题无法获得足够吸引力。尽管代币化BTC已是很好的应用,交易量也在增加,但系统并不完美。

在BTC基础上建设很困难,但社区期待比特币生态系统能使其更独立。目前很难实现仅基于BTC的DeFi,但如果有庞大的生态系统,可能会更容易。(AMBCrypto)[2020/7/25]

Curve选择ZKRollup很重要的原因是其安全性的考量,目前Cuvre上锁定的资产量超过15亿美元,近期日交易量大约1.5亿美元,已经具备了相当的规模,无法在安全性上进行过多权衡。ZKRollup几乎可以达到Layer1级别的安全。这是Curve选择ZKRollup的一个重要原因。

动态 | 日本游戏公司double jump推出基于以太坊的区块链游戏:据Coinpost消息,日本游戏公司double jump.tokyo宣布将于今日开启新作My Crypto Heroes的预售。My Crypto Heroes基于以太坊区块链制作,知名游戏制作人冈本吉起参与了游戏设计。[2018/9/21]

相对于采用经济激励的博弈模型,ZKRollup安全性更依赖于纯粹的数学。此外,OptimisticRollup有潜在的安全性问题,会随着其锁定资产量的增加,其安全性反而可能下降。因此,它有一个相对安全的资产范围,如果资产规模过大,可能会遭遇攻击。

此外,在最终性方面,ZKRollup相对于OptimisticRollup也有一定的优势,ZKRollup可以在几分钟内达成最终性,它支持资金快速撤回到Layer1。而OptimisticRollup有一个争议延迟时间的设计,一般至少需要一周时间。

当然,OptimisticRollup也有其优势,相对于ZKRollup,它在可编程性方面更友好,它支持EVM兼容,在将现有以太坊智能合约带入Layer2方面更便捷。

为了解决这一短板,MatterLabs宣称其在ZKRollup上实现了一些突破,尤其是支持任意用户定义的智能合约方面。MatterLabs引入Zinc编程语言和对SNARK友好的ZincVM,并为以太坊实现了递归PLONK证明验证。这三者结合将支持在ZkSync上的智能合约。

*Zinc编程语言

根据MatterLabs的公告,在目前情况下,必须使用Zinc编程语言编写ZincVM的智能合约。Zinc遵循简化的Rust语法,同时借鉴了来自Solidity的所有智能合约元素和结构。Zinc在结构上跟solidity基本相同,将现有的Solidity代码转换为Zinc相对容易。不过,当前它还不支持图灵完备,因此它禁止递归和无限循环。此外,当前的Vyper程序都可以同构转换为Zinc。有经验的Solidity/Vyper的开发者可以在几天内掌握。

Zinc本身不是图灵完备,不过在它上面可以完成在Solidity上的工作,进行少量的修改即可。目前多数DeFi应用的代码很少需要循环或递归,此外,图灵完备的组件也可以通过利用交易级别的递归来重新实现。

*ZincVM

按照MatterLabs的介绍,合约用Zinc编程语言进行编写和编译。ZincVM字节码和SNARK验证密钥可以以无须许可的方式部署到zkSync网络。

合约会在Layer2内分配到一个新地址。当用户跟合约交互,zkSync的验证者会执行ZincVM操作码,并产生交易有效性的零知识证明。证明将由rollup区块电路通过已部署的验证密钥来进行递归验证。区块证明则由以太坊上部署的zkSync智能合约验证,以授权实现状态转换。在可组合性方面,所有zkSyncLayer2的合约都可以相互调用,跟以太坊主网上一样。

*用户密钥管理

根据MatterLabs的声称,zkSync直接集成到结账流程中,这种集成类似于web2.0的单点登录的身份验证方案。假设zkSync网站被黑,也需要通过用户以太坊钱包额外以消息签名方式进行双重因素验证。该签名当前由其服务器验证。为提升用户体验,MatterLabs正计划跟其他团队合作开发通用的以太坊Layer2签名标准。

*开放测试

测试网功能已经齐全。用户可以编写合约,并部署到测试网上,进行本地测试,并生成智能合约执行的零知识证明。每笔交易会在zkSync测试网上进行真实代币转移,这些都会反映到区块浏览器和钱包中。用户需要用真实的测试网ERC20代币进行交易。

*当前局限

目前ZincVM还没有集成到zkSync核心中。Zinc编程语言中的一些重要功能也可能有缺失。这有待后续的完善。

-----

风险警示:蓝狐笔记所有文章都不能作为投资建议或推荐,投资有风险,投资应该考虑个人风险承受能力,建议对项目进行深入考察,慎重做好自己的投资决策。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

[0:46ms0-5:102ms