TL;DRZK技术主要应用于提高各种项目（如 Starkware、zkSync、Scroll、Mina、Risc0、Giza和EZKL）的可扩展性，隐私性和信誉度。ZK 技术需要大量的计算能力，导致 10^4 到1 0^6 的计算开销，对基础设施团队构成挑战。生成 ZK 证明的主要方法是证明市场和证明网络。 证明市场作为交易 ZK 证明的开放市场运行，而证明网络拥有内部服务器，为生成证明提供类似云服务的体验。证明市场拥有灵活性和更低的成本，因为它促进了无需高端服务器管理就可以进行 ZK 证明 交易的开放市场。证明网络方法提供了流畅且对开发者友好的体验，并提供了一种不太关注市场机制即可快速可靠地生成证据的解决方案。理论上说, 它可以快速产生证明, 因为在证明市场中需要时间来匹配订单，证明网络的中心化服务器也可以提前预载用户的电路挑战包括测试和调试困难，新安全问题出现, 供应商锁定，在某些情况下更高昂的费用以及 ZK 应用项目方代币价值的损失。领先玩家可能是那些内部ZK证明需求最多的公司，因为他们可以利用现有基础设施和专业团队，最大化硬件利用率。新兴应用包括 ZK Coprocessors、ZK Attestation、ZKML 和 ZK 桥, 这些都对生成 ZK 证明产生了更大的需求。在 ZK 领域中由区块链行业对安全性、抵制审查和隐私的偏好驱动着去中心化证据网络，尽管 ZK 的内在安全意味着这些优势并不需要去中心化作为前提。 对于 ZK 来说, 性能是主要关注点。引言不断增长的 ZK 需求经过多年在 ZK 领域研究，并且在性能上取得巨大改进后，ZK 终于被应用到实际应用程序中。才华横溢的工程师将 ZK 应用于：可扩展性隐私数据信用有许多令人感兴趣的项目依赖于 zk ，如 Starkware、zkSync、Scroll、Mina、Risc0、 =nil;Foundation、EZKL、Giza、Polygon 和 Manta 。这些项目每天稳定而持续地生成 ZK 证明。目前最流行的 ZK 使用案例是 ZKRU 用于解决以太坊的可扩展性问题。在过去的一个月中，ZK 验证在以太坊/以太坊 L2s 上花费了数百万美元。https://dune.com/nebra/zkp-verify-spending A strong increase in ZK verification cost over last year.这张由 Near 团队制作的图表展示了 zkSN(T)ARK 在以太坊及 L2s上 的燃料消耗情况。它包括了像 zkSync、Polygon、Aztec、Tornado Cash、Loopring、Worldcoin、Tailgun、Sismo、StarkNet 和ImmutableX 以及 dydx 等流行的 ZK 项目。与zkStark相比，zkSnark在验证方面占据了总成本的80%。在所有这些项目中，Worldcoin 的验证成本最高，其次是 zkSync。每个 Worldcoin 的验证成本约为 2 美元。每个 zkSync 的验证成本约为 30 美元。证明基础设施的负担ZK 能够解决可扩展性问题，但需要一些代价。它需要大量的计算能力。ZK 带来了大量的计算开销，Rollup 团队需要处理这个问题。**@_weidai 估计使用当今的 ZK 技术会有 10^4 到 10^6 的计算开销。**理论上，我们可以通过专用电路实现 10 倍的计算开销。如果加上虚拟机的抽象层，则会有 100 倍的计算开销。下图根据库默伊定律描绘了基于年份增长的计算能力图表。2000 年之后每十年芯片效率提高 10 倍。如果我们以 2000 年为基准对比计算能力，在2025年将达到784倍。这也表明当前 ZK 计算与 2000 年相比仍然不在一个数量级上。请仔细想一想。我们正试图将交易量提升 10 到 100 倍带给 ZKRU。随着交易量的增加，我们还会面临 10^4 到 10^6 的计算开销。这些数字给 ZKRU 基础设施团队带来了巨大压力。领先的 ZKRU 团队正在使用至少配备 200 GB 内存的高端机器，并拥有才华横溢的运维人员来处理这些基础架构复杂性。那么对于一个小团队而言，如果他们想要启动一个 ZKRU 或者用 ZK 技术栈打造第三层解决方案，这意味着什么？如果一名独立开发者想要构建一个ZK Dapps，他们该如何购买这些高端服务器并正确操作它们？现在，启动一个 ZKRU 并不难。你可以使用 ZK Stack，并按照文档中的指引部署新的 ZKRU。最难的部分是让高端基础设施工作起来。管理一群服务器比日常维护我们个人笔记本电脑要困难得多。此外，硬件加速也不是即插即用的；依据他们所使用的零知识证明系统不同，各个团队需要为其服务器设置不同配置。确保高可用性也是一个棘手话题。如果成堆用户开始在你的 ZKRU 上铸造 Ordinals，而你突然面临 1000 倍吞吐量怎么办？就连像 Arbitrum 这样经验丰富的团队也因为 Ordinals 交易激增而停机好几小时。生成大量零知识证明需要高端服务器支持。**对于中小型团队来说，设置和维护一系列高端服务器将是沉重负担。**ZK 证明基础设施将更好地帮助各个团单纯快速地采纳 ZK。证明市场证明市场和证明网络是两种主要的方法。证明市场就像是一个开放的市场。要生成一个证明，用户需要找到愿意以一定价格出售证明的交易方。证明网络就像传统的云服务，开发者提交他们的电路和输入，中心化的负载均衡会分配证明网络内的内部服务器为用户生成证明。证明市场是 ZK 证明基础设施中的一种流行方法。证明市场是一个开放的市场，买家和卖家在其中交易ZK证明。ZK 证明市场团队不需要关心ZK 证明硬件或拥有高端服务器，他们专注于 ZK 证明交易和验证机制，以吸纳第三方硬件供应商。证明市场是一种更加开放的方法。它欢迎第三方硬件供应商。只要有这种证明的卖家，买家可以以美元价格购买ZK证明。在验证证明时，市场中的每个人都不需要达成共识，只有市场操作者承担验证责任。在证明市场中，zkDapp 开发者提交一个 ZK 证明订单，包括价格、生成时间、超时时间和公共输入。然后第三方硬件供应商将接受订单并生成证明。证明市场的经济结构很简单。证明生成者需要进行质押。如果他们生成错误的证明或者在截止日期之前没有提供证明，他们会被罚款。具有更多质押的证明生成者将能够同时生成多个证明。证明市场行业的主要参与者是 =nil 和 Marlin。=nil Foundation证明市场有卖家和买家。买家是dApp开发者。他们向卖家支付费用以生成证明。有许多因素影响证明的价格。主要因素包括电路大小、证明系统、生成时间和输入大小。下面是=nil证明市场的工作流程：证明请求者向市场发送一个期望价格为 c_r 的请求。证明市场锁定买家账户中的 c_r 代币。证明生产者以价格 c_p