ZK证明：以太坊的 “曼哈顿计划”

momo

「推荐寄语：本文主要介绍了零知识证明（ZK-Proofs）如何创造一个新的、价值数十亿美元的可验证计算市场，以及 Succinct 公司及其原生代币 $PROVE 在这一领域中的技术优势、市场定位、及其生态数据相关的最近进展，做为前沿趋势，其 FDV 已显着获得增长计价，请做自己的研究。」

引言
这篇来自 Succinct 联合创始人 Uma Roy 的文章标志着一次范式转变。 它宣告的并非又一个代币的诞生，而是一个由数据驱动、正在实时兴起的新经济体：可验证计算经济。多年来，零知识（ZK）技术一直被视为区块链扩容的理论终局。如今，它已成为工程现实，开启了未来十年最重要的基础设施竞赛之一。

这一转变的动力源于 David Hoffman 所称的以太坊 “曼哈顿计划”：对协议进行根本性的重新架构，在不牺牲去中心化的前提下，数倍提升其吞吐量。直到最近，这还是一个遥远的愿景。但一系列战略性的协议升级和关键的技术突破，已将其转变为一份可执行的路线图。

我一直认为我们正在用 ZK 做的事情，特别是最终将应用于以太坊的 ZK-EVM，有点像以太坊的曼哈顿计划……当以太坊在幕后研究 ZK 以保留所有那些如今正将华尔街引入链上的事物时，他们也在研发这项极具未来前瞻性的技术。

本报告对这个新兴的数十亿美元市场进行了基本面分析。报告将解释为何对 ZK 证明的需求并非投机，而是在结构上不可避免；量化这一经济机遇的规模；并详细阐述像 Succinct 这样以平台为先的公司，如何凭借其原生代币 $PROVE，有望成为这个可验证计算新时代的基础设施。

一、新市场的必然性
1.1 Gigagas 与 Teragas 的必然要求

以太坊正在经历一场巨变 ， 其驱动力来自一个核心开发路线图，这个路线图并非凭空猜测，而是一个已设定好、不可避免的演进过程。协议本身的这种重新架构，为零知识（ZK）证明创造了一种结构性的、可预测的、指数级增长的需求。为了追求全球规模的吞吐量，以太坊注定会成为一个全新的、价值数十亿美元的可验证计算经济体中第一个也是最大的消费者。币安注册不了？怎么回事？币安新注册送100美金 https://app.binance.com/uni-qr/cart/12018388775097?l=zh-CN&r=Square-Creator-aaf4bed2c4b6&uc=web_square_share_link&us=shaobaogu

这一需求源于一个清晰而宏大的长期愿景。 Gigagas 路线图旨在将 L1 执行层的吞吐量扩展到 1 Ggas/s，约等于 10,000 TPS。然而，正如以太坊基金会研究员 Justin Drake 所指出的，这仅仅是“冰山一角”。最终目标是通过约 1,000 个 L2 的协同工作，实现一个总吞吐量为 1 Tgas/s（约 1000 万 TPS）的“Teragas”生态系统。在这个模型中，99.9% 的交易量都发生在 L2 上，而 L1 则演变为共享安全和结算的终极中心。正如 Drake 所说：

“10,000 TPS 根本不算什么。要服务全世界，我们需要达到每秒 1000 万笔交易，每秒 1 teragas 的水平。我们如何实现这一目标？答案是 L2。”

EIP-7938 等提案正式确立了这种指数级扩容，该提案主张 L1 Gas 上限每年自动增加 3 倍。这一机制旨在实现稳定且可预测的增长，从而为保障网络安全所需的计算资源创造一条可靠的需求曲线。

这一转变将通过一项为期多年的“渐进式纳入”计划来管理，该计划有条不紊地降低了流程风险。该计划分不同阶段推进，最终将在 2027 年前强制要求使用 ZK 证明来验证区块有效性，从而使证明生成成为协议的核心、经济上不可或缺的功能。通过将这一需求直接硬编码到协议的演进中，以太坊实际上正在为 ZK 领域制定一项产业政策，为证明对未来基础设施进行重大资本投资的合理性提供了必要的经济信号。

1.2 最终性问题：Vitalik Buterin 论 ZK 为何对 L2 至关重要

这一转变的紧迫性远不止于 L1。它解决了当前 L2 生态系统中最主要的瓶颈：提款最终性缓慢所带来的摩擦和风险。正如以太坊联合创始人 Vitalik Buterin 最近所说，实现快速提款时间是一个关键目标，对于 L2 而言，“甚至比第二阶段更重要”。