NBS:以太坊技术引介：准无状态下的同步实验

本实验用到的原始数据和脚本：https://github.com/mandrigin/ethereum-mainnet-resolver-witness-stats引言有一种办法也许能加速初始同步过程（initial sync process，指从创世块开始的区块链同步），就是使用区块见证数据（witness）预先建构出缓存树（cache trie），来避免速度较慢的状态访问。这样做需要额外占用硬盘空间和网络带宽，但也许可以大幅加速同步过程。

其中的原理是，一般来说，要执行一个区块，我们就需要默克尔树上的一些数据。虽然在某个块执行以前，默克尔树上已经有一些数据了，但这些数据可能不足以执行区块。所以，正常来说，我们还要从状态数据库（state db）中提取出数据并加到默克尔树上，然后才能验证交易。这个过程可能会很慢，因为 硬盘访问/数据库查询 的速度比较慢。

根据这个问题描述，我们可以划分出三种不同的方案：

1）正常流程（也就是当前在以太坊节点中使用的方案）

以太坊网络销毁量超344万枚ETH:金色财经报道，据Ultrasound数据显示，以太坊网络销毁量超344万枚ETH，本文撰写时销毁量为3447113.18枚ETH。其中，OpenSea销毁230050.66枚ETH，ETHtransfers销毁292386.81枚ETH，UniswapV2销毁188775.31枚。注：自以太坊伦敦升级引入EIP-1559后，以太坊网络会根据交易需求和区块大小动态调整每笔交易的BaseFee，而这部分的费用将直接燃烧销毁。[2023/7/9 22:26:15]

在区块 B 执行以前，我们有状态树 T1；

在需要执行 B 的时候，我们把 T1 中遗漏的数据添加到 T1 上，形成 T1'，T1''，等等。每次遇到 T1 上没有的信息，我们就在数据库中查找（速度慢）。

执行完 B 之后，我们有了状态树 T2，T2 具备执行 B 所需的所有账户状态。

保持 T2，以备后续使用。

2）无状态流程

在区块 B 执行以前，我们并没有状态树；不过，我们可以拿到一个见证数据 W，来重组执行这个区块所需的状态树。

数据：以太坊PoS链首笔交易gas费用达36.8ETH:9月15日消息，据Etherscan数据显示，以太坊正式转向PoS共识机制后，首笔交易在14时42分59秒诞生，该笔交易的gas费用为36.8ETH，价值5.9万美元。[2022/9/15 6:58:26]

我们执行 W，获得了状态树 T2。

在 T2 上执行区块 B，不需要查找数据库。

区块执行完之后就把 T2 丢掉。

3）准无状态流程（semi-stateless folw）（即本实验要测试的方案）

在区块 B 执行之前，我们有状态树 T1，见证数据 W1、W2、……，足以将 T1 转成 T2

依次在 T1 上执行 W1、W2、……，最后获得 T2，也不需要查询数据库。

在 T2 上执行区块 B，也不需要查询数据库。

留着 T2 以备后续使用。

在初始同步中使用准无状态流程可以获得无状态流程的大部分好处 ?，又不需要传输那么多数据，因为我们重用了状态树缓存。

? 在准无状态方案中，区块的并行执行会受到更大的限制

以太坊未确认交易为194,223笔:金色财经消息，据OKLink数据显示，以太坊未确认交易194,223笔，当前全网算力为678.13TH/s，全网难度为9.07P，当前持币地址为63,427,218个，同比增加104,681个，24h链上交易量为2,150,541ETH，当前平均出块时间为13s。[2021/9/23 17:01:50]

那么，为了测试准无状态方案的性能，我们需要测量两件事：

这一方法需要额外占用多少 硬盘/带宽？与完全富状态的方法相比，它真的更好吗？

其初始同步速度会快多少？

本文中我们会集中测试硬盘需求。

状态树（默克尔树）的最大规模：100 万个 node。一旦节点数超过这个值，我们就驱逐 LRU 节点，以释放内存。用这种办法，我们就能控制状态树对内存的使用。

部分见证数据会存储在数据库中（我们用的是 boltdb）。每个条目的结构如下：

key: byte // 区块号 + 状态树上节点的最大数量value: []byte // 见证数据，按文档中的描述予以序列化我们不会在见证数据里存储合约代码（这是我们当前架构的不足）。

优盾钱包CMO孟春东：以太坊2.0关系到整个区块链公链未来:官方消息，太壹科技&优盾钱包CMO孟春东将于12月1日晚7点进行《ETH 2.0蓄势待发，你还不了解这些事儿？》的主题直播。

ETH2.0的阶段0已经箭在弦上，一周内以太坊2.0存款合约质押了超过70万枚ETH，市场对以太坊的期待更上了一层。但从技术来看，谜一样的ETH2.0仍然是一个未来不可预测的形态，因为公链始终都在尝试。对于以太坊2.0的发展前景，孟春东表示：“以太坊2.0不仅是以太坊的未来而且也是整个区块链公链的未来，以太坊立足的根本在于它将承载无限可能的应用，它价值延申的空间有无限可能。 ”[2020/12/1 22:40:46]

数据按下述方法得到（需要一个同步好的 turbo-geth 节点）

(in the turbo-geth repository)make state./build/bin/state stateless \     — chaindata ~/nvme1/mainnet/mainnet/geth/chaindata \     — statefile semi_stateless.statefile \     — snapshotInterval 1000000 \     — snapshotFrom 10000000 \     — statsfile new_witness.stats.compressed.2.csv \     — witnessDbFile semi_stateless_witnesses.db \     — statelessResolver \     — triesize 1000000 \实验结果存储从创世块开始同步 6, 169, 246 （619 万）区块，见证数据的数据库（bolt db）达到了 99GB。

动态 | 以太坊未确认交易63967笔:据etherscan.io数据显示，当前以太坊未确认交易数量为63967笔，近期以太坊未确认笔数始终居高不下，网络拥堵较为严重，并无改善。[2018/10/1]

python quantile-analysis.py cache_1_000_000/semi_stateless_witnesses.db.stats.1.csv

平均值     0.038 MB中值       0.028 MB90 分位值    0.085 MB95 分位值    0.102 MB99 分位值    0.146 MB最大值       2.350 MB数据大小python absolute_values_plot.py cache_1_000_000/semi_stateless_witnesses.db.stats.1.csv从创世块到 610 万区块高度的阶段的见证数据大小，图表在 1MB 处截顶了。按 1024 个块取滑动平均值。

absolute_values_plot.py cache_1_000_000/semi_stateless_witnesses.db.stats.1.csv 3000000解决上海 DDoS 攻击之后的见证数据大小，按 1024 个区块取滑动平均值。

python ddos_zoom.py cache_1_000_000/semi_stateless_witnesses.db.stats.1.csv放大看 DDoS 攻击对见证数据大小的影响（原始数据）。

可以看到，在 230 万高度到 250 万高度，以及 265 万高度到 275 万高度期间，见证数据的大小显著增大。

python full_vs_semi.py cache_1_000_000/semi_stateless_witnesses.db.stats.1.csv

完全无状态下的见证数据大小是根据准无状态下的见证数据加上缺失的合约代码部分调整得来的.

从这张图可以看出，使用准无状态方法，可以节约大量数据（与完全无状态方法相比）。

加上一个无状态解析器会让每个区块需要 传输/存储 的数据量增加 0.4 MB。这个值与按区块提供见证数据相比，节约太多，即使算上我们改变状态树模式能够得到的增益相比，也节约非常多（关于十六进制树和二进制树模式下见证数据大小的区块，可见我的上一篇文章）（译者注：中译本见文末超链接）。

如果这个性能还算可以，那么它显然是加速初始同步的好办法；而且它的数据需求比完全无状态方法更小。

标签：NBSBSPSTATTATNBS价格BSPT价格Wrapped StateraTATECEO

Gate.io热门资讯