月亮链 月亮链
Ctrl+D收藏月亮链

QUO:深度解读zk-Sync2.0和zk-Rollups的未来_UPS

作者:

时间:1900/1/1 0:00:00

简介

"zk-Rollups"可能是今年最热门的Web3流行用语。近期,随着zk-Sync的v2.0"babyalpha"的主网上线,这种热度已经达到峰值。但在所有流行语的背后,"zk-Rollups"到底指的是什么?zk-Sync的作用在哪?在本文,我将努力深入探讨zk-Rollups的工作原理和实际用例,并阐述zk-Syncv2.0的关键技术特征,探索这项被期待已久的技术,进一步地分析它对未来影响。zk-Rollups的工作原理

为什么我们特别需要zk-Rollups?虽然以太坊很有用,但目前以太坊网络,从根本上看是一种无法规模化的经济。因为随着以太网络活动的增加,GAS价格会变的非常昂贵,尤其是在以太网络处理量突发激增的时候,这种效应就愈发明显。随着以太网络的不断发展,以太网络有限的可拓展性已成为它进一步发展的致命弱点。"Rollups"的出现就是为了解决以太坊网络的拓展性问题。以太坊Rollups本质上是一种"插件",为以太坊提供指数级别的可扩展性,从而修复它高Gas的现状。这个想法背后的逻辑很简单。想象一下,你需要从A点到B点携带5件物品。"常规"的方式是携带物品1、物品2等,一个接一个地携带。但这显然效率缓慢且繁琐,"Rollups"本质上是将5件物品“打包”到一个袋子中,因此你可以一次就把它们都携带完成,而不是分开5次来携带。在这个过程中,有两点是需要注意的:1.如何确保"Rollups"能够"容纳"所有的东西?2.如何确保"Rollups"不被?zk-Rollups是利用"零知识证明"来解决这两个问题的领先rollup技术类型之一。为了解决这些问题,Zk-Rollups会将一定数量的交易捆绑在一起,在Layer2上进行计算,并将状态变更,且将"有效性证明"提交给Layer1上的验证者,以表明计算是完整完成的。这个"有效性证明"是以"零知识证明"的形式出现的,这是一种告诉他人你知道什么而不告诉他人你怎么知道的数学方法。

Celo公布2.0路线图:与以太坊路线图深度对齐,探索回购销毁CELO代币:据官方消息,Celo在官方博客中公布了Celo 2.0路线图,Celo表示将与以太坊路线图深度对齐;通过使Celo成为一个rollup友好链来实现水平可扩展性;使Celo成为最快的EVM L1;完善CELO代币经济学并奖励贡献者,将探索回购销毁CELO以优化其价值;提供顶级开发人员体验;建立强大的钱包和应用构建模块。[2023/1/27 11:32:36]

简化的ZK-Rollup架构Source:https://immutablex.medium.com/ground-up-guide-zkevm-evm-compatibility-rollups-787b6e88108e零知识证明的一个简单例子是一个代码自动生成器。自动生成器是一个"验证者",给你一堆随机生成的测试代码,而你是一个"证明者",必须能够通过所有的测试代码来证明你有正确的代码。同时,你不会直接与自动交易器分享你的代码。你看,你刚刚就进行了一次"零知识证明",你证明了你知道的东西,但你没有说你是怎么知道的。

声音 | 北京青年报:推进区块链与司法工作深度融合是大势所趋:10月31日,北京青年报发表文章《推进区块链与司法工作深度融合是大势所趋》。文章指出,总书记指出:“区块链技术的集成应用在新的技术革新和产业变革中起着重要作用。”推进区块链等现代科技与司法工作深度融合,既是一种大势所趋的行动,更是一场观念上的革命。相信各地各级法院一定会进一步增强司法区块链建设的使命感、责任感、紧迫感,完善制度设计,加大人力、物力投入,加快司法区块链建设进程,让科学技术繁荣发展的机遇和成果更好地为司法的文明进步提供助攻,为推进国家治理体系和治理能力现代化提供坚实保障。[2019/10/31]

零知识证明案例,Source:Gradescope上面的代码自动生成器是使用"交互式零知识证明"的方式,自动生成器和代码提供者直接"交互"。相比之下,大多数zk-Rollups使用的是数学上更复杂的非交互式证明。与交互式证明相比,非交互式证明既节省时间又节省空间。虽然zk-SNARKs的技术细节超出了本文的范围,但测试代码通过的基本原理是相通的。zk-Rollups的圣杯在于零知识以太坊虚拟机(zk-EVM),它允许开发人员在不修改以太坊智能合约的情况下对DApps进行转移。但这是存在一定难度的,因为每个"问题"都需要不同的"测试代码",所以开发一个"证明算法"来解决所有可以想象的测试代码的“证明算法”,是零知识证明和zk-Rollups的技术瓶颈。正如Vitalik所说的:总的来说,我认为在短期内optimisticrollup可能会在通用的EVM计算中胜出,而ZKRollup可能会在简单的支付、交易和其他特定应用案例中胜出。但从中长期来看,随着ZK-SNARK技术的改进,ZKRollup将在所有案例中胜出。因此,从历史上看,zk-Rollups仅是针对特定应用用例的技术,其中“测试用例”定义明确且范围有限。但是一些项目正在迅速向“山上的城堡”推进,一种通用的EVM兼容zk-Rollup算法。zk-Sync2.0

动态 | Polkadot深度研究报告:架构设想锚定痛点?对比同类项目估值过高:TokenGazer发布Polkadot深度研究报告:Polkadot 创始团队在区块链开发和运营上有着丰富的经验,对公链的局限和发展方向有着深刻的理解。基于此, Polkadot 的定位也非常明确,解决伸缩性和隔离性问题。Polkadot 采用异构多链的架构,解决该问题——平行链可以满足在期上构建应用的特定需求,中继链构建基础层对平行链进行协调。

Polkadot 在经济模型上的设计也相对合理。对验证人、提名人、收集人、钓鱼人的经济激励使得 Polkadot 的网络完全能够得到有效的维护。同时,该经济模型下 DOT 有较多的使用场景,包括跨链交易手续费的支付、平行连插槽租用抵押、验证者和提名者参共识机制时的抵押、去中心化治理中的选票等——多样性的用途能够对 DOT 形成较为稳定的价值支撑。但对比同类项目,Polkadot 12 亿美金的估值或存在一定的高估。[2019/8/16]

zk-Sync2.0是目前在开发zk-EVM的众多项目之一。zk-Sync1.0要求用户重新构建其代码库的大部分内容,以便从EVM迁移到zk-Sync。与zk-Syncv1.0不同,在zk-Sync2.0中,程序员可以在几乎没有变化的情况下部署其应用程序。实际上,并非所有的zk-EVM都是等效的。它们在可组合性和高性能之间存在着明显的权衡。在这种权衡中,zk-Sync选择了高性能,从而牺牲了可组合性。在Vitalik看来,目前主要有四种不同类型的zk-EVM,这四种类型如下图所示:

声音 | 訾小春:今年将重点推动区块链等技术和邮政业深度融合:据河北新闻网消息,河北省邮政管理局局长訾小春接受采访时表示,今年将加快落实“邮政业大数据发展”行动计划,重点推动云计算、大数据、物联网、区块链、人工智能和邮政业深度融合。[2019/2/28]

zk-EVMs的类型,改编自:https://vitalik.ca/general/2022/08/04/zkevm.html正如Vitalik所述,在目前的状态下,zk-Sync2.0是第4类zk-EVM。与EVM不同,zk-Sync2.0能够使用自己的编译器编译,可以使用Solidity和高级语言编写智能合约。由于zk-Sync可以完全控制其编译器的设计,因此他们能够积极优化速度和吞吐量。但这样做的代价是,一些DApps和EVM调试工具链可能与zk-Sync2.0不兼容。从本质上看,zk-Sync与Ethereum有相同的“汽车外壳”,但换了一个引擎。事实上,在zk-Sync开发者文档中,MatterLabs声称,虽然智能合约"读取"操作可以在不改变代码的情况下集成,但智能合约的"写入"操作需要"附加代码",因为"Layer1和Layer2之间存在根本差异"。实际上,这略有误导。与其说是由于Layer1和Layer2之间的"根本差异",不如说是由于MatterLabs所追求的第4种Rollups。因为zk-Sync本质上是使用不同的编译器和字节码,基于第4种的Rollups意味着智能合约有不同的地址,但依赖于字节码分析的调试器基础设施可能无法在zk-Sync2.0上运行。在未来,zk-Sync可能会加入更多对EVM字节码的本地支持,允许系统慢慢过渡到支持更广泛的"边缘情况",也就是指第3类的Rollups。但是,对于zk-Sync的第3类和第4类的zk-Rollup来说,与PolygonHermez和ScrollLabs的第2类的Rollups相比,必须有两个重要的前提条件才能成功。首先,只有一小部分不重要的项目与zk-Sync的自定义编译器不兼容。其次,与第2类zk-EVM相比,zk-Sync的执行速度需要有质的区别。不幸的是,我个人认为这种情况不太可能发生。任何先进的开发生态系统都依赖于成熟"框架"的基础设施,包括便捷性、模块化、调试和测试工具。如果像Vitalik假设的那样,由于字节码的不同,大部分EVM原生调试工具将无法移植到zk-Sync,那么zk-Sync将不得不开发自己的测试和调试工具套件。与PolygonHermez和Scroll等可组合性更强的第2类zk-EVM相比,这是会增加额外的开销,最终可能会影响zk-Sync作为Layer2解决方案的采纳进度。zk-Rollups的未来

声音 | 互金协会李礼辉:区块链等数字技术的深度融合能够提高信用评价:据新浪财经消息,12月8日,以“探索金融与科技融合发展之道”为主题的2018第二届中国互联网金融论坛今日在京召开,中国互联网金融协会区块链研究工作组组长、中国银行原行长李礼辉表示,大数据、云计算、人工智能、区块链等数字技术的深度融合能够提高信用评价、风险定价和投资决策效率。为了更好地加强数字技术在驱动开放银行业务转型升级方面的作用,我们应该不断地推进大数据、人工智能、云计算、区块链等数字技术的集成,以效率为中心,重构金融服务流程,打造零距离、多维度、一体化的开放银行服务模式,全面提升金融服务的质效。[2018/12/8]

目前,zk-EVM竞争已经白热化,我们看到一个全功能的zk-EVM只是时间问题。但下一步是什么?一条路只有在路上有建筑物时才有用;zk-Rollups的长期力量来自使用该解决方案的项目。目前,DeFi、GameFi和移动应用是zk-Rollups基础设施的主要受益者。DeFi和GameFi从根本上说都是规模经济,因为它们在有很多用户使用的环境中发展。移动钱包等移动应用,也为懒惰或买不起台式电脑的用户打开了闸门。因此,基于这些实现情况,使用zk-Rollups有很大的实际意义。但这绝不是zk-Rollups使用的极限,这仅仅是开始,zk-Rollups之于以太坊的意义就如5G之于互联网。正如5G可以实现物联网应用和系统的新世界一样,zk-Rollups也可能打开通往"物联网"的闸门,让我们物理世界的数字设备如冰箱、手表、交通信号灯等,与以太坊上的智能合约集成。反对"物联网"的最大观点之一是,它将允许大科技公司越权进入我们的日常生活。但有了"物联网",我们可以享受物联网带来的便利,而不必担心我们的智能产品在集中数据库受到损害。我们可以同时拥有便利和隐私,而不是只能选择其一。这就是Zk-Rollups可以向我们承诺的世界。参考资料:https://blog.matter-labs.io/baby-alpha-has-arrived-5b10798bc623Adaptedfromhttps://pages.cs.wisc.edu/~mkowalcz/628.pdfhttps://vitalik.ca/general/2021/01/05/rollup.htmlhttps://www.coindesk.com/tech/2022/07/20/the-sudden-rise-of-evm-compatible-zk-rollups/https://cryptobriefing.com/the-race-scale-ethereum-zkevm-rollups/https://docs.zksync.io/dev/contracts/#porting-smart-contractshttps://vitalik.ca/general/2022/08/04/zkevm.html

标签:QUOROLROLLUPSQUO币ROLCroll币是什么意思Wolf Pups

抹茶交易所热门资讯
WEB:黑客松常客?一文速览默默发展的Web3邮箱赛道_UNFT价格

最近两年,我们看到了许多打着去中心化的名号做邮箱服务的项目,甚至可以说,Web3邮箱已经快要成为Web3黑客松的常客.

1900/1/1 0:00:00
区块链:区块链行业的达摩克利斯之剑:隐私与监管_OKCash

摘要过去几年,隐私赛道的发展经历了大概三个阶段,包括2014–2017年的隐私币爆发,2017–2020的隐私计算,2021年至今的隐私交易网络获得大量资本青睐,即使如此.

1900/1/1 0:00:00
TPS:a16z:熊市耕耘不易,这七个开发者工具可能帮到你_tps币圈

今日早间,a16zCrypto通过官方推特分享了一些该机构自己构建的工具及概念证明,内容涉及零知识证明、合约安全、权力下放等多个领域.

1900/1/1 0:00:00
WEB:浅谈Web3尚未被主流采用的六个主要原因_区块链专业学什么

Web3代表了我们今天所知道的互联网的基本演变,用去中心化的协议和社区保留的所有权取代了中心化的看门人和中介。Web3的固有特性对那些生活在加密环境中的原住民具有很大的吸引力.

1900/1/1 0:00:00
加密货币:受熊市影响,加密捐赠在美国中期选举前夕显著放缓_PAC

Odaily星球日报译者|念银思唐在11月8日中期选举前夕,由于加密货币市场持续低迷,行业高管明显放缓了捐赠举措.

1900/1/1 0:00:00
BIT:「Web3.0元宇宙招聘会线上直播分享」即将上线_bybit官网app

由微博,FaTPay联合Odaily星球日报举办「Web3.0元宇宙招聘会线上直播分享」即将上线了!时间:10月29日直播地点:@星球日报Odaily 直播介绍大厂都死磕元宇宙了?这里是VC们和.

1900/1/1 0:00:00