讓我們從一個問題開始：什麼是區塊鏈零知識證明？零知識證明，有時也稱為 ZK 協議，是一種驗證方法發生在證明者和驗證者之間。在零知識證明系統中，證明者可以向驗證者證明他們了解特定信息（例如數學方程的解），而無需透露信息本身。現代密碼學家可以利用這些證明系統來提供更高級別的安全性和隱私性。
Shafi Goldwasser 和 Silvio Micali 在 1985 年 MIT 的工作中首次引入了零知識證明的概念。他們證明了可以在不透露數字或任何其他細節的情況下證明數字的某些屬性。本文還介紹了證明者和驗證者之間的交互可以減少證明給定定理所需的信息量的數學意義重大發現。
那麼，什麼是零知識證明區塊鏈？ ZK 證明必須滿足兩個基本要求，即完整性和可靠性。完整性是指證明者以高度可能的準確性證明對相關信息的了解的能力。為了使證明可靠，驗證者必須能夠可靠地確定證明者實際上是否擁有信息。最後，為了實現真正的零知識，證明必須在證明者和驗證者之間永遠不會傳遞相關信息的情況下實現完整性和健全性。
零知識證明通常用於應用程序中隱私和安全至關重要。例如，身份驗證系統可以使用 ZK 證明來驗證憑證或身份，而無需直接洩露它們。舉個簡單的例子，它可以用來在不洩露密碼本身的情況下確認某人擁有計算機系統的密碼。
讓我們回到開頭的問題：什麼是區塊鏈零知識證明？在加密貨幣和區塊鏈技術的世界中可以找到零知識證明的一個突出的現實世界用例。使用一種稱為零知識簡潔非交互式知識論證 (zk-SNARK) 的證明，Zcashare 等注重隱私的加密貨幣能夠為其用戶提供具有更高隱私級別的區塊鏈交易。ETH自 2017 年拜占庭更新以來，ereumis 也在使用 zk-SNARK 證明。
