来源:鸵鸟区块链

原标题:一文深绘以太坊Layer2未来蓝图

从NFT到GameFi,再到Loot,在市场热潮的几番更迭下,市场对于Layer 2的需求已经逐渐加大,随着Arbitrum主网的上线,越来越多的资金开始投身于Layer2 扩容协议市场,市场又掀起了新一轮的赛道竞争。

虽然现阶段的Layer 2网络总锁仓量屡创新高,但仍然无法满足目前市场上投资者的需求,而且,现在市场Layer 2热度都是基于Arbitrum、Opitimism等项目的炒热而升温,根本无法长期持续。基于此,Layer 2热潮是否会成为“昙花一现”也成为了大众比较关注的事情。那么Layer 2技术目前发展如何?Layer 2网络的未来究竟是怎样的?而这一个个的疑问,路印协议CTO Steve Guo在一次演讲中给了我们答案。

Steve用简单的方式讲述了Layer 2技术的演进,深入分析了每个Layer 2项目的优缺点,并且向我们叙述了Layer 2网络未来的发展方向。以下内容来自Steve的演讲实录。

作者:Frankle

来源:Medium

编译:陈一晚风

随着Layer 2热度的高涨,一个疑问逐渐浮现在大众面前:Layer 2的真正未来到底是什么?

下图则代表了现在市场上对Layer 2的官方定义。但Steve的定义中,Layer 2是资产安全依赖于Layer 1的第2层网络。所以可以排除掉一些侧链,比如xDai和BSC。

智能合约

目前的Layer 2技术可以分为三类技术,最早是State Channel(状态通道)技术,后来又演变为Plasma,再到最新的、比较热门的Rollup技术。Rollup主要分为两个方案,Optimistic Rollup和zkRollup。这两种方案中的每一种内都存在着许多项目。

State Channel(状态通道)

智能合约第一个Layer 2技术State Channel的核心思想其实来源于比特币的闪电网络。例如,假设Alice和Bob必须转移资金,并且他们都在链上,那么其成本会非常高。因此,可以先同意Alice和Bob先将他们各自的资金存入智能合约。在他们各自资金被存储后,Alice和Bob可以不消耗任何Gas费,无限期地在链下转移资金,然后在所有人退出时使用智能合约进行结算,这种过程的核心思想就被称为状态通道。

虽然这种链下转账的方式确实可以很快,而且便宜,但它也存在一些问题。首先,它需要两端存入资金,其资金占比非常高。此外,它是点对点的。例如,如果A想先与B转钱,然后再与C转帐,则需要建立多个状态通道,这种互动是不可取的。所以,在后来随着Raiden Network、Celer等技术不断演进,现在的状态通道已经可以是点对中心了。任何想要交易的人都需要与中心进行交易,使用状态通道进行连接。

但这仍然存在同样的问题,因为中心本身需要存入大量的资金以保证资金周转利用率,因此该方案只能用于转账/支付的应用。由于状态通道的这些局限性,也使得它自然而然地演变成了一种叫做Plasma的技术,用以解决State Channels的资金利用问题。

Plasma

智能合约Plasma在链下提供了UTXO(Unspent Transaction Output)等结构模型。每个人的转账记录都类似于比特币UTXO交易。在Plasma链上确认交易后,Plasma将向以太坊上的智能合约提交所有Merkle状态,由智能合约记录所有链下状态。最后,Plasma依靠测试机制来确保所有链下交易都正确执行,例如,避免转账被双花攻击。

Plasma比State Channel技术更精进的一点就在于它解决了资金利用的问题,但同时它也带来了一个新问题。Plasma需要至少一周的退出期来确保交易的最终确认。同时,Plasma要求所有人监控Plasma链上的所有UTXO交易。也就是说用户必须自己监控这些交易,才能根据这些历史交易对交易问题提出质疑,这也是普通用户所不能接受的。

因此,Plasma也需要自然进化,进而演化为下一个相对热门的Optimistic Rollup技术。Optimistic Rollup从实际上解决了Plasma所带来的问题。也就是说,Plasma链上的数据最终只是Merkle树(由不同数据块的散列组成的数学数据结构),所以测试起来会更加困难。

Optimistic Rollup

智能合约为了解决Plasma所存在的问题,Optimistic Rollup将所有链下原始交易数据,包括世界状态的树,提交到链上,然后任何人都可以根据链上记录的所有原始信息进行测试。

如图所示,Optimistic Rollup允许用户提交世界状态并提交链上原始交易数据,然后任何人都可以根据这些数据测试转账是否有效。这个想法被称为Optimistic Rollup。

Optimistic

智能合约事实上,这个想法已经在目前市场的两个主网项目中实现了。

第一个项目叫做Optimism。这个项目的开发团队实际上是来自Plasma,所以Optimism也就理所应当的扩展了Plasma的应用场景。此前的State Channel和Plasma都只是用于转账/支付的应用。那么Optimism如何扩大转账/支付?

现在市场对于扩大转账/支付的方法是,使用图灵的完整编程来兼容链下的EVM指令,这样每个人都可以直接在链下执行solididity程序。而Optimism的想法则是在链上部署一个智能合约,然后使用智能合约接受链下EVM兼容指令的执行,也称为OVM。

Optimism试图做一件事,即保证OVM的字节码可以映射到EVM的字节码,但实际上,这种映射可能只有20个左右的字节码.所以Optimism目前的一个大问题是它无法实现100%的EVM兼容性。正是因为Optimistic有这个问题,Arbitrum才提出了改进方案。

Arbitrum

智能合约Arbitrum在Optimistic基础上的一个巧妙改进是,它不是在链上执行EVM比特码,而是定义了自己的AVM字节码,AVM的字节码是一个非常精简的子集。这样,当用户测试第一级时,Gas会更低,消耗也会更低。

目前,Arbitrum的转会费大约是Optimism转会费的二分之一。Arbitrum还改进了测试机制,允许用户通过分片进行测试。例如,一个区块中有1000个交易,但只有一个是错误的。然后就可以用类似二分法的思路,让用户证明第一个512是否正确,如果正确就测试下一个,比如256,然后继续用二分法来测试,这就是Arbitrum。但Arbitrum并不能就此代表Layer 2的未来。

zkRollup

V神曾在年初表示,Optimistic Rollup解决方案短期内最有可能兼容EVM,但中长期他更看好 zkRollup。

事实上,zkRollup和Optimistic Rollup的本质区别在于它不依赖任何测试机制,而是即时保证链上清算的最终确定性。zkRollup依赖于一组称为zk(零知识)证明的数学系统。

智能合约zk证明本质上做了一件事,通俗来讲就是在不告诉对方答案的情况下向对方证明你知道答案。

例如,问题y有一个函数f,我可以根据我的私人秘密x计算y并通过这个函数得到y。最后,我向你开放的是函数f和问题y。但是我的x不能告诉你,我想让大家知道我知道一个x来计算y,这叫做zk证明。

这样的表述可能相对比较抽象。接下来举一个实际的例子,比如在下面这张图片中寻找Waldo。比方说,我想向大家证明的是,我知道Waldo在这张地图上的位置,但我不能直接告诉你位置,所以我可以这样做:找一块足够大的黑布盖住图片,然后在黑布上剪下小数字,然后把小数字显示出来。然后你就会明白我知道Waldo在这张地图上的位置,但我没有向你透露这个位置。这就是zk证明的工作原理。

智能合约

我证明了一件事,但我没有告诉你这个秘密。这一组技术听起来有点像黑魔法,其核心技术思想被统称为zkrollup。实际上,zkRollup的核心思想是将所有的世界状态归类为一棵大Merkle树,然后所有的链下交易本质上只是改变了一个账户的世界状态。

最后使用中继系统收集所有的链下交易,然后将这些交易处理后的世界状态树的哈希记录在链上,并记录这些交易元数据的交易信息。与此同时,还提交了一份名为“零知识证明”的证书。只要这个证明在链上得到了验证,就意味着链下的计算已经忠实地处理了所有的交易信息。这是zkRollup和Optimistic Rollup之间最大的区别。

Optimistic Rollup只向链提交元数据和树哈希,而zkRollup还提交zk证明证书,这样它就可以保证最终结算,而不依赖任何测试机制。

智能合约

Loopring

Loopring协议于2019年底推出,是世界上第一个主网上的zkRollup。到目前为止,Loopring协议已经历经了3个版本:第一个版本只支持订单簿中的DEX交易,第二个版本支持转账支付,第三个版本中支持AMM Swaps。而在今年9月初,Loopring协议已经正式发布了现在支持 Layer-2 NFT最新版本。此版本支持NFT在Layer-2上进行铸造、转账和交易,可以降低整体Gas成本。

智能合约zkSync

zkSync与Loopring协议最大的区别在于使用的零知识证明算法不同。Loopring使用一组称为 Groth16的算法,zkSync使用一组称为Plonk的算法。两种算法的本质区别在于是否有最早的初始可信设置。Loopring是必要的,其改变任何电路的行为都需要一个可信的设置,而zkSync则不需要这样做。

Matter Labs实际上经历了两个版本,1.0 和2.0。2.0称为zkPorter,1.0称为zkSync。它们之间的主要区别在于,为了进一步减少2.0上的Gas消耗,Merkle树和元数据交易数据不在链上,而是使用类似于Community POA的链下Proof来保存数据。

智能合约

但是大家请记住,一旦元数据不在链上,用户资产的安全就无法真正得到Layer 1的保障。不过这样的系统本质上允许用户做出自己的选择。如果您想安全,请使用1.0,如果您想更便宜(但不太安全),请使用2.0版本zkPorter。同时,Matter Labs目前正在开发一个与EVM兼容的 zkRollup系统。它定义了一种名为Zinc的编程语言。简而言之,Layer 2项目是最终目标是最终成为一个zkEvm。

StarkEx

智能合约

另一个著名的zkRollup项目是StarkWare推出的StarkEx。

在早期,大众对其并不看好,因为它第一次上线时声称它是一个zkRollup,但实际上它并没有将应用程序的元数据上链,所以这样的系统不能称为zkRollup。所以当时V神将其命名为Validium。后来,StarkEx又被扩展到支持向链提交元数据的模式。所以现在也可以将StarkEx称之为真正的 zkRollup。

StarkEx在早期定义了自己的编程语言,从一开始就想做一个具有可编程性的zkRollup系统。StarkEx定义的语言称为Cairo,其核心思想是允许用户用Cairo语言编写智能合约。然后它会帮你转换成例如EVM字节码,然后在StarkEx的整个zkRollup系统上进行验证和计算。

zkEVM

从上述的Layer 2协议来看,并没有完美的Layer 2解决方案,都存在局限性,或者它们没有数据可用性。Steve则认为,最终完全可用的Layer 2网络应该是zkEVM。

zkEVM是什么?顾名思义,只要开发者用EVM写一个智能合约,就可以在zkRollup类型环境中直接执行这个智能合约的字节代码。它不像现在那样在EVM的虚拟机中执行,而是在一个叫做zkEVM的虚拟机中执行。zkEVM可以保证在字节码执行后,zkEVM可以向Layer 1网络证明 zkEVM链下执行的智能合约确实被执行了。

智能合约对于zkEVM,目前的设计思路其实分为两类。

类似于Matter Labs的Zinc和StarkWare的Cairo语言,包括另一个名为Hermez的项目,最近也提出了zkEVM。他们的核心思想是自己定义一套语言,然后把这个语言翻译成EVM的语言。也就是说,他们会自己定义一种EVM语言,然后将EVM字节码翻译成自己的EVM代码,本质上在zkEVM中执行自己的字节码。但是,这种解决方案很可能无法实现100%的兼容性。

智能合约另一个新的解决方案是以太坊基金会正在进行的一个项目,被称为“zkEVM”。

它的思路是直接将Solidity代码编译成EVM的字节码,无需任何翻译,在zkEVM的虚拟环境中直接执行字节码。它的虚拟环境做了两件最重要的事情。一是证明字节码的执行是正确的,称为EVM证明;二是证明世界状态的修改是正确的。

Steve认为“zkEVM”解决方案可能是最终的Layer 2网络。

开发者只需要编写一套EVM代码就可以在Layer 1上运行,然后也可以在Layer 2上无缝运行。而这个方案是一个zkRollup,可以保证最终结算的即时性。当然,这个解决方案并没有那么容易上线。Steve表示,估计再过一年左右应该就能看到一个原型,甚至第一个商业版本。