ROL:一文了解无状态 Rollup

注:原文作者是AlexBeckett,目前就职于Celestia。

全节点验证区块的方式,是通过下载所有交易并重新执行它们来检查其有效性,毫不奇怪的是,更大的区块会给全节点带来更大的负担,因为处理和验证每个区块需要更多的硬件。而欺诈和有效性证明等技术使得节点能够检查有效性,而无需重新执行每笔交易。数据可用性采样技术使得节点能够验证数据可用性,同时只下载每个区块的一小部分。

剩下的最后负担之一就是状态。要验证区块,全节点还必须存储整个状态的副本。随着状态的增长,对全节点的存储需求也会增加。幸运的是,状态增长在一定程度上也是可以解决的。

所谓无状态是一种特性,是指全节点可以在不存储状态的情况下验证区块。而无状态主要有两种:

AI Meta Club(AMC)的治理代币AMC即将上线Gate. io交易所:据官方公告,聚合AI与元宇宙Web3项目的AI Meta Club(AMC)的治理代币AMC将在新加坡时间:7月7日20:00 上线GATE.IO。其代币已在MEXC、Poloniex、CoinTR上交易。

AMC是以AIGC赋能元宇宙Web3项目的DAO平台。先前因以聚合AI工具生成马斯克前女友Grimes明星歌手的说唱而出名。[2023/7/4 22:17:47]

强无状态:不需要节点来存储状态。

弱无状态:只需要区块生产者来存储状态。

强无状态引入了一个数量级的复杂性和权衡,所以我们现在只关注弱无状态。

BAYC铸造型游戏Dookey Dash被爆出现漏洞:金色财经报道,据软件工程师 Cygaar 在社交媒体发文称,“无聊猿” BAYC 最新铸造游戏 Dookey Dash 存在漏洞。 Cygaar 在其发布的一段视频中显示玩家可以通过(不再他们周围)的各种类型障碍物并依然记录有效分数。Cygaar 补充称,这个漏洞能让玩家完全无需绕过风扇和流经下水道的管道等障碍物就能累计分数,目前他已经把这个问题报告给了安全工程师 @samwcyo 和 Yuga Labs 安全团队,但到目前为止 Yuga Labs 和 BAYC 官方尚未就此问题给予说明,但已有玩家已经打出了超过 176257 高分值。[2023/1/26 11:30:50]

一个无状态rollup是一种至少需要定序器来存储状态的rollup,但全节点是无状态的。一个optimisticrollup可能还需要观察器存储状态以生成欺诈证明,这取决于是否允许为定序器节点生成欺诈证明。

三箭资本创始人可能面临罚款和监禁:8月26日消息,一份经过公证的文件显示,自8月19日在曼谷亲自出具宣誓书后,Su Zhu和联合创始人Kyle Davies一直在回避自己的下落。

在宣誓书中,Su Zhu指控清盘人在对冲基金的结构上误导了新加坡高等法院。三箭此前在新加坡境外开展业务后,将注册地转移到英属维尔京群岛。Su Zhu自称是Three Arrows Capital Pte Ltd(TACPL)的董事。该实体于2013年8月左右首次在新加坡注册基金经理,并在那里获得许可,直至2021年7月31日。Su Zhu表示,新加坡实体TACPL可能无法完全满足清算人对信息的广泛要求。TACPL担心“清算人行使其广泛权力可能带来的严重后果”。Su Zhu指出,TACPL的官员和代表,作为董事之一,如果被发现藐视法庭,他们自己可能面临罚款和监禁。 (彭博社)[2022/8/26 12:49:57]

为了验证一个区块的有效性,全节点从一个pre-stateroot开始,它是在将前一个区块附加到链上之后的状态树的根。然后重新执行交易,生成一个新的状态根。然后,根据提议的区块头中的poststateroot来验证计算的poststateroot。如果匹配,则该区块有效,如果不匹配,则该区块无效并被拒绝。但是,无状态节点一开始没有pre-stateroot,因为它们不存储状态。

RSS3母公司旗下Crossbell链上应用CrossSync正式发布:6月12日消息,继RSS3母公司Natural Selection Labs旗下的Crossbell链近日正式发布后,其链上第一款应用CrossSync于今日宣布上线。

据悉,CrossSync是一款简单的Chrome插件,可以帮助用户在Crossbell链上同步自己的推特内容。同时,Crossbell将预留4月1日(已快照)之前的ENS及RNS对应的用户名至6月23日。在此之前,用户将可以按照以先到先得的规则铸造用户身份。与RSS3早前的RNS不同,用户身份拥有可交易、可转移、可销毁的特性。[2022/6/12 4:19:56]

在无状态rollup当中,定序器将为每个区块分配一个pre-stateroot和poststateroot,以验证该区块。还有许多其他细微差别,但这是无状态验证的基本思想。

如果无状态rollup具有一个p2p网络,则定序器只需将区块和相应的状态根发送到初始对等组,然后它们可以在整个网络中传播它们。但如果无状态rollup没有p2p网络,那么单个定序器将需要将区块和状态根单独分发到网络中的每个节点。在没有p2p网络情况下的rollup中实现无状态,将给定序器带来不切实际的巨大负担。因此,p2p网络是一个先决条件。

注意事项

1、状态请求

除了验证区块,全节点还服务于状态请求。无状态节点与全节点一样完全验证状态转换,但依赖于全节点来访问状态。因此,仍然需要最少数量的全节点来向网络的其余部分提供状态请求。

实际上,由于硬件要求较低,用户可能会倾向于使用无状态节点,因此,能够依赖的全节点会越来越少。如果没有足够的全节点来服务于状态请求,那么无状态rollup将遇到瓶颈,因为状态无法在整个网络中以足够快的速度传播以满足需求。

2、交易验证

全节点在将传入交易转发到mempool之前验证它们,以防止mempool和区块生产者收到无效的垃圾交易。然而,交易验证需要访问状态以获取发送者的帐户余额和nonce等数据,无状态节点在没有向全节点发出状态请求的情况下无法执行这些数据。此过程会给无状态节点带来DoS攻击的问题,它们可能会收到垃圾交易,但不能拒绝交易,直到它们发出所需的状态请求以检查交易是否有资格转发到mempool,此外,由于无状态节点在转发交易之前必须采取的额外步骤,因此交易传播速度会变慢。

无状态rollup的好处

1、状态增长

取消全节点存储状态的要求会降低硬件门槛,从而降低更多用户运行全节点的障碍。减轻状态增长的负面影响对于rollup以及任何其他链一样重要,因为它们也很脆弱。由于弱无状态并不能免除定序器存储状态的责任,因此使用最多的rollup会发现状态增长可能会成为一种障碍。我们可以实施进一步的措施来减少定序器的状态增长,例如,在状态到期时,在给定的时间段内未被访问的状态将从状态中删除。

顺便说一句,无状态还移除了磁盘IO的DoS攻击向量,因为无状态节点不再需要执行状态访问,如果rollup具有较大的状态,这将特别有用。

2、欺诈证明

无状态和欺诈证明是同一枚硬币的两面,只要实现了其中一个,就能免费获得另一个。节点需要pre-stateroot和poststateroot来验证欺诈证明,这与无状态区块验证的的要求类似。诚然,关于欺诈证明还有其他考虑因素,例如单轮与多轮、bonding以及一般审查阻力细节。

如果防欺诈实现允许它们在rollup的p2p网络中分布,则轻客户端在此过程中的信任度会最小化。

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:990ms