使用零知識證明，可以在保持在用戶匿名的同時驗(yàn)證區(qū)塊鏈交易。

密碼學(xué)是區(qū)塊鏈技術(shù)最重要的組成部分之一，在過去幾年中得到了廣泛的應(yīng)用。在這里，我們討論零知識證明（ZKP）——一種與密碼學(xué)密切相關(guān)的機(jī)制。接下來您將了解ZKP的一般概念和非交互式零知識證明，了解在區(qū)塊鏈中使用協(xié)議的一些用例，并從密碼學(xué)的角度深入了解ZKP。

什么是零知識證明？

零知識證明是當(dāng)今應(yīng)用密碼學(xué)中最抽象、最吸引人的概念之一。從可能用于核裁軍到為公共區(qū)塊鏈網(wǎng)絡(luò)提供匿名和安全的交易，零知識證明是密碼技術(shù)創(chuàng)新的一個深刻例子。

在密碼學(xué)中，零知識證明或零知識協(xié)議是一個方法，一個政黨（驗(yàn)證）可以向另一方（校驗(yàn)）證明他們知道一個值x。一個零知識證明的本質(zhì)在于它可以揭示某些信息。挑戰(zhàn)在于如何在不披露信息本身或任何額外信息的情況下證明擁有這些信息是合理的。

零知識證明必須滿足以下三個參數(shù)：

· 完整性。如果這個陳述是真的，誠實(shí)的驗(yàn)證者——正確地遵循協(xié)議的驗(yàn)證者——將被誠實(shí)的驗(yàn)證者說服。

· 可靠性。如果陳述是假的，沒有任何作弊證明可以說服誠實(shí)的驗(yàn)證者它是真的。

· 零知識性。如果該語句為真，則除了該語句為真之外，驗(yàn)證者不會學(xué)到任何東西。換句話說，僅僅知道語句（而不是秘密）就足以想象一個場景，表明驗(yàn)證者知道秘密。這是通過每個驗(yàn)證者都有一個模擬器來實(shí)現(xiàn)的，模擬器可以生成一個“看起來”是誠實(shí)的驗(yàn)證者和普通驗(yàn)證者之間交互的記錄。模擬器應(yīng)該能夠生成文本，但只能訪問要證明的語句，而不能訪問驗(yàn)證者本身。

完整性是更一般的交互式證明系統(tǒng)的性質(zhì)。零知識的加法使驗(yàn)證過程變成零知識的證明。

零知識證明不是數(shù)學(xué)意義上的證明，因?yàn)橛泻苄〉母怕剩纯煽空`差，一個作弊證明者能夠說服一個虛假陳述的驗(yàn)證者。換句話說，零知識證明是概率證明而不是確定性證明。然而，有一些技術(shù)可以將可靠性錯誤降低到可以忽略的值。

ZKP的一般結(jié)構(gòu)

零知識證明的一般結(jié)構(gòu)包括參與者a和參與者b之間的三個連續(xù)動作。這些動作被稱為目擊、挑戰(zhàn)和回應(yīng)。

見證人 。A知道這個秘密的事實(shí)決定了一些問題，這些問題總是可以被A正確地回答。首先，A從集合中隨機(jī)選擇任何問題并計算一個證明。然后，A將證明發(fā)送給B。

A隨機(jī)選擇一個問題并將證明發(fā)送給B。

挑戰(zhàn)。然后，B從集合中選擇一個問題，讓A回答。

B隨機(jī)選擇一個問題，讓A回答。

響應(yīng)。A計算答案并將其發(fā)送回B。

A計算出答案并發(fā)送給B，

接收到的答案允許B檢查A是否真的知道這個秘密。

這個過程可以重復(fù)很多次，直到A猜測而不是知道正確答案的概率變得足夠低。

為了說明ZKP在實(shí)踐中是如何工作的，維基百科引用了 Ali Baba山洞的故事，這個故事最初是由Jean-Jacques Quisquater發(fā)表的。在這個例子中，Peggy和Victor扮演了驗(yàn)證者。

在這個故事里，洞的形狀像一個圓環(huán)。入口在左邊，有一扇神奇的門擋住了右邊。Peggy想向Victor證明她知道打開魔法門的秘密詞。然而，Peggy不想透露這個秘密詞。

Victor在外面等著，Peggy選擇了一條路來證明Peggy知道這個秘密單詞，他們在洞口的左右兩邊做了記號，分別是a和b。在Victor的視線之外，Peggy沿著A或b路走著。Victor走進(jìn)山洞，喊著A或b路的名字，他想讓Peggy回去。既然Peggy真的知道這個秘密，如果需要的話，她可以很容易地打開魔法門，走Victor選擇的那條路回到入口。

如果Peggy現(xiàn)在知道了這個秘密字，她只有在Victor叫出她進(jìn)去后走的那條路的時候，才能從門口回到門口。因?yàn)閂ictor選擇的路徑是隨機(jī)的，Peggy不知道關(guān)鍵字的概率是1/2。如果你重復(fù)這個過程，那么概率（?）^ k。通過這種方式，例如，重復(fù)這個過程20次就足以證明Peggy知道關(guān)鍵字。

Peggy回到入口時走的是維克多喊出來的那條路。如果Victor把一切都記錄在相機(jī)里，拍攝下來的視頻就不會成為其他任何一方的證據(jù)，因?yàn)樗麄兛梢允孪壬潭≒eggy要去哪里。這意味著她可以在不知道關(guān)鍵字本身的情況下找到正確的方法。

正如我們所看到的，示例滿足以下屬性：完整性、可靠性和零知識。

注意，ZKP需要用戶之間的交互。雖然在單輪和常量協(xié)議中交互的數(shù)量很少，但是兩個用戶必須同時參與。

一個非交互式ZKP

考慮這樣一種情況，用戶P和V都是數(shù)學(xué)家，他們使用普通（蝸牛）郵件彼此通信。數(shù)學(xué)家P想周游世界，向數(shù)學(xué)家V證明新的定理，而不揭示證明的本質(zhì)。在這個場景中，我們需要提出一些非交互式協(xié)議，因?yàn)閿?shù)學(xué)家P可能沒有固定的地址，并且可能在收到下一個答案之前移動。

Blum、Feldman和Micali提出了一種非交互式ZKP，其中用戶P和V有一個共享的密鑰，這足以證明P在不泄露信息本身的情況下知道一些秘密信息。

與常規(guī)的零知識證明不同，非交互式ZKP的一般結(jié)構(gòu)只包含參與者P和V之間的單個動作，而這個動作是一個目擊者。

P將秘密信息作為參數(shù)傳遞給一個特殊的函數(shù)——“make a proof”（見下圖）。輸出是“證明”的某個值。

ZKP可以應(yīng)用在哪里？

身份驗(yàn)證系統(tǒng)。ZKP證明的研究是由身份驗(yàn)證系統(tǒng)推動的，其中一方希望通過一些秘密信息（如密碼）向另一方證明其身份，但不希望另一方了解任何關(guān)于該秘密的信息。

道德行為。ZKP在加密協(xié)議中的一個用例是在保持隱私的同時強(qiáng)制執(zhí)行誠實(shí)的行為。粗略地說，這個想法是強(qiáng)迫用戶使用ZKP來證明它的行為是符合協(xié)議的。由于可靠性，我們知道用戶必須誠實(shí)行事才能提供有效的證明。由于零知識，我們知道用戶在提供證據(jù)的過程中不會損害其秘密的隱私。

機(jī)密性。ZKP的另一個用例是需要保密的交易。考慮一個簡單的公共區(qū)塊鏈（例如以太坊），它與某種加密貨幣或令牌相關(guān)聯(lián)。當(dāng)用戶之間發(fā)生通常的交易時，區(qū)塊鏈記錄詳細(xì)的傳輸信息：誰、向誰傳輸以及傳輸多少。因此，如果您知道特定的交易地址或用戶地址，您可以做出一些財務(wù)結(jié)論。對于當(dāng)今的企業(yè)來說，為某些交易保留一些細(xì)節(jié)是至關(guān)重要的。在這種情況下，ZKP可以隱藏交易細(xì)節(jié)，并識別它們對于添加到新塊是有效的。（區(qū)塊鏈的一個例子是Zcash。）

檢查個人信息。如果你想從銀行貸款，有必要提供收入證明。此證書包含機(jī)密信息。在這種情況下，您的一些個人數(shù)據(jù)將對其他人開放，這是我們希望避免的。銀行只要知道一個人的收入是償還貸款的最低要求就足夠了。

我們可以實(shí)現(xiàn)一個分布式系統(tǒng)，其中每個用戶都有一個包含一些個人數(shù)據(jù)的特殊加密數(shù)字標(biāo)識符。在這個系統(tǒng)中，為了獲得貸款，你可以從你的公司獲得相應(yīng)的數(shù)字收入證明，其合法性是加密的，很容易檢查。然后你可以申請貸款。然后，銀行可能會核實(shí)你使用ZKP的最低收入要求，沒有必要透露敏感的細(xì)節(jié)。其中的一個例子是HyperledgerIndy。

Indy的點(diǎn)對點(diǎn)賬外代理交互匿名。有時候，在區(qū)塊鏈上匿名是必要的。例如，在沒有公開您的身份的情況下進(jìn)行交易或沒有連接的交易。用戶還可以進(jìn)行多個交易，同時對身份保密。

出于這些目的，您可以從版本1.2開始使用Hyperledger Fabric，該版本支持一種特殊的基于zkp的加密協(xié)議-身份混合器（Idemix）。

ZKP是一種強(qiáng)大的加密方法，它在區(qū)塊鏈中的應(yīng)用似乎很有前途，因?yàn)楝F(xiàn)有的區(qū)塊鏈技術(shù)可以對ZKP進(jìn)行調(diào)整，以滿足關(guān)注數(shù)據(jù)隱私的特定業(yè)務(wù)需求。