背景
DeFi、GameFi等去中心化应用的蓬勃发展,极大地增加了对低交易费用的高性能区块链的需求。然而,构建高性能区块链的一个关键挑战是存储爆炸。下图是取自Etherscan的图表,它说明了一个以太坊全节点的区块链数据大小。
从图中我们可以看出,节点的链数据规模稳步增长,现在已经达到~9TB。由于去中心化区块链的一个目标是允许普通配置的计算机运行节点,因此在普通配置的计算机上强制要求9TB+存储会难以达到。
分解存储开销
如果我们进一步分析存储使用情况,我们可以发现区块数据只占了约300GB的数据,这一数字远小于9TB。那么剩下的8.7TB数据从何而来呢?
实际上,存档节点执行所有块并保留所有历史数据,包括:
区块
状态
交易收据
这其中,状态是这8.7TB的主要组成部分。所以有时,我们将存储爆炸称为“状态爆炸”。但是为什状态会如此之大?
什么是以太坊状态?
以太坊状态是一个MerklePatrica树,其中
跨境区块链应用试点在山西成功落地:日前,国家外汇管理局跨境金融区块链服务平台资本项目收入支付便利化真实性审核应用场景试点在山西省正式启动。中国银行大同分行成功利用跨境金融区块链服务平台,为大同市清数信息技术有限公司办理了2笔股权出资业务,标志着该项试点在山西省成功落地。(中国金融新闻网)[2020/9/21]
叶子节点是地址(0x...)=>帐户的映射,其中帐户存储与地址关联的余额、nonce等
内部节点维护树结构,以便可以快速计算整个树的哈希根
由于存档节点将保留所有区块的所有历史状态,这意味着MPT中的任何更新都将创建O(log(N))个内部节点,并且不会删除旧的内部节点。
Geth的全节点
为了解决存档节点状态爆炸的问题,Geth的天才工程师们创建了一种称为“修剪”模式的新模式,该模式仅定期存储MPT。这里我们举一个简化的例子,其中节点只保存每3个区块的MPT。。
现场 | 中国软件行业协会崔志如:无币区块链需要数字权益的流通:金色财经现场报道,中国软件行业协会区块链分会秘书长崔志如在中国软件行业协会区块链分会数据权益实验室揭牌仪式上表示:无币区块链需要数字权益的流通,如果无法流通,如果不去做突破创新,这个行业是没有前景的,对于联盟链的实验,之前也在做一些探索,不管是公益链还是政务链,数字确权和数字权益的流通性是十分必要的,如果没有流通性,那么这个链的活力会减半。[2019/12/19]
通过定期存储MPT,状态的存储大小显著减少。据Etherscan数据,目前Geth全节点的区块链数据大小约为1TB。
Geth的可快速同步的全节点
通过从创世区块开始重放所有交易来运行节点的一个问题是,重放所有交易会占用很长时间。一般来说,建立这样一个节点需要数周时间才能从创世区块赶上网络的最新状态。为了加速节点的启动过程,Geth进一步提供了一种快速同步模式,可以下载最新的稳定区块的MPT,而无需重放和维护区块之前的历史MPT。下载完MPT后,它会像全节点一样重放新区块。
动态 | 德国汉堡大力扶持区块链技术:据中央广电总台国际在线8月7日援引世界旅游城市联合会官网报道,德国汉堡将大力扶持区块链技术。现如今,区块链是经济领域一大热门主题。除了对变革潜力和加密货币进行公众讨论之外,实际应用工作也将开展实施,为未来的经济和社会提供真正的附加值。汉堡市政府认为区块链技术的意义在接下来的几年里将变得越来越重要。同时,政府第一次对汉堡区块链相关活动作了一个全面的报告。汉堡经济部部长Michael Westhagemann议员先生解释道:“其他城市将基于区块链的金融工具作为监管的灰色地带。汉堡则将发展区块链作为重点工程:将创新性区块链应用在能源经济、物流和工业等领域。这一举动将通过提升效率和额外安全性的形式创造真正的附加值。”汉堡经济促进局将为所有企业提供一站式咨询服务。汉堡城市推广局希望在创新平台future.hamburg上将试点项目透明化。中小型企业汉堡4.0-技能中心计划多场与区块链应用相关的为期半天的咨询活动。此外,还计划制定区块链中小企业应用潜力指南。[2019/8/7]
在不存储历史MPT的情况下,一个Geth节点的存储大小可以进一步减少到447G。通过减去300GB的区块数据,我们推断状态大小约为150GB。
动态 | 北京全局网安系统开展区块链等服务的安全检查:北京昨天通报,自“净网2019”专项行动以来,全市网安系统加大网上侦查,强化对涉网违法犯罪线索的搜集获取和分析研判,侦获并转递相关涉网案件线索3300余条。同时为了营造清朗的网络空间,全局网安系统开展了区块链服务安全检查、移动互联网应用分发平台超范围采集信息、网络游戏平台摸排等一系列专项监督检查,共清理违法信息190万余条,关停违规账号78万余个,对互联网企业开展监督检查1.2万余次,行政查处及督促整改互联网企业6050家次。(北京日报)[2019/8/4]
问题
以目前以太坊447GB的存储大小和15TPS,我们预计具有1TBSSD的普通配置计算机应该能够运行以太坊节点相当长的一段时间。那么存储爆炸或状态爆炸真的存在吗?或许未来几年以太坊并不会,但假如我们可以将以太坊的虚拟机(EVM)扩展到数百或数千TPS呢?
让我们将目光转向另一个基于EVM的链,币安智能链。截至2021年12月8日,BSC已有:
约984GB链上数据,其中区块约占550GB,状态约占400GB。
20.6623亿笔交易,100TPS
如果我们进一步用交易数量来预测数据大小,我们可以得到:
如果TPS为100,即~3,153MTPY
1年后,总TX~5,219M,区块~1.375TB,状态~1.085TB
动态 | 保险巨头安盛与区块链公司合作 欲创建移动保险产品和服务:据Techinasia报道,全球第二大金融公司、保险巨头安盛(AXA)宣布与总部位于新加坡的区块链汽车服务公司MVL合作,利用MVL的区款连技术创建移动保险产品和服务,同时为MVL的司机和用户提供保险服务。[2018/11/29]
3年后,总TX~11,525M,区块~3.025TB,状态~2.387TB
如果TPS为150,即~4,730MTPY
1年后,总TX~6,796M,区块~1.809TB,状态~1.427TB
3年后,总TX~16,256M,区块~4.327TB,状态~3.414TB
综上所述,对于BSC来说,如果保持目前的速度甚至更高,则很快就会达到以太坊存档节点相同的存储大小,这是普通计算机几乎无法运行的。
具有极高TPS区块链的存储爆炸问题
如果我们对一个极高TPS的区块链做一个更大胆的假设,这个数字会变成多少?我们来考虑一个具有1000TPS的区块链并分析其区块和状态大小,将是:
假设tx大小约为100字节,每年区块所需的存储量为1000(TPS)*100*365*24*3600=2.86TB
假设MPT有100亿账户,我们预计状态大小将为150G/0.18B*10B=8.3TB
将这些数字放在一起,我们很容易得出一个结论,这是大多数普通配置计算机将无法承受的要求!
优化
为了优化存储成本,我们必须将限制放宽为兼容EVM而不是兼容以太坊。即,我们必须构建/运行另一个支持EVM的链,而不是高度优化的以太坊客户端。
状态存储优化
我们提出的第一个优化是使用普通的KV而不是MPT。当MPT很大时,MPT中的所有内部节点可能非常昂贵。而我们的优化将去掉MPT中的所有内部节点。假设每个账户的数据大约是50字节,我们可以节省下100亿账户的数据为:
~10B*50+100GB=600GB,大约是MPT版本的1/10!
虽然使用普通KV会带来巨大的好处,但一个主要问题是我们无法在如此短的区块间隔内计算每个区块的状态后哈希,这意味着我们将失去以太坊的以下好处:
快速同步:下载任何区块的状态并通过重放剩余的区块来快速同步网络
分叉检测:来自对等方新创建的区块是否会导致与本地执行区块的状态不同。
为了启用快速同步,我们有一个周期性的快照区块。一个快照区块包含前状态哈希这一附加信息,即前一个快照区块的后状态哈希:
非快照区块不维护状态哈希,而是具有增量哈希,其中包含该区块的所有交易事务的原始数据库操作的哈希。这使得分叉检测成为可能!
我们使用交易前状态哈希来代替以太坊中区块的交易后状态哈希。原因是节点不能立即计算状交易后的状态哈希,但是通过使用交易前状态哈希,节点可以使用整个epoch间隔来计算哈希。例如,假设状态哈希计算每秒处理10M的状态数据,那么计算600GB的整个状态将需要600GB/10M~16.67小时
计算状态前哈希的流程如下:
1.当一个快照区块被接收并最终确定时,它的KV状态被快照,并创建一个后台线程来迭代所有KV条目并计算哈希。
2.当下一个快照区块被创建时,计算出的状态前哈希值将存储在该区块中。同样,节点将创建KV的另一个快照并在后台计算其哈希。
3.当下一个快照区块被创建时,节点除了存储状态前哈希之外,节点现在可以释放快照区块的KV快照,这意味着来自快照区块以来所有被删除/更新的数据将被自动垃圾回收
其结果意味着,要存储状态,节点只需要最多两个KV快照。
区块存储优化
使用快照区块,我们可以通过仅存储以下数据来进一步减少节点中所需的区块数据:
最新的快照区块的交易执行前状态快照,即快照区块的交易执行后状态
快照区块之后的完整区块?
我们可以对存储成本进行简单的数学计算:假设epoch持续时间为2周,则区块重放大小为
2*14*24*3600*100*1000=224GB!
而且,这里的数字不会随着时间的推移而增长!
总结
我们分析了以太坊当前的存储使用情况:
不仅是区块,状态存储消耗了很多的空间
当TPS>1000时,存储空间用量高得令人望而却步
我们提出对区块和状态进行优化:
区块大小从每年2.86TB减少到224GB
状态大小从8.3TB减少到600GB
一台2TB的普通配置计算机应该能满足长时间运行节点的条件
缺点:轻节点无法验证状态中的一个数据
致谢
感谢dapp-learning主办此次活动。教学全程视频可点击公众号第二条推送观看。
自从TheDAO2016年被黑客攻击而陨灭以来,DAO陷入了长期的低谷期,但加密社区也有不少开发者在不断进行新的尝试和实验.
1900/1/1 0:00:00过去十多年以来,比特币支持者一直在争取主流认可。自卡梅隆·文克莱沃斯(CameronWinklevoss)和泰勒·文克莱沃斯(TylerWinklevoss)从2013年开始申请比特币交易交易基.
1900/1/1 0:00:00十年前的八月,MarcAndreessen说软件正在吞噬世界。大约两年前,AndreessenHorowitz的普通合伙人安吉拉·斯特兰奇(AngelaStrange)建议,每家公司都将成为金融.
1900/1/1 0:00:00以太坊2.0阶段的信标链上线已一年之久,再向前推进半年左右,以太坊主网将和信标链合并,那合并后的下一步大动作是什么呢?是分片链的进展.
1900/1/1 0:00:00区块链是一个确定性的、封闭的系统环境,智能合约不管何时何地运行都必须是一致的结果,所以虚拟机不能让智能合约有网络调用,不然结果就是不确定的.
1900/1/1 0:00:00金色财经报道,英国央行在周一发布的金融稳定报告中表示,加密资产目前对英国金融体系的稳定性构成的风险有限,但它们的增长速度意味着,随着它们与更广泛的金融网络的联系越来越紧密.
1900/1/1 0:00:00