分类
打造被動收入超過薪水

长期看Zk Rollup

5

深入探讨ZK-Rollup——如何应用零知识证明降低链上成本?

出于性能考虑,我们不会在ZK-Rollup的默克尔树中使用像SHA3这样的普通哈希值。相反,我们将使用与ZK-SNARK更兼容的,如poseidon或save。根据Fluidex的测试结果,每个poseidon的哈希值大约需要30us(每个测试的树深度是20,因此,每个哈希值将是57ms / 100 / 20 = 30us)。因此,从默克尔树的角度估计,ZK-Rollup系统的极限是1 / 0.00003 长期看Zk Rollup / 200 = 160 TPS。

这种 "只有一个条件分支会被执行 "的概念对于软件开发来说似乎很自然,但对于硬件芯片电路的设计来说却不是这样的。在硬件顺序逻辑电路的开发中,所有 "分支"(如果仍然称为 "分支")的逻辑都将在序列被触发时执行。开发者需要从不同的 "分支 "中选择并保持正确的全局状态。

ZK证明电路的开发有几种选择,比如低级计算库,如ethsnarks / bellman,或者DSL,如ZoKrates / Circom / Zinc。

相比之下,用ethsnarks和bellman开发的效率就比较低。另外,当代码被审查时,不管是内部还是外部,太多的 "语法噪音 "使审查者不能专注于核心逻辑。此外,ZoKrates和Zinc过于抽象。例如,ZoKrates中python风格的控制流语法掩盖了底层电路,不利于低级别的优化(如C/Rust的内联汇编)。

打个比方,ethsnarks / bellman就像传统开发中的汇编语言,而cirom就像C,而ZoKrates就像Python。然而,ZoKrates的工具链并不像Python解释器那样成熟。这就是为什么我们宁愿使用“C”(这里是cirom)作为我们的开发语言,而不是同时维护“Python”(这里是ZoKrates)代码和 “CPython解释器”(这里是ZoKrates解释器)代码。

Notice: The content above (including the 长期看Zk Rollup pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

以太坊Layer2赛道:短期看Optimistic Rollups,长期看Zk Rollup

币圈资讯 1年前 0 5.4K

以太坊的拥堵无需赘述,我们深有感触。以太坊生态正在紧锣密鼓地进行Layer2的落地探究。Layer2有状况通道、侧链、Plasma、Optimistic Rollups、Zk 长期看Zk Rollup Rollup等等,现在看,最有希望走出来的是Optimistic Rollups和Zk Rollup的技能计划,此处简写为OP和ZK。

短期OP、长时间ZK

从蓝狐笔记的观察,短期和中期看Optimistic Rollups,长时间看Zk Rollup。为什么?

*Optimistic Rollups Vs ZK RollupOptimist

选用的Optimistic Rollups计划短期内更简单落地,其重要的原因之一是具有更强的可移植性。而Zk Rollup现在还无法彻底兼容EVM。Optimistic Rollups的计划也有一个大的缺陷,就是它需求处理诈骗证明的问题。这导致它的提款周期长达一周。

用户从Layer 2 交易所里边将其资金提取到Layer 1,假如需求等候一个星期,信任很少有人有这个耐性等候。而ZK Rollup没有这个顾虑,它经过数学可靠性证明来处理这个问题,能够及时提取到Layer 1。

ZK Rollup技能在安全性上根本挨近Layer 1的水平,同时存入和提取也能够依据用户需求即时进行,这是它的优势。

但Optimistic Rollups计划为什么短期内还会是Layer2的最重要计划?因为其缺陷并非没有处理计划。Op自身搞不定的,其他的项目帮忙搞定。有些项目能够帮用户直接将其Layer2上代币即时提取到Layer 1,用户支付必定的手续费即可,而这些项目l负责剩下的工作。

例如,MakerDAO社区提出了Optimism DAI Bridge的处理计划,能够处理Optimistic Rollups需求一周提现时刻的问题。虽然需求等候一周时刻保证标准交易链(CTC)的正确,不过能够在几分钟内取得单个交易的链下证明。由此,MakerDAO会发行fDAI代表对Layer 1DAI的申领。fDAI经过Maker Oracle对照CTC进行验证。

以太坊Layer2赛道:短期看Optimistic Rollups,长期看Zk Rollup

(OPtimism DAI 长期看Zk Rollup Bridge,MakerDAO)

整个DeFi的龙头Uniswap听说也要运用Optimist项目的计划,假如终究运用,其对整个DeFi项目选用Layer2计划更具决定性的含义。不过依照Uniswap的风格,它会相对稳健,它推出Optimism Layer 2计划的时刻不会太快。

同时,现在V3是Uniswap的要点,这可能会延缓它选用Layer 2的进程。而Sushiswap风格更为激进,它可能会早于Uniswap推出Layer 2的处理计划。听说Sushiswap正在跟Matter labs的Zksync探究Layer2的落地计划,但终究还没有定论。假如Optimist的计划证明可行,也有可能转向Optimist的计划。

假如Synthetic、Uniswap都选用Optimist项目的计划,那么,其他的DeFi可能会跟进,终究构成Optimist为主的短中期Layer 2局势。现在Optimist、 Offchain Labs(Arbitrum)、Fuel Network、 Cartesi都在活跃布局这个技能方向的落地探究。

不过,长时间看,或许在未来几年时刻内,跟着更多DeFi项目选用ZK Rollup的技能,渐渐会构成一种态势,最后实现二层的ZK Rollup互通,它容纳的交易量高于Layer 1,然后构成庞大的Layer 2 生态。这也是未来会有一两家非常强壮的Layer 2项目的原因。

现在Matter Labs的ZKsync、Loopring、Starware、Aztec等都在活跃布局ZK Rollup技能。此外,甚至还有专门为扩展NFT交易的Layer 2项目,如Immutable。

Layer 2是巨无霸的大赛道

在蓝狐笔记看来,Layer 2赛道仅次于btc、公链(eth等)、去中心化安稳币,位居第四的赛道。当然,DeFi作为整体无疑是最大的赛道。在Layer 2竞赛尘埃落定之后,大约会诞生一到两家巨无霸,它会成为整个Layer 2的处理计划,且从根本上处理DeFi的互通问题。这样的局势意味着,未来的Layer 2会成果价值极高的项目,甚至有可能挨近于Layer 1,且会高于绝大多数的公链,假如未来Layer 2诞生千亿美元级别的项目,应该不用感到意外。

简单理解以太坊二层解决方案 Arbitrum

因此,从中短期落地来看,欺诈证明类Rollups(Optimistic Rollups 和Arbitrum Rollups)有更快的落地机会。欺诈证明本身是“乐观派”,预设所有提交者都是好人,除非被证明有罪。只要有一位验证者存在,就可以提交欺诈证明,就是安全的。因此,存在一位诚实的验证者这个假设就变很重要。只需要一位验证者即可提交在线欺诈证明,有长达一周(或以上)的欺诈证明时间窗口,这也导致最终确认时间缓慢,提款时间过长。

总的来说,欺诈证明和加密有效性证明类的Rollups各有优缺点。ZK Rollups是非交互式的,通过数学的方法来解决问题,而Optimistic Rollups 和Arbitrum Rollups都是交互式的。从这个意义上,Optimistic Rollups 和Arbitrum Rollups是类似的,不过它们在具体路径上也存在差别。

Arbitrum是多轮交互式的Rollups方案

合约

(Alice和Bob质押在不同分支上,来自Arbitrum的Ed Felten)

Arbitrum的EVM兼容性

dApp开发者使用Solidity语言编写其智能合约,这些智能合约编译成Arbitrum VM,可以在Arbitrum Rollups上运行。

Arbitrum的进展

以太坊与L2的落地

就目前来说,以太坊的可扩展需要长短期结合的打法,来满足其快速成长的需求,尤其是DeFi和NFT爆发性增长的需求。从长期看,L2可能是ZK Rollups获胜,但由于其高昂的成本和落地的滞后,可能需要较长时间来消化。而Arbitrum和Optimistic Rollups可能更早落地,虽然其提取时间长,但并非无解。此外,在实践中成长,也可能会诞生新灵感。

GIB环球投资数字银行最新资讯:GUSDT即将上线多家交易所

1

IPSE2.0启动在即,全面升级推动价值互联网惠及全球

2

极点直播间 | 云储科技拥抱新基建浪潮,破译Filecoin财富密码

3

链安访谈|GX.COM金蒼完:看币圈的纳斯达克如何通过DeFi实现弯道超车?

5

版权所有 © 怪兽财经 2020

以商业目的使用怪兽财经网站内容需获许可。非商业目的使用授权遵循 CC BY-NC 4.0。

All content is made available under the CC BY-NC 4.0 for non-commercial use. Commercial use of this content is prohibited without explicit permission.

V神点名:ZK Rollups或成以太坊主要Layer2方案!比Optimistic快

V神点名:ZK Rollups或成以太坊主要Layer2方案!比Optimistic快

以太坊创办人Vitalik Buterin在上周(6)参加ETH Seoul时,提及以太坊第二层扩展方案(Layer2)的技术竞争,Vitalik认为虽然当前Optimistic Rollups方案较为成熟,但长期来看,ZkRollups方案将取代Optimistic Rollups,原因是资产从主网进入Layer2时,ZkRollups的模式速度快上许多,无须像Optimistic Rollups等上七天的保证期。

Vitalik Buterin:我的观点是,从长远来看,ZK-Rollups最终会击败Optimistic Rollups,因为它们具有这些基本优势,比如你不需要有7天的退出期…从现在起10多年甚至更久,我预计Rollups基本上都是ZK。