Rollup 去中心化有多重要?从哲学、技术和经济角度理解
最近 Crypto Twitter 上的很多讨论都围绕 L2 的去中心化。我们正在构建的 Rollup 是否足够去中心化?它们已经走上了权力下放的道路吗?这还重要吗?
我将在这篇文章中探讨这些主题。在我深入研究之前,如果你还不了解 Rollup 的真正工作原理,建议你快速阅读一下这篇文章:Rollups for Dummies。
Rollup 的理念其实很简单:它希望链下参与者进行交易,然后可以轻松地在链上验证。通过 Rollup,基础层的「信任」被扩展到其区块链之外的活动。作为回报,Rollup 支付少量费用(租金)来使用这种信任。
那么我们是否需要去中心化 Rollup?
直观的答案是:肯定需要!这是区块链的精神所在。
但是,我也相信这个问题的答案并不是简单的是或否。相反,它包含多个方面,必须逐个单独分析。在接下来的内容中,我将从哲学、技术和经济三个角度来探讨这个问题。
哲学角度
让我们首先将对话提升一个层次:为什么我们关心权力下放?
因为我们想要一个促进开放创新的无需许可的未来。我们希望用户能够不受任何限制地构建新事物,并且不需要信任任何单个实体。
在区块链短暂的历史中,我们已经有很多匿名开发者构建了令人惊叹的东西。事实上,比特币本身是由一个匿名实体创建的,它可能很快就会成为世界上大多数人使用的全球支付货币。这就是无需许可的创新的力量!
区块链让我们能够与没有任何共同点的人合作,而且我们知道他们没有办法打破这种信任关系。
——Preston Evans
比特币和以太坊等去信任网络的去中心化基础使我们能够构建这样的未来。很明显,任何与这些区块链有信任关系的链,比如 Rollup,也应该是去中心化的!
事实上,它引出了一个有趣且重要的问题:
如果 Rollup 不是去中心化的,这是否意味着以太坊就不是去中心化的?
看待这个问题的一种稍微乐观的方式是,在一个无需许可的世界中,应该允许 Rollup 构建它们想要的任何东西,包括(但不限于)许可链,并且该 Rollup 的用户仍然能够利用基础层的安全性。只要基础层是去中心化的,并且 Rollup 已经「完整实现」(我们将在技术部分更多地讨论「完整实现」),即使是许可链也应该可以安全使用。
但实际情况是,今天的大多数 Rollup 尚未达到完整实现的阶段,而且它们没有为用户提供所需的安全性和免信任级别。
那么,Rollup 的正确实现方式是什么样的呢?让我们来看看:
技术角度
要真正理解 Rollup 的去中心化和安全性问题,我们需要从第一性原理来看待它。没有多少人能比 Sreeram Kannan 更好地解释区块链的首要原理。
区块链是一种分布式账本,网络中的不同节点遵循预定的协议规则以获得对账本状态的共识。根据这些节点如何看待网络,它们可以有不同的规则,用于确认自己的账本网络的正确状态
特别是在 Rollup 中,全节点与轻客户端具有不同的确认规则。在传统的智能合约 Rollup(SCR)中,智能合约(验证桥)有自己的确认规则。如果没有不良事件,这些确认规则最终会在所谓的「一致性区域」中重合。顾名思义,在一致性区域中,所有参与者对网络都有相同的看法(以及账本中相同的历史记录)。
如果所有确认规则都是安全的,就不会发生不良事件。正如 Sreeram 在上面的帖子中分享的那样,5 个属性主要定义了这些确认规则的安全性。
- 账本增长 - Rollup 链应该不断增长(活性)
- 抗审查性 - 所有用户都应该能够将任何交易包含到基础层
- 抗重组 - 交易一旦完成就不会被撤回
- 数据可用性 - 交易数据应该在某处发布
- 有效性 - 交易和状态转换应该有效
前 2 个属性定义了系统的「活性」条件,而后 3 个属性定义了「安全」条件。
让我们从不同 Rollup 参与者的角度来审视这些问题,看看在不去中心化的情况下,哪些问题可以缓解。
不同的参与者依靠不同的机制来获得安全性和活性
全节点:
如果运行全节点,则可以访问已发布的数据并可以直接对其进行验证。然后,你可以使用该数据自行执行交易,并确定交易的有效性以及这些交易后 Rollup 的最终状态。
因此剩下的安全条件是活性和抗重组性。对于抗重组性,全节点依赖于基础链的验证器及其使用的共识协议,而对于活性,全节点依赖于排序器和 Rollup 实现。
轻客户端:
大多数用户使用轻客户端获取区块链数据来与区块链交互。轻节点有多种类型:
- 状态验证者 - 验证状态转换的有效性
- 数据可用性验证者 - 验证数据可用性
- 共识验证者 - 验证基础层的共识证明
- 完整验证者 - 验证以上所有内容
如果运行完整验证者轻客户端,可以通过数据可用性采样来验证数据是否可用,可以通过有效性证明或欺诈证明来验证状态转换的有效性,还可以验证状态是否遵循基础层的共识(在以太坊上,可以通过遵循同步委员会来完成)。
那么剩下的安全条件就是活性,轻客户端依赖于排序器和 Rollup 实现。
内置智能合约(验证桥):
在传统 SCR 中,智能合约的「确认规则」是强制执行所有 5 个安全属性:
- 通过排序器替换协议实现账本增长
- 通过强制包容来抵制审查
- 在先前状态的基础上构建抗重组
- 通在基础层提交 DA 实现数据可用性
- 通过有效性 / 欺诈证明来验证有效性
SCR 全节点依靠智能合约来强制执行活性属性。它们从基础层获得抗重组性。
轻节点依靠智能合约来增强活性属性并吸收来自基础层的 DA 和抗重组性。它们可以自己或通过智能合约验证有效性证明。
SCR 的共识是遵循智能合约定义的规范链。
主权 Rollup 怎么样?
主权 Rollup 没有智能合约(验证桥)来强制执行有效性或活性条件。相反,它们将证明「下滚」(roll down)到下游的 Rollup 节点。这些节点仍然依靠来自基础层的数据可用性和抗重组性。
就像在 SCR 中一样,在主权 Rollup 中,节点需要某种机制来强制执行活性属性。为了定义规范链,它们选择了独立的机制,例如广播 p2p 证明。
这一切与去中心化有什么关系?
无论是智能合约 Rollup 还是主权 Rollup,活性属性都来自 Rollup 的正确实现。正如我们在上面所看到的,Rollup 的正确实现必须包括两个重要的组成部分:
- 强制包含机制;
- 排序器替换协议。
强制包含机制有助于增强抗审查性。这种机制允许用户将他们的交易直接「强制包含」在基础层中。然后,Rollup 上的任何用户都可以将他们的资金强制退出回到基础层。因此,即使只有一个中心化的排序器节点,只要有成熟的强制包含机制,它就无法审查用户。
但这就足够了吗?
即使用户可以自由退出,这可能意味着如果大多数用户都跑回 L1,L2 就没有太多动力继续运营。此外,强制包含机制通常需要很长的等待时间,并且对于普通用户来说执行起来可能相当昂贵。这种机制提供的抗审查性并不完全实用(或实时),我们可以称之为「弱审查」。
那么我们就有了最终的活性属性——账本增长。
如果中心化排序作恶,它可以通过简单地停止区块生产来阻止 Rollup 链的增长。如果发生这种情况,用户无法采取任何措施使 Rollup 再次「生效」。
为了解决这个问题,我们需要一个排序器替换协议。
排序器替换协议的想法是,如果排序器以恶意方式运行,则 Rollup 能够通过治理启动一个新的排序器。实现这一目标的方法之一是用去中心化排序器协议替换中心化排序器节点。如果排序器是去中心化的并且不垄断 Rollup 的区块构建,那么它就几乎不可能阻止 Rollup 链。
因此,尽管用户资金在通过强制包含机制实现的 Rollup 中始终是安全的,但建立强大的排序器替换协议有助于保持 Rollup 的活性并提供实用、实时的抗审查性。
这就是全部?
不完全是。从技术角度来看,还有一个方面需要考虑:
如果智能合约本身可以由 Rollup 的中央委员会升级怎么办?假设 Rollup 目前已正确实施,但明天委员会达成共识,我们不再需要智能合约,而是将 Rollup 状态的证明广播到 p2p 网络。
如果作为 Rollup 用户,你不同意此类升级,则你应该能够在实施升级之前退出 Rollup(尽管这不是一个好的用户体验,并且可能对企业不利)。这可以通过「滞后的治理更新」来实现,就像一个「通知期」,之后将实施升级。不同意更新的用户可以在通知期内退出。
去中心化的极端是拥有完全不可变的智能合约。这些合约不由任何多重签名钱包或其他委员会管理,并且一旦部署就永远无法升级。
当然,这也有其自身的问题。如果代码中存在任何错误,或者某些重大事件需要更新智能合约,那么 Rollup 唯一的选择就是分叉到新的智能合约,而用户资金滞留在旧合约中。
不幸的是,Rollup 的当前状态远未达到我们上面讨论的完整实现。大多数 Rollup 仍处于「探索」阶段,正在努力正确实施。
根据 L2BEAT 的说法,Fuel v1 和 DeGate 是仅有的两个已经成熟、可以实现所有活性和安全条件的 Rollup。
经济角度
最后,让我们从用户和 Rollup 运营商的角度来看看 Rollup 经济学:
- 用户体验:用户应该获得便宜的价格,并且交易不必等待太长时间;
- Rollup 利润:排序器和代币持有者应该有利可图。
当用户获得快速且廉价的交易服务时,用户体验就会得到优化。
交易最终确定的速度取决于基础层最终确定的速度。每当 L1 上的数据最终确定时,交易就可以被视为最终交易。然而,运行全节点的用户也可以通过简单地执行交易并确定最终状态来获得即时最终结果。
但对于每个人来说都运行全节点并不实际。因此,中心化排序器很有用,因为它可以向用户提供「软确认」,表明他们的交易已包含在区块中并将最终完成。这对于大多数用例来说已经足够了。然而,它依赖于可以采取不利行动的中心化机构。
虽然一些排序器替代协议解决方案放弃了此属性(因为对用户不利),但其他解决方案(例如外部 PoS 共识方案 Espresso)可以提供类似的预确认保证,而无需承担中心化排序器的风险。
用户成本又如何呢?
Rollup 交易的显式成本通常为:
L2 Gas 成本 = L1 Gas 成本 + 排序器费用。理性的中心化排序器总是希望最大化自己的利润,即使这意味着将更高的成本转嫁给用户。然而,值得注意的是,这也不一定可以通过去中心化排序器机制来解决。即使是去中心化排序器中的 PoS 节点也希望最大化自己的利润。
事实上,这会产生错配问题,即 Rollup 可能不想将利润交给外部排序器。
Rollup 利润:除了排序器费用外,Rollup 还可以通过从用户交易中提取 MEV 来赚取利润。此 MEV 通常很难归因,因为很难找到排序器是否在交易包中包含一些自己的抢先交易。
如果 Rollup 被外部 PoS 共识取代,他们就会将此 MEV 交给外部运营商。
值得注意的是,Rollup 将收入交给外部机制的这两个问题都可以通过 Rollup 和外部机制之间的「交易协议」来解决。
然而,正如 Jon Charbonneau 在模块化峰会期间的演讲以及随后的文章中所解释的那样,更好的想法可能是让 Rollup 治理将排序委托给一组经过验证的节点。这些节点可以战略性地选择在地理上分散,并且治理可以简单地将不良行为者踢出。
这可能是一种一石二鸟的解决方案,因为它允许 Rollup 将利润保留在内部,同时还减轻了中心化排序器的不利影响。
但与此相反的是,在排序器轮换有限的情况下,排序器可以具有短视行为,这可能导致垄断定价 / 价格欺诈,进损害牲 Rollup 用户的利益。
无论哪种方式,为了使 Rollup 对用户来说经济高效,一些排序器替换协议是必要的。
结论
无论 Rollup 采取什么路径,至关重要的是,它的目标应该是一个完整的实现,具有成熟的排序器替换协议、强制包含和滞后治理更新机制。如果有强制包含和滞后更新机制,无论排序器是否集中心化,用户资金都会是安全的。
然而,强大的排序器替换协议可以提高活性保证,并可能提高 Rollup 用户的经济效益。
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
解读CKB版 “闪电网络” Fiber Network:比特币可编程性扩展的另一种思路
作者:NingNing行业周期与宏观金融周期共振,加密行业正处在与 2019 年相似的整体性迷茫之中,现阶段不仅流动性枯竭,叙事貌似也在枯竭。市场不但对 VC 叙事兴趣阙如,对反 VC 的 Meme 叙事也已经疲倦。就像每次哲学危机,人们都会回归柏拉图寻找出路,当加密行业危机时,我们也需要回归比特币、回归中本聪。正如 CKB 生态 RGB++ 协议创始人 Cipher 在最新 Blog 里所阐述的,加密行业需要对以太坊 “链上计算” 的路径依赖进行反思,回归P2P经济学,让计算归于链下,让验证归于链上。因
-
面对NFL球员工会起诉,“退圈”的DraftKings竟主动承认NFT是证券?
作者:Zen,PANews近日,美国国家橄榄球联盟球员协会 (NFLPA) 指控数字体育娱乐和游戏公司DraftKings 逃避了其 NFT 球员许可协议的付款义务。在放弃NFT业务后,涉嫌出售未注册证券而遭到集体诉讼的DraftKings又背上了一起官司。而有趣的是,在与NFLPA的纠纷中,DraftKings的立场似乎已从反驳转变为积极承认“NFT就是证券”。放弃NFT业务:驳回集体诉讼的动议遭到否决今年7月底,Draftkings在给用户的电子邮件中表示:“经过慎重考虑,DraftKings 决定终
-
简析两种最新比特币智能合约实现方案:OP_NET与Arch有何区别?
作者:Cookie过去半个月,OP_NET 与 Arch 这两个比特币主网上的智能合约实现方案引发了较多的讨论。有意思的事情是,OP_NET 这个名字与大家熟悉的 OP_CAT 很像,都以「OP_」开头,具有很强的、让大家认为这哥俩差不多的迷惑性。所以,在开篇要和大家先提一嘴 OP_CAT。首先,OP_CAT 是比特币操作码,从去年开始有以「量子猫」Quantum Cats,也就是「大巫师」Taproot Wizards 的创始人 Udi Wertheimer 为首的社区力量一直在呼喊要「复活」OP_CA
-
争议不断,以太坊正在失去“万链之王”的权威
作者:Climber,金色财经近期围绕以太坊的话题和争议越来越多,不仅 Vitalik 本人需要下场解释观点,就连以太坊基金会也要发布公告来平息社区的质疑声。在本轮牛市周期中,以太坊的表现可谓平平。而美国以太坊现货 ETF 的通过也并未让 ETH 走势如投资者期待般爆发,相反却在币价方面越走越低。这就不免让有着「万链之王」美誉的以太坊逐渐失去投资者和社区的尊重,进而质疑起有关以太坊的方方面面。争议不断,以太坊亟需重塑权威最近一段时间以来社区成员对 Vitalik 言论观点、以太坊基金会乃至以太坊生态系统的
-
从《黑神话:悟空》谈起,GameFi何时能取得真经?
作者:YBB Capital Researcher Zeke前言本文是市场垃圾时间中的一些闲聊,需要对传统游戏市场有一定程度了解。大家可以把这篇文章当作日记或者随想观看,这些只是我在游玩《黑神话:悟空》之后对GameFi的一些粗浅思考,以及对这个赛道未来的看法。一、游戏科学的九九八十一难三天全网销量破千万、Steam玩家同时在线峰值破235万、多家品牌联名周边销售爆火、国家级媒体多次采访、多个游戏取景地可凭游戏通关记录终身免费进入、86版《西游记》YouTube观看量超400万。以上,是《黑神话:悟空》上
-
Gavin Wood:如何防止女巫攻击进行有效空投?
演讲:Gavin WoodGavin 近期一直在关注的女巫攻击(civil resistance)的问题,PolkaWorld 回顾了 Gavin Wood 博士在 Polkadot Decoded 2024 上的主题演讲,想要探究 Gavin 在如何防止女巫攻击上的一些见解。什么是女巫攻击?你们可能知道,我一直在研究一些项目,我在编写灰皮书,专注于 JAM 项目,也在这个方向上做了一些代码的工作。实际上,在过去的两年时间里,我一直在思考一个非常关键的问题,这个问题在这个领域中非常重要,那就是如何防止女巫
-
市场热议,链抽象将成加密新叙事?
2024年,加密货币领域的技术创新持续加速,链抽象(Chain Abstraction)逐渐成为行业内的焦点。链抽象技术的核心在于通过隐藏底层技术的复杂性,让用户能够更加便捷地在多个区块链之间进行操作。传统的区块链技术通常要求用户掌握不同链的操作流程,并需要应对跨链操作中的技术难题,这极大地吸引了新用户的进入。而链抽象的出现,则为这些问题提供了有效的解决方案,成为Web3建设不可忽视的重要一环。01、什么是链抽象及其作用链抽象能够将不同的区块链之间的差异整合在一个统一的操作界面中,使得用户只需一个账户即可
-
今日日报|马斯克和特斯拉赢得“被指控操纵狗狗币”的诉讼;稳定币支付平台Bridge完成5800万美元融资
今日要闻提示:马斯克和特斯拉赢得驳回指控他们操纵狗狗币的诉讼OpenAI和Anthropic已同意将其主要新AI模型在发布前共享给美国政府OKX将上线Hamster Kombat(HMSTR)现货交易X平台纽约总部将于9月13日关闭,预计将迁往得州萨尔瓦多总统布克尔成为《时代》杂志最新一期封面人物稳定币支付公司Bridge完成5800万美元融资数据:MATIC、SHIB、UNI代币头部地址持仓均超50%网龙今年上半年通过出售2.9亿元的加密货币,获利5100万元人民币监管消息美国众议院计划在9月举行多场加
- 成交量排行
- 币种热搜榜