研究人员预计到2030年，将产生超过900亿条零知识证明，以支持Web3交易和去中心化应用（dApps）。然而，硬件和运营成本构成了对小/中型参与者的限制性进入壁垒。
那么如何解决这个问题？接下来我们了解一下Kalypso，MarlinProtocol 上的一个低成本、安全且高效的ZK证明市场。
Web3利用ZK证明技术来解决多种问题，包括扩展解决方案、支付网关、数字身份等等。Aligned.co的研究人员预测，到2030年，ZK 证明将占据以太坊区块的90%，而目前仅为25%，这并非空穴来风。以下是他们对 2030 年预测的细节：
ZK证明的主要特色在于它能够在不泄露信息内容的情况下证明信息的真实性。由于 ZK证明的生成是一个能源和计算密集型的过程，因此需要专门的机器，运营费用也会随之增加。
研究人员预估，硬件和安装的前期投资为 2 万美元以上，运营成本为 5 万美元以上。这个配置只是平均功能强大的机器，而不是行业里最好的机器。
虽然它们对大公司的影响可能没那么大，但这些成本也会阻碍ZK证明在中小型项目运营中的应用。除了上述成本外，还需要执行每个步骤的技术知识，确保流程的正确执行。简而言之，这并不便宜或容易。出于这些原因，MarlinProtocol 开发了Kalypso，这是一个无需许可的证明者市场，允许任何人将 ZK 证明的生成外包给专门的去中心化网络硬件提供商。
Kalypso 的主要优点包括：
✅ 更流畅的用户体验：专门的证明者网络Prover可以为用户提供更快、无缝的与应用程序的交互，同时减少等待时间；
✅ 更高的资源利用率：通过将硬件提供商的资源汇集在一起，可以实现更高的效率和收入，将固定成本在多个客户和市场之间摊销。
✅ 抗审查性：通过去中心化Prover基础设施，消除了潜在的单点故障，限制了做恶或不适当操作带来的影响。
为了确保硬件提供商能够忠诚运行，他们需要质押 $POND 代币。如果运营商无法在确定的期限内正确完成任务，这些代币将可能受到罚没；
此外，Kalypso 的架构支持实现了模块化和可组合性，这意味着 Kalypso 可以接入任何 ZK 应用程序，甚至可以被那些拥有自己证明网络的协议用于证明生成，比如Rollups。
然而，它是如何运作的？
ZK证明先要在 Marlin 上生成以与 ZKApp 交互的证明请求，选择适当的市场（可以无需许可地添加），然后提交请求，该请求将在链上传输到 Kalypso 协议。
Kalypso 匹配引擎 (KME) 检测请求并将其添加到订单簿中进行匹配。再根据客户提交的具体信息找到适当的匹配项后，任务将生成并发送到链上。
与此同时，求解器Solver客户端检索任务，将其路由到证明生成客户端，并监督整个证明生成过程。如果证明有效并在约定的时间内生成，Prover证明者将获得奖励，否则将受到惩罚。
KME 采用二维匹配引擎算法（时间和价格），使用户能够根据对成本更敏感还是对时间更敏感来优先考虑其中一个，从而增强用户的灵活性。Kalypso 的证明者市场可以通过使其更易于访问、更具成本效益和更可靠来创新 ZK空间。
此外，Kalypso 创造了一种双赢的局面，证明者可以将资源分散到不同的市场并产生更多收入，而用户则可以通过证明者之间的竞争获得尽可能最优的价格。
鉴于 DeFi 领域对 ZK 证明的需求不断增长，Marlin 的未来前景可期，可以利用它扩展和改进其证明者网络，并成为该领域的领导者。
探索 Marlin 的解决方案➡️ https://www.marlin.org/
加入 Discord➡️ https://discord.com/invite/pdQZyyy
在 Marlin 上构建➡️ https://docs.marlin.org/category/tutorials