零知識(shí)證明：從入門到入土

文章共8000字，預(yù)計(jì)閱讀時(shí)間30-35分鐘。

這篇博客的靈感來(lái)源于我的好朋友Kokii(Joey) ，感謝他通俗 、詳盡且充滿趣味的介紹！

在談?wù)摗噶阒R(shí)證明」之前，首先需要明確其定義
：證明（Prover）向驗(yàn)證者（Verifier）證明一個(gè)命題成立，同時(shí)「不泄露其他任何知識(shí)」 ，這種就被稱為「零知識(shí)證明」  。鑒于「零知識(shí)證明」這個(gè)詞太長(zhǎng)，簡(jiǎn)稱「zk」 。文章是個(gè)人對(duì)于zk的理解，歡迎討論。

為什么要zk

隱私

一個(gè)用戶如果用過(guò)加密貨幣，就會(huì)發(fā)現(xiàn) ，它并不像傳說(shuō)中的那么「保密」?！覆槐Ｃ堋沟脑蝻@然 ，加密貨幣的信息都在區(qū)塊鏈上
，任何人都查詢的到 。雖然比特幣等一部分加密貨幣出于隱私考慮，會(huì)給用戶分配一個(gè)隨機(jī)的地址 ，但這更像是「假名」，而不是號(hào)稱的「匿名」 ，一旦用戶到交易所將加密貨幣換成了法幣  ，「假名」就和現(xiàn)實(shí)中的人對(duì)應(yīng)上了 
。「假名」就像「風(fēng)清揚(yáng)」 ，初看無(wú)意義 ，但如果某次偶然，你發(fā)現(xiàn)「風(fēng)清揚(yáng)」對(duì)應(yīng)著馬云，之后再看到署名「風(fēng)清揚(yáng)」的郵件你就能想到那張大臉?！改涿瓜翊髮Ｔ盒５摹感@墻」