大多数使用Celestia作为其共识和数据可用性层的应用程序都将托管在Rollup上。作为一种新的第2层解决方案,最初提出以提高交易吞吐量,Rollup可能是几乎所有区块链应用程序的未来家园,无论是使用Celestia、以太坊还是其他平台来实现共识和数据可用性。
在这篇文章中,我们将讨论什么是Rollup,它们目前如何在以太坊上运行以及它们将如何在Celestia上运行。
在当前的以太坊Rollup中,以太坊链被奉为Rollup的结算层,使Rollup有效地成为以太坊的“婴儿链”,其中Rollup链由以太坊上的智能合约定义。这也可以与Polkadot平行链模型相媲美,其中中继链被奉为平行链的结算层。
然而在Celestia中,我们设想了一种新型的Rollup:主权Rollup链。这些是独立的主权链,其中Rollup链由Rollup子网络本身定义,类似于独立的L1,并且可以选择与其他链或结算层一起拥有受信任或信任最小化的桥梁。
目录
什么是Rollup?
以太坊上的Rollup
Celestia上的Rollup
主权交叉Rollup通信
为什么是主权的?
什么是Rollup?
Rollup是将其区块发布到另一个区块链的区块链,并继承该区块链的共识和数据可用性。
典型的Rollup由三个主要方维护:排序器、Rollup完整节点、Rollup轻客户端。所有Rollup都有一个状态,例如,可能是Rollup用户在某个时间点的所有帐户地址和代币余额。
Sequencers是接收来自用户的新Rollup交易的节点,将交易组合成一个区块,并将该区块发布到共识和数据可用性层。一个区块由两部分组成:区块头和实际的交易数据。除其他外,区块头包含对链状态的加密承诺——通常是Merkle根。
Bitrace:1023.8枚WBTC从Multichain转出并兑为稳定币,案件或进入资金处置流程:8月5日消息,区块链数据分析公司币追Bitrace监测,被标注为Multichain Suspicious Address4的地址已经向0x3c74开头地址转移1023.8枚WBTC(约2969万美元),该地址将这笔资产兑换为稳定币并转移。
Bitrace认为这笔资产已经转移给若干个承兑服务商,大量资金变现后回流交易所,流出资金与网传FTX贿赂资金产生关联,并推断Multichain资金已经遭到罚没,且案件进入资金处置流程,后续可能会有更多资金进一步流出并变现。[2023/8/5 16:20:16]
Rollup完整节点是下载所有Rollup区块头和交易数据、处理和验证所有交易的节点,以计算Rollup的状态并检查所有交易是否有效。如果全节点在汇总区块中遇到无效事务,它会拒绝并忽略该区块。因此,Sequencers无法创建具有无效交易的有效区块,因为节点会从他们的视野中拒绝它们。
Rollup轻客户端只下载rollup区块头,不下载和处理任何交易数据,因此无法计算最新状态或验证rollup本身的状态有效性。相反,他们可以从最新的Rollup区块头中了解最新的状态承诺,并向Rollup完整节点询问部分状态。他们还使用欺诈证明或有效性证明等技术间接检查Rollup交易的有效性。
当Rollup节点同步Rollup链时,它们使用共识和数据可用性层对Rollup区块施加的排序。如果它是Rollup中要在数据可用性层上发布的第一个处于其高度的有效区块,则它们将确认这个Rollup区块的最总想-无论是直接检查有效性还是间接检查有效性。
有关Rollup的更详细和技术性的解释,我们建议读者参阅Celestia论坛上有关Rollup的文章。
Aurora Labs 为Web3企业推出 Borealis Business:6月30日消息,Aurora 背后核心开发团队 Aurora Labs 宣布推出 Borealis Business,旨在帮助 Web3 企业解决交易费用问题,用户无需支付交易费用。Borealis Business 是通过 Aurora Cloud 提供的交易处理和会计服务,使企业能够有效管理交易费用,同时保持对其成本的完全控制。通过利用 Borealis Business 核心的规则引擎,企业可以将交易成本转移给 DApp 等第三方。[2023/6/30 22:10:57]
以太坊上的Rollup
当前以太坊上的Rollup将其区块直接发布到基于EVM的智能合约,也称为桥合约。该合约有效地实现了一个用于Rollup的链上轻客户端,该客户端接收区块头并处理欺诈或有效性证明。在这个模型中,以太坊主链有一个神圣的、硬编码的、信任最小化的桥。
使用桥合约,用户可以在Rollup和桥合约所在的执行链之间以信任最小化的方式存取资产,因为由于欺诈或有效性证明,合约不会接受来自Sequencers的无效区块。
以太坊链作为共识和数据可用性层,仅记录和最终确定根据桥合约有效的区块。因此,Rollup完整节点和轻客户端将以太坊链上轻客户端视为关于什么是规范Rollup链的真相的根本来源。在这个模型中,我们认为以太坊被奉为Rollup的耦合结算层,其中Rollup是以太坊的“婴儿链”,而不是一种拥有自己权利的独立链。
Celestia上的Rollup
Celestia上的主权Rollup不会将他们的区块发布到智能合约中,而是直接作为原始数据发布到链上。Celestia共识和数据可用性层不解释或对Rollup区块执行任何计算,也不为Rollup运行链上轻客户端。
美联储理事沃勒:支持美联储下一次加息25个基点:金色财经报道,美联储理事沃勒表示,其倾向于支持在下一次 FOMC 会议上支持美联储加息 25 个基点。
沃勒表示,美联储距离实现 2% 的通胀目标仍然有相当长的路要走。仍然乐观预计美国经济可能会软着陆。虽然近期通胀数据向好,但仍然对前景感到谨慎。此外,有充分的证据表明美联储(货币政策紧缩)行动正在抑制经济活动。[2023/1/21 11:24:29]
相反,Rollup像第1层区块链一样有效地运行:完整节点和轻客户端直接从Rollup自己的点对点网络下载Rollup的区块。主要区别在于,他们还通过Merkle证明验证了Rollup区块数据是否包含在Celestia数据可用性层上并对其进行排序。因此,与第1层区块链类似,这个规范链由本地验证分叉选择规则和Rollup交易的节点确定,而不是由链上轻客户端确定。
欺诈和有效性证明的工作方式也类似于它们在第1层区块链中的工作方式。欺诈证明通过点对点网络直接传递给客户端,有效性证明简单地包含在区块头中。因为点对点网络中的网络同步延迟很可能远小于获取包含在链上的欺诈证明的延迟,这意味着点对点欺诈证明的挑战期可能要短得多,从而为轻客户端带来更快的最终确定性。
在这个模型中,Rollup和任何结算层之间没有桥,因为rollup区块只是直接发布到数据可用性层,而不是智能合约。这与Cosmos的设计理念相一致,在Cosmoszones中,通往CosmosHub的桥不是内置确定的,而是可选的,可以添加,同时仍允许zones保留其主权。Rollups仍然可以以信任最小化的方式连接到其他Rollup——我们将在下一节讨论这个问题。
如果一条Rollup链没有规定一个结算层来确定规范链和Rollup的交易有效性规则,则它是主权的。相反,Rollup的规范链是由Rollup的点对点网络中的节点确定的。这意味着结算层不能强制将交易包含在Rollup中。
Raydium发布漏洞补偿提案,补偿的具体流程将在之后提供:金色财经报道,Solana生态去中心化交易所 Raydium 发布漏洞补偿提案,该提案显示,即使黑客不返还资金,Raydium 有足够的协议收入来补偿用户,但收集数据并准确估计被攻击的影响需要时间。Raydium 表示,补偿的具体流程的选项将在之后提供,虽然这并非 Raydium 设想的启动治理方式,但当下只能如此。
此前,Raydium流动性池遭攻击,总损失约为439.5万美元。[2022/12/21 21:59:23]
“不设结算层”主要是社会区别,而不是技术区别,这意味着Rollup的社区之间存在社会合约,即Rollup的交易有效性规则由社区定义,而不是不可变的L1合约。在实践中,这意味着到Rollup的桥必须是可变的,以便有一条升级路径来确认主权Rollup上的硬分叉。
因此,这意味着Rollup社区可以通过硬分叉升级链,而无需对结算层或数据可用性层进行硬分叉,也无需嵌入破坏链的信任最小化性质的链上治理。如果有资产是在主权Rollup链上本地铸造的,而不是所有资产都从其他链桥接,则这一点尤其重要。
主权Rollups也可以仅将以太坊用作数据可用性层,而无需将以太坊用于结算,但是与使用诸如Celestia之类的“纯”数据可用性层相比,这会增加更多开销,因为Rollup节点需要对数据的有效性感兴趣以太坊结算层中的所有交易,以便为以太坊数据可用性层运行一个节点。
也可以在Celestia上构建一个“结算Rollup?”,这是主权Rollup的一种。结算Rollup可以具有将其用作结算层的非主权Rollup。然而,结算层是主权的,就像以太坊L1是主权一样,因为它的社区经常通过社会共识用硬分叉升级它。
超过2500万个ApeCoin将于明日解锁,占流通量近8%:金色财经报道,超过2500万个ApeCoin将于9月17日被解锁流向启动贡献者,占流通量近8%。(CoinDesk)[2022/9/16 7:01:34]
主权跨Rollup通信
如上所述,CelestiaRollup在Rollup和任何结算层之间没有一座设置的桥梁。Rollup的结算层和执行层因此被解耦和模块化。那么CelestiaRollups如何连接到其他链呢?因为没有结算层,这让我们有更广阔的跨链桥设计空间。我们在下面探索设计空间和各种选项。
让我们假设某个主权Rollup链A想要与另一个链B桥接——我们将假设它也是一个Rollup。
点对点vs.链上结算
链A和B可以直接在两个链的轻客户端中相互嵌入一个轻客户端。例如,两条链都将为链A和B运行一个轻客户端。轻客户端因此将通过点对点网络直接接收区块头和任何相关的欺诈或有效性证明。我们将此称为点对点结算。
两个链上都存在一个桥合约,这将允许资产被提取并存入任一链,并由每个链的sequencers或验证者监控以执行转移。
另一方面,轻客户端也可以实现为链上智能合约,将区块头和欺诈/ZK证明提交给链上智能合约。这就是以太坊Rollup的现状。我们将此称为链上结算。
中心辐射型vs.点对点桥接
目前,预计Rollup将连接到充当结算中心的单个结算层,例如以太坊。如果Rollup链A和B都连接到同一个中心,那么它们可以使用hub作为结算的中介来将资产相互连接起来。
但是,就像IBC一样,Rollup也可以选择直接相互桥接,而不是使用中间Hub链。
动态与静态桥接
根据Rollup链的执行环境,可能需要链升级或硬分叉来桥接新链。这是因为链A和B必须支持彼此的执行环境,才能支持彼此的欺诈或ZK证明。
让我们假设OptimisticRollup链A的状态机是直接用Golang编写的,而不是像EVM或CosmWasm这样的智能合约环境。为了与链B桥接,链B需要升级其节点软件,以便将链A的状态机作为库,以验证链A的欺诈证明。这是因为链B无法自动添加链A的状态机代码,因为它可能是恶意的或不确定的,从而构成安全风险。因此,需要社会共识或治理来增加这样的桥。在使用链B不理解的ZK证明结构的有效性Rollup的情况下,这也同样需要。我们将其称为静态桥接,因为必须通过链升级显式添加桥接。这样的桥可以实现为IBC轻客户端?。
另一方面,如果OptimisticRollup链A是在EVM或CosmWasm等沙盒智能合约环境中编写的,那么链B可以允许将链A的状态机代码直接添加到链B的状态机中,而无需任何必要用于社会共识或治理,例如使用智能合约。同样,如果链A是ZK汇总,它可以动态桥接到链B,只要链B能够理解链A的ZK证明。我们将此称为动态桥接。
非enshrined与enshrined结算层
如果Rollup链将其区块和证明发布到充当结算中心的结算层,则我们说如果规范链及其交易有效性规则由结算层确定,则结算层是enshrined的。
另一方面,如果Rollup将其区块和证明发布到结算层,但Rollup的规范链最终由Rollup网络本身决定,我们就说结算层是非enshrined。为了使非enshrined的结算层有意义,它应该有一种不需要硬分叉结算层的方式来升级Rollup。
基于委员会与基于证明的桥
为了使两条Rollup链之间的跨链桥的信任最小化,Rollup链必须验证彼此的欺诈或ZK证明,这意味着它们必须了解彼此的状态机。
但是,也存在基于委员会的桥,该桥不依赖于状态有效性的证明,而是依靠委员会来证明区块的有效性。这样的桥梁并没有最小化信任,因为委员会可以窃取资金。然而,这样的桥可能具有较低的复杂性,因为目标链不需要具有处理源链的欺诈或ZK证明的功能。
在当前的IBC桥中,委员会是源链的验证者集。然而,人们可以设想这样一个世界,委员会由证明多个链的专业跨链桥提供商运营。这可以被认为是仅用于桥的链间安全性,而不是区块生产。在这样的设置中,桥委员会与源链的验证者集解耦。
可升级与不可升级的跨链桥
当前以太坊Rollup的最终目标是Rollup不应由多重签名或委员会进行升级,因为如果可以,它们不会被信任最小化,因为资金可能会通过升级被盗。在这个模型中,Rollup只能通过硬分叉L1来升级,因为规范链是由L1的结算层定义的,这意味着Rollup没有主权。
然而,为了使主权Rollup变得实用,应该有一个升级路径,承认Rollup是主权的而不是神圣的结算层的。有几种方法可以考虑,这些方法会影响桥是否最小化信任。假设一条Rollup链A是硬分叉,而链B需要为链A升级其轻客户端:
对于静态桥,链B也需要硬分叉。这样的升级路径将意味着桥的信任最小化,因为不涉及多重签名或委员会。
对于动态桥,由链A控制的委员会可以升级链B上的轻客户端。这将是一个可信的桥。
对于动态桥,由链B控制的委员会可以升级链B上的轻客户端。如果链B是结算层,这使结算层有责任实施升级,这可能是可取的,如果结算层有专门的治理,或具有较高的经济安全性。这也将是一个值得信赖的桥。
为什么是主权?
“主权不仅仅是一个模因。这是硬分叉的能力。这是一种认识:区块链和社会中最重要的一层是社会共识。这是人>代币的编码。人>验证者。人>治理。”Rollup的核心是简单的区块链,而Rollup桥只是这些区块链的轻客户端。以太坊推广的Rollup的当前现状旨在具有神圣的结算层的不可升级的汇总。这等效于为永远无法升级的区块链运行客户端,其区块只有在被轻客户端的一个神圣的链上实例接受以进行Rollup时才有效。如上所示,这只是Rollup设计空间的一小部分。
在CelestiaLabs,我们对没有固定结算层的主权Rollup感兴趣,因为我们相信区块链中最重要的层是社会共识。特别是,区块链是一种允许社区以主权方式进行社会协调的工具,而不会受到现状的负担。这意味着将硬分叉视为一项功能,而不是错误,因为硬分叉赋予主权社区强制执行社会共识的能力。当出现问题时,这作为一种社会追索机制尤其重要,例如在DAO黑客攻击后以太坊分叉时。
主权Rollups将成为主权社区拥有社区计算机来跟踪和执行社会经济价值和协议的有效方式,无需引导或维护自己的共识层和验证者集的开销,也无需服从于一个他们支持或不支持的神圣的结算层的社会共识。
主权Rollups还为开发人员在其执行环境中提供了更大的灵活性,因为他们不受必须为其Rollup处理欺诈或ZK证明的神圣结算层的限制,因为在许多情况下,某些结算层存在欺诈或ZK证明可能无法轻松或有效地处理。
来源:金色财经
目前为止,目前市场上最热门的市场都围绕着加密货币的价格上涨,但目前正在加密货币市场,目前市场上都围绕着市场,不断地收看投资者观看和收看的活动。预计本周投资者将主要关注几代币.
1900/1/1 0:00:00过去的几个周末给虚拟货币投资者带来了灾难和绝望。然而,这个周末与好消息同步。比特币正在复苏的路上。按用户数和市值计算,最受欢迎的虚拟货币已经突破21000美元.
1900/1/1 0:00:00头条▌比利时监管机构将加密货币视为一种证券金色财经报道,比利时金融监管机构在周三发布的咨询中表示,数量有限或可交易以获取利润的加密资产可能被视为必须为潜在投资者发布招股说明书的投资工具.
1900/1/1 0:00:00最近的Coinbase研究所研究强调了最近加密资产价格看似持续下跌的一些决定因素。该研究试图将当前的熊市主要归因于宏观经济政策,而加密空间中的情绪造成的影响最小.
1900/1/1 0:00:00币圈咨询7月10日热点;1.SolanaLabs被指控在新诉讼中出售未注册证券2.PeterSchiff:马斯克从未打算收购Twitter3.
1900/1/1 0:00:00比特币目前现价21600冲高回踩至早间行情附近,四小时级别来看主图收一个阴线随后迎来第二根倒催子线收线,那么大概率后市行情下跌依然会有点空间,四小级别来看DKJ三线高位聚合超卖即将形成死叉.
1900/1/1 0:00:00