本文是Vitalik Buterin关于以太坊协议未来发展系列文章的第四部分，主题为”The Verge”。文章的核心思想是降低完全验证以太坊节点的计算成本，最终目标是让每个移动钱包、浏览器钱包甚至智能手表都能默认运行完全验证节点，从而增强以太坊的去中心化程度。

“The Verge”最初指的是将以太坊状态存储转移到Verkle树，这是一种允许更紧凑证明的树结构，从而实现以太坊区块的无状态验证。但现在”The Verge”的愿景更宏大，旨在实现以太坊链的最大资源效率验证，包括无状态验证技术和使用SNARK验证所有以太坊执行。

文章探讨了两种主要的无状态验证方案：Verkle树和Starked二元哈希树。Verkle树使用基于椭圆曲线的向量承诺来生成更短的证明，但容易受到量子计算机攻击。Starked二元哈希树则使用STARK证明来验证二叉树中的哈希值，但其证明时间是主要的挑战。文章还讨论了无状态验证在内存池、包含列表和轻客户端等方面的应用。

除了无状态验证，文章还阐述了实现EVM执行有效性证明和共识有效性证明的重要性。EVM执行有效性证明的目标是能够通过下载区块的一小部分并验证一小部分证明来验证区块的有效性。实现这一目标需要解决安全性和证明时间方面的挑战，并可能需要对EVM进行优化和修改。共识有效性证明则需要证明权益证明共识的有效性，这需要对信标链进行重新设计，并可能需要更改哈希函数和签名方案。

文章最后总结了各个部分的剩余工作、权衡以及它们与路线图其他部分的交互。实现”The Verge”阶段的目标需要在多个领域进行大量工作，包括无状态验证、EVM执行有效性证明和共识有效性证明等。这些努力最终将使得以太坊更加去中心化、轻量级和易于访问。