零知識證明：從入門到入土

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

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

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

為什么要zk

隱私

一個用戶如果用過加密貨幣，就會發(fā)現(xiàn)，它并不像傳說中的那么「保密」?！覆槐Ｃ堋沟脑蝻@然，加密貨幣的信息都在區(qū)塊鏈上
，任何人都查詢的到。雖然比特幣等一部分加密貨幣出于隱私考慮，會給用戶分配一個隨機(jī)的地址 ，但這更像是「假名」