ZaKi 用例：证明者市场的证明者基础设施

介绍

我们预计在不久的将来会出现许多去中心化的证明者市场。这些市场的独特之处在于其高可用性和高性能的基础设施，以及强大的安全性和透明度保证。

这篇技术博客文章是我们与权益证明网络中的领先验证者 Twinstake 共同发布的合作公告的补充。

背景：证明者市场的出现

零知识 (ZK) Rollups，例如 Starknet 和 ZkSync，目前被用作以太坊上的扩展解决方案。它们的成功导致对 ZK 证明的需求稳步增长。证明者市场是 ZK Rollups 向去中心化过渡的自然演变。在这种强劲需求的推动下，我们预计在未来一年中，ZK Rollups 将成为主要的证明者市场，从而推动竞争并降低成本。

然而，这些特定的市场在范围上有些受限：Rollups 可以被视为以太坊上的“孤岛”，每个“孤岛”都针对来自单个 rollup 的同类证明，并最终在以太坊上结算。解决这种碎片化问题是一个积极的开发领域。诸如 Polygon AggLayer 和 Espresso sequencer marketplace 之类的互操作性解决方案将有助于更通用的证明者市场，从而整合所有 Rollups 对各种证明的需求。

如果我们从更高的层面来看，我们会发现 ZK Rollups 只是 ZK 技术的一种应用，而以太坊是一个非常具体的目标层。从更广泛的意义上讲，去中心化的证明者市场可以服务于多个证明者网络并针对多个层，例如验证 网络。在这样的多证明者市场中支持证明者可以通过模块化结构来实现，该结构可以添加证明者-验证者对，正如 Gevulot 和 Lagrange 所展示的那样。

ZKVM 技术的最新进展表明，另一种方法是基于能够有效运行多种类型计算的单个证明者，类似于 CPU 运行各种程序的方式。 示例包括 RISC0 和 Succinct。 预计 ZKVM 的创新将继续，从而显着提高 ZK 证明的效率。

通用证明者市场图，来源

最重要的是，有一个明确的愿景可以指导所有这些并行努力：以去中心化的方式高效生成 ZK 证明，并将它们从任何来源转移到任何目的地，从而实现任何计算的_实时_验证。

证明者市场的独特特征

关于证明者市场的动态，我们目前了解的并不多。 这是一个新的探索领域，无论是在设计空间还是运营方面。 到目前为止，简单的事实是，证明者市场与任何现有市场都不同，并且没有两个团队共享相同的机制设计。 这意味着，在出现一些标准之前，我们预计在不久的将来会有更多的研究和实验。

来源

为了更深入地了解挑战，我们可以研究交易费用机制：

证明者市场在三个方面不同于经典的费用市场（例如，比特币和以太坊中的费用市场）。 首先，证明者市场是一个双边市场，用户需要证明容量，而证明者提供证明容量。 在证明者市场中，用户对证明容量的估值各不相同，并且证明者可能具有不同的成本和容量（例如，某些证明者可能会投资于具有低证明成本的专用硬件）。 这与验证者生成区块的成本名义上的区块空间市场形成对比。 其次，补偿证明者为他们的工作至关重要，而费用市场不旨在补偿验证者……第三，费用市场通常不关心选择验证者（例如，在以太坊中，验证者由共识协议选择），但是当供应过剩时，证明者市场需要从一组候选者中选择证明者。 理想情况下，此过程将选择成本最低的证明者，但是证明者无需报告其真实成本。来源

正如现有设计理念所表明的那样，一个常见的安全要求是证明者在提交证明容量或任何形式的积极参与的投标之前进行质押。如果证明者未按预期运行，则此质押将被削减。在这里，我们还需要介绍通常由 Staking 服务提供的服务质量和正常运行时间。因此，参与新的证明者市场可能需要至少两个角色：计算提供商和验证者。

最近推出的 Lagrange 证明者网络就是一个具体的例子：

Lagrange 证明者网络生命周期，来源

在这个早期市场中，我们已经可以观察到，质押者（在 Lagrange 中，这些是重新质押者）现在也对证明生成的计算资源有要求。我们的假设是，为了完全支持这个和其他证明者网络，我们将需要一种新型的基础设施。这就是我们着手探索的内容，也是我们与 Twinstake 合作的基础。

演示：使用 ZaKi 去中心化 ZkSync 证明器

ZaKi 实例是我们专用的硬件基础设施，针对运行 ZK 工作负载进行了优化。在下面的演示中，我们展示了如何使用 ZkSync Boojum prover 并在 ZaKi 实例上运行它，以替换 Google Cloud。在我们的设置中，用户（例如像 Twinstake 这样的验证者）正在从由我们操作的远程 ZkSync 证明器请求一些证明，稍后将提交到网络。我们配置了负载均衡器以与两台 ZaKi 机器一起工作，每台机器使用两个 GPU，这表明我们如何利用我们的基础设施来高效地运行多个证明。与通用或 AI 特定云提供商相比，将证明生成外包给 ZaKi，我们可以从更快的运行时间和更低的成本中受益。

[ZaKi: NGINX 负载均衡 4 个 ZKSYNC 工作负载](https://www.youtube.com/watch?v=lDUXdXf9bIE)

Ingonyama

•

NGINX 负载均衡 4 个 ZKSYNC 工作负载的屏幕录制。 第一行：使用 curl 将 4 个工作负载提交到 NGINX。 第二行：监控 4 个不同的 ZKSYNC 容器（两台服务器，每台服务器两个容器）。 第三行：监控 NGINX 日志 - 将工作负载分配给不同的服务器/端口

这些功能可以使验证者能够轻松访问高性能计算：AI 或 ZK，并且可以大规模访问。 我们正在与 Twinstake 一起试验验证者可以承担涉及繁重工作负载的责任的各种方式。

如果你是从事此类网络的构建者，请通过 hi@ingonyama.com 与我们联系以进行协作。

关注 Ingonyama

Twitter: https://twitter.com/Ingo_zk

YouTube: https://www.youtube.com/@ingo_zk

GitHub: https://github.com/ingonyama-zk

LinkedIn: https://www.linkedin.com/company/ingonyama

加入我们: https://www.ingonyama.com/career

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