以太坊三类 Layer2 扩容方案状态通道、Plasma、和 Truebit详细解读

什么是以太坊 Layer2 扩容方案,二层扩容方案有哪些?目前最有潜力的二层扩容方案有:状态通道、Plasma、和 Truebit。

以太坊目前还不够健全,也不具备可扩展性。任何了解这项技术的人,都清楚地知道这一点。但是在过去一年里,由投机驱动的炒作,过分夸大了区块链的能力。在关键基础设施完善之前,以太坊与 web3 的愿景还无法实现。 构建这一基础设施、扩展以太坊功能的项目,都被称作扩容方案。扩容方案有许多不同形式,而且往往是相互兼容或互补的。

本文将深入探讨「链下」或者叫「第 2 层」(layer 2)扩容方案,包括

  • 以太坊(以及所有区块链)扩容挑战
  • 解决扩容问题的不同方案,并区分「第 1 层」和「第 2 层」
  • 介绍第 2 层扩容方案是什么,特别是状态通道(state channels)、Plasma、和 Truebit

本文的重点是让读者对第 2 层的工作原理有个全面详细的理解。但不会深入到代码研究和特定的使用场景,而是专注于构建这一系统的经济机制,以及第 2 层扩容方案的技术原理。本文作者是 L4 联合创始人 Josh Stark。2017 年, Josh Stark 与 Liam Horne 一起创办了 L4。L4 团队致力于构建 Web3,开展尖端密码经济研究,建设核心基础设施,并助力项目成长。其创始人之一 Liam 主要研究 Counterfactual —— 一个通用的、开放的框架,用于在基于以太坊的去中心化应用程序中实现状态通道。

公有链的扩容挑战

首先,必须要知道,「扩容」不是单一的、具体的问题。它是以太坊在服务全球几十亿用户之前,必须要解决的问题。

首先就是交易吞吐量方面。目前,以太坊每秒可以处理 15 笔交易,相比之下,Visa 处理速度可以达到 45000 笔 / 秒。在过去一年里,一些应用程序——像 Cryptokitties 发展得好,导致整个网络运行速度也开始放缓,交易价格增加。

像以太坊这样的公有链,要求网络中每一个节点参与处理每一笔交易,其主要局限也正在于此。以太坊上的每个操作——转账,Cryptokitty 的诞生,ERC20 合约的生成——都必须由网络中的每个节点一起执行。这是设计时决定的,也是使公有链足够权威的原因之一。节点不需要从外部得知区块链的状态,它们自己可以解决。

这对以太坊的交易吞吐量设置了一个基本限制:它不能高于从单个节点获得的数据的速度。

我们可以要求每个节点做更多的工作。如果我们将区块大小加倍,这将意味着每个节点所做的工作量大约是现在工作量的两倍。但这是以牺牲去中心化为代价的:需要节点做更多的工作,那么功能较弱的计算机 (如消费者设备) 可能会退出网络,而挖矿权利将中心化到强大的运营商手上。

我们需要一种方案,既能不增加单个节点的负荷,又能处理更多交易。

从概念上讲,我们可以采取两种方法来解决这个问题:

1) 如果每个节点不必并行处理每个操作呢?

第一种方法,颠覆前提:如果我们可以构建一个区块链,链内节点都不必参与处理每笔交易呢?如果网络被分成两个部分,可以半独立地运作呢?

被分开后,A 区可以处理一批交易,B 区也可以处理一部分。这可以把区块链交易吞吐量提高一倍,因为我们现在设定每两个节点可以同时工作。如果我们把区块链分成许许多多不同区域,那吞吐量会提高许多倍。

这就是「分片(sharding)」背后的理念,是由以太坊 V 神和其他科研人员提出来的。一个区块链被分成许多不同的「片」,每个「片」都可以独立处理交易。分片一般是指第 1 层的扩容方案,因为它是在以太坊的基层协议上实现的。

状态通道、Plasma、和 Truebit:说透以太坊三类 Layer2 扩容方案

2) 如果为以太坊建立协议层网络呢?

第二种选择和第一种恰恰相反:与其增加以太坊自身的能力,不如在其基础之上采取措施。以太坊区块链基本层的吞吐量不变,但实际上我们可以执行更多操作,比如交易、状态更新或简单的计算。

这就是「链下」技术背后的原理,像状态通道,Plasma,Truebit。虽然每一种技术旨在解决不同问题,但它们都需要在保证安全性的前提下,进行「链下」操作。

这也被称作第 2 层扩容方案,因为它们是在以太坊主链之上的。它们不需要在基础层上进行改变只是作为与链下软件交互的智能合约存在的。

状态通道、Plasma、和 Truebit:说透以太坊三类 Layer2 扩容方案

Layer2 是数字经济解决方案

在细说第 2 层解决方案之前,先来了解一下其背后的原理。

公有链的基本力量在于数字经济共识。通过仔细调整激励措施,并将其与密码学结合,从而从系统内部达成共识。这也是中本聪白皮书中提到的重点,这点现在已经被应用到许多不同的公有链中,包括比特币和以太坊。

数字经济共识给了我们一个硬核 —— 除非像 51% 攻击这样极端事件的发生,否则所有操作(包括支付,或者智能合约)都将按书写程序执行。

第 2 层解决方案背后的原理是,我们可以将这个确定性内核作为一个锚 —— 在此基础之上附加其他经济机制。第 2 层可以将公有链的效用扩展到链外,让我们在链外互动成为可能,这些互动在需要的时候仍然可以返回到主链。

这些层都是建立在以太坊主链之上的,所以它并不能像链上操作一样安全。但是仍然可以确保它们是最终地、安全地、实用地 —— 特别是只需要牺牲一点操作权限,就可以提高运作效率,降低手续费用。

数字经济学并不是由中本聪的白皮书开始,也不会就此结束 —— 这是我们正在尝试应用的技术而已。不仅在核心协议的设计上,也体现在旨在扩展底层链功能的第 2 层解决方案的设计中。

1 状态通道(State channels)

状态通道指的是「链下」处理交易和其他操作的一种技术。然而,发生在状态通道内事物仍然有很高的安全性和最终确定性:如果出了什么问题,我们仍然可以选择回到链上交易。

很多读者都知道支付通道,这个已经出现许多年了,也通过闪电网络(lightning network)在比特币上实施。状态通道是支付通道更为普遍的形式——它们不仅可以处理支付,也可以处理区块链的「状态更新」 —— 就像智能合约的更改。2015 年,Jeff Coleman 首先提出了状态通道。

来看一个例子,可以更好解释状态通道的工作方法。请注意,这是一个概念性的解释,我们不会讨论特定的技术细节。

想象一下,Alice 和 Bob 玩三子棋游戏(tic tac toe),赢家可以获得 1ETH 作为奖励。最简单的办法,就是在以太坊上创建一个智能合约,将三子棋游戏的规则写入智能合约内,并追踪每一名玩家的棋子移动。每次玩家移动棋子时,就给合约发送一次。当一个玩家生出,按规则,合约将支付 1ETH 给胜出者。

这虽然可行,但是效率低、速度慢。Alice 和 Bob 的整个以太坊网络都在为这个游戏运行,造成资源的浪费。玩家每移动一步棋,都要支付一笔费用,并且,他们还要等矿工完成验证,才能进行下一步。

这时候,我们就可以设计一个系统,让 Alice 和 Bob 的互动尽量在链下进行。Alice 和 Bob 可以在链下更新状态,并在需要的时候,回到链上交易。我们把这种系统称之为「状态通道」。

首先,我们在以太坊主链上创建一种智能合约作为「法官」,并将游戏规则写入合约,并识别出 Alice 和 Bob 是本次游戏的两个玩家。再给这个合约设置 1ETH 的奖励。

紧接着,Alice 和 Bob 开始互动。Alice 开始走第一步,签名后发送给 Bob,Bob 也会签名,并将自己签名后的版本发回,自己保存一份福本。然后 Bob 走一步,签名后发送给 Alice,Alice 也签名后发回,自己保存副本。每次,他们都会更新自己的状态。每次互动都会包含一次「随机数 nonce」,这就可以给每次互动按时序排列。

至此,所有操作都不是在链上发生。Alice 和 Bob 只是在互联网中发生了交易,但是所有交易都可以上传至合约——换句话说,它们依然是有效的以太坊交易。你可以理解成,这两个人是在来回写着区块链认证的支票。银行没有存款或者取款,但是每张支票都可以随时存入。

如果 Alice 和 Bob 的游戏结束,比如说 Alice 赢了,他们可以上传最终状态(交易清单)并关闭通道。这样,只用支付一次交易费用就可以了。合约可以确保「最终状态」有双方签名,并等待一段时间,以确保结果可靠,最后把 1ETH 的奖金支付给 Alice。

为什么需要这个等待时间?

假设 Bob 上传的不是最终版本,而是他赢过了 Alice 那个版本。但是合约只会执行指令,无法知道哪一个是最终版本。这个时候,设置一段等待时间,可以让 Alice 提供证据证明自己提供的是最终版本。

Alice 提交双方签名的交易副本,合约通过交易的 nonce 确定 Alice 提交的是最终版本,驳回 Bob 的请求。

特点和限制

状态通道适用于很多应用程序,并对传统的链上操作进行了许多升级。但是,在引入状态通道之前,还必须考虑其他因素:

  • 状态通道依赖可用性。如果 Alice 在过程中断网了(假设是由于 Bob 迫切想要获得奖金,而破坏了 Alice 家的网),那么她可能无法及时提交状态信息。即便如此,Alice 可以付钱,让其他人保存她的交易状态,并作为她的代表,维持数据的可用性;
  • 如果用户要进行许多次状态更新,并且持续时间很长,那么这种状态通道就特别适合。这是因为虽然在创建时需要一笔费用,但是之后维护成本就会特别低;
  • 状态通道适用于那些用户固定的应用程序。因为合约必须知道通道内的所有实体。虽然可以对人员进行增加或者移除,但这都需要对合约进行更改;
  • 状态通道具有很强的隐私属性。因为所有操作都发生在「内部」通道中,而不会在链上公布,也不会记录在链。只有交易的开始和结束状态是公开的;
  • 状态通道具有即时的最终确定性。也就是说,一旦双方对状态签名了,就可以认为是最终的。必要的话,也可以「强制」在链上执行。

L4 正在构建一个 Counterfactual:一个基于以太坊的状态通道框架,计划完成通用的、模块化的模板,并允许开发人员在其应用程序中使用状态通道,而不需要自己成为状态通道专家。

另一个值得关注的状态通道项目是 Raiden,改项目的目标是建立一个支付渠道,使用的是与闪电网络类似的模式。这意味着,与其与特定人员开设通道,你还可以与一个较大的频道网络开设通道,使你可以与连接到同一频道的其他任何人交易,并无需手续费。

除了 Counterfactual,Raiden 之外,还有几个基于以太坊的的应用程序。例如,Funfair 为了它们的去中心化平台建立的状态通道(「Fate channels」),Spankchain 为成年演员建立了单向支付通道(他们也为 ICO 创建状态通道),Horizon 游戏为他们的以太坊游戏创建了状态通道。

2 Plasma

2017 年 8 月 11 日,Vitalik Buterin 和 Joseph Poon 发表了名为《Plasma:自主智能合约》的论文。这篇文章引入了一种全新的技术,可以提高以太坊的处理效率。

与状态通道一样,Plasma 是一种处理链下交易的技术,需要依赖以太坊底层技术去对其安全性进行保障。但 Plasma 的切入点不一样,它可以允许在以太坊主链上创建「子链」(「child」 blockchain)。这些「子链」,反过来,也可以创建它们自己的「子链」,以此类推。

其结果是,我们可以在子链级执行许多复杂的操作,运行包含数千名用户的应用程序,并且只用与以太坊主链进行很少的交互。Plasma 可以运行的很快,并收取较低的交易费用,因为整个过程不需要在以太坊主链上发生。

状态通道、Plasma、和 Truebit:说透以太坊三类 Layer2 扩容方案

但提交欺诈证据需要获得基本数据,即用于证明欺诈的块的实际历史。如果区块生产者也没有分享先前区块的信息,以阻止 Alice 向 root 合约提交欺诈证据,该怎么办?

在这种情况下,Alice 需要取出她的资金,离开子链。实际上,Alice 向 root 合约提交了一份「资金证明」。在等待一段时间之后,任何人都可以质疑她的证明 (例如,为了证明她在后来的有效区块中花了这些钱),Alice 的资金被移回以太坊主链。

我们先来看一个例子,好理解 Plasma 是如何运作的。

让我们想象一下,你正在以太坊上创建一个交易卡片游戏。这些卡片就是 ERC 721 代币(比如 Cryptokitties),但它们具有某些特性和属性,让用户可以进行博弈 —— 比如《炉石传说》(Hearthstone)或《魔法的聚会》(Magic the Gathering)。在链上执行这些复杂的操作是很昂贵的,所以使用 Plasma 是很好的选择。

首先,我们在以太坊主链创建一套智能合约,作为服务于我们 Plasma 子链的「Root」。Plasma Root 包含我们子链的「状态转换规则」(比如「不能双花」),记录子链状态的哈希,并充当一种「桥梁」,允许用户在以太坊主链和子链之间进行互动。

然后,我们创造我们的子链。子链可以有自己的一套共识机制 —— 在本例中,那就是授权证明(PoA),这是一种依赖可信区块生产者的共识机制。区块生产者类似于工作量证明中的矿工 —— 它们是接受交易、生成区块、收取交易费的节点。打个简单的比方,假设你是生成区块的唯一实体 —— 也就是说,你的公司运行几个节点,这些节点是我们子链的区块生产者。

一旦子链被创建或者激活,区块生产者就对 root 合约做出承诺。意味着他们实际在说「我作证,子链中的最新区块是 X。」这些承诺都被记录在 Plasma root,以证明子链中发生的交易。

现在,子链已经准备好了,我们可以创建交易卡游戏的基本组成部分。卡片是基于以太坊主链的 ERC 721,通过 plasma root 转移到子链。这就引入了一个关键点:plasma 允许我们与基于以太坊的数字资产进行大规模交互。然后,我们再在子链上部署游戏应用的智能合约,把游戏逻辑和规则都写进合约里。

游戏用户,其实只是与我们的子链交互。他们可以持有资产(ERC 721 token),与以太交易,与其他用户游戏,从来不用与主链直接互动。因为只有少量节点需要处理交易,交易费用会低很多,操作速度也会更快。

但这怎么确保安全呢?

将更多的操作转移到子链上,主链就可以处理更多交易。但是要怎么保障它的安全呢?在子链上发生的交易是最终的吗?毕竟,我们刚刚还说,会有一个实体公司控制区块的生成。这不就是中心化吗?这个公司能随时盗走你的资金或者游戏卡吗?

简单地说,即使一个公司拥有子链区块生成 100% 的控制权,plasma 也为你提供了一个基本保证,你可以随时将你的资金和资产取出,放回主链。如果一个区块生产者出现恶意行为,最坏的打算是,它会强迫你离开子链。

让我们看看区块链生产者会有怎样的恶意行为,再看 plasma 会做出怎样的对策。

首先,想象一下,一个区块生产者会怎样欺骗你——通过创建一个假的新区块来控制你的资金。他们是唯一有权力生成区块的,因而他们可以不按照区块链的法则来创建区块。与其他区块一样,他们也会公布一份包含该区块证据的 Plasma root 契约的承诺。

如上所述,用户是有保证的,他们可以撤回他们的资产回到主链。在这种情况下,用户 (或者更确切地说是代表他们行事的应用程序) 将检测到企图盗窃的行为,并在区块生产者尝试使用他们「窃取」的资产之前退出。

Plasma 还创造了一种机制,以防止欺诈退出主链。Plasma 包括一种机制,任何人(包括你)都可以向 root 合约发布欺诈证据,证明区块生产者作弊。此欺诈证明将包含有关前一个块的信息。根据子链的状态转换规则,虚假块不符合以前的状态。如果欺诈被证实,子链将被「退回」到前一个区块。更好的是,我们构建了一个系统,在这个系统中,任何签下虚假区块的区块生产者都会因丢失一张链上存款而受到惩罚。

状态通道、Plasma、和 Truebit:说透以太坊三类 Layer2 扩容方案

但提交欺诈证据需要获得基本数据,即用于证明欺诈的块的实际历史。如果区块生产者也没有分享先前区块的信息,以阻止 Alice 向 root 合约提交欺诈证据,该怎么办?

在这种情况下,Alice 需要取出她的资金,离开子链。实际上,Alice 向 root 合约提交了一份「资金证明」。在等待一段时间之后,任何人都可以质疑她的证明 (例如,为了证明她在后来的有效区块中花了这些钱),Alice 的资金被移回以太坊主链。

最后,区块生产者可以审查子链的用户。如果他们愿意,区块生产者可以有效地阻止用户在子链上执行任何操作。也就是简单地将我们所有的资产撤回到上面所述的主链上。

然而,取款本身也存在风险。如果子链上的所有用户要在同一时间取出自己所有的资产,以太坊主链可能没有办法承受这个压力。也有许多技术可以阻止这件事发生,如延长提款的响应时间。

事实是,一个公司掌控 100% 区块生成权是非常极端的情况,一般不会发生这种情况。也就是说,子链和公有链一样,是去中心化的。因而上诉提到的风险会比较小。

现在我们已经谈到了状态通道和 Plasma,将两者比较一下。

  • 一个不同之处是,当同一通道内的所有用户都同意退出时,状态通道可以即时退出。比如说,如果 Alice 和 Bob 都同意关闭一个通道,并取回他们的资金,他们就可以立即拿回资产。这在 Plasma 上是不可能的,在 Plasma 中,用户必须等待一段时间,才能退出;
  • 状态通道也比 Plasma 更便宜,更便捷。这意味着我们可以将两者结合起来,在 Plasma 子链上建立状态通道。例如,在一个 app 上,两个用户可以进行系列小额交易。在子链上创建状态通道,比直接在子链上进行交易,会更便宜高效;
  • 最后,本文可能遗漏了一些细节。Plasma 还处在早期,你可以看看 V 神最近提出的「最小可行的 Plasma」。还有一个台湾团队也正在做这件事。OmiseGo 也在这个方向上努力。
3 Truebit

Truebit 是帮助以太坊完成繁重计算的链下技术。而状态通道和 Plasma 是扩大吞吐量的,所以这也是 Truebit 的不同之处。Truebit 不会提高交易吞吐量,但是它会让基于以太坊的应用程序做更复杂的事情。

有些操作计算成本太高,无法在链上执行。例如,验证来自其他区块链的简单支付验证 (SPV) 证明,这可以让以太坊智能合约「检查」一项交易是否发生在另一条链上 (如比特币)。

想象你需要在基于以太坊的 app 上执行一些昂贵的计算(像 SPV 证明)。你不能把它简单的作为以太坊主链智能合约的一部分,因为 SPV 计算太贵了。事实上,在以太坊上做所有计算都很贵,因为总是需要所有节点都要参与到计算中。

然而,你可以给某个人(解决者)支付一点费用,让它完成链下计算。

首先,解决者往智能合约存入一笔费用,然后,你把需求告知解决者。他进行计算,然后把结果反馈给你。如果计算结果正确,他的押金会被退回。如果计算出错(他出错或作弊),就会损失自己的押金。

那我们怎么知道结果正不正确呢?Truebit 使用一种叫「验证游戏」的经济机制。从本质上讲,我们创造了一种激励机制,鼓励「挑战者」来验证解决者提交的结果。如果挑战者能够通过验证游戏,证明解决者提交了一个错误的结果,那么他们就会得到奖励,而解决者则会失去他们的定金。

因为验证游戏是在链上执行的,它不能简单地计算结果 (这将破坏整个系统的目的,因为如果我们能够在链上进行计算,我们就不需要 Truebit)。相反,我们强迫解决者和挑战者确定他们不同意的具体操作。实际上,我们正在努力使双方对结果产生异议。

状态通道、Plasma、和 Truebit:说透以太坊三类 Layer2 扩容方案

一旦操作被认定,就足以在以太坊主链上运行。然后,我们通过智能合约来执行细节。

结论

第 2 层扩容方案有个共同的内核:一旦有了一个公有链提供的确定性硬核,我们就可以将它用作扩展块链应用程序有效性的数字经济系统的锚。

我上面提到一些例子,可以让我们更具体地了解第 2 层扩容方案的应用场景。第 2 层扩容方案所使用的经济机制往往是交互式的游戏:它们通过为不同的参与者创造竞争或「检查」的动机来发挥作用。区块链应用程序可以假定一个给定的声明可能是真的,因为我们已经为另一个方提供证明它是假的信息创造了强大的动机。

在状态通道中,我们确认渠道的最终状态的方式是 —— 让各方有机会「反驳」对方。在 plasma 中,它是我们如何管理欺诈证据和取款。在 Truebit 中,它是我们如何确保解题者讲真话 —— 通过给验证者一个激励来证明解题者是错的。

这些系统将有助于解决大规模全球用户群缩放所涉及到的一些挑战。一些工具,比如状态通道和 Plasma,将增加平台的交易吞吐量。其他的工具,比如 Truebit,将使得有可能将更困难的计算作为智能合约的一部分,从而打开新的用例。

这三个示例仅代表了用于数字经济扩容方案的一小部分。我们甚至还没有涉及到像 Cosmos 或 Polkadot 这样的「跨链」的工作。我们还应该期望创造新的和意想不到的第 2 层扩容方案系统,以改进现有的模型,或在速度、最终确定性和成本之间提供新的权衡点。

比任何特定的第 2 层扩容方案更重要的是进一步开发底层技术和机制:数字经济。

这些第 2 层扩容方案需要建立在可编程区块链之上,如以太坊:你需要一种脚本语言来编写程序。对于比特币这样的区块链,这就困难得多(或者在某些情况下基本不能实现),因为这些区块链只能提供有限的脚本。

我们可以在以太坊上构建第 2 层扩容方案,并可以在访问速度、最终确定性和成本之间达到平衡。这使得底层区块链对于更广泛的应用程序来说更加实用。对于高价值的交易,建议使用主链。对于交易数字收藏品,速度更重要,我们可以使用 Plasma。第 2 层扩容方案让我们在不损害底层块链的情况下进行这些权衡,保持去中心化和最终确定性。

原文标题:《Making Sense of Ethereum’s Layer 2 Scaling Solutions: State Channels, Plasma, and Truebit》
作者:Josh Stark,L4 联合创始人
编译:李丽诗 Laura

状态通道、Plasma、和 Truebit:说透以太坊三类 Layer2 扩容方案Josh Stark,L4 联合创始人

来源链接:medium.com

提示:投资有风险,入市需谨慎,本资讯不作为投资理财建议。请理性投资,切实提高风险防范意识;如有发现的违法犯罪线索,可积极向有关部门举报反映。
你可能还喜欢