声明：本文所表达的观点和意见仅代表作者个人观点，并不代表 crypto.news 编辑部的观点和意见。
你尝试将 50 美元从以太坊 (ETH) 桥接到 ZK-rollup（例如 zkSync），原本以为只需支付几美分。结果却发现你的钱包里被扣了 0.15 到 0.50 美元的手续费。考虑到乐观 Rollup 通常比 ZK-rollup 便宜三倍，而且 Dencun 升级更是将数据成本降低了 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万美元直接流入了集中式集群。同时，Rollup团队每月需向AWS支付每台设备1000至5000美元的费用，且此成本与资料量呈线性成长。难怪顶级零知识L2加密的总锁定价值停滞在33亿美元，而乐观估计的总规模却已超过400亿美元。
但乐观滚动机制（例如 Base、 Arbitrum、 OptimismETC）也并非完美的解决方案，因为它们存在巨大的权衡取舍。乐观滚动机制至少需要七天的提现延迟，以便监督验证者能够对无效的状态转换提出质疑。在快节奏的 DeFi 世界中，对于大多数应用场景而言，这样的等待时间实在太长了。此外，这些网路也要求使用者信任这些监督验证者。虽然这对 Web3 游戏或社群媒体等低价值交易来说或许尚可接受，但对于现实世界的资产和其他高价值金融应用情境而言，则远远不够。
因此，实现真正可扩展、廉价且安全的交易的途径不在于避免生成证明，而在于彻底革新证明生成过程。
这就是核心低效之处：为了建立去中心化网路的信任，我们付出了 Web 2 的溢价，包括成本和中心化。证明费用不仅仅是一项支出；它是阻碍零知识共享 (ZK) 普及的经济锚点。除非证明产生成本与执行成本一样低，否则 ZK 汇总将一直被困在一个系统中，其最大的优势——加密安全性——同时也是其成本最高的瓶颈。而这种成本不仅推高了费用；它还建构了我们现在必须摆脱的中心化陷阱。
中心化陷阱
超过 90% 的零知识共享 (ZK) 汇总外包给少数几家「证明者即服务」公司。这造成了巨大的单点故障风险。 2025 年 3 月，Blast 业者冻结了攻击者的交易，并导致 12,000 名无辜用户的交易中断 48 小时。中心化证明者查看明文批次，提取 MEV，并拒绝交易。 dYdX 使用 3/5 多重签章机制，DYDX意味著三个内部人员就可以劫持整个链。这与其他区块链系统（例如 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 亿美元成长到超过 1,000 亿美元。真正的机会在于系统层面。
当验证变得廉价且去中心化时，整个价值主张便得以清晰展现。用户将获得速度和成本优势。开发者将获得一个无需信任少数运营商的平台。以太坊将获得一个在不牺牲安全性的前提下维持扩容的方案。
战斗开始了
零知识共享普及的最大障碍并非加密货币或游戏，而是工程经济。中心化的基础设施扼杀了可扩展的真相。这场战争并非关乎共识，而是关乎硬体和可验证计算市场。交付去中心化的加速证明器，我们就能为数十亿人提供低成本、无信任的交易。
我们不需要权威的证明者。我们需要一个全球性的证明市场，任何人都可以贡献证明，每个人都可以验证证明，这样开放的网路才能安全无虞。
Leo Fan是 Cysic.xyz 的创办人兼执行长。 Cysic.xyz 是首个全端运算网络，提供即时零知识证明、硬体加速的 AI 运算，并透过 ComputeFi 提供高效能硬体的代币化存取。 Leo 拥有康乃尔大学密码学博士学位，并在学术研究、FPGA/ASIC 设计、协议工程和下一代硬体流水线等领域积累了丰富的经验。他致力于将零知识证明从理论建构转化为工业级系统。在 Cysic，Leo 领导著一支跨学科团队，负责设计零知识证明和 AI 优化的 ASIC、高吞吐量 GPU 证明集群以及将计算资源转化为可编程链上资产的去中心化计算网络。本次对话恰逢 Cysic主网线第二天，因此是深入探讨主网在性能、去中心化和实际应用方面带来哪些突破的绝佳机会。
