月亮链 月亮链
Ctrl+D收藏月亮链
首页 > ICP > 正文

ROL:Rollup:zkSync v2.0和ZK-Rollup的未来_ROLL

作者:

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

简介

“ZK-Rollup”可能是今年最热门的网络流行语。随着zkSync2.0版本“babyalpha”主网的推出,这种兴奋情绪已经达到了顶峰。但在所有这些流行语背后,“ZK-Rollup”真正指的是什么?zkSync会在哪里发挥作用呢?在本文中,我将努力深入研究ZK-Rollup的原理和实践,解释作为一个项目的zkSyncv2.0的关键技术特征,并探索这一期待已久的技术的潜在未来影响。

ZK-Rollup的原理

为什么我们需要ZK-Rollup?以太坊很棒,但在目前的状态下,该网络从根本上来说是一种规模不经济。随着网络活动的增加,gas价格昂贵得令人望而却步。随着以太坊在过去几年中越来越受欢迎,其目前有限的可扩展性已成为该网络的致命弱点。

这就是“Rollup”发挥作用的地方——以太坊的Rollup本质上是一个“插件”,为以太坊提供了额外的可扩展性,从而解决了其固有的规模不经济问题。这个想法的背后逻辑是比较简单的。假设你有5件物品需要从A点搬运到B点。“常规”方式是依次搬运第1件、第2件等。但这显然是缓慢和繁琐的。“Rollup”本质上是将所有5件物品“打包”到一个包中,这样你就可以只搬运1次而不是5次。

Bitfarms:5月产出459枚BTC,售出414枚BTC:6月2日消息,比特币矿企 Bitfarms 在 5 月份总计出售 414 枚 BTC,占到其 5 月份 459 枚 BTC 总开采量的 90.19%。通过出售比特币资产 Bitfarms 获得了 1130 万美元收益并减少了 180 万美元债务。当前 Bitfarms 储备库内比特币总量达到 510 枚,年初至今比特币产量为 2,135 枚。[2023/6/2 11:54:00]

但有两点需要注意:

我们如何确保Rollup能够“适合”所有内容?我们如何确保Rollup没有被?ZK-Rollup是一种主要的Rollup技术(另一种是OptimisticRollup),它利用“零知识证明”来解决这两个问题。为了解决这些问题,ZK-Rollup将一定数量的交易捆绑在一起,在L2上进行计算,并向L1上的验证者提交状态更改和“有效性证明”,以表明计算是完整的。这种“有效性证明”是以“零知识证明”的形式进行的,这是一种数学方法,告诉别人你知道某件事,而不告诉他们你知道什么。

近30天NFT市场盈利地址数量为77375个:金色财经报道,据NFTGo数据显示,当前NFT市场情绪指数为24,等级为“Cool”。近24小时NFT市场买家地址数量为5087个,卖家地址数量为6021个。近30天盈利地址数量为77375个,亏损地址数量为415377个。注:NFT市场情绪指数是根据波动率、交易量、社交媒体和谷歌趋势计算得出。[2023/5/2 14:38:09]

零知识证明的一个简单例子是代码自动评分程序(用于CS作业)。自动评分程序是一个“验证者”,它为我们提供一堆随机生成的测试用例,而我们是一个“证明者”,必须能够通过所有的测试用例,以证明自己有正确的代码。一直以来,我们都不会直接与自动评分程序共享代码。刚刚我们就进行了一个“零知识证明”,证明我们知道一些事情,而不用说出知道什么。

南京江北新区召开元宇宙产业生态大会:3月30日消息,近日,由江苏省工业和信息化厅、江苏省通信管理局指导,南京江北新区管理委员会、中国电子学会主办的2023中国元宇宙产业生态大会正式开幕。开幕式上成立了“元宇宙产业智库”,旨在发挥专家的技术支持和智力支撑作用,提高元宇宙产业领域发展规划、项目孵育工作水平;江苏省通信学会发布了《元宇宙产业链生态发展白皮书》,白皮书总结了元宇宙产业发展现状,梳理了元宇宙技术体系与产业链各环节发展情况,分析了各地发展现状和产业发展存在问题,提出了若干措施建议;举行了“江苏元宇宙产业与应用研究院”揭牌仪式,助力江北新区元宇宙产业发展,打开江北新区数字经济发展新局面。[2023/3/30 13:36:01]

代码自动评分程序——零知识证明的简单示例。资料来源:Gradescope。

上面的代码自动评分程序使用“交互式零知识证明”,自动评分程序和代码提供者直接“交互”。相比之下,大多数ZK-Rollup使用数学上更复杂的非交互式证明(如zk-SNARK),这与交互式证明相比节省了时间和空间。虽然zk-SNARK的技术细节超出了本文的范围,但是测试用例传递的基本原则是相同的。

Nano Labs创始人Jack 孔:Terra以及FTX的暴雷是区块链金融全新的范式:金色财经报道,1月18日,Jack孔参与由Huobi 与NEST Protocol联合举办的Wen3之夜活动,

在谈及2022年行业危机与雷曼时刻时,Jack孔表示,Terra以及FTX的暴雷是区块链金融全新的范式。也说明赛道的底层基础设施足够先进,才会造成如此大规模的恶劣影响。需要新的方法,才能更好的驾驭,更好的保护用户。[2023/1/19 11:20:53]

ZK-Rollup的圣杯是零知识以太坊虚拟机(zkEVM),允许开发人员在不修改的情况下将任何以太坊智能合约移植到ZK-Rollup链上。但这很难。因为每个“问题”都需要不同的“测试用例”集,开发一个可以解决每个想象得到的测试用例的“证明算法”是零知识证明和ZK-Rollup的技术瓶颈。

正如VitalikButerin所说:

总的来说,我个人的观点是,在短期内,OptimisticRollup可能会在通用EVM计算中胜出,而ZK-Rollup可能会在简单的支付、交换和其他特定于应用程序的用例中胜出,但从中长期来看,随着zk-SNARK技术的改进,ZK-Rollup将在所有用例中胜出。

新华社推出“世界杯数字藏品”:金色财经报道,据新华社公众号,新华社体育部、新华社技术局、新华社新媒体中心联合出品“世界杯数字藏品”,其中10张“传奇球星卡”回顾世界杯经典瞬间与人物故事,卡塔尔世界杯开赛后还将推出“每日之星”“精彩瞬间”等主题漫画藏品。[2022/11/20 22:09:51]

因此,从历史上看,ZK-Rollup只是针对特定应用程序的用例建立的技术,其中“测试用例”的定义明确且范围有限。然而,一些项目正在迅速朝着“山上城堡”的方向发展——一种与EVM兼容的通用ZK-Rollup算法。

zkSyncv2.0

zkSyncv2.0是目前开发zkEVM的众多项目中的一个(其他项目包括StarkNet、PolygonHermez和Scroll)。zkSyncv1.0它要求用户重新构建大部分代码库以从EVM移植到zkSync,在zkSyncv2.0中,程序员可以在几乎不做任何更改的情况下部署他们的应用程序。

在实践中,并非所有zkEVM都是一样的。在可组合性(它与原始EVM合约的接近程度)和性能(ZK-Rollup的运行速度)之间存在明显的权衡。在这种权衡中,zkSync选择完全优化性能,从而牺牲了组合性。

在VitalikButerin看来,zkEVM有四种不同的类型,归纳如下表:

zkEVM的类型

注释和改编自https://vitalik.ca/general/2022/08/04/zkevm.html

正如Vitalik所言,zkSyncv2.0目前的状态是Type4zkEVM,它能够使用自己的编译器编译Solidity和高级语言编写的合约,这与EVM不同。因为zkSync可以完全控制编译器的设计,所以他们能够积极地优化速度和吞吐量。这样做的代价是,一些dApp和EVM调试工具链可能与zkSyncv2.0不兼容。本质上,zkSync是与以太坊相同的汽车外壳,但更换了引擎。

事实上,在其开发人员文档中,MatterLabs声称,虽然智能合约的“读”操作可以在不改变任何代码的情况下集成,但智能合约的“写”操作需要“额外的代码”,因为“L1和L2之间有根本差异”。实际上,这有点误导人。这与其说是由于L1和L2之间的“根本差异”,不如说是由于MatterLabs决定追求的ZK-Rollup的类型——Type?4Rollup。因为zkSync基本上是使用不同编译器和字节码的Type4Rollup,这意味着智能合约有不同的地址,依赖字节码分析的调试器基础设施可能无法在zk-Syncv2.0上工作。

未来,zkSync可能会添加更多对EVM字节码的本地支持,允许系统慢慢过渡到支持更广泛的“边缘情况”的Type3Rollup。但zkSync的Type4或Type3ZK-Rollup要想与PolygonHermez和ScrollLabs的Type2Rollup更成功,就必须满足两个重要的先决条件。首先,只有一小部分不重要的项目与zkSync的自定义编译器不兼容。其次,与Type2zkEVM相比,zkSync的执行速度存在质的差异。

但是,任何高级的开发生态系统都依赖于成熟的“脚手架”基础设施,包括方便的、模块化的、调试和测试工具。如果正如Vitalik所假设的那样,由于字节码的差异,大部分EVM本地调试工具将无法移植到zkSync,那么zkSync将不得不开发自己的测试和调试工具套件。与更可组合的Type2zkEVM竞争对手(如PolygonHermez和Scroll)相比,这是额外的开销,可能最终会阻碍zkSync作为L2解决方案的采用速度。

ZK-Rollup的未来

在zkEVM的竞争中有许多竞争对手,可以说,我们看到一个功能齐全的zkEVM只是一个时间问题。但接下来呢?ZK-Rollup的长期优势来自于使用该解决方案的项目。

目前,DeFi、GameFi和移动应用程序是ZK-Rollup基础设施的主要受益者。DeFi和GameFi从根本上来说都是规模经济,因为它们在有很多人使用它们的环境中蓬勃发展。像移动钱包这样的移动应用程序也给大众消费者打开了闸门。因此,在这些情况下使用ZK-Rollup非常有意义。

但这绝不是ZK-Rollup用途的极限。现在这仅仅是一个开始。ZK-Rollup之于以太坊,就像5G之于互联网。正如5G可以实现物联网应用和系统的新世界一样,ZK-Rollup也可能打开“区块链物联网”的闸门,允许我们物理世界的数字设备——冰箱、手表、红绿灯等——与以太坊上的智能合约集成。

反对物联网的最大论点之一是,它将允许大型科技公司越界进入我们的日常生活。但是有了“区块链物联网”,我们就可以享受物联网带来的便利,而不用担心我们的智能设备在一个集中的数据库中被泄露。我们可以拥有便利和隐私,而不是方便或隐私。这就是ZK-Rollup向我们承诺的世界。

标签:ROLROLLSYNCSYNTROLL币roll币是什么意思SYNCBRAIN价格Synth oUSD

ICP热门资讯
比特币:FTX余震对比特币巨鲸和长期持有者冲击几何?_元宇宙

FTX?风波对主流币及整体加密市场的冲击仍在持续,我们想探讨链上数据的发展趋势,评估近期市场疲软是否动摇了比特币持有者的信心.

1900/1/1 0:00:00
FTX:FTX股权代币涉嫌操纵市场,后续将如何发展?_mes币是什么意思

你是否记得FTX?曾经有一项产品——允许其用户在该平台上交易合成的股权代币。GameStop是最受欢迎的股权代币之一.

1900/1/1 0:00:00
FTX:FTX暴雷后的“群雄博弈”,加密市场何时为底_OIN

FTX体量庞大,市场推测其主要是受Alameda拖累,而Alameda则主要是因为Luna事件影响.

1900/1/1 0:00:00
NFT:NFT为何昂贵?它的价值源于何处?_魔兽币应用区块链吗

"本质上,NFT就是代币化了的JPEG图片。如果你想知道,过去几年中它怎么会卖到数百万美元,大多数人会轻描淡写地告诉你:因为它们是艺术,艺术本身就具有价值。" 确实。很多人想得就这么简单.

1900/1/1 0:00:00
FOR:匠心巨作Lifeform-专注于超写实3D Avatar_LIFE

11月8日下午3:00点,七彩研究院与Lifeform以主题《匠心巨作Lifeform-专注于超写实3DAvatar》在七彩研究院直播间进行干货分享.

1900/1/1 0:00:00
FTX:FTX 员工自述:我们已经失去了一生积蓄_VTD Finance

一个FTX员工的自述截图在社区传播,我们确认了它大部分的真实性,文章经过编译。全文如下:我是接近FTX情况的消息来源。SBF毁了他许多现任和前任雇员的生活。FTX的每个人都感到震惊和失望.

1900/1/1 0:00:00