什麼是證明市場？

證明市場是一個去中心化的市場，用戶可以在其中買賣加密證明，以驗證數位資產的所有權、特定交易的有效性以及資訊或計算結果的真實性。然後，買方可以使用證據來驗證陳述或事實，而無需自己獨立驗證。

為什麼需要證明市場？

要理解為什麼需要證明市場，需要理解零知識證明（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月成立