交易所,交易所排名,交易所排行,加密货币是什么,加密货币交易平台,加密货币平台,币安交易所,火币交易所,欧意交易所,Bybit,Coinbase,Bitget,Kraken,全球交易所排名,交易所排行) 桥接到 ZK-rollup（例如 zkSync），原本以为只需支付几美分。结果却发现你的钱包里被扣了 0.15 到 0.50 美元的手续费。考虑到乐观 Rollup 通常比 ZK-rollup 便宜三倍，而且更是将数据成本降低了 90% 以上，这样的费用着实令人难以接受。问题不在于网络拥堵，而在于证明本身。

　　ZK-rollup 费用主要由证明过程而非数据或执行过程决定：由于 GPU 效率低下的加密技术，证明生成过程消耗了 60-70% 的费用，从而形成了一个约 9700 万美元的中心化证明者市场，尽管以太坊进行了 Dencun 升级，但 ZK 费用仍然居高不下。

　　这造成了中心化和安全陷阱：超过 90% 的 ZK-L2 依赖于少数几个证明者即服务提供商，引入了审查、MEV 提取、中断和 web2 式的租金提取，破坏了去中心化和普及。

　　解决方案是专用硬件 + 开放的证明器市场：ZK 专用 ASIC 和竞争性的链上证明器拍卖可以将成本降低几个数量级，实现去中心化证明，并解锁低于美分的费用，最终使 ZK 扩容成为可能。

　　为交易批次生成零知识证明是一个极其复杂的过程。它涉及数万亿次的数学运算，特别是椭圆曲线乘法，而且这些运算需要在并非为此设计的硬件上运行。根据 L2Beat 的数据，仅证明过程就占到ZK-L2 所有费用的惊人60-70% 。

　　这催生了一个价值超过9700万美元的集中式“验证农场”市场。这就是价值数十亿美元的瓶颈所在。这是一个集中式、耗电量巨大的系统，依赖于不匹配的硬件，这也是为什么零知识扩展仍然更像是一种承诺而非现实的原因。

　　解决方案包含两方面。我们需要特定领域的专用集成电路（ASIC）和开放的验证器市场。有了这些，低于美分的交易就能成为常态，而非例外。这并非空想，而是亟待实现的工程现实。

　　ZK-rollup 交易存在多项成本。L2 执行几乎免费。由于 blob 存储技术的应用，向主网发布数据的成本也大幅降低，每笔交易仅需十分之一美分。真正的成本在于证明过程。即使在高端 A100 GPU 上，生成 4000 笔交易的单次证明也需要两到五分钟。

　　根据Brevis 的基准测试，仅云计算费用一项就需要花费 0.04 到 0.17 美元。如果将这部分成本分摊，每笔交易的成本约为 1 到 4 美分。但在高负载情况下，成本很容易飙升至 10 美分以上。

　　ZK 证明与人工智能中使用的矩阵数学并不相同。它依赖于椭圆曲线上的多标量乘法 (MSM) 和数论变换 (NTT)。这些运算对于专为并行浮点运算设计的 GPU 来说负担很重。一个 Groth16 证明大约需要 10¹²次域运算。

　　根据Ingonyama 的测试，在此过程中，GPU 约 80% 的周期处于空闲状态。硬件配置并不合适。zkSync Era 的报告显示，在 2025 年第一季度，验证环节贡献了其 230 万美元收入的 65%。

　　这150万美元直接流入了集中式集群。与此同时，汇总团队每月需向AWS支付每台服务器1000至5000美元的费用，而且该成本与数据量呈线性增长。难怪顶级零知识L2安全集群的总锁定价值停滞在33亿美元，而乐观估计的汇总规模却已超过400亿美元。

　　但乐观滚动机制（例如 Base、Arbitrum、Optimism 等）也并非完美解决方案，因为它们存在巨大的权衡取舍。乐观滚动机制至少需要七天的提现延迟，以便监督验证者能够对无效的状态转换提出质疑。在快节奏的 DeFi 世界中，对于大多数应用场景而言，这样的等待时间实在太长了。此外，这些网络还要求用户信任这些监督验证者。虽然这对于 Web3 游戏或社交媒体等低价值交易来说或许尚可接受，但对于现实世界的资产和其他高价值金融应用场景而言，则远不能满足需求。

　　因此，实现真正可扩展、廉价且安全的交易的途径不在于避免生成证明，而在于彻底革新证明生成过程。

　　这就是核心低效之处：为了建立去中心化网络的信任，我们付出了 Web 2 的溢价，包括成本和中心化。证明费用不仅仅是一项支出；它是阻碍零知识共享 (ZK) 普及的经济锚点。除非证明生成成本与执行成本一样低，否则 ZK 汇总将一直被困在一个系统中，其最大的优势——加密安全性——同时也是其成本最高的瓶颈。而这种成本不仅仅推高了费用；它还构建了我们现在必须摆脱的中心化陷阱。

　　超过 90% 的零知识共享 (ZK) 汇总外包给少数几家“证明者即服务”公司。这造成了巨大的单点故障风险。2025 年 3 月，Blast 运营商冻结了攻击者的交易，并导致12,000 名无辜用户的交易中断 48 小时。中心化证明者查看明文批次，提取 MEV，并拒绝交易。dYdX 使用 3/5 多重签名机制，这意味着三个内部人员就可以劫持整条链。这与其他区块链系统（例如 Solana 的共识机制）的硬件依赖性问题类似。

　　这种中心化造成了脆弱性。顶级证明者拥有 99.2% 的正常运行时间，但单个 AWS 服务中断就可能引发连锁反应。2025 年第二季度，Starknet 因一个节点故障而损失了20% 的吞吐量。这些提供商攫取了 80% 的利润，导致 Rollup 服务捉襟见肘，而以太坊的 L1 层却提供了安全保障。这本身就是一个架构上的矛盾。我们拥有“去中心化”的 L2 层，却依赖于 Web2 数据中心。正如 Vitalik Buterin在 2024 年 Devcon 大会上所说：“外包证明，你并没有扩展任何东西，只是信任了一个新的预言机。”

　　要解决这个问题，我们需要双管齐下。我们需要专为零知识计算（ZK）设计的芯片，还需要一个分销平台。首先是硬件。GPU就像高速公路上的赛车。它们非常适合人工智能中使用的张量运算，但对于零知识计算中使用的曲线运算却非常糟糕。这就是专用集成电路（ASIC）的用武之地。

　　2025 年 ZPrize 竞赛的获胜者能够在 FPGA 上以 6-8 秒的速度完成 STARK 证明。这比 GPU 的每瓦性能快 10-100 倍，因为他们将 MSM 和 NTT硬连线。Cysic 已经开始流片 ASIC，可以在两秒内为数十亿门电路生成证明，并且能耗降低了50 倍。这与我们之前看到的比特币 ( BTC) 挖矿的演变如出一辙。我们从 CPU 过渡到 ASIC，但这一次是为了验证真理，而不是为了计算哈希值。

　　其次是市场。我们需要摒弃SaaS模式，将证明器视为一种商品。Succinct的2025主网就是一个很好的例子。Rollup将任务发布到基于以太坊的拍卖平台，专用矿机在几秒钟内即可竞标。Brevis ProverNet通过GPU集群实现了CPU速度的20倍提升，并对低效节点进行了惩罚。

　　其结果是成本降低 40%，价值分配更加公平，并且具备抗审查能力。任何人都可以证明，以太坊负责验证。ZPrize 2025 的递归聚合验证可在链上200 毫秒内完成。一个价值 1 万美元的 DeFi 机器人可以在 L2 服务器上运行私有 ZK-ML，每笔交易的成本仅为千分之一美分。

　　根据 zkSync Atlas 的路线图，更低的成本验证将带来可预测的、低于 0.01 美元的费用，吞吐量可达 15,000 TPS 。这将解锁按像素付费的 NFT、实时游戏经济以及无需抢先交易即可结算的 AI 代理。L2 级认证将成为中立的基础设施，而非验证者的领地。

　　开发者将精力集中在虚拟机优化上，而不是管理庞大的服务器集群。这将极大地促进应用创新。ZK TVL 的规模将从 2025 年的 280 亿美元增长到超过 1000 亿美元。真正的机遇在于系统层面。

　　当验证变得廉价且去中心化时，整个价值主张便得以清晰展现。用户将获得速度和成本优势。开发者将获得一个无需信任少数运营商的平台。以太坊将获得一个在不牺牲安全性的前提下维持扩容的方案。

　　零知识共享普及的最大障碍并非加密货币或游戏，而是工程经济。中心化的基础设施扼杀了可扩展的真相。这场战争并非关乎共识，而是关乎硬件和可验证计算市场。交付去中心化的加速证明器，我们就能为数十亿人提供低成本、无需信任的交易。

　　我们不需要权威的证明者。我们需要一个全球性的证明市场，任何人都可以贡献证明，每个人都可以验证证明，这样开放的网络才能安全无虞。