The Verge：实现以太坊可验证性与可持续发展的关键

探索可验证性的未来路径

Web3 最引人注目的特性之一就是其可验证性——用户能够直接验证系统的实际运行机制。这一特性让许多来自加密行业内外的人士都将 Web3 视为迈向更加透明和可验证互联网的重要一步。与传统 Web2 平台（如 Facebook 或 Instagram）形成鲜明对比的是，后者的算法和规则即便被记录下来，也始终保持着不透明的特性。而加密协议则从设计之初就追求完全的可审计性。

在今天的讨论中，我们将聚焦《The Verge》这一重要概念，深入分析以太坊为实现未来可验证性、可持续性和可扩展性所采取的关键步骤。我们将探讨区块链架构如何提升可验证性，这些创新在协议层面带来了哪些突破，以及它们如何为用户构建更安全的生态系统。

解密”可验证性”的本质

传统Web2应用往往以”黑箱”模式运作——用户只能看到输入和输出，却无法了解内部的实际运作机制。而加密货币协议则通常选择公开源代码，或者至少制定了这样的计划。这种透明性具有双重意义：首先，它允许用户直接与协议代码互动；其次，它帮助用户准确理解系统运作机制及其规则体系。

“去中心化你能去的部分，其余部分确保可验证。”

可验证性确保了系统的责任性，并在多数情况下保证协议按预期运行。这一原则强调最小化中心化的重要性，因为中心化往往导致不透明和难以追责的结构。以太坊社区显然认同这一理念，其路线图中包含名为”Verge”的重要里程碑，旨在提升以太坊的可验证性。

区块链本质上扮演着全球时钟的角色。在一个由约10,000台计算机组成的分布式网络中，交易从源节点传播到所有其他节点可能需要相当长的时间。共识机制的出现解决了这个关键问题，使所有节点能够就交易顺序达成一致，让整个网络像一台协调一致的计算机那样运作。

除了共识层，每个区块链还包含执行层。执行层由用户发起的交易决定。一旦交易通过共识完成排序，每笔交易就必须应用于执行层的当前状态。这个过程被称为状态转换函数（STF）。以太坊的STF比比特币复杂得多，因为它是一个完全可编程的区块链。

区块链状态验证的艺术

以太坊的”状态”指的是区块链在特定时间点存储的数据集合。每个以太坊区块都包含一个称为stateRoot的值，这是对整个以太坊状态的紧凑表示。随着新交易修改状态，后续区块中记录的stateRoot会相应更新。

为了计算这个值，以太坊验证者使用了Keccak哈希函数和Merkle Tree数据结构。哈希函数具有四个基本特性：确定性、固定输出长度、单向性和唯一性。这些特性使得验证者能够验证每个区块的状态转换是否正确执行。

由于以太坊的状态数据量达到数TB级别，直接存储整个状态在日常设备上并不现实。为此，以太坊采用Merkle树结构来计算stateRoot，在尽可能保留状态可验证性的同时解决存储问题。

Merkle树是一种加密数据结构，用于安全高效地验证数据的完整性和正确性。它由三种节点组成：包含单个数据片段哈希值的叶子节点、包含子节点组合哈希值的分支节点，以及代表整个树加密摘要的根节点。

Merkle根的实际应用

Merkle证明使验证者能够高效验证特定数据的有效性。验证者从特定数据点开始，将其与Merkle证明中提供的”兄弟”哈希值逐步合并并进行哈希运算。如果最终结果与存储的Merkle根匹配，则数据被视为有效。

以一个具体示例来说明：假设我们从RPC接收到数据#4，RPC会提供一组形成通向Merkle根路径的哈希值。通过逐步计算，我们能够确认数据#4是否属于所声明的状态。这种方法的高效性在于，验证者无需重建整个Merkle树，仅需少量哈希值就能完成验证。

Merkle树的效率考量

虽然Merkle树为大型区块链系统提供了安全高效的数据验证方案，但其性能受到两个关键因素影响：分支因子和数据总大小。分支因子决定了每个节点的子节点数量，直接影响验证效率。

较小的分支因子（如二叉Merkle树）使验证过程对验证者更高效，但增加了树的高度。较大的分支因子降低了树的高度，但增加了验证时的计算负担。因此，设计Merkle树时需要在这两者之间找到最佳平衡点。

以太坊可验证性革命：The Verge

The Verge是以太坊路线图中的关键里程碑，旨在提高可验证性，强化区块链的去中心化结构。以太坊的一个主要目标是让任何人都能轻松运行验证节点，创建开放参与的结构。然而，当前系统下，运行验证节点需要大量存储和计算资源。

自转向权益证明(PoS)共识模型以来，以太坊验证者有两个主要职责：确保共识正常运行和检查区块准确性。为履行后者，验证者必须能够访问区块之前的状态，这给他们带来了沉重的负担。The Verge旨在创建新的基础设施，使存储有限的设备也能进行完整验证。

迈向可验证性的第一步：状态管理

向Verkle树的过渡是这个过程中的关键部分。Verkle树相较于传统Merkle树具有显著优势，特别是在证明大小和验证效率方面。Verkle树使用基于椭圆曲线的向量承诺，消除了验证数据时需要提供无关元素细节的要求。

然而，Verkle树也有其局限性，主要是其依赖椭圆曲线加密，面临量子计算机的潜在威胁。因此，Verkle树被视为过渡性解决方案，为开发更强大的替代方案争取时间。

STARK证明与二叉Merkle树的组合方案

STARK证明和二叉Merkle树提供了另一种解决方案。通过将Merkle树的分支因子从16减少到2，可以显著减小证明大小。STARK证明则能将这些证明压缩到仅100-300KB，这对轻客户端尤为重要。

这种组合方案减少了验证者的带宽和存储需求，加速了验证过程，直接支持了以太坊的可扩展性愿景。然而，STARK证明也面临挑战，特别是在证明方的高计算负载和小数据证明的低效率方面。

量子安全带来的挑战

STARK证明需要处理大量哈希值，而像Poseidon这样的zk友好哈希函数可以显著降低计算负载。然而，这些新型哈希函数需要更广泛的安全性分析。传统哈希函数虽然安全性经过验证，但不适合与STARK证明配合使用。

STARK证明在小数据场景中也显示出局限性。例如账户抽象交易验证、轻客户端RPC调用等场景中，STARK证明的优势较小。相比之下，SNARK证明在小数据场景中更具优势。

执行层面的验证挑战

实现完全可验证性的最后一步是共识机制。以太坊采用混合共识机制，在插槽层面使用概率共识，在纪元层面使用确定性共识。同步委员会(Sync Committee)的引入增强了纪元内的可验证性。

通过零知识证明技术优化共识流程，对实现以太坊长期目标至关重要。然而，当前共识层使用的ECADD、配对和SHA256操作在zk-proof系统中都面临挑战，需要进行全面转型。

Beam Chain：共识层的重新构想

Justin Drake提出的Beam Chain提案旨在全面改造以太坊共识层。该提案基于三个主要支柱：区块生产、质押和加密学。其中关键是用zk友好哈希函数取代SHA256，并采用抗量子解决方案。

基于哈希的签名系统与基于哈希的SNARK结合，可以创建可聚合的签名方案。这种方案能显著减少网络数据负载，同时大大加速验证过程。其无限递归聚合的特性为未来技术发展打开了新的可能性。

未来展望与结论

以太坊的可验证性之路代表着区块链技术的根本性转变。The Verge倡议通过Verkle树和STARK证明解决核心效率问题，而Beam Chain提案则对共识层进行全面重设计。

随着NIST计划淘汰当前加密算法，以太坊必须采纳抗量子解决方案。STARK证明的使用虽然提供了透明且抗量子的验证方案，但也带来了计算成本等挑战。

以太坊的演变过程展示了其在塑造Web3时代的关键角色。通过解决当前挑战，以太坊正在迈向可验证性、抗量子性和可扩展性成为标准的新时代。这一进程需要开发者、研究人员和社区的持续协作，共同构建透明、去中心化和可验证的互联网未来。

免责声明：

1. 本文观点仅代表作者本人，不构成任何投资建议。
2. 本文翻译由Gate Learn团队完成，未经许可不得复制或转载。