ROLL:金色观察 | Pantera Capital合伙人：全面解析ZK Rollups和Optimistic Rollups_ARK

作者：PaulVeradittakit，PanteraCapital合伙人；翻译：金色财经0xnaitive

引言

加密技术的进步让Polkadot和Solana等公链的TPS可以达到数千，而不是以太坊的15?TPS。已经开发了许多方法来确保?ETH?的竞争力并解决其缓慢和成本问题。

最受欢迎的可扩展性解决方案是rollups，它提供巨大的吞吐量，同时保持去中心化和安全性。Rollups在以低得多的成本将交易数据发送回主链之前，在更快的二级链上执行交易。通过该解决方案，用户可以同时受益于roll加速的可负担性和更广泛的区块链的安全性。Rollup?将最少量的信息发送到主链，以允许任何参与者重新创建交易状态以发现不一致或错误。由于交易信息保存在以太坊主链上，因此安全性不会受到损害并具有高可扩展性。

Rollups的两种主要类型是零ZK和optimistic。

ZK?Rollups

ZK-rollups的主要思想是它们在链下处理批量交易，并通过提供提议的更改和更改有效的密码证明来更新L1状态。短语“零知识”rollup描述了验证交易的想法，只需要验证交易所需的几个关键细节，而无需完全访问私人信息。rollup使用该技术来创建有效性证明，证明L2上交易处理的可靠性。有效性证明可以使用STARKs或?SNARKs构建，允许在不牺牲安全性的情况下卸载交易处理。

ZK-rollups?的内部机制

L2?运营商接收交易者发布的交易数据。该运营商管理整个周期——从交易验证到数据压缩和链上发布——并负责生成?L2?区块。除了这些数据之外，运营商还会收到索引地址、价值、网络费用和随机数。

金色财经挖矿数据播报 | BCH今日全网算力上涨10.61%:金色财经报道，据蜘蛛矿池数据显示：

BTC全网算力125.732EH/s，挖矿难度16.95T，目前区块高度643459，理论收益0.00000835/T/天。

ETH全网算力204.770TH/s，挖矿难度2618.66T，目前区块高度10648753，理论收益0.01533604/100MH/天。

BSV全网算力2.003EH/s，挖矿难度0.26T，目前区块高度647875，理论收益0.00044934/T/天。

BCH全网算力2.908EH/s，挖矿难度0.42T，目前区块高度648101，理论收益0.00030946/T/天。[2020/8/13]

ZK?rollups?利用Merkle树结构来维护账户信息和交易价值的完整性和一致性。这种结构允许高效地处理交易并提供高水平的数据完整性。加密证明和零知识技术的使用使交易能够在链下处理，同时仍提供与底层区块链相同级别的安全性和无需信任性。?

处理每笔交易后，运营商更新汇总的?Merkle?根以反映当前状态。新的?Merkle?根被提交到1?层区块链。

运营商还必须提交证明批量交易正确的零知识有效性证明。大多数ZK-rollup?和?ZK-rollup?项目都采用基于ZK-SNARK?或?ZK-STARK?的证明。?

ZK-Rollups的优势

通过有效性证明来防止运营商进行无效的状态转换，从而保证链下交易的准确性。?

提供更快的交易延迟/最终确定性，因为一旦在?L1?上确认了证明的有效性，就会批准状态修改。?

通过在?L1?上存储恢复链下状态所需的数据来确保安全性、抗审查性和去中心化。?

ZK-Rollups的弱点

尽管rollup技术有可能显著降低交易成本，但用户可能会因数据可用性问题而面临高昂的成本。

零知识技术的复杂性使得构建符合?EVM?的?ZK-rollup?变得困难。

金色财经行情播报 | BTC小幅上攻，价格维持在箱体内:据火币行情显示，BTC在凌晨4时发力上攻，最高探至9830 USDT后迅速下跌至9600USDT附近，目前震荡运营在9800 USDT区间。日线图价格维持在大周期箱体内，未能突破。4小时图均线展开，多头局部优势，但逼近压力位，回调需求较大。截至10:00，火币平台的主流币的具体表现如下。[2020/6/10]

热门项目：

领先的零知识汇rollup解决方案包括?Polygon?Hermez、Starkware、zkSync?和?Loopring。

Optimistic?Rollups

另一种使用链下计算和状态存储扩展以太坊的L2?方法是optimistic?rollups。他们被认为是“乐观的”，因为他们不为链上提交的交易批次提供有效性证明，并假设链下交易是有效的。这将Optimistic?Rollups与零知识Rollups区分开来，后者广播链下交易的有效性加密证明。Optimistic?rollups?使用欺诈证明技术寻找交易计算不准确的实例。以太坊上的任何用户都有有限的时间来创建防欺诈并对rollup交易的结果提出质疑。如果防欺诈成功，rollup协议将重新运行交易并对rollup的状态进行任何必要的修改。

optimistic?rollup的内部机制

rollup智能合约、子链排序器和在挑战任何错误交易的情况下的防欺诈合约构成了Optimistic?Rollups的框架。

1、rollup合约将交易传输到2?层，以便从以太坊主网进行链下计算。

2、Layer?2交易由排序器接收，排序器发回已签名的收据，承诺准确执行和安排数据。未来，系统的加密经济安全计划由排序器的抵押机制提供，排序器将因遵守规则和执行计划的交易而获得奖励。

金色相对论 | 徐义吉：希望2020年能有减半行情:在今日的金色相对论中，星云链创始人徐义吉发言指出：我希望2020年能有减半行情，这样对于行业的帮助很大，因为有了财富效应，更多优秀的人才会进入来帮助行业发展。行情其实有非常大的不确定性，对于大家来说，我建议还是用闲钱投资，用自己的兴趣和专注找到自己在行业的发展机会。[2020/1/22]

3、为了将交易成本分摊到许多交易中并降低交易成本，排序器将多个交易组合成一个批次，并通过单个交易将该批次提交回以太坊。旧状态?Merkle?哈希、一堆交易和新状态?Merkle?哈希都包含在每个?bundle?中。??

4、Optimistic?rollups?被设计为乐观的，并假定排序器将善意行事。没有交易被审查，所有交易都经过适当的验证和处理，然后提交修改后的子链?Merkle?状态。?

5、提交后，每个人都有机会在预定时间内对交易提出质疑或争议。假设有人认为他们有欺诈的证据。在这种情况下，他们可以提醒以太坊主网上的裁决合约，该合约可以使用?Optimistic?虚拟机检查排序器生成的结果的合法性。如果挑战成功，有罪的排序器将被终止，挑战者将获得一部分被终止的资金。为了存储正确的状态，欺诈交易被逆转。

Optimistic?Rollups的优势

由于与?EVM?和?Solidity?的兼容性，开发人员可以利用现有工具来构建新的?dApp?或将以太坊原生智能合约迁移到rollup。

与链上交易相比，允许更快、更便宜的交易。

欺诈证明可以在不需要信任的情况下提供高度的最终确定性，它可以让诚实的少数人帮助保护公链。?

Optimistic?Rollup的弱点

由于潜在的欺诈挑战导致交易最终延迟。

如果没有诚实节点，恶意运营商可以通过上传无效区块和状态承诺来窃取资金。

为了对抗不正确的状态转换，安全模型依赖于至少一个诚实节点进行rollup交易和报告欺诈证明。

金色相对论 | 高庆忠：判断AI概念的区块链应用是否靠谱 解决问题是关键:在本期金色相对论中，在对“如何分析一个AI概念的区块链应用是否靠谱”这一问题的讨论中，智能矩阵Atmatrix创始人高庆忠表示：有些应用可能会有硬伤，要分析一个AI概念的区块链应用是否靠谱，关键在于他用AI解决了区块链什么问题，或者用区块链解决了AI什么问题，这些问题是否用该技术是有效的。如果不是一种很好的解决方案，该区块链应用可能就不靠谱。不管黑猫白猫，能抓老鼠的是好猫，能解决实际问题的区块链人工智能项目就是好项目，不能解决实际问题的项目那是花架子，是忽悠别人的。[2018/7/17]

该过程可能并非完全无需信任，因为可能需要某种程度的信任来验证证明。

随着?L2?解决方案吞吐量的增加，用于检测欺诈的存储要求可能会增加，从而可能限制可扩展性和成本效益。

热门项目：

领先的optimistic?rollup?解决方案包括?Arbitrum、Optimism?和?Boba?network。

差异

用于验证打包交易的方法是两个系统之间的主要区别。虽然每种策略都有其优点和缺点，但它们都会对下游产生影响。

有效性证明

ZK-rollups依赖于一方提供简洁的加密证明，证明他们知道该链是合法的并且知道其当前的更新状态。证明方需要执行交易并通过执行许多复杂的加密程序来创建证明。链上L1?合约验证简洁且廉价的证据。

Optimistic?rollups可以被认为是一种“荣誉系统”，在提交防欺诈之前，L1?链的智能合约不会检查状态转换。任何网络参与者都可以发布关于一组交易的正确结果的有争议的声明。同样的交易由其他节点进行，如果他们不同意初始节点的主张，他们可能会提出挑战。高效的争议解决流程用于解决任何分歧，并确保正确的一方将赢得挑战。各方有强烈的动机只发布正确的声明并质疑不正确的声明，并且整个程序由?L1?合同约控制。

交易的最终确定性/延迟

交易的最终确定性可以通过在2层交易中处理的代币可以以多快被撤回或交易变得不可逆转所需的时间来衡量。由于当前实施下的挑战期，Optimistic?rollups?在交易完成方面面临一周的延迟。另一方面，ZK-Rollups从有效性证据提交到链上开始，交易的最终确定性没有大的延迟。正因为如此，optimistic?rollups的优势明显不如?ZK?Rollups。

金色财经现场报道 Coinbase CTO：第三波入场的投资者将来自小额支付:金色财经现场报道，今日在Coindesk 2018共识会议上，Coinbase的CTO Balaji Srinivasan称：“目前像微软这样的公司正在密切关注加密行业。当VR达到了iPhone目前的状态，自然的交易形式将变为加密货币，但我们必须首先建设基础设施。如果Twitter将世界变成出版商，那么区块链将世界变成投资者。目前有三种类型的投资者入场，投资者数量正在迅速增加。第一波组是数字黄金，第二波是智能合约，我认为第三波将是小额支付。”[2018/5/17]

这有进一步的后果，例如桥的情况。虽然ZK?rollup?在将?ZK?证明上传到?L1?后立即提供桥接，但optimistic系统会遭受长达一周的延迟才能将资金从rollup?中转移出来。由于延迟可能是跨链应用程序的关键因素，因此基于?ZK?的桥有着显著优势。

交易成本

在评估可扩展性技术时，交易成本是一个关键因素，因为它们是用户的基本考虑因素。在交易成本方面，Optimistic?rollups?和?ZK?rollups?有不同的权衡。虽然?optimistic?rollups?不需要额外的链下计算，但由于需要等待争议期以确保交易的有效性，它们可能具有更高的成本。另一方面，ZK?rollups?涉及更多的链下计算来生成加密证明，这在计算资源方面可能是昂贵的。然而，ZK?rollup?技术正在取得进步以提高效率并降低成本，例如使用递归组合证明或批处理证明来减少所需的椭圆曲线运算次数。

EVM兼容性

EVM?兼容性意味着在以太坊网络上运行的所有?DeFi?协议，例如?Uniswap，都可以轻松过渡迁移到所需的rollup类型。这是阻碍采用?ZK?Rollup?的主要问题之一。因为?EVM?不是用?ZK?技术创建的，所以通过?EVM?操作生成实用的零知识证明非常困难。尽管在创建?ZK-EVM?方面付出了巨大努力，但它们都还没有实现主网上线。

另一方面，optimistic?rollups?可以运行以太坊虚拟机。Arbitrum?解决方案完全兼容?EVM，因为它使用与?EVM?相同的?RPC?接口和字节码。为以太坊创建的任何协议都会在?Arbitrum?上自动运行。

隐私?

ZK?rollups的好处之一是它们通过设计提供了一定程度的隐私。这是因为交易数据没有单独发布在基础层上，与?optimistic?rollups?相比，这可以提供一些隐私优势。然而，值得注意的是，并非所有?ZK?rollup?都是如此。例如，在?Starknet?或?ZKSync?等公共ZK?rollup解决方案中，任何操作2层节点的人都可以看到所有交易。尽管如此，对于在不牺牲安全性的情况下优先考虑隐私的私有实例，ZK?rollups?可能仍然是更合适的选择。

安全

ZK?rollups在安全性方面优于其竞争对手，因为?ZK?证明是其共识方法的基础。Optimistic?rollups?只需要大多数验证者同意交易有效，而?ZK?rollups?由?ZK-SNARKs?和?STARKs?驱动，确保所有交易在密码学上都是有效的。因此，恶意交易可能会生成可以添加到Optimistic?rollups?中的无效交易，这在?ZK?配置中是不可行的。Optimistic?rollups?提交交易完全基于它们是真实的假设，但?ZK-rollups?提供加密证明来验证链上的交易。

信任

一些ZK-rollup，例如SNARK，依赖于底层系统中的可信设置，如果遭到破坏，这可能会显著降低rollup的安全性。有一些称为STARK?的无信任设置可以帮助解决这个问题，但它们也有自己的挑战。Optimistic?rollups?还要求用户相信验证者不会合谋使交易无效，从而导致?1-of-N?诚实参与者的假设。

领先的解决方案

Abritrum

Arbitrum?是?Pantera?投资组合中的一家公司，它是一个综合性的技术套件，为广泛使用的以太坊的局限性提供解决方案。由于以太坊的交易吞吐量上限仅为每秒?20-40?笔交易?(TPS)，而且由于其设计，每笔交易都必须由网络中的每个节点处理，因此交易费用很高，Arbitrum的2层解决方案，称为?Arbitrum?Rollup?，这是一个继承了以太坊级别安全性的Optimistic?rollups?协议。

Arbitrum?通过在一个单独的链上处理交易来运作，该链作为以太坊中的一个子模块，将其与需要由每个以太坊节点处理的常规以太坊交易区分开来。相比之下，Arbitrum?交易遵循“无辜直到被证明有罪”的方法，假设?Arbitrum?上的活动符合既定规则。如果出现违规行为，例如欺诈索赔，可以在以太坊的L1上进行争议，欺诈方将面临处罚。

Arbitrum?的一个关键特征是它能够透明和公开地证明以太坊上的欺诈行为。输入Arbitrum?的数据直接发布在以太坊上，任何感兴趣的人都可以看到。负责在以太坊1层推进?Arbitrum?链状态的验证者在检测和证明欺诈方面发挥着关键作用。成为?Arbitrum?验证者不需要特殊许可，只要有至少一个诚实的验证者，链就会保持安全，使系统“无需信任”，因为用户不依赖任何指定方来确保资金安全。

Arbitrum背后的公司Offchain?Labs的团队由经验丰富的区块链专家和企业家组成。联合创始人?Ed?Felten、Steven?Goldfeder?和?Harry?Kalodner?领导团队，带来了计算机科学、密码学和区块链技术方面的丰富知识和经验。其他主要团队成员包括在以太坊扩展解决方案方面具有专业知识的著名研究人员和开发人员。?

Arbitrum旨在为以太坊用户提供可扩展且具有成本效益的解决方案，使他们能够继续使用?Web3?应用程序、部署智能合约并以更低的费用和更快的速度进行交易。通过利用以太坊的安全性并引入一种创新的交易处理方法，Arbitrum?旨在解决以太坊的局限性并创建一个更高效和用户友好的区块链生态系统。

Starkware

Starkware是Pantera的投资组合公司，处于为以太坊开发二层区块链的最前沿，使用?zk-STARKs来确保计算安全。由?Starkware?发明的?zk-STARKs是透明的加密证明，它使用轻量级哈希函数以可扩展的方式验证计算完整性。Starkware的证明系统据称比其他系统更快、更具可扩展性，同时依赖于更安全的加密假设。

Starkware?有两个主要产品：StarkNet和StarkEx。StarkNet是一个基于zk-rollups?的无需许可的去中心化二层区块链，它执行交易并将交易数据批量中继回以太坊主网，由STARK证明保护。这使得StarkNet能够受益于以太坊的安全性和可组合性，同时通过?EVM?兼容性扩展交易。StarkNet?Alpha?于?2021?年?11?月?29?日在以太坊主网上线。

另一方面，StarkEx是为特定去中心化应用程序?(DApp)?量身定制的二层扩展解决方案，特别是像dYdX、DeversiFi这样的DeFi交易应用程序和Immutable?X这样的NFT区块链?。StarkEx提供三种数据可用性模式：zkRollup模式、Validium模式和称为Volition的混合模式，为DApp处理链下数据提供了灵活性。这是由Cairo实现的，Cairo是Starkware产品使用的编程语言。此外，Shared?Prover?(SHARP)?技术允许分摊一批交易的gas成本，从而使Starkware的?gas?费用非常低。

Starkware是zk-rollup领域的重要参与者，与optimistic?rollups和zkSync等其他扩展解决方案竞争。然而，Starkware的与众不同之处在于提供更快的交易验证而没有争议期，并使用被认为更复杂但可能更安全的?STARK?加密证明。?

Starkware背后的团队包括联合创始人Eli?Ben-Sasson，他也是STARK证明的共同发明人和计算机科学教授，以?Alessandro?Chiesa和Uri?Kolodny。?

Starkware是一家开创性公司，正在使用zk-STARKs为以太坊构建二层区块链以确保计算安全。凭借其创新产品StarkNet和StarkEx，以及强大的生态系统和投资者支持，Starkware处于有利地位，可以在未来为以太坊的可扩展性和采用做出贡献。

结论

Rollups已迅速成为解决以太坊速度和成本低效基本问题的重要工具。乐观rollup和零知识rollup这两个主要解决方案为问题提供了创造性的解决方案。使用加密证明，ZK?rollups似乎提供了一种更安全的解决方案。然而，optimistic?rollups提供了很高的EVM兼容性，在引入ZK-EVM?之前，它可以作为一个重要的缓冲区。无论如何，这些扩展解决方案正在刺激创新，使以太坊的未来变得非常令人兴奋。?

标签：ROLLROLUPSARKroll币能出坐骑吗QrolliPudgy Pups ClubArkane Network

TUSD热门资讯