比特币:化险为夷:以太坊柏林硬分叉之前存在一个严重的状态问题

来源|EthereumBlog

作者|?MartinHolstSwende&PeterSzilagyi

MartinHolstSwende及PeterSzilagyi于2021年5月18日发布

原标题:《化险为夷:以太坊的状态问题》

本篇博文的目的在于正式揭露以太坊平台在柏林硬分叉之前的一个严重且显而易见的问题。

State状态

我们先从以太坊和及其“状态”的背景开始梳理。

以太坊的状态由patricia-merkletrie组成,一种前缀树。本文不会深入技术细节,简单来说随着状态增长,树的分支会越来越密集。每个加入的账户都是一片新叶子。在树根之间和叶子之间,存在大量的“中间”节点。

为了查找某个特定账户,或是说这颗巨树中的一片“叶子”,从树根再通过中间节点,需要按序解决6-9个哈希才能最终对我们所寻找的数据进行哈希计算。

简而言之,每执行一次查找账户的trie查询,都要执行8-9个解析操作。每次解析操作都是一次数据库查询,而每次数据库查询都可能是任意数量的实际磁盘操作。磁盘操作的数量难以预估,但是由于trie密钥是加密哈希(抗冲突),因此密钥是“随机的”,这对任何数据库来说都是最糟糕的情况。

随着以太坊的发展,一直以来都有必要提高树访问操作的gas费用。2016年10月,在经历了“上海攻击”时间之后,以太坊网络在区块高度2,463,000?进行了TangerineWhistle?硬分叉,其中包含EIP150,大举提升了某些操作的gas成本,并引入了大量更改以防御DoS攻击。

Crypto.com交易所为散户提供欧元充值和提现服务:8月3日消息,据官方公告,Crypto.com Exchange的零售交易者现可进行欧元充值和提现,支持BTC、ETH和USDT交易对。

欧元充提服务首先通过Crypto.com Exchange的网络版本提供,未来将在Crypto.com Exchange App中启用。Crypto.com表示,不会对欧元充值和提现收取转账手续费。[2023/8/3 16:16:23]

另一次对gas费用的提升是在2019年12月的Istanbul升级中,激活了EIP1884。

EIP-1884针对gas费用引入了以下改动:

?SLOAD?从?200?提升至?800?gas

?BALANCE?从?400?提升至?700?gas(并添加了一个更便宜的?SELFBALANCE)

?EXTCODEHASH?从?400?提升至?700?gas

出现的问题

2019年3月,MartinSwende当时在进行一些EVM操作码性能的测定。之后的EIP-1884就是基于该调查而成的。在EIP-1884被激活的前几个月,BrokenMetre发布了这篇论文(2019/9)。

两位以太坊安全研究员,HubertRitzdorf和MatthiasEgli,与论文的作者之一DanielPerez将一个漏洞“武器化”,提交给了以太坊的漏洞赏金(bugbounty)项目。这是在2019年10月4日。

张艺谋旗下元宇宙公司“当红齐天”完成B++轮融资,网易参投:1月1日消息,近日,张艺谋持股并担任联合创始人的当红齐天的B++轮融资,融资额未知,网易通过网易传媒科技(北京)有限公司参与本轮投资。

官网显示,当红齐天致力于打造包括XR等技术在内的沉浸式体验,以“成为伟大的元宇宙文化科技公司”为愿景。去年10月,当红齐天宣布完成数亿元B轮融资,小米战投、建银国际领投,野草创投、联想创投参投;今年2月,当红齐天宣布完成B+轮融资,投资方包括拉卡拉以及蓝色光标作为基石投资人发起设立的蓝图海兴基金。(界面新闻)[2023/1/1 22:19:32]

建议大家阅读这份他们提交的完整文档,写得很详尽。

同日,在一个专门用于讨论跨客户端安全性的频道中,来自Geth、Parity和Aleth的开发者都得知了这份文档。

这个漏洞的本质在于触发随机的trie查询。以下是一个简单的示例:

在其报告中,研究员们通过eth_call对同步了主网的节点执行了这个payload,以下是他们执行过程中的数据,耗费了一千万gas:

?消耗一千万gas的EXTCODEHASH(400gas)

Parity:?~90s

Gnosis核心开发者:Gnosis质押服务商须在11月30日前更新客户端:金色财经报道,Gnosis核心开发者dapplion.eth发推表示,Gnosis质押服务商必须在11月30日更新节点客户端,Gnosis将支持Nethermindv1.14.6、Tekuv22.11.0、Lodestarv1.2.2、Lighthousev3.3.0,Nimbus客户端待定,而使用Prysm客户端的服务商必须进行切换。[2022/11/24 8:03:57]

Geth:?~70s

?消耗一千万gas的EXTCODEHASH(700gas)

Parity:?~50s

Geth:?~38s

显而易见,EIP-1884的更改确实在降低该攻击的影响上起到了帮助,但还远远不够。

当时已经临近在大阪的开发者大会。在开发者大会上,这个问题的信息分享给了主网的客户端开发者。我们也和Hubert、Mathias以及GregMarkou(来自Chainsafe,当时也在进行一些ETC的工作)见面了。ETC的开发者也收到了这份报告。

随着2019年临近尾声,我们知道这个问题比之前预期的要严重,恶意交易可能将区块时间提升到分钟范围。更糟的是,开发者社区对EIP-1884感到不满,因为EIP-1884破坏了一些合约流程,而且用户和矿工都非常希望提高区块的gaslimit。

COP27宣布推出“以太坊气候平台”,创始成员包括微软、Polygon、ConsenSys:11月20日消息,《联合国气候变化公约》第 27 次缔约方会议(COP27)宣布推出“以太坊气候平台”Ethereum Climate Platform (ECP),区块链软件技术 ConsenSys 和企业软件开发商 Allinfra 召集众多公司成为创始成员,包括:微软、Polygon、AAVE、Art Blocks、Celo、CodeGreen.Org、Enterprise Ethereum Alliance、ERM、Filecoin Green、Gitcoin、Global Blockchain Business Council、Huobi Global、Laser Digital、The Climate Collective、UPC Capital Ventures 和 W3bcloud 等。[2022/11/21 7:50:37]

此外,仅两个月后的2019年12月,ParityEthereum宣布停止运维,而OpenEthereum接管了代码库的维护工作。

随后搭建了一个新的客户端协调频道,Geth、Nethermind、OpenEthereum和Besu的开发者在此继续进行协作。

解决方案

我们意识到要解决这个问题,必须要双管齐下。一种方法是通过以太坊协议以某种方式在协议层解决该问题。最好不要破坏合约,并且避免波及“良好”行为,但仍要设法防止攻击。

日本银行业巨头野村证券宣布投资支付公司Fnality:金色财经报道,根据Fnality周一的公告,日本银行业巨头野村证券投资了总部位于伦敦的区块链支付公司Fnality。这家金融服务公司还将加入Fnality 的全球银行国际联盟,该联盟专注于建立一个基于数字资产的受监管的点对点支付系统。

Fnality已经将 16 家主要金融机构列为支持者:桑坦德银行、纽约梅隆银行、巴克莱银行、加拿大帝国商业银行、德国商业银行、瑞士信贷、欧洲清算银行、ING、KBC 集团、劳埃德银行集团、瑞穗金融集团、三菱日联银行、纳斯达克、三井住友银行、道富公司和瑞银。

金色财经此前报道,区块链支付公司Fnality正寻求融资约5000万英镑。[2022/9/26 22:29:58]

第二种方式是通过软件工程来解决,修改客户端中的数据模型和结构。

协议层的工作

关于如何处理这些类型的攻击的第一个版本在这里。2020年2月,正式发布为EIP2583。其理念是,每当一次Trie查找导致未命中时,施加一次罚款。

但是,Peter找到了应对方法,即“shieldedrelay”攻击,可以有效地限制这种惩罚的上限(约为800)。

对未命中查询进行惩罚的问题在于,首先需要进行查找,以确定是否施加惩罚。但是如果剩余的gas不足以支付罚款,已执行了未付费的消耗。即使确实会导致抛出异常,也可以将这些状态读取包装到嵌套调用中,允许外部呼叫者继续重复攻击而无需支付(全部)罚款。

因为这个原因,这个EIP被放弃了,我们也在寻找更好的替代方案。

?AlexeyAkhunov提出了?Oil?的概念,gas的第二来源,但和gas在本质上不一样,因为它对执行层不可见,并可能导致事务全局回滚。

?Martin在2020年5月也撰写了一个类似的提案(GasAndKarma)

在对这些不同机制进行迭代的同时,VitalikButerin提议直接提高gas成本,并且保留访问列表。2020年8月,Martin和Vitalik开始完善EIP-2929及配套的EIP-2930。

EIP-2929有效地解决了许多之前的问题。

?与无条件提升gas成本的EIP-1884相比,EIP-2929只提升了未访问部分的gas成本。这导致净成本提升了不足一个百分点。

?加上EIP-2930,不会对任何合约流程造成破坏

?并且能够在不造成破坏的前提下进一步调整gas成本

2021年4月15日,这两个EIP都在Berlin升级中被激活了。

开发工作

Peter在2019年10月提出的解决方案是“动态状态快照”(dynamicstatesnapshots)。

快照是用于以平面格式存储以太坊状态的辅助数据结构,在Geth节点的实时操作期间,可以完全在线构建。快照的好处在于充当状态访问的加速结构:

?无需通过O(logN)次磁盘读取(x?LevelDB开销)来访问一个账户或存储插槽,快照可以提供直接的O(1)访问时间(x?LevelDB开销)。

?快照支持每项条目以O(1)复杂度迭代账户和存储,这使远程节点能够以比以前便宜得多的方式检索顺序状态数据。

?快照还启用了更多奇特的用例,例如离线修剪状态Trie或迁移到其他数据格式。

快照的缺点在于原始帐户和存储数据实际上是重复的。对于主网来说这意味着将占用额外的25GBSSD空间。

动态快照的概念从2019年中就已经发轫,起初的目的主要是推动快照同步的实现。当时Geth团队在忙于许多“大项目”。

?离线状态修剪

?动态快照+快照同步

?通过分片化状态实现LES(LightEthereumSubprotocol)状态分发

然而,最终决定将快照的优先级排到最前,将其他项目暂时搁置。这为后来的snap/1同步算法奠定了基础,并于2020年3月合并。

随着“动态快照”功能的发布,我们有了一些喘息的空间。如果以太坊网络受到攻击,那将是痛苦的,是的,但是至少有可能通知用户启用快照。完整生成快照将花费大量时间,并且当时尚无法同步快照,但是网络至少可以继续运行。

总结

2021年的三月到四月,snap/1协议在geth客户端中实现了,使得通过新的基于快照的算法进行同步成为可能。虽然仍不是默认的同步模式,但这是很重要的一个步骤,使快照不仅可用作攻击防护措施,并且对于用户来说也是一项重要优化。

在协议方面,柏林升级于2021年4月完成。

以下是在我们的AWS监控环境中制定的一些基准:

?柏林升级之前,无快照,25M?gas:?14.3s

?柏林升级之前,有快照,25M?gas:?1.5s

?柏林升级之后,无快照,25M?gas:?~3.1s

?柏林升级之后,有快照,25M?gas:?~0.3s

大致的数据显示柏林升级能够将攻击的效率降低5倍,快照能够将其降低10倍,总计将影响降低了50倍。

我们估计目前在主网(15Mgas),对于未使用快照的geth节点来说,有可能创建执行时间在2.5-3秒的区块。对于非快照节点来说,随着状态增长这个数字会持续恶化。

如果通过gas退还来增加区块内的有效gas使用量,则可能会进一步加剧为(最大)2倍。随着EIP1559的实施,区块的gaslimit的弹性会更大,并且在临时爆发中会再增加2倍。

至于实施这种攻击的可行性,攻击者购买一整个区块的成本约为几个ETH(100Gwei时15Mgas为1.5ETH)。

为什么现在公布?

这个风险其实一直以来都是一个“公开的秘密”,已经不止一次被意外公开披露,并且在核心开发者会议中多次被提及,但并未涉及细节。

现在既然已经实施了柏林升级,geth的节点也在默认情况下使用快照同步,因此我们估计现在的威胁性已经非常低了,现在是时候对幕后工作进行全面公开了。

重要的是,让社区有机会了解一些变更背后的原因,而这些变更会对用户体验造成负面影响,例如gas成本增加和限制gas返还。

本文由MartinHolstSwende和PeterSzilagyi在2021-04-23写就。并于2021-04-26与基于以太坊的项目进行分享,2021-05-18公开发布。

点击“阅读原文”获取文章内部链接!

原文链接:https://blog.ethereum.org/2021/05/18/eth_state_problems/

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

链链资讯

[0:15ms0-4:87ms