zkVerify备忘录：集成流程、潜在市场与代币经济学

好的，这是对你提供的 Markdown 内容的翻译。

#

Vitalik Buterin 一直在 强调 零知识证明 (ZKP) 的变革潜力。它们在确保匿名性的同时，以大规模提供有效性的能力，是跨技术范式的重大突破，其用例涵盖互操作性、隐私和可扩展性。然而，该技术的实施存在挑战。管理费用和系统复杂性是过去几年阻碍采用的两个主要瓶颈。

鉴于 ZKP 日益成熟的局面，zkVerify 旨在解决开发人员的效率低问题，并抓住大规模验证不断增长的机遇。作为一种优化的、模块化的 L1，专门用于 ZKP 验证，zkVerify 通过其量身定制的设计为开发人员提供简单性和更好的互操作性。这包括用于无缝集成和升级的无分叉架构、用于大批量处理的 proof insensitivity 以及用于更好专业化的模块化设计。

本加速器系列的第二部分建立在原始报告的基础上，提供对 zkVerify 的更深入评估，并解决有关增长和产品效率的问题。我们将讨论 zkVerify 的高级操作、潜在目标市场，并深入研究该协议最近发布的代币经济学。

操作流程

作为用于纯 ZKP 验证的独立链，zkVerify 为其客户提供灵活性和互操作性。zkVerify 优化了验证管理，从而显着减少了整个 ZKP 验证过程中的时间。你可以在下面查看与 zkVerify 的高级集成工作流程。

如果没有 zkVerify，将 ZKP 集成到产品/后端系统的标准程序如下：

• Prover 配置：开发人员使用 DSL 为他们的电路生成重写他们的应用程序逻辑。当使用 zkVM 时，开发人员只需要用 Rust 或 Solidity 等语言重写他们的程序。
• Verifier 配置：然后，开发人员部署验证逻辑，通常是与底层兼容的智能合约。此逻辑包含适合 proofs 系统的验证算法，并接受来自 prover 的输入。Verifier 合约与区块链的执行环境交互以验证 proofs。使用 ZKP 通过 DSL 的传统框架需要每个电路都有兼容的、自定义的 verifier。在使用 zkVM 的情况下，verifier 通常是一个标准化的合约，可以验证从编译到该 VM 的任何程序的 proofs，从而简化了部署过程。

使用 zkVerify，虽然 prover 配置保持不变，但对 verifier 所做的工作会发生变化。开发人员无需修改 verifier，而是通过一个简单的三步流程与 zkVerify 集成：

• 将 proofs 发送到 zkVerify 的网络：开发人员可以通过 API 调用将其生成的 proofs 连同验证密钥和公共输入一起定向到 zkVerify 的网络。为了提高效率，可以重新注册验证密钥以供后续提交，从而降低交易成本。
• 等待 proof 验证：开发人员监控网络以获取验证确认。有效的 proofs 包含在 Merkle 树中并分配有 attestation ID。Proof 的 leaf digest 是使用验证上下文、验证密钥和公共输入的加密哈希计算得出的。一旦积累了足够的 proofs 或达到指定的时间段，就会生成 attestation。此 attestation 被中继到指定结算层上 zkVerify 的智能合约。
• 修改验证路径：开发人员修改他们的 dApp 智能合约以与 zkVerify 的智能合约交互，而不是直接实现验证逻辑。这允许通过轻量级 Merkle 路径进行 proof 验证，而不是在链上执行完整的验证算法。

开发人员在利用 zkVerify 进行验证工作方面具有显着优势，尤其是在比较维护工作量时。传统的实现方式要求开发人员为他们开发的每个 ZKP 电路部署自定义 verifier 合约。必须维护这些 verifier，以使其与 proofs 系统（例如，Groth16、PLONK、STARK）和结算层不断发展的规范保持兼容。

具体而言，对于基于 STARK 的 proofs 系统，zkVerify 可以成为开发人员体验的真正变革者。STARK-proofs 通常太大且计算量太大，无法在 L1（如以太坊）上进行验证。这迫使开发人员选择 STARK 到 SNARK 的转换，这更适合底层验证。通过将验证移出协议，zkVerify 能够通过其 extrinsic pallets 直接验证本机 STARK proofs，从而降低成本和计算要求。其专用的纯验证块空间还确保端到端过程在几秒钟内发生，这为应用程序设计中高效的 ZKP 实现开辟了空间。

随着区块链的不断改进和技术变革，维护这些 verifier 是一项具有挑战性且耗时的任务。zkVerify 作为一个无分叉的独立架构，没有这些问题。该协议可以快速集成新的 pallets，以适应 proofs 系统并根据需要响应市场。通过消除在多个执行环境中实施和维护特定于电路的验证逻辑的需要，zkVerify 帮助开发人员节省大量时间和精力。

使用 zkVerify 也意味着 ZKP 应用程序的跨链部署具有更好的灵活性。虽然 zkVM 通过允许以高级语言（如 Solidity 和 Rust）进行开发来简化 ZKP 的使用，但它们的商业模式最终取决于垂直化以建立护城河。这限制了仅部署到与特定 VM 架构兼容的结算层。

作为一种链外验证，zkVerify 是故意 proof 不可知论的。它的验证可以通过中继到底层的链上 attestation 来访问。这种设计有助于标准化跨多个区块链的验证，并简化集成过程。借助 zkVerify，开发人员可以专注于产品开发和执行功能。不再需要针对不同底层链的正确验证算法和验证机制进行定制。

潜在市场

与其他独立链不同，zkVerify 不具备智能合约功能。相反，它使用其无分叉架构来实现更快的升级，并专注于提供低成本验证。这使得 zkVerify 能够受益于大批量用例，在这些用例中，可以本机验证来自各种来源的 proofs，而无需进行太多修改。

在之前的报告中，我们重点介绍了 zkVerify 可以推动增长并提高开发效率的几个潜在市场垂直领域。2025 年，私人 DeFi、人类证明和可扩展性仍然是具有增长顺风的主要行业。

私人 DeFi

DeFi 是加密技术的主要支柱之一，专注于创建一个无需中介机构的无需许可的金融层。DeFi 协议的指数级增长和多样性逐渐吸引了更大的参与者群体，他们具有不同的用户配置文件，例如零售参与者、专业交易者和机构基金。可以肯定的是，区块链的透明性质加上机构利益的不断增长可能会导致对支持隐私的工具和协议的需求不断增长。

如今，隐私是加密货币的核心宗旨之一。虽然它还不是加密货币中的一个主要类别，但对隐私解决方案的需求一直存在。Tornado Cash 的利用就是一个很好的例子。Tornado Cash 于 2019 年 12 月推出，是 OG 分散式协议，用于在 EVM 兼容网络上进行私有、匿名交易。尽管在受到 OFAC 制裁后出现波动，但 Tornado Cash 的净流量在过去几个月中一直在缓慢恢复。

另一个例子是 Railgun，这是一种提供通用 EVM 隐私的协议。借助 Railgun，用户可以通过安全加密获得毫不妥协的链上隐私，并且可以像任何其他钱包一样获得尽可能多的 DeFi 功能。该协议的 TVL 为 6800 万美元，已在主要的 EVM 网络上上线，包括以太坊、BSC、Polygon 和 Arbitrum。从 2024 年 4 月起，Railgun 每月处理约 1.7 亿美元的私人流量。链上流量的显着增长表明对 Private DeFi 的需求持续增长。

展望未来，我们看到了可以塑造 Private DeFi 的两个关键催化剂。首先是严肃投资者与 DeFi 互动的意愿越来越强。贝莱德等巨头的代币化努力、多个现货 BTC ETF 的批准和成功以及特朗普政府对加密货币的积极监管方法都强调了这一点。下图是自 2024 年 1 月成立以来所有 11 个比特币现货 ETF 的净流量可视化图。最近，所有 ETF 的总净流入量已超过 360 亿美元。

在 2024 年底比特币突破 100,000 美元的上涨过程中，贝莱德的 iShares 比特币信托 IBIT 成为有史以来最成功的 ETF 发行，仅在 11 个月内就达到了 500 亿美元的 AUM。相比之下，第二个最快达到这一里程碑的 ETF 是 1329 天的 $IEFA。Bitwise 的 CIO Matt Hougan 在 8 月份所说的是正确的：

Twitter 嵌入

回到 2025 年，BTC 已成为资产负债表上值得考虑的合法国库资产。采用的原因可能各不相同，无论是多元化还是对冲美元贬值，但总体趋势描绘了一幅清晰的画面。机构、公司甚至国家已经开始收购比特币作为其投资组合建设的一部分。根据 Bitcointreasuries.com 的数据，政府和机构共同拥有 2100 万比特币总供应量的 7.454%。

这标志着机构投资者对加密货币的情绪发生了重大变化，并为下一阶段的采用奠定了必要的基石：DeFi 和资产代币化。区块链和加密货币具有独特的优势，可以为金融系统提供新的支柱，从而提高流动性、提高市场效率并降低系统性风险。现实世界资产代币化的趋势可能会在交易量和代币化价值方面都持续上升，利用快速、低成本的区块链技术来简化和自动化手动和耗时的流程。根据 rwa.xyz 的数据，不包括稳定币增长，链上 RWA 总价值增长了 9 倍，从 2022 年 12 月下旬的 18.9 亿美元增长到 2025 年 3 月的 179.5 亿美元**。

这意味着可以大规模执行复杂的策略，从而解决一些机构关注的问题。在 2024 年的报告中，EY-Parthenon 强调，与 LP 的联系 (52%) 以及针对其加密货币的借贷 (37%) 是机构从 TradFi 合作伙伴那里寻求的首要功能之一。TradFi 的采用现在已超出传统的加密货币托管范围。DeFi 领域也同样发展了。协议变得更加模块化，利用强大的工具，通常被称为“money legos”。结合 DeFi 的可组合性，这创造了相对于 TradFi 基础设施的诱人优势。

其次，按照目前的趋势，零售流量可能会在未来几年继续增长并转移到链上。例如，由于 Hyperliquid 和 pump.fun 等热门应用程序，DEX 与 CEX 的现货交易量比率今年已增长至 20%。

所有这些的二阶效应是什么？以参与、交易量和资产发行为衡量标准的 DeFi 加速增长。但鉴于区块链的透明性质，参与链上交易的机构有暴露其头寸和策略的风险。因此，对以隐私为中心的解决方案的需求有望增长，从而解锁私人执行。

DeFi 的月交易量在 2024 年底达到 5640 亿美元的峰值，比 2020 年的约 190 亿美元增长了约 29.68 倍。Private DeFi 中的主要应用程序在 2024 年全年的月交易量总计达 3 亿美元，占 DEX 总交易量的 0.04%。正如我们在之前的报告中指出的那样，根据纳斯达克的说法，近一半的交易活动发生在暗池和场外交易场所。对于某些股票（如 GameStop），暗池交易量在某些日子超过了 总交易量的 50%。

鉴于 DeFi 的新兴以及链上资产发行不断增长的趋势，我们认为链上暗池将成为机构的标准配置。在未来 5-10 年内，我们估计 DEX 的总月交易量可能达到 5.4 万亿美元，其中隐私协议将促进约 0.5% - 1% 的交易量，即每月 270 亿至 540 亿美元。

这代表了当前月交易量的 10 倍，以及隐私协议收益率的 10-20 倍。虽然零售参与度可能会保持高位，但预计机构将成为交易量扩张的主要驱动力。如今，监管的不确定性、基础设施沙箱和部署速度仍然是机构真正参与的主要阻力。我们相信这些阻力会随着时间的推移而消散。

对于隐私产品而言，如此一波机构采用可能会成为加速交易量收益率从我们目前的 0.04% 提高到 0.5% - 1% 的催化剂。在这样的未来，ZKP 将在为贸易执行提供隐私、为贸易规模、资产类型和贸易频率实现保密方面发挥关键作用。在多链世界中，ZKP 还可以帮助跨不同区块链环境进行结算。

借助 zkVerify，开发人员可以通过将验证卸载到专门的、专用的和链外方来更灵活地设计他们的暗池/私人执行策略。不再需要等待 proof 聚合或转换 ZKP 以将其提交给 L1。相反，贸易执行和结算几乎可以立即发生，因为 zkVerify 可以以高效的方式直接验证 proofs。

zkVerify 在不同 proof 类型和 prover 设计中的可组合性也使机构可以更好地控制其 prover/执行环境，而无需考虑底层配置。这有助于降低无需许可环境中的第三方依赖风险，同时还可以增加尾端资产的覆盖范围。随着客户端 proving 变得越来越可行，我们可能会看到 Private DeFi 的 proof 生成呈指数级增长。在这里，zkVerify 可能是以最低费用处理大量交易量的合作伙伴。

zkVerify 启用的功能

总而言之，zkVerify 的战略地位是利用 Private DeFi 的增长。它的基础设施支持链上用例的低延迟 proof 验证，从而为机构交易解锁隐私和实时优势。对本机 STARK 验证的支持还允许大规模进行高频交易策略和 RWA 结算，而无需 L1 执行逻辑。随着机构可能推动下一波 Private DeFi 的采用，zkVerify 有望成为主要受益者。

扩展

在讨论可扩展性时，“ZK 是最终游戏”的说法是有一定道理的。随着区块链的更广泛机构采用以及零售转移到链上的趋势，基础设施可扩展性将继续发挥关键作用。结合私人应用程序设计的广阔空间，ZKP 提供了一个引人注目的解决方案，即大规模计算可以压缩并在分布式环境中进行验证。Prover 可以将用户的操作加密到 proofs 中，以供指定的底层验证，多个 prover 提供并行化的 proof 创建，verifier 实现防冲突。

这为什么重要？除了可扩展性之外，还可以利用 ZKP 来启用以最小信任方式交互的可互操作层。用户不再需要知道他们的应用程序当前正在使用哪些区块链/后端，这有望改善 UX。

总的来说，采用 ZKP 作为提高可扩展性的工具已在几乎所有主要生态系统中获得了 traction。以太坊的路线图采用了 ZK rollups，Solana 利用 ZK 压缩，甚至比特币 L2 也利用 ZKP 来扩展和为应用程序提供无可争议的区块空间。

专注于改进 ZKP 验证流程的协议（如 zkVerify）是净受益者。因此，与 Arbitrum 的合作可以被视为 ZKP 加速这一趋势的认可。Arbitrum 是以太坊上领先的乐观 rollup，拥有超过 25 亿美元的 TVL 和超过 500,000 个每日活跃地址。

这种集成将使 Arbitrum 上的应用程序能够利用 zkVerify 的专用 proof 验证基础设施。除了解锁快速且具有成本效益的 proof 验证之外，好处还包括引入隐私功能、减少计算开销以及扩展新的 proving 系统的可能性，例如基于本机 STARK 的 proof 部署。

对于 Arbitrum 而言，此合作伙伴关系使团队能够专注于扩展以太坊交易的核心优势，而 zkVerify 则处理本地应用程序的 proof 验证这一特殊任务。

zkVerify 启用的功能

借助 ZKP，我们进入了可验证的任意计算的下一个范例，该范例在确保有效性的同时扩展了计算表现力。zkVerify 的架构有助于扩展此愿景背后的信任引擎，从而使验证成本低廉、快速且适应不同的底层。开发人员现在拥有一个更高效的工具包，用于应用程序设计和实验。

人类证明

随着 AI 迅速加速新技术的开发，数据隐私和人类真实性正日益成为主要关注的问题。而 ZKP 的最基本功能是可以证明信息的有效性，而无需揭示底层内容，从而保证用户真实性并保护隐私。

通过将 ZKP 与经过身份验证的选择加入相结合，开发人员不仅可以通过保护匿名性来更好地为最终用户提供服务，还可以保持高度的个性化。我想到的两个领域是登录凭据和 zkTLS。

zkLogin

传统的登录名会将个人信息存储在第三方服务器上，从而带来安全漏洞的风险。泄露用户密码和用户名的数据泄露事件太常见了。

借助 ZKP，开发人员可以通过身份Token确保使用现有凭据进行保护隐私的身份验证。这就是 Sui 上的 zkLogin（由 Mysten Labs 开发）所采用的方法。此解决方案的核心是签名方案。它允许签名者使用他们现有的帐户进行签名，而无需执行其他操作。这意味着，ZKP 确保用户链下身份和链上身份之间的敏感链接保持隐藏，即使对于平台本身也是如此。这在保持用户匿名性的同时，还提供了与当前 Web2 产品用户身份验证的兼容性。

Sui 是一个基于 Move 的单片 L1，拥有超过 11 亿美元的 TVL，并且每日活跃地址在 50 万到 170 万之间波动。Mysten Labs 提供的数据显示，自该功能于 2023 年 10 月上线以来，已生成约 760 万笔 zkLogin 交易。Mysten Labs 还推出了 Enoki，这是一款适用于区块链环境中业务集成的 SaaS 产品。Enoki 使企业能够将 Sui 钱包无缝集成到现有和新服务中，从而利用 zkLogin、赞助交易 和其他 Sui 原语。自 2024 年 4 月推出以来，Enoki 已记录了超过 200 万个 zkLogin 地址，用户生成了超过 150 万个 ZKP。

更广泛地说，以这种方式实施 ZKP 可以在其他生态系统中复制，这将有助于减少用户摩擦并有意义地改善数据隐私和安全性。

zkTLS

zkTLS 是 ZKP 发挥关键作用的第二个子类别。zkTLS 也称为 TLS 预言机或 Web proofs，允许从 Web2 围墙花园中提取私人数据。虽然本备忘录的重点不是 TLS，但最好了解该技术及其在 ZKP 背景下的价值主张。在我们的备忘录《非效率市场假设》中，Delphi Research 的 DeFi 主管 Jordan 简洁地解释了 TLS：

“传输层安全性 (TLS) 是一种用于加密客户端和服务器之间流量的协议。TLS 构成了 HTTPS 中的“S”（HTTPS = HTTP + TLS），并且已在 Web 上实现标准化，保护了 95% 的 Web 流量。

TLS 是一个受信任的中心化机构，用于颁发会话密钥。进入网站时，浏览器和目标服务器会进行 TLS 握手过程，以生成会话密钥，以便使用对称加密进行数据传输。客户端和服务器之间交换的数据未签名，因此其真实性无法在其他地方证明。

TLS 保证：

• 真实性

• 安全性

• 隐私

• 但不保证数据可移植性”

但是，zkTLS 通过验证客户端和服务器在 HTTPS 会话期间的转录来启用数据可移植性，从而在链上带来任意的、保护隐私的 proofs。该技术通过建立 TLS 握手来工作。在 ZKP 协议帮助创建经过身份验证的数据的 proof 后，可以由 verifier 传输和验证它。重要的是，服务器无法检测到 proof 创建和路由过程，并且无法对其进行防火墙保护。结果，整个互联网数据存储库变得可访问和可组合，从而为区块链应用程序创建了构建块。

zkTLS 的含义非常令人印象深刻。开发人员现在可以快速选择加入访问新的用户图并有选择地披露信息。通过查询、细分和围绕此数据创建反馈循环，开发人员可以构建新的社交原语并加速新应用程序的增长。在此系统中，ZKP 有两个用途：它们提供压缩的、可扩展的数据访问，同时还通过自选披露机制来保护用户隐私。

对于增长黑客来说，zkTLS 可能是启动联系密度和用户发现的一种有趣方法，因为 新的权限控制 在 iOS 18 中的联系人。此升级意味着社交图访问受到精细限制，并且开发人员会发现更难加速用户增长循环，正如 Nikita Bier 指出。zkTLS 允许用户的 Web2 社交图轻松移植，从而减少了注册摩擦。在当今个人数据主权的气候下，有效性和隐私的额外好处也很不错。zkTLS 有可能成为一种商品化的基础设施，可在每个链上使用。

Twitter 嵌入

在我们描述的两个产品用例中，zkTLS 和 zkLogin 之间的共同点是高使用频率和对用户隐私的需求。zkVerify 作为一个不可知的 proof 验证协议，非常适合为此处描述的两个用例提供服务。它的异构聚合允许使用多种 proof 类型，从而保持了产品的灵活性。并且它缺少智能合约功能，这使得系统能够以一小部分成本大规模地处理大量交易量。

zkVerify 启用的功能

如果“链上是新的在线”的趋势继续发展，zkVerify 有望从 ZKP 在“人类证明”领域中的采用增长中受益，因为数据可移植性支持新的用例和应用程序。在这种情况下，zkVerify 可能是 ZKP 部署的新标准，实时处理来自任何应用程序的 proof 类型，同时提供低验证成本。需求将受到 ZKP 驱动的登录名和 zkTLS 采用的推动，尤其是对于消费者应用程序，并且可能会导致 proof 创建的巨大增长。开发人员可以切换到 zkVerify 提供的解决方案，而不是处理 EVM 的固有约束：不受约束、灵活和大规模的本机验证。

代币经济学

zkVerify 将在 2025 年推出其治理/实用代币。作为 zkVerify 协议的基石，该代币对于在多个区块链上实现高效且分散的 proof 验证至关重要。它还将用于激励不同方之间的协调，并确保安全高效的运营。

该代币将具有三个主要功能：激励验证者、保护网络和降低验证成本。通过质押机制、费用结构和分散治理的结合，原生代币将旨在使 zkVerify 网络在经济上安全可行。

价值将通过验证费来获得，因为它会随着 proof 交易量的增长而扩大。费用将以原生代币支付。如果跨链和跨应用程序的使用量增长，这种需求循环将推动质押参与、经济安全以及验证者、用户和构建者之间的协调。

代币经济学分配

代币分配类别

社区 (35%)

分配给社区的代币将按如下方式分配：

1. 探索和试验 zkVerify 的开发人员，例如黑客马拉松奖励、赠款计划和 ZK 应用程序孵化器计划。
2. 将代币作为激励措施分发给用户的活动。
3. 旨在促进意识和参与的任何其他活动。

基金会 (31.375%)

这些代币将资助基金会的运营。这包括：

1. 直接为基金会工作以发展项目的人员。
2. 向基金会提供服务的组织。
3. 交易所流动性和做市业务。
4. 基金会产生的其他运营费用。

核心贡献者 (19.625%)

这些代币将支付给构建和改进 zkVerify 技术的组织。例如：

1. zkVerify 技术开发、测试、生产。
2. 安全审查。
3. 不断改进。

投资者 (14%)

这些代币将分配给 Ellipsis 分布式系统的投资者，以便能够使用代币权证购买代币。以及资助 zkVerify 的开发和增长的投资者。

验证者奖励和通货膨胀模型

动态质押机制将以可变的通货膨胀率保护 zkVerify 网络，该可变通货膨胀率旨在优化参与度和经济安全性。

• 指定的 Proof of Stake 系统将允许代币持有者通过运行验证者节点或指定验证者来参与网络安全。为网络做出贡献的验证者将收到他们产生的区块的交易费用以及通货膨胀组件。
• 初始通货膨胀率：每年 3%，将根据质押水平进行调整，以激励积极参与。

治理

zkVerify 将由位于开曼群岛的 DAO 管理，从而确保网络决策与社区利益保持一致。治理将遵循高级 Substrate OpenGov 功能，zkVerify 基金会将负责协议运营。

zkVerify 将在 3 年的时间内从部分中心化模型转变为完全分散的治理结构。在此 DAO 结构中，持有者和委托者将提出对协议开发的更改和更新。鉴于对协议增长和成功结果的既得利益，他们参与治理和决策过程对于培养协作环境和吸引社区至关重要。

展望未来

随着机构引领下一波加密货币的采用，ZKP 有望从对表达性和增强隐私的功能日益增长的需求中受益。zkVerify 有望成为主要受益者。

通过解决当前棘手的 ZKP 验证流程中存在的许多开发难题，zkVerify 推动了开发人员的发展。结合网络以低费用大规模提供高效 ZKP 验证的能力，我们可以看到一个清晰的护城河正在形成。

随着 ZKP 从扩展网络转移到私人 DeFi、身份和身份验证等领域，zkVerify 完全有能力成为连接组织，从而为各种用例实现高效验证。虽然其成功将取决于市场对 ZKP 的持续（理想情况下是不断增长）的兴趣，但完成上述角色已完成基础工作。

• 原文链接： members.delphidigital.io...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～