随着数据存储和验证需求的增长,以太坊网络可能会走向无状态验证。联合创始人 Vitalik Buterin 为这一转变提出了两种解决方案——Verkle 树和 STARK。
随着数据存储和验证需求的增长,以太坊网络可能会走向无状态验证。联合创始人 Vitalik Buterin 为这一转变提出了两种解决方案——Verkle 树和 STARK。
虽然这两种方法都使得块验证更加高效和易于访问,但在安全性、效率和实施复杂性方面也存在着权衡。
作为 Verkle Trees 的替代品,STARK 的权重如何?
以太坊联合创始人 Vitalik Buterin发布了另一篇博文,解释该网络的未来发展。Buterin在这篇博文中重点介绍了无状态验证,即节点无需存储完整的以太坊状态即可验证区块。谈到 The Verge,他解释说,该博文之前旨在通过降低验证的计算要求来提高以太坊协议的效率。不过,他补充说,现在的目标是使用 SNARK 来验证区块链。
Verkle 树和 STARK都希望降低区块验证的计算要求。同时,简洁的非交互式知识论证 SNARK 也是以太坊未来的一部分。
Verkle 树将允许节点通过生成紧凑证明来验证以太坊区块,这将减少节点存储整个状态的需要。然而,Verkle 树在未来可能会面临量子计算的潜在限制。他认为,这项复杂的技术现在更加可行,可以完全跳过 Verkle 树。
与此同时,The Verge 有两个主要目标。第一是减少节点验证以太坊交易所需存储的数据量。第二是降低验证的计算要求,让移动设备和智能手表也能参与网络。
因此,无论以太坊采用哪种无状态验证方式(Verkle 或 STARK),其目标都是解决数据量不断增长的问题。Buterin 表示:“原始状态数据每年增加约 30 GB,各个客户端必须在其上存储一些额外的数据,才能有效地更新 trie。”
部署无状态验证如何简化节点设置
值得注意的是,以太坊数据规模的不断增长使得质押者难以设置和升级他们的节点。出于这个原因,Buterin 提倡通过无状态验证来解决这个问题,即让节点在不存储所有数据的情况下验证区块。该过程允许节点使用包含状态值和加密证明的见证来验证区块。然而,为了使无状态验证有效运行,以太坊当前的 Merkle Patricia 树结构需要被替换,因为它并不适合创建紧凑、易于验证的证明。
但是,由于无状态验证结合了 Verkle 树或 STARK,哪种方法对以太坊更有利?这两种方法各有优缺点。Verkle 树使用基于椭圆曲线的向量承诺,可创建紧凑证明,但仍可能容易受到未来量子攻击。它们也更容易在以太坊的当前架构下实现。另一方面,STARK 提供的证明大小更小(大约 100-300 kB,而 Verkle 为 2.6 MB),并且可能具有更快的证明时间。但是,它们需要更多的计算能力,并且尚未完全集成到以太坊的系统中。
以太坊不仅需要更快更高效地验证区块,还需要更高效地验证其他应用。它包括内存池、包含列表和轻客户端。据报道,所有这些用例都需要大量证明来验证账户余额和交易有效性等项目。因此,与 STARK 证明相比,可能会使用更简单的 Merkle 分支。Buterin 指出,Merkle 分支是可更新的,可能会带来优势。
与此同时,以太坊社区还需要完成剩余的工作。据 Buterin 介绍,EIP-4762 包括 gas 成本分析。它将指出改变无状态客户端的 gas 费用将如何影响以太坊。而且由于向无状态的转换很复杂,过渡过程也需要测试。 据报道,还需要分析新的 STARK 友好型哈希函数(如 Poseidon)的安全性,这些函数的测试较少。对新的哈希函数和 SHA256 等证明系统进行安全性分析也是至关重要的一步。
以太坊必须研究量子安全加密技术
Buterin 表示,Verkle、采用保守哈希函数的STARK和采用新哈希函数的 3 种算法各有利弊。他解释说,Verkle 树最适合部署,但并不具备量子抗性,而且在 SNARK 等高级系统中更难证明。
基于哈希的方法 (STARK) 可以为节点提供更快的同步时间,但该技术仍需要进一步开发和安全分析。Verkle 树还允许轻松更新(对于内存池和包含列表很有用),但对于某些高级加密证明 (SNARK) 来说更难使用。
为了解决这些权衡问题,Buterin 建议使用基于格的 Merkle 树作为量子安全替代方案。但是,将其集成到当前的以太坊结构中会很复杂。另一种选择是引入多维 gas 来分离平均情况和最坏情况之间的效率差距。这意味着多维 gas 可以让以太坊减少极端情况下所需的哈希值数量。这样,以太坊就可以将状态根计算延迟到下一个块,并增加生成证明的可用时间。
以太坊可扩展性的路线将解决存储负担
Buterin 的博客还强调,EVM 的有效性证明目前面临着安全性和证明时间方面的挑战。以太坊的可扩展性和去中心化挑战还伴随着解决证明生成的挑战。EIP-4444 建议实施无状态验证和历史记录过期,以减轻客户端的数据存储负担。除此之外,当前的有效性证明需要优化以提高速度和效率。Buterin建议采用并行化和使用先进硬件等策略来帮助加速这一过程。
Verge 将是以太坊的一次转型,专注于无状态性和高效验证。据报道,STARK 友好性对于 PoS 网络的其他几项升级至关重要,有助于其扩展。无论还存在哪些挑战,实施这些技术也存在权衡。
相关推荐
狗狗币7%的涨幅让73%的地址盈利——更多收入?
2024-08-25 16:40
247特朗普胜选几率暴跌,比特币下跌,加密货币清算额超过 3.15 亿美元
2024-11-04 20:33
433埃隆·马斯克是否在利用推特操纵对唐纳德·特朗普的支持?
2024-08-25 19:40
331XRP触及10000美元,专家概述了可能引发大规模反弹的关键事件
2024-08-14 15:10
192澳大利亚夫妇以比特币 (BTC) 独家方式出售土地
2025-01-22 00:02
358孙宇晨来自 Lido Finance 提现大量 ETH,以加强市场战略
2024-12-16 21:27
348最新资讯
以太坊期货市场出现降温迹象…继续下跌与抄底“观点分歧”
2025-03-29 21:12
ETH 价格跌破 1,900 美元:突然崩盘导致超过 9200 万美元被清算
2025-03-29 21:08
比特币 ETF 流入量激增,达 8700 万美元,而以太坊 ETF 则亏损 800 万美元
2025-03-29 21:04
R3 竞争对手企业以太坊联盟规模扩大
2025-03-29 21:00
以太坊价格暴跌至 1,900 美元
2025-03-29 20:57
机构投资者购买比特币或将推动牛市
2025-03-29 20:52
机构大量购买 BTC 或将引发下一轮牛市:哪些山寨币不容错过
2025-03-29 20:50
顶级策略师称比特币可以超越黄金:以下是时间表和价格影响
2025-03-29 20:46