以太坊创始人Vitalik介绍了最近的Dencun硬分叉中的EIP-6780,它简化了以太坊协议,通过消除复杂性和添加新的安全保证来精简以太坊和清除技术债务。此外,还有其他可能需要清除的东西,如预编译,为了解决这个问题,可以删除预编译或将其替换为执行相同操作的EVM代码块。Zcash引入了MODEXP来支持加密事实证明,但需求低于预期。日志改革将删除bloom过滤器,并使用ZK-SNARK和IVC来生成可证明正确的“日志树”。以太坊共识层已转向更高效的SSZ格式,但仍需完成转换。未来可能会使用SNARK友好哈希的二进制Merkle树取代现有的加密数据结构。
原文作者:Vitalik,以太坊创始人
原文来源:ethereum.org
原文标题:Next steps in the Purge
编译:善欧巴,金色财经
最近的 Dencun 硬分叉中不太知名的 EIP 之一是EIP-6780,它删除了操作码SELFDESTRUCT的大部分功能。
该 EIP 是以太坊协议开发中经常被低估的部分的一个关键示例:通过消除复杂性和添加新的安全保证来简化协议的努力。这是我所说的“PURGE”的一个重要部分:精简以太坊和清除技术债务的项目。将会有更多的 EIP 具有类似的精神,因此值得了解 EIP-6780如何实现的目标,以及未来Purge中可能会清除哪些其他EIP。
EIP-6780 减少了操作码SELFDESTRUCT的功能,它会销毁调用它的合约并清空其代码和存储,因此只有在同一交易期间创建合约时它才有效。这本身并没有降低规范的复杂性。然而,它确实通过引入两个新的不变量来改进实现:
1、EIP-6780 后,单个区块中可以编辑的存储槽数有最大数量(大致为:gas limit / 5000)。
2、如果合约在交易或区块开始时具有非空代码,则在该交易或区块结束时它将具有相同的代码。
之前,这些不变量都不是True:
1、SELFDESTRUCT拥有大量存储槽的合约可以在单个区块内清除无限数量的存储槽。这将使Verkle树的实现变得更加困难,并且使以太坊客户端的实现变得更加复杂,因为它们需要额外的代码来有效地处理这种特殊情况。
2、合约的代码可以通过SELFDESTRUCT从非空变为空,事实上合约甚至可以在之后立即用不同的代码重新创建。这使得账户抽象钱包中的交易验证更难使用代码库而不容易受到 DoS 攻击。
现在,这些不变量都是True,使得构建以太坊客户端和其他类型的基础设施变得更加容易。几年后,希望未来的EIP能够完成这项工作并SELFDESTRUCT完全消除。
前两个显著改善了客户端开发人员的体验。后者显著提高了节点运营商的寿命。
预编译是以太坊合约,它没有 EVM 代码,而是具有必须由客户端自己直接实现的逻辑。这个想法是,预编译可用于实现无法在 EVM 中有效实现的复杂形式的密码学。
如今,预编译的使用非常成功,特别是通过椭圆曲线预编译启用基于 ZK-SNARK 的应用程序。然而,还有其他很少使用的预编译:
事实证明,对这些预编译的需求远远低于预期。Identity被广泛使用,因为它是复制数据最简单的方法,但自从 Dencun 以来,操作码MCOPY已经取代了它。不幸的是,这些预编译都是共识错误的巨大来源,也是新 EVM 实现的巨大痛苦来源,包括 ZK-SNARK 电路、形式验证友好的实现等。
有两种方法可以删除这些预编译:
如今,每个以太坊节点都有望永久存储所有历史区块。长期以来,人们一直认为这是一种非常浪费的方法,并且由于高存储要求而使得运行以太坊节点变得不必要的困难。在 Dencun 中,我们引入了 blob,它只需要存储约 18 天。使用EIP-4444,一段时间后,以太坊区块也将从默认以太坊节点中删除。
需要解决的一个关键问题是:如果旧历史记录并没有被每个节点存储,那么用什么来存储它呢?实际上,区块浏览器等大型实体将会这样做。然而,使 p2p 协议来存储和传递该信息也是可能的,而且并不困难,这对于任务来说更加优化。
以太坊区块链是永久性的,但要求每个节点永远存储所有数据是实现这种永久性的一种非常“矫枉过正”的方式。
一种方法是针对旧历史的简单点对点torrent网络。另一种是针对以太坊使用进行更明确优化的协议,例如门户网络。
或者,以模因格式:
减少运行以太坊节点所需的存储量可以大大增加愿意做节点的人数。EIP-4444 也可以减少节点同步时间,这也简化了许多节点运营商的工作流程。因此,EIP-4444可以大大提高以太坊节点的去中心化。潜在地,如果每个节点默认存储一小部分历史记录,我们甚至可以像今天一样在网络上存储每个特定历史记录的大致相同数量的副本。
直接引用这个EIP草案:
日志最初的引入是为了让应用程序能够记录有关链上事件的信息,以便去中心化应用程序(dapp)能够轻松查询这些信息。使用bloom过滤器,dapp 将能够快速浏览历史记录,识别包含与其应用程序相关的日志的几个块,然后快速识别哪些单个事务具有所需的日志。
实际上,这种机制太慢了。几乎所有访问历史记录的 dapp 最终都不是通过对以太坊节点(甚至远程托管节点)的 RPC 调用,而是通过集中式额外协议服务。
我们可以做什么?我们可以删除bloom过滤器,并简化LOG操作码,这样它所做的就是创建一个将哈希值放入状态的值。然后,我们可以构建单独的协议,使用 ZK-SNARK 和增量可验证计算(IVC)来生成可证明正确的“日志树”,它表示给定的所有日志的易于搜索的表topic,以及需要日志和想要的应用程序去中心化可以使用这些单独的协议。
如今,以太坊的大部分区块结构(包括交易和收据)仍然使用基于RLP和 Merkle Patricia 树的过时格式进行存储。这使得开发使用该数据的应用程序变得不必要的困难。
以太坊共识层已转向更清洁、更高效的SimpleSerialize (SSZ):
资料来源:https://eth2book.info/altair/part2/building_blocks/merkleization/
但是,我们仍然需要完成转换,并将执行层移至相同的结构。
SSZ 的主要优势包括:
如今,以太坊中存在三种类型的加密数据结构:SHA256 二叉树、SHA3 RLP 哈希列表和十六进制 Patricia 树。一旦我们完成向 SSZ 的过渡,我们将只剩下两个:SHA256 二叉树和 Verkle 树。从长远来看,一旦我们在 SNARKing 哈希方面做得足够好,我们很可能会用使用 SNARK 友好哈希(一种适用于所有以太坊的加密数据结构)的二进制 Merkle 树来取代 SHA256 二叉树和 Verkle 树。