ILITY 的统一 ZK 验证层:一个验证器统领 200 个 Rollup
现已有超过 200 个零知识汇总(ZK-Rollups)投入生产,每个都发布了各自的验证器合约。这里是 SP1,那里是 Risc Zero,这条链用 Plonky3,那条链用 Halo2,而 Jolt 和 Powdr 每隔几周就会冒出来。每一个想要从多条链读取状态的隐私应用都要支付一笔“税”:集成每一个证明器,审计每一个验证器,每当电路更改时都要重新部署。这种 N×N 的集成噩梦已悄然成为 Web3 隐私基础设施中最大的隐藏成本。
2026 年 4 月 28 日,ILITY 结束隐身模式并放下一场赌注:解决方案不是另一个 zkVM,而是位于所有 zkVM 之上的一个层。其多链 ZK 证明统一验证层——与 1 月 30 日上线的 Alpha 主网并驾齐驱——自诩为“通用跨链隐私接口”,任何区块链都可以将其采用为保护隐私的消息总线。Web3Caff Research 在同一天发布了《融资拆解》(Financing Decode),将此次发布定性为对验证器抽象(verifier abstraction)的代际博弈。其核心论点极具挑衅性:正如 IBC 抽象了 Cosmos zone 的状态,EVM 等效性抽象了 L2 的执行,单个证明验证 API 也可以抽象其下的每一个 SNARK 系统。
没人想谈论的碎片化问题
Polygon Labs、Succinct、Risc Zero 以及其他六支小团队在过去三年里一直在竞相推出更快、更小、更通用的 zkVM。这场竞赛产生了非凡的成果——Plonky3 投入生产,SP1 将证明分片并聚合成单个通用证明,Risc Zero 转向其开放的 Boundless 证明市场。
但这场竞赛有一个几乎没人去优化的副作用:每个赢家都发布了自己的验证器。一个想要接受来自 SP1 证明的 Optimism rollup、Plonky3 证明的 Polygon CDK 链以及 Halo2 证明的 Scroll 部署的抵押品见证(collateral attestations)的隐私保护借贷协议,必须部署和维护三个完全不同的验证器合约。每个验证器都有不同的 Gas 成本、不同的升级路径和不同的漏洞风险点。审计预算随之膨胀。跨链 TVL 仍困在隐私应用启动的那条链上。
业界也意识到了这是一个问题。Polygon 的悲观证明(pessimistic proof)——其本身是由 SP1 和 Plonky3 生成的 ZK 证明——明确将聚合营销为“统一多堆栈未来”。但 AggLayer 的统一仅适用于已选择加入 Polygon CDK 堆栈的链。Solana、Cosmos、Polygon 堆栈之外的以太坊 L2 以及比特币 L2 仍在其外围。碎片化在一个“围墙花园”内得到了解决,却在花园边界处再次显现。
ILITY 究竟构建了什么
ILITY 的切入点在结构上有所不同。它不竞争证明器的速度,而是构建了一个主权 Layer-1 区块链,其唯一职责是验证源自任何源链的证明,并重新发出任何消费链都可以信任的见证(attestations)。资产所有权、持仓历史、交易模式、链上行为——所有这些都可以在不暴露钱包地址或底层数据的情况下得到证明。
这一架构押注包含三个部分。首先,一个统一的证明验证 API:无论底层是由哪个 SNARK 系统生成的证明,任何应用程序都只需从一个端点读取。其次是 ILITY ZK Engine,这是该链具有隐私感知能力的验证核心,Alpha 主网自 1 月以来一直通过内部跨链数据检索测试对其进行强化。第三是 ILITY Hub——即将推出的产品化层,它将验证器抽象作为一种开发者服务而非研究成果呈现。
这种机制类似于 IBC 如何让 Cosmos zones 相互通信,而无需每个 zone 都实现其他 zone 的共识。ILITY 为证明提出了同样的方案:区块链不需要知道彼此是如何证明事物的。它们只需要信任统一验证层发出的验证结果。如果这种抽象能够成立,在 ILITY 上编写一次的隐私保护 DeFi 应用就可以消费来自 Solana 程序、以太坊 L2 合约、Cosmos zone 和比特币 L2 的见证——而这些链之间无需彼此知晓。
ILITY 与相邻方案的区别
统一验证层并不是解决这个问题的唯一尝试。该领域已围绕三种竞争方法定型,ILITY 声称能涵盖这三者。
Brevis 推出了最通用的 ZK 协处理器——混合 ZK 数据协处理器加上具有 L1 实时证明能力的通用 zkVM。Brevis 让智能合约能够追溯历史 EVM 状态并证明其中的事物。但 Brevis 从根本 上说是一个协处理器:它生成证明,但不统一验证器。消费链仍然必须在 Brevis 恰好使用的证明系统中验证 Brevis 证明。
Axiom 的范围较窄,但在其领域极快——针对深层以太坊状态的可验证查询,证明特定区块高度的精确存储插槽值或交易存在。这种权衡是明确的:仅限以太坊,设计上为单链。作为原语很有用,但作为多链接口则无能为力。
Lagrange 选择了不同的折衷方案——一种 ZK 加乐观机制(optimistic)的混合方案,通过放宽不太可能被挑战的状态的 ZK 保证来提高跨链计算效率。Lagrange 跨链证明事物,但验证语义与纯 ZK 保证不同,这限制了机构部署它的场景。
ILITY 主张这三者都是对缺失原语的点对点解决方案。Brevis 负责验证,Axiom 负责查询,Lagrange 负责聚合——但没有一个能提供让任何链都可以调用以验证来自任何其他链的任何证明的 API。ILITY 认为,缺失的原语是验证层本身,而不是另一个证明器或协处理器。
最鲜明的对比是 Polygon AggLayer。从技术上讲,AggLayer 的悲观证明系统是一个统一验证层,但它仅适用于配置了 CDK Sovereign Config 的链。AggLayer v0.3 在 2026 年第一季度将堆栈扩展到了多堆栈 EVM,但 Solana、Cosmos 和比特币 L2 仍被排除在外。ILITY 的设计选择则相反:先构建验证层,让任何链都能接入,在深度之前优先优化广度。
2026 年 4 月左右形成的隐私堆栈
这次发布时机并非偶然。2026 年 4 月下旬出现了另外两项基础设施布局,它们与 ILITY 结合在一起,形成了比其中任何一个单独项都更宏大的蓝图。
Mind Network 的 FHE 隐私增强 —— 构建在 OP Stack 之上并集成了 Chainlink CCIP —— 提供了机密计算能力。全同态加密(FHE)让合约能够处理加密输入而无需对其进行解密,这对于输入数据本身具有敏感性的机构级 DeFi 来说至关重要。Mind Network 在 2026 年第二季度的安全审计以及第三季度推出的由 FHE 驱动的代理间(Agent-to-Agent)支付解决方案主网,是首次具有机构级路线图的机密计算层尝试。
ILITY 提供了验证能力:在不泄露状态本身的情况下,证明跨链状态的能力。
在跨国中型融资轮次中日益清晰的第三个支柱是去中心化证明计算 —— 像 Risc Zero 的 Boundless 和 Succinct 的证明者网络(prover network)这样的开放证明市场,它们允许 GPU 运营商竞标证明生成工作,从而将边际成本推向零。
将这三个支柱串联起来 —— 机密计算(FHE)、统一验证(ZK)和开放证明计算 —— 看起来就像是机构用户参与 DeFi 真正需要的基础设施堆栈,而不会泄露策略、头寸或交易对手数据。这其中任何一个支柱单独存在都是不够的。ILITY 的主张是,验证层是让其他两个支柱发挥作用的连接纽带,因为如果没有统一验证,每个进行私募跨链 DeFi 的机构都必须为交易对手可能使用的每个证明器维护一套“验证器动物园”。
诚实审视验证器抽象的博弈
验证器抽象是一个强有力的论题。但从历史上看,这也是一种很难交付的论题。有三个风险值得关注。
原生集成问题。统一验证层只有在链采用它时才有意义。ILITY 的 Alpha 主网在内部进行验证并输出结果 —— 但为了让 Solana 智能合约真正消费这些证明,Solana 程序必须信任 ILITY 的签名结果。这种信任假设类似于轻客户端桥,这意味着 ILITY 最终不仅在 ZK 证明验证方面,而且在更广泛的“受信任消息总线”任务上与 LayerZero、Wormhole 和 Chainlink CCIP 竞争。验证器抽象的故事比 LayerZero 的故事更简洁,但进入市场的路径是一样的。
过早抽象的风险。zkVerify —— 一个设计为通用 ZK 证明验证层的模块化 L1 —— 自 2024 年以来一直在追求类似的论题。它尚未达到机构级的逃逸速度。风险在于验证器抽象在技术上很优雅,但在商业上还不够成熟:如果没有链原生集成这种抽象,统一层上的每次验证与直接在目标链上部署验证器相比,都多了一次额外的跳转。
优化差距。针对特定链的验证器可以针对其验证的特定 SNARK 系统进行深度优化。而一个统一层,几乎从定义上来说,就会牺牲其中的一些优化。AggLayer 在 Polygon CDK 链上胜出,部分原因是悲观证明(pessimistic proof)是与 SP1+Plonky3 以及链堆栈共同设计的。当 ILITY 验证来自一条链的 Halo2 证明和来自另一条链的 SP1 证明时,它没有这种优势。真正链无关的验证器的性能上限确实低于协同设计的验证器。
乐观的情况是,这些风险都不是致命的 —— 它们只意味着统一验证层必须在开发者体验(ergonomics)上胜出,而不是纯粹的验证 Gas 成本。如果将一条新链接入 ILITY 只需要一周时间,而不是六个月的定制验证器开发工作,那么对于除了追求极致优化的 DeFi 协议之外的 所有人来说,上市时间的差异将超过 Gas 成本的差异。这与早期多链桥所做的选择并最终获胜的逻辑一致。
接下来的关注点
三个信号将告诉我们统一验证论题是否奏效。
原生集成。是否有任何主流链 —— 例如 Solana 的赠款、以太坊 L2 合作伙伴关系、Cosmos 分区 —— 将 ILITY 的验证结果原生接入其链上逻辑?如果在 2026 年没有至少一个这样的集成,这种抽象将仍然是一个孤岛。
隐私应用部署。真正的验证不是理论上的。而是一个保护隐私的借贷协议或机密结算层,在生产环境中真正使用 ILITY 来读取来自三个或更多不同证明器生态系统的抵押品证明,并拥有付费用户。
与 FHE 和证明市场的堆栈组合。如果“FHE 加 ZK 加证明市场”堆栈开始出现在机构级 DeFi 试点中 —— 比如摩根大通式的许可池、受监管的代币化基金结算 —— 这就是 ILITY 所布局的生态系统效应。如果没有,统一验证层将仍然是一个聪明的、等待应用需求的基础设施。
诚实的总结是,ILITY 的下注是巨大的,而在加密领域,“通过抽象他人的原语来获胜”的先例毁誉参半。IBC 赢了。EVM 等效性赢了。但也有一些抽象在底层系统准备好之前就交付了,并且再也没有夺回领先地位。4 月 28 日是这场博弈正式开启公共计时的一天。
BlockEden.xyz 在 Sui、Aptos、Ethereum、Solana 和其他主流链上运营企业级 RPC 和索引基础设施 —— 这正是隐私保护应用消费经验证的跨链状态所需的多链覆盖能力。探索我们的 API 市场,在为多链时代设计的基础设施上进行构建。
来源
- ILITY - 用于 ZK 跨链数据验证的区块链
- ILITY 网络 Alpha 主网正式上线,为 ILITY Hub 的启动奠定基础
- Succinct 的 SP1 (基于 Polygon Plonky3 构建)将助力 AggLayer 实现高性能的跨链互操作性
- Pessimistic Proofs (悲观证明)已在 Agglayer 主网上线
- Pessimistic Proof (悲观证明)- Agglayer 文档
- 2026 年最佳 ZK 协处理器和可验证计算层 - Space and Time
- Brevis 研究报告 - PANews
- zkVerify:大规模优化 ZK 证明验证 - Delphi Digital
- MindNetwork - 引领全加密 Web3 的 FHE 技术
- Mind Network 发布首个基于 Chainlink CCIP 构建的机构级 FHE 接口,旨在增强跨链交易的安全性
- zkVM 大战 - Symbolic Capital
- 从 zkVM 到开放证明市场:RISC Zero 和 Boundless 深度解析 - PANews