人工智能:一文帶你讀懂零知識證明

原標題：科普|最強白話講懂零知識證明

零知識證明zero-knowledgeproofs，簡稱ZKPs，我們都知道區塊鏈本身的一個關鍵優勢就是透明性，但是在很多情況下，智能合約應用卻出于各種商業或法律原因需要保障數據隱私，比如傳入真實有效的數據來觸發智能合約執行，但這涉及到信息會有泄露的風險。如何避免這種情況的發生呢？零知識證明的出現很好地解決了這個問題。

零知識證明的研究最早始于1985年，由MIT教授ShafiGoldwasser，SilvioMicali和密碼學大師Charles在《TheKnowledgeComplexityofInteractiveProof-Systems》論文中提出。正是這篇文章提出了零知識證明這個偉大概念，并逐步成為了現代密碼學理論的根基之一，而ShafiGoldwasser和SilvioMicali也于2012年獲得了有“計算機界諾貝爾獎”之稱的圖靈獎。零知識證明系統所要完成的任務是「證明某一個事實并且不泄露知識」。這個過程就是零知識證明。

歐洲議會通過新的人工智能法監管草案:金色財經報道，隨著美國在技術監管方面下定決心，歐盟正在朝著人工智能 (AI) 領域的大型技術監管邁出又一大步。歐洲議會周三以壓倒性多數以 499 票贊成、28 票反對、93 票棄權通過了新的人工智能法草案。該法律的最終版本預計將在 2023 年底的某個時候進行投票。

如果獲得通過，該法律將對人工智能系統實施全面的基于風險的監管制度。威脅人們安全、生計或人權的人工智能——例如用于生物識別監控的人工智能——被視為構成“不可接受的風險”，將被徹底禁止。[2023/6/17 21:43:17]

聽起來還是有些晦澀難懂？講個簡單的例子：

香港證監會：支持關于推動香港數字化經濟發展和成立虛擬資產發展專責小組的建議:金色財經報道，香港證監會歡迎財政司司長陳茂波先生于2023至2024年度政府財政預算案中為進一步鞏固香港作為國際金融中心的地位而提出的各項措施。證監會主席雷添良先生表示，有關將香港發展成為國際綠色科技及金融中心的建議措施，將透過科技創新引領可持續及高質量增長。證監會亦支持關于推動香港數字化經濟發展和成立虛擬資產發展專責小組的建議。在這方面，證監會最近就適用于虛擬資產交易平臺的建議監管規定，展開公眾諮詢。這些規定旨在確保投資者可藉一系列妥善的保障措施而得到充分保護。

金色財經此前報道，香港財政司司長陳茂波表示，將撥款5000萬港幣元加速Web3生態發展，此外，將成立并領導一個虛擬資產發展專責小組，成員包括相關決策局、金融監管機構，以及市場人士，就行業的可持續和負責任發展，向政府提交建議。[2023/2/22 12:22:54]

阿里巴巴的故事想必大家都聽過，有一天，劫匪抓住了阿里巴巴，拷問他想要得到進入山洞的咒語，但是聰明的阿里巴巴知道，如果把咒語告訴了劫匪，那么他也就徹底沒有了價值，肯定會將他殺掉，死活不說，那么也會殺掉他，于是他想到一個好辦法，即能不泄露咒語，又能讓劫匪相信他知道咒語。

數據：標記為Compound Tether的地址轉出近7000萬枚USDT:金色財經消息，Whale Alert監測數據顯示，鏈上標記為Compound Tether的地址向0x378開頭地址轉出69,779,256枚USDT。[2022/9/8 13:16:28]

阿里巴巴說：“你們離我一箭遠，然后用弓箭指著我，當你們舉右手我會念咒語打開石門，當你們舉左手我會念咒語關上石門，如果我逃跑或沒有做到，證明我不知道咒語，你們可以一箭殺掉我。”劫匪同意了這個提議，多次嘗試后阿里巴巴都成功按照指示讓石門打開或關上了，但是由于有一定距離，他們聽不清楚咒語到底是什么，就這樣，阿里巴巴沒有透露任何消息就向劫匪證明了他的真實性。

這個例子非常簡單，雖然只是零知識證明機制簡單的概念演示，真正的零知識證明運用的是密碼學，在不透露數據的情況下證明數據的存在。總而言之，要創建零知識證明，驗證者需要讓證明者執行一系列操作，而證明者只有在得知底層信息的情況下才能正確執行。如果證明者亂蒙一個結果，那么驗證者極有可能在驗證中發現并證明他的錯誤。那么零知識證明應用在區塊鏈中有哪些價值呢？

自從這個概念被提出來后，人們就將其應用到了各個領域，比如身份認證系統、存證系統、數據共享、水印檢測，密鑰交換等等，在隱私數據越來越受到大家關注的今天，零知識證明在隱私數據保護的應用中大放異彩：

保護隱私數據：日常生活中，比如只想證明考生及格了，但不想透露具體考了多少分；買保險的時候，只想證明自己沒有心臟病，卻不想暴露病例的所有信息，不管是哪種信息，都可以把不想暴露的部分換成一個很像隨機數字的零知識證明，能夠證明數據真實可信。

身份認證：在使用網站時，用戶可以向網站證明他擁有私鑰，或者知道某個只有自己才知道的答案，網站不用知道密鑰，但可以通過零知識證明確認用戶身份，通過去中心化存儲，服務器可以向用戶證明數據被妥善保存下來且不被泄露。

計算壓縮與區塊鏈擴容：在傳統的區塊架構中，同樣的計算被重復多次，比如簽名校驗，交易的合法性校驗，智能合約執行等一些其他的地方，因為有了計算的證明，同一個計算就不需要多次重復了，計算過程可以被零知識技術證明壓縮。

由此，零知識證明真正解決了「數據的信任」，實現了「隱私數據的保護」，也讓區塊鏈真正實現了「信任機器」這一構想。

Tags：人工智能區塊鏈虛擬資產THE人工智能就業方向及前景區塊鏈的幾個大騙局虛擬資產受法律保護么游戲名《TogetherBnB》

芝麻開門交易所