zero-knowledge proof 零知識證明是什麼？|金色百科

金色財經-區塊鏈12月13日消息 zero-knowledge proof，中文名為零知識證明，是零幣(Zcoin)使用的共識算法，由S.Goldwasser、S.Micali及C.Rackoff在20世紀80年代初提出的。它指的是證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的。

零知識證明實質上是一種涉及兩方或更多方的協議，即兩方或更多方完成一項任務所需採取的一系列步驟。證明者向驗證者證明並使其相信自己知道或擁有某一消息，但證明過程不能向驗證者洩漏任何關於被證明消息的信息。

在零知識證明中，證明者和驗證者之間必須進行交互，這樣的零知識證明被稱為“交互零知識證明”。80年代末，Blum等人進一步提出了“非交互零知識證明”的概念，用一個短隨機串代替交互過程並實現了零知識證明。非交互零知識證明的一個重要應用場合是需要執行大量密碼協議的大型網絡。

在零知識證明中，個人(或器件)可以在不洩漏任何祕密的情況下，證明他知道這個祕密。如果能夠將零知識證明用於驗證，將可以有效解決許多問題。

零知識證明並不是數學意義上的證明，因為它存在小概率的誤差，欺騙者有可能通過虛假陳述騙過證明者。換句話來說，零知識證明是概率證明而不是確定性證明。但是也存在有技術能將誤差降低到可以忽略的值。

零知識的形式定義必須使用一些計算模型，最常見的是圖靈機的計算模型。