TAT:一文了解无状态 Rollup

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

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

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

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

约2.3亿枚USDC从USDC国库转移到未知钱包:金色财经报道,据WhaleAlert监测,229,999,995USDC(229,999,995美元)从USDC国库转移到未知钱包。[2023/5/19 15:12:34]

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

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

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

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

CFTC已对Ooki DAO提起诉讼:金色财经报道,商品期货交易委员会 (CFTC)在美国加州北区地方法院对Ooki DAO提起诉讼,指控其非法经营期货交易所。这一诉讼对整个加密货币行业有广泛的影响。根据DeepDAO的数据,现在有2276个DAO,它们控制着一系列基于区块链的金融工具,并在其国库中管理着95亿美元的加密货币。

这些DAO包括390万治理代币持有人和69.6万活跃参与者--其中许多人很可能会受到这种监管方式的影响。(theblock)[2022/9/24 7:17:35]

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

Infosys与VMware合作推出基于区块链的个人记录管理解决方案:8月26日消息,印度 IT 咨询公司 Infosys 已基于 VMware Blockchain for Ethereum(测试版)推出个人记录管理解决方案,用于验证出生证、结婚证和其他重要个人记录。数字形式的记录可以通过使用区块链账本以完全安全的方式进行无缝验证和认证,确保记录的不可更改性和验证过程的透明度。

VMware Blockchain 具有数据完整性、隐私性、加密身份验证和所有交易的跟踪,以及高性能、简化的部署升级和企业级支持。它支持面向未来的架构,与 DAML、Solidity 等各种去中心化应用兼容。[2022/8/26 12:49:38]

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

分析师Venturefounder:对于长期投资者来说,BTC被低估了:金色财经报道,分析师Venturefounder发推称,比特币实际价格是所有比特币在购买价格时的价值除以比特币的数量。这是购买所有比特币的平均成本基础。21700美元是BTC现在的实际价格。BTC历史上只有几次低于其实际价格交易,每次都是在接近周期底部的触底期间。

BTC在 25,000 美元反弹期间高于实际价格,然后又回到低于它,目前通常小于实际价格,对于长期投资者来说,BTC被低估了,另一个值得注意的有趣事情是,在2018年周期中,BTC触底发生在实现价格的30%折扣。本周期与实际价格最接近的折扣是16%,现在实现价格的30%折扣将使BTC达到15,000 美元。[2022/8/21 12:38:39]

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

除了验证区块,全节点还服务于状态请求(例如,将地址 0x 的账户余额发送给我……)。无状态节点与全节点一样完全验证状态转换,但依赖于全节点来访问状态。因此,仍然需要最少数量的全节点来向网络的其余部分提供状态请求。

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

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

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

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

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

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

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

金星链

中币元宇宙:中国电子报:元宇宙的傲慢与偏见

美国著名科幻大师尼尔·斯蒂芬森在其小说《雪崩》中写道:“戴上耳机和目镜,找到连接终端,就能够以虚拟分身的方式进入由计算机模拟、与真实世界平行的虚拟空间。”这是人们第一次听到关于元宇宙的概念.

[0:125ms0-1:130ms