我在零知識證明這個領域里兜兜轉轉了無數圈,之所以走了很多彎路,原因在于從一開始就對零知識證明有先入為主的錯誤認識,這些認識是后續建造零知識證明這個房子時的框架,由于框架是錯誤的,那在它基礎之上是無論如何也建立不起一個不會倒塌的房子的。
在這篇文章中,我將試著糾正這些錯誤認識,如果你正在學習零知識證明并覺得一頭霧水,希望我犯過的錯誤能對你有所啟發;如果你才剛開始去了解零知識證明,希望本文有助你搭建一個基礎的框架。在我眼中,文中討論的這些點恰是零知識證明這件事的奧妙所在,它們揭示了為何零知識證明是行得通的。
需要注意的是,下述的這些所謂糾正后的認識依然可能是不準確的認識,你只能用它做參考,并對它保持質疑。
一、零知識證明是一種證明的方法
假如我們知道宇宙演化的算法,但不知道宇宙的初始值,這時候Alice說她知道這個初始值,我們不信,于是她把一組數據作為算法的輸入,一通計算,得到一個和我們所處的宇宙一模一樣的宇宙,這時候我們是不是會相信Alice的那組數據就是宇宙的初始值?我們會相信。
這就是一個零知識證明,確切來講它應該叫零知識的證明。Alice通過這種證明方法可以證明自己擁有知識(宇宙的初始值),同時又不泄漏知識。
如果觀察Alice的證明過程,就會發現它只涉及三個對象:初始值,演化算法,演化結果(現狀),我們可以把其抽象為:算法的輸入、算法、算法的輸出,而零知識證明要做到能夠證明輸出確實是輸入通過確定的算法計算出來的。
美SEC專員:不明白為何比特幣現貨ETF申請決定需要花費這么長時間:1月5日消息,在周二發布的一份通知中,SEC指出,“指定一個較長的期限來發布批準或不批準該ETF的指令是合適的”。消息傳出后,比特幣的價格并未受到影響,仍在4.7萬美元以下的盤整區間內徘徊。
雖然加密貨幣愛好者已經習慣了比特幣現貨ETF申請被拒絕和延遲,但SEC專員Hester Peirce也想知道為什么要花這么長時間。在接受行業媒體采訪時,Peirce表示:“我不敢相信我們還在談論這件事,就好像我們在等待一件事發生一樣……甚至在最近,我們還否決了一系列的此類ETF申請,而那些聲明仍在使用我認為在現下已經過時的論證方法。”(Cointelegraph)
此前消息,美國SEC已將有關NYDIG比特幣ETF的決定推遲至3月16日。[2022/1/5 8:27:29]
這樣一來,如果驗證者看到輸出是對的,同時證明顯示輸出是用輸入計算而來的,那么驗證者就可以在不知道輸入的情況下相信輸入。
隨之而來的問題就是:如何證明輸出是由輸入通過某個確定的算法計算出來的?而不是其他的輸入、其他的輸出、或者其他的算法?這便是零知識證明協議要解決的問題。
在zk-SNARK系列的協議中,采用的方法是把輸入、算法、輸出轉換為一個多項式,通過多項式把這三者綁定到一起。如果能夠證明Alice知道這個多項式,就可以認為Alice的輸出是輸入通過算法計算出來的。
直播|李寶寶 > 靠首發DeFi幣崛起,為何BitMax抓住了風口:金色財經 · 直播主辦的《 幣圈 “后浪” 仙女直播周》第12期15:00準時開始,本期“后浪”仙女Bitmax 的李寶寶將在直播間聊聊“靠首發DeFi幣崛起,為何BitMax抓住了風口”,請掃碼移步收聽![2020/8/11]
總而言之,因為零知識證明被廣泛地用于實現隱私保護,隱私保護又意味著不泄露數據,所以我們會比較容易在一開始就圍繞它是怎樣隱藏數據的為方向去思考。但如果以「它是如何實現零知識的」為線索去認識它,就會一團亂麻,而如果以「它是如何實現證明的」為線索,就會一條線清晰地貫穿始終。
二、零知識證明只能實現特定知識的「零知識」
對于哈希函數、基于橢圓曲線的加密算法等密碼學工具而言,幾乎在任何情況下給出任何數據,它們都能夠把這個數據隱藏起來(實踐角度如果輸入空間過小是無法隱藏的);當我們知道零知識證明可以不泄露知識時,往往也會認為能夠把任意的知識交給它來處理,但實際上,零知識證明只能在特定的場景下實現特定知識的「零知識」。
回到Alice的例子,在她的零知識證明過程中,至少涉及到三種可以被稱為知識的東西:1.宇宙的初始值;2.宇宙的演化算法;3.宇宙的演化結果。可以通過零知識證明不泄露這些不同類型的知識嗎?不能,我們甚至必須知道宇宙的演化算法和演化結果,才能證明Alice是否知道宇宙的初始值。
聲音 | 億萬富翁Druckenmiller:不理解為何需要比特幣:據華爾街見聞消息,億萬富翁Stanley Druckenmiller表示,并不理解美聯儲為何被困在2%這一通脹目標。目前并沒有陷入衰退,但必須保持警惕。此外,Druckenmiller還稱不理解為何需要比特幣,他既不會沽空、也不會做多比特幣。[2019/6/4]
換言之,零知識證明只能證明但不泄漏「輸入」這個位置上的知識。當在思考或使用零知識證明協議解決問題時,需要看不想泄漏的知識是否可以被放在輸入的位置上,并能通過確定的算法產生一個可判斷真偽的輸出(更準確而言在于能否構造一個 NP-relation)。
舉例來說,如果Alice在不附帶任何條件的情況下聲稱自己知道一個數x,我們是難以用零知識證明證明她知道數x但又不泄漏x的;但如果Alice聲稱自己知道一個數x滿足某個條件a,那就可以先有一個算法,該算法的輸出一定滿足條件a(可以轉換為輸出一定為真),然后,如果輸入x能夠滿足這個算法,就可以相信數x滿足條件a,這也意味著Alice能夠在不泄漏數據的情況下使用數據。
不過這里有另一個容易混淆的地方,就是零知識證明并不能直接證明某人有解某個問題的能力,比如有解地圖三染色問題的能力,它證明的是某人知道該問題的一組解。(注:可以通過讓證明者解多次不同的三染色問題實例,證明證明者有計算能力可以解三染色問題。)
韓國金融消費院:政府為何不對自己的無能進行反省反而打壓加密貨幣市場:7日,韓國金融消費院表示很難理解為什么政府沒有對加密貨幣政策的失敗或自己的無能進行反省,反而一直在用權利打壓加密貨幣市場。[2018/3/7]
這與零知識證明協議的構造有關,如前所述,它證明的是一個把輸入、算法、輸出綁定到一起形成的多項式,而不是某個求解算法的多項式,證明這個多項式成立,實際上是在證明輸入、算法、輸出之間具有確定的關系,而不是在證明其他事情。
一方面,這種構造限定了零知識證明的應用,它只能在輸入、算法、輸出齊備的情況下實現輸入的零知識證明,如果輸出為真,就可以相信輸入為真;但另一方面,這種構造擴展了零知識證明的其他應用,即如果輸入為真,我們也可以相信輸出為真。
三、零知識證明為何與區塊鏈如此契合
區塊鏈激活了零知識證明的應用,零知識證明則提供給區塊鏈一種卓越的解決方案,兩者能夠彼此促進更主要的原因在于區塊鏈的系統特點和零知識證明的證明方法特點,而不僅僅因為零知識證明能保護隱私。
回憶我們做數學的證明大題,那是一種推理式證明,有著嚴格的可被驗證的推導過程;但還有另一種證明叫交互式證明,它不通過推導,而是借助于證明者和驗證者的交互,驗證者向證明者提出問題,如果證明者能給出正確的回答,就認為證明者聲稱的命題是對的。
舉一個不算特別準確的例子:Alice聲稱當宇宙的輸入為x時,輸出為42,推理式證明是指她要代入x一步步計算,算出42,并把計算過程展示出來以供驗證;交互式證明看起來則是:給驗證者一臺平行宇宙穿梭機,驗證者隨機穿梭到有輸出的宇宙(輸入都為x),然后根據宇宙的輸出是否為42來判斷Alice聲稱的是否可相信。
調查顯示 超半數俄羅斯人知道比特幣為何物:最近由全俄公眾輿論研究中心(VCIOM)進行的一項調查結果顯示,超過56%的俄羅斯人表示他們知道比特幣,活躍網民中這一數字已經漲至66%。年輕的俄羅斯人(18-24歲)中知道比特幣的比率已經達到75%。而首都莫斯科和第二大城市圣彼得堡有74%的居民已經了解到了去中心化的虛擬貨幣。然而只有三分之一的人知道,任何人都可以購買比特幣,16%認為比特幣在俄羅斯實際上是被禁止的。不過,有四分之一以上的人知道虛擬貨幣不僅可以購買,還可以被開采。另有44%的人意識到,將虛擬貨幣兌現,目前在俄羅斯還沒有合法化。[2018/1/23]
相較于推理式證明,交互式證明的驗證者只需驗證一個點或幾個點,這是零知識證明與區塊鏈契合的一個重要原因:區塊鏈是一種分布式系統,每個節點都要重復完成驗證的工作,受益于只需驗證挑戰點,簡潔(Succinct)零知識證明系統可以減少驗證的工作,它提供給驗證者的是一個比原命題小得多的證明。
形象化而言就是:在非區塊鏈的系統中,零知識證明減少一份驗證者的工作,同時可能增加一份證明者的工作(不一定是1:1的關系),這或許就算不上好處;可在區塊鏈系統中,零知識證明每減少一份驗證者的工作,如果有100個節點,就能減少100份的總工作量,而此時增加的仍然只是一份證明者的工作,那么這種好處就很明顯了。
此外,單從用零知識證明來解決問題的角度,區塊鏈上的空間資源和時間資源都是極為稀缺的,而簡潔零知識證明產生的證明小、驗證時間短,適合作為區塊鏈上的解決方案。
但需要注意,交互式證明只需驗證挑戰點,與之相伴的推理式證明和交互式證明的另一個區別就是:推理式證明能夠證明一個命題是否成立,交互式證明卻只能證明一個命題在概率上是否成立。
也就是說,假如證明者聲稱的命題是錯的,但當驗證者提出問題時證明者蒙對了答案,驗證者會認為命題是對的。因此在零知識證明協議的設計中,非常重要的一部分工作就是用數學的方法讓證明者幾無可能蒙對答案(基于對證明者計算能力的某種假設,證明者使用虛假證明使驗證者信以為真的概率是一個可忽略的函數)。
回到zk-SNARK。zk-SNARK把證明輸入、算法、輸出的關系轉換為證明一個綁定三者關系的多項式,就能夠給驗證者提供一臺平行宇宙穿梭機。在皮諾曹協議中(zk-SNARK的一種),交互式證明是這樣的:
證明者聲稱自己知道一個多項式p(x),該多項式是可以被分解成t(x)和h(x)的,即p(x)=t(x)·h(x) ;驗證者隨機選擇一個挑戰點s,通過對s加密讓證明者只能算出p(s)和h(s),而無法計算t(s);證明者把p(s)和h(s)給驗證者,驗證者手中有t(s),就可以計算t(s) ·h(s) 是否等于p(s),如果相等,就相信證明者確實知道一個多項式。
而知道一個多項式,就意味著輸入、算法、輸出之間存在確定的關系,如果輸出為真,我們就可以在并不知道輸入的情況下相信輸入為真,即實現零知識證明。那么到現在,我們就不僅知道了零知識證明是一種證明的方法,而且知道了它是如何來做證明的。
四、不要被「無需交互」欺騙
零知識證明是一種交互式的證明系統,它依賴于兩個重要元素:交互、隨機。
交互是指一方提出挑戰,一方給出證明,如果沒有這種交互,零知識證明就無法開展;隨機是指挑戰點必須是隨機的,也就是不能被證明者預測到的,不然證明者就可以在挑戰點上構建一個假證明。如果Alice事先知道驗證者會去73號平行宇宙,她就可以提前把73號的答案改為42。
那為什么zk-SNARK稱自己為非交互(Non-interactive)?在所謂的交互式證明中,需要先由驗證者給出隨機點,再由證明者構建證明;在所謂的非交互證明中,比如皮諾曹協議,它不再需要驗證者給出隨機點,轉而由一個可信的第三方在初始化階段給出隨機點,這樣一來,證明者就可以直接給出證明,驗證者只需要驗證證明即可,驗證者和證明者之間不再需要交互。
可信第三方給出隨機點就是皮諾曹協議的可信設置(Trusted-setup),相較于直接交互,可信設置在給出隨機點s之外,還需多給出一個t(s),因為驗證者需要用t(s)進行驗證。但問題在于t(s)不能被證明者得知,否則他可以輕易構造出一個假證明,所以需要用一個方法對t(s)做變換,使得變換后的t(s)可用于驗證,但不可用于證明者的計算。皮諾曹協議選擇雙線性配對操作來完成這一工作。
所以無需交互更多的是一種技術上的處理,對于零知識證明而言,驗證總是在隨機挑戰點上完成的,所不同的是這個挑戰點從何而來。不同的具體協議,在用非交互取代交互時選擇的方法會有比較大的區別,即便它們都叫zk-SNARK協議,這是額外需要注意的。
五、模塊化和年輕學科
希望上述四點能對你理解零知識證明有所幫助,在文章的最后,是兩個小的可能會出錯的認識。
第一,零知識證明協議,比如zk-SNARK,并不是圍繞某個確定的核心公式展開的,它是模塊式的,每個模塊負責完成自己的工作,然后大家組合到一起。所以如果你想通過抓住一個核心點來理解零知識證明就會比較困難,更好的方法是通過一條線索來理解它。
同時,zk-SNARK不是指某個具體的協議,它是一類方法的統稱,組成它的那些模塊大體不會變,但這些模塊選擇的具體方法是可變的。所以當你看到不同的zk-SNARK時,不用迷惑,跳出來站在模塊的高度去看它,而不是陷入具體的方法。
第二,或許因為零知識證明是在與數學打交道,它常常帶給人一種古老學科的感覺,但實際上零知識證明的研究還很早期,零知識證明的應用更是剛剛開始。當選擇使用零知識證明時,開發者們并不是只需工程化實現一套成熟的理論,而是要一邊找到/發明方法一邊應用方法。
所以也許我們可以給零知識證明多一些的耐心,它可能是未來數字世界重要的組成部分,它不僅是使用構成數字世界的數據的工具,也是節省數字世界中最稀缺資源的工具。
封面圖片來自 Unsplash, 作者 Beatriz Pérez Moya
致謝:郭宇
撰文:李畫,安比實驗室特約研究員
Tags:ICEALICEALILICPricetoolsalice幣怎么樣alix幣發行量Republic Protocol
2020年6月Filecoin最新路線圖更新,主網啟動進入沖刺階段!7月初,開啟400萬枚FIL爭霸賽,全球礦工將通過儲存排名搶奪Filecoin首批獎勵.
1900/1/1 0:00:00金色財經 區塊鏈7月10日訊 繼Compound大熱之后,又有一個Defi協議備受關注,那就是Balancer協議.
1900/1/1 0:00:00據成都鏈安『安全態勢感知系統』(Beosin-Eagle Eye)數據監測顯示:在過去的6月中,區塊鏈安全形勢依然嚴峻,整個區塊鏈生態共發生超19起較典型的安全事件.
1900/1/1 0:00:00金色周刊是金色財經推出的一檔每周區塊鏈行業總結欄目,內容涵蓋一周重點新聞、行情與合約數據、礦業信息、項目動態、技術進展等全行業動態。本文是其中的產業周刊,帶您一覽本周的區塊鏈產業動態.
1900/1/1 0:00:00作為一個全新的金融概念,比特幣誕生已超過11年。毋庸置疑,從發布以來,它的增長速度相當可觀,但這種增長是否真的如我們這些“圈內人”所認為的那樣快嗎? (比特幣從誕生到現在的錢包數量變化)最近,比.
1900/1/1 0:00:00如今,交易加密貨幣或外匯聽起來就是個發家致富之路。但如果你是初學者,在選擇哪種交易方面可能會躊躇不定。加密交易通常被認為與外匯交易類似,因為外匯交易也涉及貨幣交易.
1900/1/1 0:00:00