零知识证明技术和应用
查看所有标签
Matter Labs 刚刚将 ZKsync 品牌的赌注押在一个尚不存在的市场。与其在消费者 TVL 上追逐 Base 和 Arbitrum，2026 年 4 月的路线图将整个技术栈瞄准了受监管的银行、资产管理公司和中央银行 —— 将隐私作为默认设置而非溢价功能。这是一个经过深思熟虑的转型，揭示了 L2 战场在一年内的巨大变化。
看看当前的积分表。Arbitrum 持有约 166 亿美元的 TVL，Base 接近 100 亿美元，Optimism 突破了 80 亿美元。ZKsync Era 尽管在零知识工程方面处于领先地位，但其 TVL 徘徊在 40 亿美元左右 —— 这是一个可观的数字，但在资本集中于最快发货的链的市场中，它只能排在第四位。Matter Labs 正在回答的问题不是 “我们如何在模因币上赶上 Base？”，而是 “哪一个 L2 是花旗银行（Citi）真正可以部署的？”
2026 年 3 月 16 日，Hinkal 协议悄然开启了机构级 DeFi 交易台期待已久的“开关”：一个在 Solana 上的隐私钱包。它看起来不像混币器，运行方式也不像混币器，而且至关重要的一点是，它没有重蹈 Tornado Cash 的监管轨迹。此次发布将 Hinkal 的足迹从以太坊（Ethereum）和波场（Tron）扩展到了 Solana 虚拟机（SVM），并带来了一个在加密货币历史上对于合规隐私协议而言都堪称显著的数据：整个协议栈已处理了超过 4 亿美元的机密交易额。
这并非 Tornado Cash 式的数据。2022 年，Tornado Cash 的屏蔽池在受到美国财政部海外资产控制办公室（OFAC）制裁前的巅峰时期持有约 10 亿美元的总锁仓价值（TVL）。而 Hinkal 的 4 亿美元与其有着本质的不同，原因在于其资金构成。这是为 DeFi 财库提供的余额隐藏，为交易台提供的交易对手屏蔽，以及为支付通道提供的结算流保护——而非针对散户的混淆。这是作为机构级基础设施的隐私，而 Solana 的部署正是 2026 年隐私浪潮已彻底抛弃混币器范式的最清晰信号。
20 多个以太坊 Rollup 目前保障着约 400 亿美元的价值，而它们几乎无法实现实时互通。在 Base 上持有 ETH 的用户仍然需要通过跨链桥才能在 Optimism 上购买 NFT。Arbitrum 上的 DeFi 仓位无法针对存在 Scroll 上的抵押品进行原子性结算。扩容路线图原本旨在让以太坊用起来像一台计算机，结果却将其粉碎成了上百个孤岛。
2026 年 3 月 29 日，Gnosis 联合创始人 Friederike Ernst 和 Zisk 创始人 Jordi Baylina 在戛纳举行的 EthCC 舞台上提出了一个不同的框架。不是另一个跨链桥。不是另一个共享排序器委员会。而是一个以太坊经济区（Ethereum Economic Zone，简称 EEZ，发音同 “easy”）——在这里，Rollup 在单个交易内与主网以及彼此之间进行同步组合，由以太坊基金会共同资助，并由一个历时两年构建的实时 ZK 证明堆栈提供支持。
这是迄今为止最雄心勃勃的一次尝试，旨在回答 L2 时代一直回避的一个问题：如果问题从来不在于带宽，而是在于经济协作呢？
六年来，一个核心问题始终阻碍着机构资金在公共区块链上开展实际业务：为什么一家《财富》 500 强企业的首席财务官（CFO）要向整个互联网广播每一笔工资发放、每一笔供应商付款以及每一笔国库资金调拨？2026 年 2 月，Paxos Labs 和 Aleo Network Foundation 给出了答案。USAD 是一种挂钩美元的稳定币，由 Paxos 受监管的 USDG 储备提供 1:1 支持。它在 Aleo 主网上线，是首个旨在默认保持钱包地址、金额和交易对手信息机密的稳定币，同时仍允许监管机构通过零知识证明验证每笔交易。
2026 年 1 月，区块链网络上大约有 337 个活跃的 AI 代理。到 3 月 11 日，这一数字爆炸式增长，超过了 123,000 个——在 90 天内激增了 36,000%。就在同一个季度，World Chain 悄然跨越了 3000 万次 World ID 验证，并开始通过其“人类专用”优先区块空间路由 OP Stack 主网约 44% 的活动。这两条曲线即将碰撞，届时，每个 DeFi 协议、预测市场、空投和 DAO 治理投票都必须回答一个在一年前听起来还很学术的问题：当机器人拥有钱包、声誉评分且在线时间比你还长时，你如何将人类与机器人区分开来？
简而言之：你无法区分——除非链本身划定界限。这正是 Worldcoin 的 World Chain 试图成为的角色。这也是为什么人格证明（Proof of Personhood）已从一种小众的好奇心，转变为 Web3 基础设施中最具争议的原语。
7.4 秒。这就是在运行 Cysic 全新 Venus 证明器（prover）的 24-GPU 集群上，为整个以太坊主网区块生成零知识证明（ZK proof）所需的时间。一年前，同样的任务需要 200 张高端显卡和 10 秒时间才能达到实时同步（real-time parity）。这一差距的缩小——在硬件成本降低约一个数量级的同时，突破了以太坊 12 秒的插槽时间（slot time）——是本季度加密基础设施中最静默的拐点。而这一切正值 Fusaka 的 PeerDAS 升级开启数据可用性（DA）闸门之际，使得证明生成成为了以太坊通往“百 Rollup 未来”之间唯一的瓶颈。
2026 年 4 月 8 日，Cysic 开源了 Venus，这是一个基于 Zisk 构建的硬件优化证明后端，而 Zisk 最初是由 Polygon Hermez 开发的 zkVM。此次发布并没有配合常见的代币解锁宣传，而是直接发布在 GitHub 上，并附带一份技术说明，声称比 Zisk 0.16.1 实现了 9% 的端到端改进，并邀请社区贡献。这种轻描淡写掩盖了真实的故事：ZK 证明已静默地从研究项目转变为商品化计算，而赢得未来两年的基础设施栈将不再是大多数 L2 团队目前正在构建的样子。
三年来，以太坊的扩容争论一直集 中在数据可用性（DA）上。Blobs、EIP-4844、PeerDAS、danksharding——路线图上的每一次讨论都假设，一旦以太坊能够廉价地发布 Rollup 数据，L2 将自动继承成本的降低。这一假设在 2025 年底悄然破灭。Fusaka 于 2025 年 12 月 3 日上线，随之而来的 PeerDAS 承诺每个区块提供 48 个 Blob，并开辟了通往每秒 12,000 笔交易的路径。在以太坊历史上，数据可用性第一次不再是系统的最紧迫约束。
新的最紧约束是证明生成。ZK Rollup 需要对其状态转换的有效性进行密码学证明。生成这些证明是昂贵的计算工作，发生在链下的专用硬件上。Optimistic Rollup 通过挑战窗口而非数学证明来解决争议，从而完全跳过了这一成本——这就是为什么顶级 ZK L2 目前的总锁定价值（TVL）约为 33 亿美元，而 Optimistic Rollup 已突破 400 亿美元。这个 12 比 1 的差距不是叙事问题，而是证明器经济学问题。
Succinct 的内部研究直言不讳地给出了计算结果。使用 SP1 Turbo 实时证明每个以太坊区块需要一个由 160-200 张 RTX 4090 GPU 组成的集群——每个证明集群的资本支出为 30 万至 40 万美元，并消耗电网规模的电力。任何想要运行自己证明器的 L2 都面临选择：要么将证明生成集中在少数负担得起该硬件堆栈的运营商手中，要么接受会破坏用户体验的数分钟证明延迟。两种选择都无法实现 Vitalik 自 2021 年以来一直描绘的“ZK 终局（ZK endgame）”。
Venus 的意义与其说在于它本身，不如说在于它所代表的趋势。Cysic 并没有发明一种新的证明系统。底层的 密码学源自 Zisk，它是 Jordi Baylina 和 Polygon 团队多年研究的成果。Cysic 所做的是重新构建执行层，使证明生成成为一个显式的计算图——一个可以在异构硬件上进行端到端调度的有向无环操作图（DAG）。
在实践中，这意味着主导早期 zkVM 的 CPU-GPU 同步开销在调度层得到了优化。证明器不会在分发下一个操作之前停下来等待 GPU 内核完成。由于计算图是预先确定的，因此数据移动、内存分配和内核启动可以实现流水线化。这就是比 ZisK 0.16.1 提升 9% 的原因——这不是多项式数学的突破，而是数学如何与硅芯片接触的工程胜利。
更重要的是，同样的计算图可以在 FPGA 上运行，并最终在 Cysic 专用的 ZK ASIC 上运行。该公司公开宣称其 ASIC 每秒可执行 133 万次 Keccak 哈希函数运算，比典型的 GPU 工作负载提高了一百倍，能效提高约五十倍。内部估计显示，单个定制的 ZK Pro 单元可以取代约 50 张 GPU，而功耗仅为后者的一小部分。如果这些数据在生产环境中得以维持，证明的经济模式将从租用装满 RTX 显卡的仓库转向运行由专用芯片组成的紧凑型机架。
Venus 的出现并非偶然。在过去的 12 个月里，三个团队汇聚到了同一个里程碑：在定义实时验证的 12 秒插槽时间（slot time）内证明以太坊区块。
Succinct 率先公开实现了这一目标。2025 年 5 月宣布的 SP1 Hypercube 使用 200 张 RTX 4090 集群，在 10,000 个主网区块样本中实现了 93% 的实时证明。2025 年 11 月的修订版仅使用 16 张 RTX 5090 GPU 就将成功率提高到 99.7%——硬件成本在 6 个 月内降低了约 90%。该系统目前已在以太坊主网线上运行，为每个挖掘出的区块生成证明。
Cysic 的成本数据则更为出色。使用 24 张 GPU 达到 7.4 秒，使得端到端证明在通用硬件上也能轻松保持在插槽时间内。目前的 Venus 版本是开源的，尚未经过生产审计，且仍在积极开发中。但工程轨迹表明，在消费级集群上实现亚 10 秒证明现在只是软件调优的问题，而非基础架构问题。
单次证明的成本也随之大幅下降。行业基准显示，使用 16x RTX 5090 硬件，目前每个以太坊区块证明的最佳成本约为 2 美分。大规模采用的目标是 1 美分以下。一年前，同样的证明成本接近 1 美元。三年前，这在经济上完全不可行——结算 Rollup 上的 Gas 费甚至支付不起证明器的电费。这就是那种会悄然颠覆整个产品类别的成本曲线，而且它正在加速。
廉价、快速的证明并不意味着它会自动变得唾手可得。必须有人来操作硬件、匹配需求、为证明任务定价并结算支付。目前，三种不同的架构押注正在中间层展开竞争。
RISC Zero 于 2025 年 9 月在主网启动了 Boundless，运行着一个拍卖市场。GPU 运营商竞相生成证明，系统将工作路由至成本最低的合格证明者。该模型借鉴了 AWS Spot Instances 等现货计算市场，并承诺将证明成本推向边际硬件成本。Boundless 最近增加了比特币结算功能，允许 Ethereum 和 Base 的证明在比特币基础层上进行验证——这是 ZK 证明（ZK attestations）应用场景的一次小众但意义重大的扩张。
Succinct 的 Prover Network 则采取了不同的策略。它不采用纯粹的拍卖模式，而是运行一个路由协议，由经过批准的高性能证明者处理特定的工作负载。Cysic 作为多节点证明者运营商加入了该网络，运行针对 SP1 Hypercube 生产流量优化的 GPU 集群。这种安排表明 Succinct 看到了可靠性和延迟保证的价值，而这些是纯现货市场无法为面向用户的 Rollup 提供的。
Cysic 本身于 2025 年 12 月 11 日启动了主网和 CYS 代币，此后已处理了超过 1,000 万个 ZK 证明，并与 Scroll、Aleo、Succinct、ETHProof 等进行了集成。该网络的卖点是“ComputeFi”——将证明能力转化为一种流动的链上资产，运营商可以对其进行代币化和质押。这会成为第三大主流市场，还是沦为两大网络的供应商，是 2026 年悬而未决的问题。
在基础设施新闻之下，其核心意义在于实际 L2 的单位经济效益。如今，zkEVM Rollup 的每笔交易成本中有相当大一部分花在了证明生成上。这些成本要么作为 Gas 费转嫁给用户，要么由 Rollup 运营商作为利润空间吸收。无论哪种方式，它们都拉大了 ZK Rollup 与乐观 Rollup（Optimistic Rollup）在同等交易下的收费差距。
如果证明成本降至分钱级别，且证明延迟能压缩到以太坊的插槽时间（slot time）内，这个差距就会消失。ZK Rollup 不再需要收取安全溢价。用户体验将与乐观 Rollup 无异——除了提款结算仅需几分钟，而不是那仍对每个乐观桥（Optimistic Bridge）征收“摩擦税 ”的七天挑战期。
这种转变在结构上非常重要，因为大型机构流动性池仍将乐观 Rollup 的提款延迟视为留在 L1 的原因。具有市场驱动定价的实时 ZK 证明消除了反对 ZK 优先（ZK-first）Rollup 架构的最后一个功能性论点。每个目前使用乐观堆栈的 L2 团队都将在 2026 年面临严肃的技术审查。其中一些将会迁移，或者至少会为其排序器（Sequencer）发布一个 ZK 分叉版本。
Venus 版本的发布对其局限性表现得很诚实。代码尚未经过生产环境审计。在生产环境的 Rollup 中运行未经审计的证明者软件，一旦健全性漏洞（Soundness Bug）导致验证者接受了无效证明，这种决定可能会断送职业生涯。预计生产部署将比开源发布滞后数月，而非数周。
硬件层面也集中了风险。如果基于 ASIC 的证明能够实现承诺的 50 倍效率提升，少数制造商将像比特大陆（Bitmain）主导比特币挖矿一样，主导证明者硬件。这种动态违背了最初证明 ZK Rollup 合理性的去中心化叙事。Cysic 的 ASIC 路线图是对计算问题的回答，但对于谁拥有保护全球最大智能合约平台的芯片，这是一个全新的疑问。
最后，实时证明只有在堆栈的其余部分跟上时才有意义。通过 PeerDAS 进行的数据可用性采样需要在生产规模上真正发挥作用，而不仅仅是在测试网基准测试中。排序器去中心化仍然是所有主流 L2 面临的未决问题。证明对于最终目标是必要的，但并不充分，而且该行业有过在某一层宣布胜利，却悄悄掩盖相邻层崩溃的历史。
放大来看，模式已经变得清晰。2025 年 5 月，以太坊实时证明需要价值 40 万美元的 GPU 集群和九位数的研发预算。而到 2026 年 4 月，它可以在运行开源软件的 24 张通用显卡上运行。接下来的 18 个月将进一步压缩成本曲线——向 ASIC 经济性靠拢，向分钱级别的证明定价靠拢，向证明生成作为一种公用事业服务而非定制基础设施项目靠拢。
对于开发者而言，实际意义在于，2024 年在经济上不可行的基于 ZK 的架构现在值得重新评估。隐私保护交易协议、可验证 AI 推理、具有数学安全而非多签（Multisig）安全的跨链消息传递、具有零知识凭证披露的链上身份——所有这些此前都受阻于证明者成本墙，而现在这道墙已不复存在。
孤立来看，Cysic Venus 的发布只是对开源证明后端的一次小幅工程更新。但将其放在 Succinct 的 Hypercube 部署到主网、Boundless 运行实时证明拍卖以及 Fusaka 的 PeerDAS 清除数据可用性瓶颈的背景下——这是 ZK 基础设施停止成为约束并开始成为底座的转折点。在那次转型之前撰写的每一篇关于 Rollup 的论文都需要重写。
BlockEden.xyz 为包括以太坊 L2、Scroll 和 Aptos 在内的 27 多条链提供企业级 RPC 和数据基础设施。随着实时证明重塑 L2 格局，探索我们的 API 市场，为 ZK 原生时代构建可靠的基础。
来源：
多年以来，加密货币面临着一个不可能的选择：要么是完全的透明度，导致用户面临抢先交易（front-running）和监视；要么是完全的匿名性，从而引来制裁和停运。Tornado Cash 证明了，没有合规护栏的纯粹隐私会导致 OFAC 黑名单和刑事起诉。但另一种选择——一个每个钱包余额和交易都公开的区块链——由于 alpha 泄露和 MEV 利用，使得机构参与 DeFi 实际上变得不可能。
0xbow 的 Privacy Pools 协议提供了第三条道路。通过将零知识证明（zero-knowledge proofs）与一种名为“关联集”（Association Sets）的新型合规机制相结合，该协议允许用户在屏蔽公开查看交易的同时，通过密码学证明其资金与非法活动无关。这是首个通过数学证明而非互斥，实现隐私与监管并存的生产级解决方案。
如果阻碍机构采用 DeFi 的最大障碍不是监管、费用或可扩展性，而是每个余额和每笔交易都向全世界广播，那会怎样？
Aptos 正是这么认为的。随着即将推出的机密 APT（Confidential APT，待 AIP-143 通过后），这条 Layer 1 区块链正在引入协议层级的隐私功能，该功能可以加密余额和交易金额，同时保持钱包身份在链上可见。这是一个深思熟虑的架构选择：在不牺牲监管机构所需的合规透明度的前提下，为机构提供其所需的财务机密性。
超过20亿美元被盗。数十个协议遭到黑客攻击。多年的用户信任被侵蚀。跨链桥一直是整个加密领域中被利用最多的基础设施层——然而到了2026年，它们比以往任何时候都更为关键。这次的不同之处在于赌注已从根本上发生了变化：不再只是散户用户在链之间转移资产。自主AI智能体现在需要可靠、可编程的跨链基础设施，以机器速度全天候执行多链策略，无需人工干预。
结果是三种主流方案之间的高风险架构之战——LayerZero的去中心化验证网络（DVN）模型、Wormhole的原生代币转移（NTT）标准和Circle的CCTP v2——每种方案对同一问题给出了根本性不同的答案：如何在60多条区块链之间快速、廉价且可证明安全地转移价值和消息？