這世界變得比我們想的還快，最近學(xué)到一項(xiàng)技術(shù)叫「零知識(shí)證明」，簡(jiǎn)單的說(shuō)，就是你向我陳述一件事情，雖然我聽(tīng)不懂你在說(shuō)什么，但我可以判斷這事情的真假！

舉個(gè)例子，假設(shè)A是色盲，A想知道B是不是色盲，但問(wèn)題是A本身都分不清紅綠，如何判斷B能否分清呢？方法可以是這樣：A一手拿紅球、一手拿綠球，秀給B看并請(qǐng)他指出那顆是紅球，然后A把兩手放到背后交換(或不交換)，再拿給B看也請(qǐng)他再指出那顆是紅球，這樣的過(guò)程重覆100次，如果B每次都能指出同一顆球(只有A知道有沒(méi)有在背后作兩顆球的交換)，就可以大概率判定B不是色盲，而即便到最后，A還是無(wú)法判斷紅綠(零知識(shí))，有趣吧!

MIT最近的一項(xiàng)-?zkledger?-就在作這方面的研究，如何讓人們的交易可以在不知道彼此是誰(shuí)的狀況下，但又可以信賴(lài)對(duì)方是有交易可信度的人，以防止詐騙和篡改問(wèn)題。

零知識(shí)證明(Zero-Knowledge Proof, ZKP)是由S. Goldwasser、S. Micali及C. Rackoff在1980年代提出的，起源于最小泄露證明：

完整性：如果陳述為真，那誠(chéng)實(shí)的驗(yàn)證者Verifier將由一個(gè)誠(chéng)實(shí)的證明者Prover來(lái)確信這一事實(shí)。

健全性：如果陳述為假，那說(shuō)謊的Prover不能說(shuō)服誠(chéng)實(shí)的Verifier（但有很小的機(jī)率會(huì)騙得過(guò)）

零知識(shí)性：Verifier無(wú)法取得任何額外的知識(shí)。

換句話說(shuō)，零知識(shí)證明是概率「證明」，而不是確定性證明，因存在小概率的健全性誤差。（例如Prover就是故意不想證明自己的能力）

最早使用此技術(shù)在區(qū)塊鏈的是Zcash

Zcash is a privacy-protecting, digital currency built on strong science. Shielded Zcash transactions are completely private. Like Bitcoin, Zcash transaction data is posted to a public blockchain; but unlike Bitcoin, Zcash ensures your personal and transaction data remain completely confidential. Zero -knowledge proofs allow transactions to be verified without revealing the sender, receiver or transaction amount. Selective disclosure features within Zcash allow a user to share some transaction details, for purposes of compliance or audit.

他們使用了zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）來(lái)證明滿(mǎn)足有效的交易條件，且不用泄露發(fā)送者、接收者、交易金額等資訊。以太坊（Ethereum）上的智慧合約目前也已經(jīng)可以運(yùn)用zk-SNARKs（算法），其可使礦工們不用重新計(jì)算交易，只要對(duì)方提得出證明。但目前遇到的瓶頸在于運(yùn)算時(shí)間太長(zhǎng)、運(yùn)算量太大。

據(jù)悉，荷蘭ING推出了其改良版：零知識(shí)范圍證明(?Zero-Knowledge Range Proof, ZKRP?)，它允許證明方在不需驗(yàn)證方實(shí)際了解確切內(nèi)容，驗(yàn)證方就能證明證明方的訊息是在某個(gè)一定范圍為內(nèi)，例如：是否已達(dá)特定年齡、有一定金額的資產(chǎn)，而ZKRP號(hào)稱(chēng)比ZKP的效率快上10倍，這讓隱密交易的時(shí)間成本大大降低，又符合實(shí)際需求。ING更提出了「零知識(shí)集合隸屬」(zero-knowledge set membership)證明，能將讓零知識(shí)證明不僅應(yīng)用在數(shù)字上，更能包含其他類(lèi)型的數(shù)據(jù)，這將為企業(yè)隱私增添更多應(yīng)用范圍，例如可判斷一個(gè)用戶(hù)是居住在歐盟的某個(gè)國(guó)家，而不用他提供確切的地址。

另外，安永會(huì)計(jì)師事務(wù)所也推出了「安永營(yíng)運(yùn)鏈—公鏈版（EY Ops Chain Public Edition）」，新聞稿宣稱(chēng)這是「世界第一個(gè)可以在以太坊（公鏈）網(wǎng)路上運(yùn)行的『零知識(shí)證明（zero-knowledge proof，ZKP）』應(yīng)用」。

這類(lèi)的技術(shù)推陳出新，使得未來(lái)的包括IoT、消費(fèi)、金融、保險(xiǎn)、貸款、交易等，都不需要提交所有資料，也能證明自己符合某種消費(fèi)或交易資格，進(jìn)而保有個(gè)人隱私，又能最大化運(yùn)用范籌。

參考鏈接：

https://medium.com/@amoshuang/%E9%9B%B6%E7%9F%A5%E8%AD%98%E8%AD%89%E6%98%8E-zero-knowledge-proofs-284c403ce58c

總結(jié)

以上是生活随笔為你收集整理的零知识证明（zero-knowledge proofs）的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。