文章源自元宇宙见闻(yyzjianwen)

编辑|Mamie

前情提要|以太坊|可行的Gas费解决方案——EIP-4488

以太坊在诞生后遭遇最多的质疑就是性能问题,在二层网络解决方案Plasma几乎全面溃败后,前沿研究领域又将眼光放在了Rollup技术上。

对此不少用户提出自己的疑惑:什么是Rollup?

Rollup是什么?

Rollup的核心理念其实很简单,就是将原本散布在区块中的大量交易数据,打包成一笔「浓缩」的交易,发布到链上。

为确保其中每笔交易的有效性,各种Rollup方案设计了不同的机制以确保整个过程的安全性与Layer 1保持一致。

ZK Rollup以零知识证明zk-SNARKs的密码学技术确保安全性,而Optimistic Rollup则继承了Plasma的惩罚机制,以确保节点如果作恶将付出很大的代价。

综上:Rollup旨在解决的问题(因计算过载而导致的网络拥堵),还让我们大概了解了Rollup解决方案需要做到什么。

Rollup是中心化的?

Rollup区块生产的中心化特性是Rollup能够如此高效地处理交易的部分原因。

但这也提出了一个明显且令人担忧的问题:如果没有多数人的共识,Rollup如何确保区块生产是正确的——如果区块生产者碰巧是恶意的,会发生什么?

这种中心化让习惯于基于共识的区块链的加密用户感到困惑。

事实上,如果故事到这里结束,我们可能会(错误地)得出结论,如Avalanche联合创始人Kevin Seqniqi在推特上发布的那样,Rollup只是“由单方复制的数据库”

实际上,正如我们将看到的,中心化的指控与其说是错误的,不如说是逻辑上的误导。

通常情况下,没有强大共识机制的中心化区块链很容易受到腐败和恶意收购的影响。

然而,在Rollup的独特情况下,缺乏去中心化实际上并不是其安全性和完整性的问题。要理解为什么会这样,我们需要更深入地挖掘。

Rollup 类型

Rollup是将交易捆绑、压缩和发送到共识层进行验证的解决方案。

通过同时验证多个交易,它们极大地提高了效率,同时允许以太坊在不牺牲安全性的情况下从每秒15个交易增加到3000多个交易(TPS)。

本质上,用户没有将交易发送到Layer 1矿工,而是将其交易发送到Rollup服务器,从而验证这些交易是否有效。

因此,他们正在以太坊主链之外执行交易执行,但这些Rollup然后将交易数据发布到以太坊主链。将交易发布到主链时,他们继承了Layer 1的安全属性。

有两种类型的Rollup ,它们具有不同的安全模型:Optimistic Rollup和零知识(Zero Knowledge,ZK)Rollup 。

Optimistic Rollup

Optimistic Rollup捆绑了数百个传输,并且只发布链上所需的最低信息,没有证据。

这基本上假设没有实施欺诈或恶意行为,因此被称为“Optimistic”的名称。只有当转让或状态受到质疑时,Optimistic Rollup才会提供证据。

Optimistic Rollup的好处,除了明显地增加了扩展性外,还包括EVM和稳固兼容性,这意味着你可以在以太坊Layer 1上做的任何事情,都可以在Optimistic Rollup上做。

然而,由于潜在的欺诈挑战,链上交易的等待时间可能很长。

你必须等待大约1周才能从Optimistic Rollup中提取资产,因为这为发现和解决欺诈提供了时间。假设没有实施欺诈或恶意行为,这是一个固有的问题。

Optimistic Rollup的另一个缺点是,需要将所有证人数据,如签名、预言机数据等发布在链上。这限制了可扩展性,特别是与零知识Rollup相比。

零知识 Rollup

零知识(ZK)Rollup与Optimistic Rollup不同,因为它们通过利用零知识技术集成了隐私。

零知识是指在不披露证明必要信息的情况下向另一方证明某事(交易或状态)的能力。

用户没有将交易发送到Layer 1矿工,而是将交易发送到执行交易的Rollup服务器。

ZK Rollup中使用的两个最常见的验证证明是ZK-SNARKS和ZK-STARKS,我会在后面的部分中联系ZK-STARKS。

然后生成ZK-SNARKS(零知识简洁的非交互式知识论据)作为交易有效性的证明,并发布到Layer 1主链中。

这些证据生成速度快,令人信服,验证速度惊人。对于上下文,数百笔交易可以Rollup成一个证明,验证该证明大约需要5毫秒。

Rollup 的未来

虽然这两种Rollup类型目前都提供了高于本机以太坊链执行层的好处,但有一些具有挑战性的方面需要改进或完成开发。