本文是來自社區的帖子。作者是 Kenny Li，Manta Network 的聯合創始人，Manta Network 是一種由零知識證明技術支持的可編程隱私第一層協議。

概括

零知識證明（ZKP）是一種密碼技術，可以在不泄露信息本身的情況下驗證一條信息的真實性。這項技術在區塊鏈、加密貨幣和去中心化金融 (DeFi) 中變得越來越重要，以提高隱私和安全性。

大多數 DeFi 專案已經使用 ZKP 為用戶的借貸和交易等服務提供更好的隱私和安全性。許多第 1 層區塊鏈添加了基於 ZKP 或 zkEVM 的總和。零知識證明有望在區塊鏈和Web3領域發揮越來越重要的作用，因為它的應用有望得到更廣泛的採用。

零知識證明如何運作？

在零知識證明方法中，一方（證明者）可以向另一方（驗證者）證明某個陳述是真實的，而無需透露額外資訊。當資訊敏感且驗證者不希望驗證者能夠存取該資訊時，這尤其有用。

證明者提供只有他才能產生的數學證明，然後驗證者可以使用這個證明來驗證陳述的真實性。然而，驗證者無法利用這些證據來重建原始資訊。

想像一條隧道有兩個入口，即A和B。你知道密碼並想把它賣給夫人。

您希望他在您向他透露代碼之前預先付款。然而，他希望你先證明你確實知道程式碼。在這種情況下，他只能站在隧道的最前面，看著你從一端走進去，從另一端出來。這樣，他就會確信你真的知道他的密碼。

為什麼要使用零知識證明？

數位交易中對隱私和安全的需求不斷增長，推動了區塊鏈和加密貨幣中零知識證明的流行。隨著區塊鏈技術和加密貨幣的出現，越來越需要在不洩露敏感資訊的情況下驗證交易的方法。這種需求可以透過ZKP來滿足。

近年來，零知識證明引起了越來越多的關注和興趣。許多利用 ZKP 的協議已經推出，主要的區塊鏈已經建立了零知識摘要。在 DevCon 2022 會議上可以清楚地看到零知識證明的流行，超過 20% 的討論都與這項技術有關。

重要進展

零知識證明的一個重要發展是 zk-SNARK（ZKP 的一種特殊類型）的使用不斷增加。 zk-SNARK 已廣泛應用於各種 DeFi 應用程式中，例如私人代幣交易以及受保護貸款的授予和提取。零知識證明的另一個重大發展是對 zkRoll-up 可擴展性和效能的更多關注。

zk-SNARK

零知識簡潔非互動式知識論證（zk-SNARK）是一種特殊類型的零知識證明，它允許在不洩露有關陳述本身的資訊的情況下驗證陳述。

zk-SNARK 已用於 Zcash 和摩根大通基於區塊鏈的支付系統等應用程式。 zk-SNARK 也被用作一種對伺服器進行安全身份驗證的客戶端的方法。

zkRoll-up

zkRoll-up 是區塊鏈網路的擴展解決方案，有助於將多個交易分組為一個大交易，然後記錄在區塊鏈上。例如，BNB Chain於2022年推出了基於zkRoll-up架構建構的zkBNB測試網。

zkBNB 可以在鏈下將數百筆交易捆綁為一批，並產生密碼證明來證明所有交易的有效性。 zkRoll-up 在可擴展性和安全性之間提供了平衡，適合高規模、低延遲的區塊鏈網路。

Kegunaan 零知識證明

零知識證明有很多用途。其中一些已經實現，而另一些則有望在未來實現。 ZKP 的一些主要用途包括：

數位身份驗證

零知識證明可以在不洩露敏感個人資訊的情況下驗證使用者的身份。這對於需要在不犧牲匿名性的情況下驗證選民身份的數位投票系統等應用程式非常有用。

保護隱私的交易

加密貨幣中零知識證明最受歡迎的用途之一是支援隱私保護交易。例如，Manta Network 的去中心化應用程式（DApp）MantaPay 使用 ZKP 允許用戶在去中心化交易所（DEX）上進行交易，而無需透露其身分或交易詳細資訊。這允許用戶在維護隱私的同時仍然能夠使用該平台進行交易。

受保護的交易

Zcash 是一種使用零知識證明來允許屏蔽交易的加密貨幣。在此類交易中，發送者和接收者地址以及交易金額都在公共區塊鏈中隱藏，以便為用戶提供額外的隱私。

代幣化和所有權驗證

零知識證明還可用於資產代幣化和驗證所有權證明。例如，財產可以被標記化，任何一方都可以驗證其所有權，而無需公開披露任何其他資訊。

全球合規性

一些國家對財務資訊的收集和共享有嚴格的規定。這對於去中心化平台來說可能很難遵守。零知識證明可用於與監管機構分享必要的信息，同時保護其隱私不被他人知曉。

這可以彌合去中心化平台和傳統金融機構之間的差距，使 DeFi 更容易遵守各個司法管轄區的法規。

區塊鏈零知識證明的未來

零知識證明未來很可能會迎來新的技術創新。 ZKP 相關的一些未來值得關注的發展包括：

跨鏈隱私層

隨著區塊鏈和 DeFi 生態系統的不斷發展和壯大，各種區塊鏈網路之間的互通性需求越來越大。跨鏈隱私層將允許交易在多個區塊鏈網路上進行，同時維護相關各方的隱私。

zk-斯塔克

另一個值得關注的領域是 zk-STARK（零知識可擴展透明知識論證）的使用越來越多，這是一種新型的零知識證明，被認為比 zk-SNARK 更有效率、更安全。另一個優點是，與 zk-SNARK 相比，zk-STARK 的驗證速度更快，並且不需要可信設定。

一系列使用者友善的工具

零知識證明技術可能很複雜。並非所有開發團隊都是這一特定密碼學領域的專家。 ZKP 的用戶友好工具套件可以幫助彌合這一差距，並使來自不同背景的開發人員更輕鬆地使用該技術。

巴塔桑零知識證明

零知識證明代表了一種在維護隱私的同時驗證資訊正確性的獨特方法，但不提供 100% 的保證。雖然證明者說謊時被驗證的機率很小，但使用者應該意識到 ZKP 並不完美。

另外，零知識證明所採用的演算法需要較高的計算資源。在某些類型的 ZKP 中，需要大量計算，因為它需要驗證者和證明者之間進行大量互動。在其他類型中，此演算法的計算量非常大，可能會限制 ZKP 的適用性。

閉幕式

零知識證明因其具有隱私保護和擴容潛力的獨特特性而迅速引起人們的注意。該技術在區塊鏈、加密貨幣和 DeFi 中的應用越來越多，很可能會帶來更多創新服務，讓用戶受益匪淺。零知識證明可望在創造更安全、私密、高效的DApp生態系統中發揮重要作用。

進一步閱讀

  • zk-SNARK和zk-STARK的解釋

  • 區塊鏈擴展解決方案第 1 層與第 1 層第2層