ZK汇总曲线的选择主要基于安全考虑。
标题:一篇6031写作:基于ZK汇总的Blue Fox笔记即将面世
在过去的几个月里,以太坊网络已被DeFi的影响所淹没。第2层和分段是以太坊未来的可扩展性路径。然而,这块蛋糕的成熟落地需要几年时间。目前,最有可能的扩展路径是第2层,在当前的第2层路径中,rollup系列是最有希望的技术路径。
汇总系列主要包括ZK汇总和**汇总。目前他们的进展仍然顺利。该团队宣布,测试网络的第一阶段已开通;fuel也已升级为测试网络;loopring、zksync、devisifi和ZK;ZK rollup的登陆也将在月底提供。以前的blue fox说明提到,Zero Swap:基于ZK汇总也引入了blue fox notes中提到的基于ZK汇总的AMM模式DEX。Layer 2将在未来6个月至1年内蓬勃发展,尤其是在DeFi领域。
而且曲线在第2层技术方面有了快速发展。现在,基于zk汇总技术的曲线技术即将推出。根据材料实验室和曲线的公告,curve团队已在材料实验室的帮助下将现有的曲线合同改写为锌版本,现在已经开放了测试网络。
https://zksync.curve.fi
为“曲线”选择layer2
那么,curve为什么选择基于ZK汇总的2层方案?
尽管市场上的每种2层技术都有自己的优势,但最终,每种解决方案都有其平衡的选择。有些协议对安全性要求不高,但对性能要求较高,如游戏项目。有些协议在安全性方面没有受到损害,比如DeFi协议,它锁定了超过100亿美元的总资本,涉及数十亿美元。安全是这些协议的首要考虑因素。
目前,在第2层方面,ZK rollup和optimal rollup在DeFi协议中获得了更多的青睐。尤其是,ZK汇总方案接近安全级别的1级,也被认为是未来最有希望的第2层方案。当然,也有可能在这个过程中出现新的更好的解决方案,这需要时间来催化。
curve选择ZK rollup的最重要原因是考虑了其安全性。目前,cuvre锁定资产金额超过150亿美元,近期日交易量约1500亿美元,已具备适当规模,不能进行过多的证券权衡。ZK汇总几乎与1层级别一样安全。这是curve选择ZK rollup作为曲线的一个重要原因。
与具有经济激励的博弈模相比,ZK-rollup安全更依赖于纯数学。此外,optimal rollup存在潜在的安全问题,其安全性可能会随着其锁定资产的增加而下降。因此,它有一个相对安全的资产范围,如果资产过大,就有可能受到攻击。
此外,ZK rollup比Optimium rollup有一些优势,在最终性方面,ZK rollup可以在几分钟内实现最终性,这支持资金快速回笼到第一层。一般来说,优化设计至少需要一周的时间。
当然,**汇总也有其自身的优势。与ZK rollup相比,它更具可编程性,支持EVM兼容性,更方便将现有以太坊智能合约纳入第2层。
为了解决这一问题,matter labs声称其在ZK rollup方面取得了一些突破,特别是它支持任何用户定义的智能合约。Matter labs引入了对Snap友好的锌编程语言和虚拟机,并实现了以太坊的递归plonk验证。这三者的结合将支持zksync上的智能合约。
锌程序设计语言
根据matter labs公告,在当前情况下,必须使用锌编程语言来编写锌VM智能合约。锌遵循简化的rust语法,并利用SOLidity的所有智能合约元素和结构。锌在结构上与固形性基本相同,将现有的固形代号转换为锌代号相对容易。但是,它目前不支持图灵完成(稍后计划),因此禁止递归和无限循环。此外,当前的Vyper程序可以同构转换为锌。有经验的SOLidity/Vyper开发人员可以在几天内掌握它。
锌本身并不是图灵完备的,但关于坚固性的工作只需稍加修改就可以完成。目前,大多数DeFi应用程序代码很少需要循环或递归,图灵完全组件也可以通过使用事务级递归来重新实现。
锌VM
根据matter labs的介绍,合同是用锌编程语言编写和编译的。锌VM字节码和快照身份验证密钥可以在未经许可的情况下部署到zksync网络。
合同在第2层分配了一个新地址。当用户与合约交互时,zksync的验证者将执行锌虚拟机操作码并生成交易有效性的零知识证明。验证将通过部署的验证密钥由rollup块电路递归验证。智能合约的状态由智能合约的状态验证。在可组合性方面,zksync第2层的所有合约都可以相互调用,就像以太坊主网络上一样。
用户密钥管理
根据matter labs声称,zksync直接集成到结账流程中,类似于Web2.0单点登录身份验证方案。假设zksync网站遭到黑客攻击,还需要通过用户以太坊钱包以消息签名的形式进行双重因素验证。签名当前由其服务器验证。为了提高用户体验,matter实验室正计划与其他团队合作,共同开发以太坊第2层签名标准。
开放式测试
测试网络功能完备。用户可以编写合同,将其部署到测试网络,进行本地测试,并生成智能合约执行的零知识证明。每笔交易都将在zksync测试网络上进行真实的代币传输,这将反映在block browser和wallet中。用户需要使用real test networkERC20代币进行交易。
当前限制
目前,锌VM尚未集成到zksync核心中。锌编程语言中的一些重要函数也可能丢失。这需要进一步改进。
源链接:议员魏欣.qq.com网站
文章链接:https://www.btchangqing.cn/118649.html
更新时间:2020年10月11日
本站大部分内容均收集于网络,若内容若侵犯到您的权益,请联系我们,我们将第一时间处理。