区块链存储爆炸:问题、分析与优化

(编按:本文为QuarkChain创始人兼CEO周期博士撰写的技术文章,并以此文章问依据,在DApp Learning进行了技术分享讲座,中文讲座视频请点击文章第二篇推送?)

背景

DeFi、GameFi等去中心化应用的蓬勃发展,极大地增加了对低交易费用的高性能区块链的需求。然而,构建高性能区块链的一个关键挑战是存储爆炸。下图是取自 Etherscan 的图表,它说明了一个以太坊全节点(存档)的区块链数据大小。

从图中我们可以看出,节点的链数据规模稳步增长,现在已经达到~9TB。由于去中心化区块链的一个目标是允许普通配置的计算机运行节点,因此在普通配置的计算机上强制要求 9TB+ 存储会难以达到。

如果我们进一步分析存储使用情况,我们可以发现区块数据只占了约300GB的数据(从区块高度0到13.6M),这一数字远小于9TB。那么剩下的8.7TB数据从何而来呢?

实际上,存档节点执行所有块并保留所有历史数据,包括:

状态

交易收据

这其中,状态是这 8.7TB 的主要组成部分。所以有时,我们将存储爆炸称为“状态爆炸”。但是为什状态会如此之大?

什么是以太坊状态?

声音 | 半月谈:区块链技术应“去弊存利”:金色财经报道,由中共中央宣传部委托新华社主办的《半月谈》刊文指出,区块链已成为全球技术发展的一个前沿阵地,全球科技大国正加紧在该领域布局,中国亦不能落后。并同时提醒道,技术是把双刃剑,去弊存利很关键。区块链的技术和产业应用仍处于起步的阶段,大规模落地仍有距离,比如区块链的性能还有待提升,专业人才缺口也较大,而诸如效率与安全问题、链上链下数据协同问题、监管问题等,亦需引起我们的高度重视。因此,只有加强对区块链技术的引导和规范,加强对区块链安全风险的研究和分析,推动区块链安全有序发展,区块链才能真正服务国家,造福人民。[2019/11/14]

以太坊状态是一个Merkle Patrica树(MPT),其中

叶子节点是地址 (0x...) => 帐户的映射,其中帐户存储与地址关联的余额、nonce等

内部节点维护树结构,以便可以快速计算整个树的哈希根

由于存档节点将保留所有区块的所有历史状态,这意味着 MPT 中的任何更新都将创建 O(log(N)) 个内部节点,并且不会删除旧的内部节点。

声音 | 中国工程院院士陈晓红:未来区块链将与各种新技术相互渗透融合发展:据湖南政协新闻网报道,全国政协委员、中国工程院院士、湖南商学院校长陈晓红认为,未来区块链将与各种新技术相互渗透、融合发展。以金融方面为例,中小微企业常常面临融资难、贷款难,这是因为中小微企业难以得到银行授信,而区块链技术不仅可以解决信用问题,还可以帮助银行防范金融风险。[2018/12/14]

Geth 的全节点

为了解决存档节点状态爆炸的问题,Geth 的天才工程师们创建了一种称为“修剪”模式的新模式,该模式仅定期存储 MPT。这里我们举一个简化的例子,其中节点只保存每 3 个区块的MPT。(注意,为了获得一个不包含任何状态区块的状态,节点必须获得该区块之前最近的状态,并重放接下来的交易)。

通过定期存储 MPT,状态的存储大小显著减少。据 Etherscan 数据,目前 Geth 全节点的区块链数据大小约为 1TB。

Geth 的可快速同步的全节点

通过从创世区块开始重放所有交易来运行节点的一个问题是,重放所有交易会占用很长时间。一般来说,建立这样一个节点需要数周时间才能从创世区块赶上网络的最新状态。为了加速节点的启动过程,Geth 进一步提供了一种快速同步模式,可以下载最新的稳定区块的 MPT,而无需重放和维护区块之前的历史 MPT。下载完 MPT 后,它会像全节点一样重放新区块(带有定期状态存储)。

声音 | 韩永飞:寻找应用场景对区块链发展至关重要:据中新网消息,可信计算重点实验室学术委员会副主任韩永飞表示,区块链必须满足这几大要素,安全性高、效率高、生态搭建、合规以及智能化。除了在观念上达成共识外,区块链在发展过程中还融合了许多学科,在技术上必须取得突破;此外,寻找应用场景对区块链发展至关重要,能广泛应用的技术才真正有前途。[2018/11/30]

在不存储历史 MPT(有时甚至是历史区块主体)的情况下,一个 Geth 节点的存储大小可以进一步减少到 447G(截至 2021/12/06)。通过减去 300GB 的区块数据,我们推断状态大小约为 150GB。

以目前以太坊 447GB 的存储大小和 15 TPS,我们预计具有 1TB SSD 的普通配置计算机应该能够运行以太坊节点相当长的一段时间(比如数年)。那么存储爆炸或状态爆炸真的存在吗?或许未来几年以太坊并不会,但假如我们可以将以太坊的虚拟机 (EVM) 扩展到数百或数千 TPS 呢?

让我们将目光转向另一个基于 EVM 的链,币安智能链(BSC)。截至 2021 年 12 月 8 日,BSC 已有:

约 984 GB 链上数据,其中区块约占 550 GB,状态约占 400 GB。

动态 | 施乐获得跟踪电子文件修订的区块链系统专利:据cointelegraph消息,根据 11月13日公布的专利申请,美国专利和商标局(USPTO)授予施乐电子文件驱动的区块链审计制度,施乐以其同名印刷和数字复制设备而闻名 ,在2017年8月首次提交专利。该专利描述了一种基于区块链的系统,用于安全记录对电子文档的修订。[2018/11/14]

20.6623 亿笔交易,100 TPS

如果我们进一步用交易数量来预测数据大小,我们可以得到:

如果 TPS 为 100,即 ~3,153 M TPY

1 年后,总 TX ~5,219M,区块 ~ 1.375 TB,状态 ~ 1.085TB

3 年后,总 TX ~11,525M,区块 ~3.025TB,状态 ~2.387 TB

如果 TPS 为 150(观察到的峰值 TPS),即 ~4,730 M TPY

1 年后,总 TX ~6,796M,区块 ~1.809 TB,状态 ~1.427 TB

3 年后,总 TX ~16,256M,区块 ~4.327 TB,状态 ~3.414TB

综上所述,对于BSC来说,如果保持目前的速度甚至更高,则很快就会达到以太坊存档节点相同的存储大小,这是普通计算机几乎无法运行的。

具有极高 TPS 区块链的存储爆炸问题

郑志强:区块链在保护隐私和加密经济方面的独特应用可能带来万亿级的市场:上海交大安泰管理学院兼职教授郑志强表示:“像Facebook以及中国的百度、阿里巴巴、腾讯等大公司掌握大量消费者数据,这些数据一旦滥用将威胁消费者隐私。当数据拥有者有权、有法设置自己数据如何被使用,数据滥用就会被极大程度上抑制。在加密经济学场景下,数据使用得经过数据所有者授权,如何使用、使用到什么程度、使用代价等都会用智能合约形式来确定。一旦这种共识形成,BAT这种以无偿使用大众数据建立的商业数据帝国可能会被时代所抛弃。”[2018/4/12]

如果我们对一个极高 TPS 的区块链(比如像 QuarkChain 能够做到的那样)做一个更大胆的假设,这个数字会变成多少?我们来考虑一个具有 1000 TPS 的区块链并分析其区块和状态大小,将是:

假设 tx 大小约为 100 字节,每年区块所需的存储量为 1000 (TPS) * 100(每 tx 字节数)* 365 * 24 * 3600 = 2.86 TB

假设 MPT 有 100 亿账户(超过世界人口!),我们预计状态大小将为 150G(以太坊状态大小)/0.18B(以太坊唯一地址)* 10B = 8.3 TB

将这些数字放在一起,我们很容易得出一个结论,这是大多数普通配置计算机将 无法承受的要求!

为了优化存储成本,我们必须将限制放宽为兼容 EVM 而不是兼容以太坊。即,我们必须构建/运行另一个支持 EVM 的链,而不是高度优化的以太坊客户端。

状态存储优化

我们提出的第一个优化是使用普通的 KV 而不是 MPT。当 MPT 很大时,MPT 中的所有内部节点可能非常昂贵。而我们的优化将去掉 MPT 中的所有内部节点。假设每个账户的数据大约是 50 字节(20 个地址 + 2 个nonce + 12 个账户 + 其他),我们可以节省下100亿账户的数据为:

~ 10B * 50 + 100GB(代码)= 600 GB,大约是MPT版本的1/10!

虽然使用普通 KV 会带来巨大的好处,但一个主要问题是我们无法在如此短的区块间隔内计算每个区块的状态后哈希,这意味着我们将失去以太坊的以下好处:

快速同步:下载任何区块的状态并通过重放剩余的区块来快速同步网络

分叉检测(或拜占庭检测):来自对等方新创建的区块是否会导致与本地执行区块的状态不同。

为了启用快速同步,我们有一个周期性的快照区块(快照间隔 = epoch = 例如,14 周)。一个快照区块包含前状态哈希这一附加信息,即前一个快照区块的后状态哈希(执行交易之后的状态哈希):

非快照区块不维护状态哈希,而是具有增量哈希,其中包含该区块的所有交易事务的原始数据库操作(删除、更新)的哈希。这使得分叉检测成为可能!

我们使用交易前状态哈希来代替以太坊中区块的交易后状态哈希。原因是节点不能立即计算状交易后的状态哈希,但是通过使用交易前状态哈希,节点可以使用整个epoch间隔来计算哈希。例如,假设状态哈希计算每秒处理 10M 的状态数据,那么计算 600 GB 的整个状态将需要 600 GB / 10 M ~ 16.67 小时(vs. epoch = 14 周)

计算状态前哈希的流程如下:

1. 当一个快照区块被接收并最终确定时,它的 KV 状态被快照,并创建一个后台线程来迭代所有 KV 条目(地址 => 帐户)并计算哈希。

2. 当下一个快照区块被创建时,计算出的状态前哈希值将存储在该区块中。同样,节点将创建 KV 的另一个快照并在后台计算其哈希。

3.当下一个快照区块被创建时,节点除了存储状态前哈希之外,节点现在可以释放快照区块的KV快照,这意味着来自快照区块以来所有被删除/更新的数据将被自动垃圾回收(例如,在 levelDB 中压缩)

其结果意味着,要存储状态,节点只需要最多两个 KV 快照(很可能是一个带增量和一个 KV 快照)。

使用快照区块,我们可以通过仅存储以下数据来进一步减少节点中所需的区块数据:

最新的快照区块的交易执行前状态快照,即(最新 —? 1)快照区块的交易执行后状态

(最新 — 1)快照区块之后的完整区块?

我们可以对存储成本进行简单的数学计算:假设 epoch 持续时间为 2 周,则区块重放大小为

2 * 14(天)* 24(小时)* 3600(秒)* 100 * 1000(TPS)= 224 GB!

而且,这里的数字不会随着时间的推移而增长!

我们分析了以太坊当前的存储使用情况:

不仅是区块,状态存储消耗了很多的空间

当 TPS > 1000 时,存储空间用量高得令人望而却步

我们提出对区块和状态进行优化:

区块大小从每年 2.86 TB 减少到 224 GB

状态大小(~10B 帐户)从 8.3 TB 减少到 600 GB

一台 2TB 的普通配置计算机应该能满足长时间运行节点的条件

缺点:轻节点无法验证状态中的一个数据(必须是全节点)

感谢 dapp-learning 主办此次活动。教学全程视频可点击公众号第二条推送观看。

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

银河链

FTT元宇宙三问三答:那些错过的100倍风口

今年以来,“元宇宙”概念席卷各行业,热度居高不下。全球的互联网巨头都在追捧元宇宙概念:Facebook改名为Meta;腾讯投资全真宇宙;阿里巴巴成立“元境生生”;甚至丁磊都放话“我们相信,元宇宙真正降临的那一天,网易有能力快速抢跑”.

比特币新华社:热夯“元宇宙”

岁末的,“元宇宙”成了最热门的产业话题:科技业人士纷纷表态看好元宇宙前景与商机;相关概念的上市上柜公司股票续扬;更多的企业与人才希望搭乘“元宇宙”快车.

[0:0ms0-1:718ms