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

作者：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?区块。除了这些数据之外，运营商还会收到索引地址、价值、网络费用和随机数。

金色热搜榜：BNB居于榜首:根据金色财经排行榜数据显示，过去24小时内，BNB搜索量高居榜首。具体前五名单如下：BNB、ZEN、ITC、HC、ZEC。[2020/12/22 16:08:23]

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

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

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

ZK-Rollups的优势

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

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

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

ZK-Rollups的弱点

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

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

热门项目：

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

Optimistic?Rollups

金色晨讯丨4月28日隔夜重要动态一览:21:00-7:00关键词：新冠肺炎、区块链应用、USDT增发

1.美国新冠肺炎确诊病例数超100万例。

2.人民日报：运用区块链等前沿技术可推动城市管理创新。

3.经济日报：应大力推动区块链等与贸易有机融合。

4.CME比特币期货5月合约收涨2.44%。

5.Tether向以太坊网络增发1.2亿枚USDT（已授权未发行）。

6.美国运输部：区块链有助于商业无人机交付。

7.DASH减产后出块稳定 区块奖励已降至2.89DASH。

8.外媒：规模小的比特币矿工或在减半后无法生存。

9.比特币小幅震荡，日内最高报7774.28美元，最低报7640.39美元。[2020/4/28]

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

optimistic?rollup的内部机制

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

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

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

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

金色沙龙丨吕国宁：区块链和互联网协议的分工和协作模式是互相依存，取长补短:在本期金色沙龙上，Nervos联合创始人吕国宁发言指出：区块链协议相比于互联网协议，核心差别是区块链的协议带有 enforcement 特性，按照中文的说法，区块链带有强制执行的效力。这是互联网协议在设计的时候不曾考虑的一个角度。从历史角度看，互联网底层基础协议， TCP/IP 这个协议支撑了整个互联网信息和通讯，从底层物理层到上层应用层，都依附于这个协议本身。区块链协议则先要考虑协议本身的设计和取舍，然后才是实现，并且协议的上下文环境是去中心化，这导致协议必须带有强制效力才能维持运行。互联网协议解决的是信息流通问题，而区块链解决的事价值流通问题，解决问题的方法是不一样的，区块链和互联网协议的分工和协作的模式，最合适的方式是互相依存，取长补短。[2020/3/25]

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

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

Optimistic?Rollups的优势

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

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

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

Optimistic?Rollup的弱点

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

金色独家 俄罗斯意图用加密货币对抗美元霸权:金色财经独家分析，俄罗斯总统普京6月7日在与俄罗斯公众的年度现场问答会议上表示，俄罗斯不能有自己的加密货币，但必须研??究如何使用加密货币。同时，另一条消息宣称，俄罗斯政府与企业巨头合资开发区块链及物联网。从这里可以很清晰的看到俄罗斯对于加密货币以及区块链行业的态度。从历史上看，俄罗斯对于加密货币的态度一直有所反复，一开始是出于完全的无监管状态，特别是由于俄罗斯拥有丰富的电力资源，挖矿一度盛行，然而随着加密货币产业在俄罗斯的发展壮大，监管开始注意到这一产业，之后针对加密货币收益等开始制定税收政策，同时在俄罗斯境内禁止了Telegram，并且尝试对ICO进行沙盒监管，可以看出俄罗斯当局有意在引导加密货币和区块链产业走向更加规范化的道路。从普京的发言中也可以看出，作为一个新兴产业，加密货币及区块链行业拥有发展潜力，俄罗斯不愿意错过这趟风口。但同时俄罗斯也对加密货币存在担心，“不能有自己的加密货币”是为了规避加密货币可能导致的潜在性金融风险，“必须研??究如何使用加密货币”使人联想到之前俄罗斯一银行通过加密货币帮助委内瑞拉石油币发展，从一定程度上讲，加密货币能够绕开以美元为主导的布雷顿森林体系，委内瑞拉的石油币一方面是应对其国内严重的通胀问题，另一方面也是对传统“美元-石油”挂钩机制的挑战。“必须研??究如何使用加密货币”就是善于利用加密货币维护自身国家权益。另外，俄罗斯对于加密货币和区块链抱持不同的监管态度，区块链作为一种新潮技术将被鼓励开发应用到各行各业之中，然而加密货币则要采取更为审慎的态度，避免造成系统性金融风险。[2018/6/13]

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

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

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

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

热门项目：

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

差异

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

金色财经现场报道 “金融链变——火币集团全球品牌升级发布会”在新加坡召开:金色财经6月6日现场报道，15点30分，“金融链变——火币集团全球品牌升级发布会”在新加坡召开。发布会上，火币邀请区块链行业人士共同见证火币集团区块链蓝图，火币将对全球数字资产金融中心、火币生态、火币研究院研究大数据研究成果、信任与安全、基础设施投资、HUOBIPRO、HADAX、火币矿池、火币品牌建设等内容进行全方位介绍，火币生态基金还将在会上发布重磅彩蛋。金色财经将从现场发来实时报道。[2018/6/6]

有效性证明

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

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

交易的最终确定性/延迟

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

这有进一步的后果，例如桥的情况。虽然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?之前，它可以作为一个重要的缓冲区。无论如何，这些扩展解决方案正在刺激创新，使以太坊的未来变得非常令人兴奋。?

标签：ROLLROLUPSARKThe Troller CoinBenjiRollsSUPS币arkm币行情

波场热门资讯