什么是证明市场？

证明市场是一个去中心化的市场，用户可以在其中买卖加密证明，以验证数字资产的所有权、特定交易的有效性以及信息或计算结果的真实性。然后，买方可以使用证据来验证陈述或事实，而无需自己独立验证。

为什么需要证明市场？

要理解为什么需要证明市场，需要理解零知识证明（ZK Proofs）的概念。 Zk 证明正在为更加安全和注重隐私的未来铺平道路。然而，广泛采用的最大挑战之一是由于复杂性和繁重的计算而生成这些证明所需的耗时计算。

这些生成器需要大量投资来维护和建立其基础设施，以跟上生成复杂证明的速度。

由于 zk 证明的成本高昂，证明生成通常只适用于较大的项目，与刚刚启动的较小项目相比，这些项目可能有更好的资金。这可能会导致对多个大型参与者的高度依赖，并限制开发者社区对该技术的广泛采用。证明市场使任何人都可以发布带有其规定价格的证明请求，并且任何一方都可以提出满足此请求。

证明市场如何运作？

证明市场提供了一个由零知识技术生成的证明的市场，该技术使得能够在不透露事实之外的任何其他信息的情况下证明陈述的真实性或错误性。例如，用户可能有兴趣订购一份证明，以验证他们的 DeFi 钱包中是否有一定数量的资金，或者特定的数据计算是否已正确执行。

这些证明由证明生成器作为证明市场上的商品提供，并受到传统的供求机制的影响。生成器必须考虑有效生成具有市场竞争力的证明所需的成本和时间。这引起了证明生成器之间的竞争，以产生具有最小延迟和/或最便宜生成成本的证明。

为了生成零知识证明，证明请求者将在预定义的电路上创建 zk 证明的订单。证明市场将订单与证明生成器相匹配，并将订单发送到选定的生成器，由生成器执行计算。证明生成器将生成的证明发送到证明市场进行验证。一旦证明得到验证，证明市场会将经过验证的证明发送给证明请求者。

证明市场的好处

1. 节省成本：一个易于访问的平台，可以购买现有的高质量证明并节省资源，而不是投资昂贵的证明生成器基础设施。

2. 证明种类繁多：证明市场上的证明提供了一系列不同的证明，以满足不同证明系统的需求，并保证所交易的证明是高质量的。

3. ZK 证明的生产民主化：项目，无论规模大小，现在都可以获得高质量的证明，以去中心化的方式构建其协议。

4. 所需技术知识较少：证明市场平台简化了生成和验证加密证明的过程，任何开发人员都可以访问它们，而无需广泛的技术专业知识。

5. 证明标准化：跨不同应用程序和平台标准化 zk 证明生成和验证不仅有助于促进互操作性，而且有助于提高零知识证明在区块链行业中的可用性。

6. 公开市场数据：由于多个仪表板数据的实时性，用户能够分析和了解每个订单的盈利能力，并根据收益做出假设。

证明市场的局限性

虽然证明市场在增强零知识技术方面具有巨大潜力，但它是一个新概念，可能有一些局限性。

1. 实用性有限：证明市场的实用性取决于加密证明的具体用例，特别是增强各种区块链应用程序中的可扩展性、隐私性和安全性。随着这些用例的扩展，特定用例的证明的可用性也会增加。

2. 电路开发：为了使用 zk 证明来证明任何计算，开发人员必须首先为其代码提出证明定义，也称为电路。为了编写电路，用户需要深入了解特定证明系统的工作原理。

3. 证明生成经济学：有效生成高质量证明的基础设施非常昂贵。为了让生成者看到回报，需要有不同的途径来要求证明，以便有足够的需求来使证明生成在经济上可行。

其他次要限制可能包括潜在的可扩展性问题和法规遵从性

证明市场如何支持零知识技术的采用？

Zk 证明是项目验证和认证其协议的重要组成部分，因此，有必要为各种规模的项目提供更多的高质量证明。证明市场的去中心化性质确保交易安全、透明且不受中央控制或操纵。通过提供一个用户友好且可访问的平台来购买和销售加密证明，证明市场可以帮助实现该技术的民主化，并推动区块链行业的更广泛采用。

贡献者：Mikhail Komarov，=nil 创始人；基础。

Mikhail 是有效的零知识证明 (ZKP) 生成基础设施的领先开发商。 Mikhail 是密码学和数据库管理系统 (DBMS) 领域的研究人员和开发人员。他的技术之旅始于 2013 年，当时他开始为 BitMessage（一种点对点加密通信协议）做出贡献。然后，他与区块链网络 BitShares 和 Steemit（第一个基于 Steem 区块链的应用程序）合作。在创立 =nil 之前，Mikhail 在 2017 年至 2018 年期间参与了 Steem 的一个分叉工作； 2018年4月成立