在復雜的密碼學領域,零知識證明為一項看似矛盾的任務提供了獨特的解決方案:在不透露信息本身的情況下證明知道某一信息。這種加密方法涉及兩方:證明者及驗證者。證明者的目的是證明他們擁有某一信息(我們稱之為x),而不透露任何關于x本身的數據。驗證者則從交流中了解到的只是證明者擁有這種知識的簡單事實。最重要的是,驗證者并沒有獲得關于x的額外信息。
比如當小零與小十在玩密室逃脫,此時小零告訴小十他已經破解了某“寶箱”的密碼。但是小零不愿意直接分享現成的“答案”,也不愿當著小十的面將寶箱打開。那么怎樣證明給小十,他真的破解了迷題并且知道寶箱密碼呢?
于是他讓小十在一張紙上寫一段只有自己知道的字符串,同時簽上自己名字,將紙張從寶箱的縫隙中塞了進去。
隨后小零打開寶箱取出了小十放進去的紙張,并展示給了小十看,小十核對字符串和簽名無誤。這證明了小零確實知道寶箱密碼,而且這張紙確實是寶箱里拿出來的。
該解密過程既沒有被小十知曉,同時小零又證明了他已破解了寶箱密碼。
零知識證明
密碼學中,零知識證明(Zero Knowledge Proof,也稱ZKP)或零知識協議是一種方法,該方法可令證明者在不透露信息本身或其他任何信息的情況下,讓驗證者相信或證明給驗證者某個陳述或論斷的真實性。
國網寧夏電力:國內首臺區塊鏈+邊緣計算一體機成功上線:8月4日,國網寧夏電力研發的國內首臺融合區塊鏈與邊緣計算為一體的區塊鏈一體機成功接入“國網鏈”并上線試運行。該一體機突破了鏈上鏈下高效協同的技術瓶頸,破解了電網側與負荷側信息交互壁壘和難以協同互動的行業難題,實現了對負荷側數據的采集、監視、分析,將有力保障負荷側資源輔助服務市場交易的真實可信,有助于構建清潔低碳、安全高效的能源體系。(中國經濟新聞網)[2020/8/4]
零知識證明最初是于由麻省理工教授Shafi Goldwasser、Silvio Micali以及密碼學大師Charles Rockoff三位作者在《The Knowledge Complexity of Interactive Proof Systems》論文中提出的。該一算法概念為現代密碼學奠定了一定基礎。
零知識證明有兩個額外的屬性:簡明性和零知識。簡明性允許驗證者接受一個大型計算的正確性,而無需自己計算該語句或陳述。而零知識保證了沒有任何關于輸入的數據被泄露。
零知識證明對于確保許多加密協議的隱私和安全至關重要。它們是防止潛在信息泄露的保障,是Crypto世界的隱形防彈衣。該知識的應用可延伸至不同領域,包括區塊鏈技術和安全認證系統,其中敏感數據的保護是最重要的。
多倫科技:將逐步引入區塊鏈等新技術:多倫科技(603528.SH)發布第三屆董事會第二十八次會議決議公告,公司擬建設機動車智慧檢測大數據中心,逐步引入5G、人工智能、區塊鏈、邊緣計算等新技術支撐能力,強化設計、檢測、運維、管理等全流程數字化功能集成,提升公司在車檢領域的核心競爭力。(中國證券報)[2020/6/6]
應用領域廣泛
區塊鏈及加密技術:像Zcash這樣的區塊鏈技術使用了零知識證明來保護交易隱私。一個人可以證明他們有足夠的Cypto貨幣來進行交易但又不透露其資金的確切數額。這保證了隱私的同時確保了交易的完整性。身份驗證及認證:零知識證明還可以在不透露不必要的信息同時,用于確認身份。例如,一個人可以在不提供確切的出生日期的情況下證明他們已經超過18歲,或者在不分享密碼等敏感數據的情況下證明他們的身份。這最大限度地減少了盜取身份或未經授權訪問的風險。
安全多方計算(SMPC):零知識證明可以促進多方之間的復雜互動,其中每一方都可以證明他們遵循商定的協議,而不透露其輸入的具體內容。這在如保護隱私的數據挖掘、安全投票系統等諸多方面都十分有效。網絡安全:零知識證明可以提供改進的安全協議,如安全密碼政策。其可以驗證用戶提出的密碼是否符合某些安全標準,而不讓服務器知曉或記錄實際密碼。因為密碼不會被儲存在任何地方,因此可以防止潛在的違規行為。保護隱私的同時共享數據:零知識證明可以用來證明某些數據符合特定的要求,而不透露數據本身,這在醫療或金融等領域尤其重要。這些領域對數據隱私的規定很嚴格,但以安全、保護隱私的方式分享信息或許會帶來巨大收益,比如促進醫療事業的發展等等。零知識證明已經在區塊鏈中釋放了新的技術可能性。這可以從ZKSync和Polygon的zkEVM等各種Layer 2中看到。然而,這僅僅是零知識證明創建的區塊鏈的一個子集。
聲音 | 鐘宏:區塊鏈能夠推動整個數字經濟創新的發展:金色財經報道,12月17日,百度超級鏈學院與華醫康道科技有限公司在重慶聯合主辦“科技賦能 跨界融合—— 區塊鏈技術應用與產業融合創新”研討會。清華x-lab青藤鏈盟研究院院長鐘宏在會上發言表示,區塊鏈技術發展推動創新經濟,探索安全應用,加快產業融合,人才建設服務數據智能,研究社會城市基礎體系改革模式共享數字經濟。這完全是基于高頻詞排列出來,已經體現了重要性和區塊鏈發展的一些重要的國家布局要求。另外可以看到人才建設服務是服務于數據和智能。區塊鏈能夠推動整個數字經濟創新的發展。所以圍繞一條區塊鏈科技的產業發展,另外一條鏈是區塊鏈+傳統產業的發展,是未來國家大力支持的兩個產業發展方向。[2019/12/17]
如何表示一個證明
在這一節以及文章的其余部分,我們將重點討論為基于PLONK證明系統構建的證明。
PLONK是一種零知識證明系統,其全稱是:
“Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge”,即“基于拉格朗日基數的全局非交互式知識證明排列”。
動態 | 深圳北站開始提供區塊鏈發票:深圳北站停車場已經開始提供區塊鏈電子發票開具服務,相比于傳統開票模式和以往的電子發票功能,操作更加簡單易懂,開票流程也更為健全,兼容了支付后開票和歷史訂單開票,開票檢索功能支持模糊搜索,用戶無需輸入完全的抬頭、納稅人識別號等開票信息,可以進一步方便用戶隨時開出電子發票。相較于普通電子發票,區塊鏈電子發票擁有“資金流、發票流”二流合一的優勢,發票申領、開票、報銷、報稅全流程被打通;同時,區塊鏈的數據信息不可篡改、全流程完整追溯等特征,與財稅發票邏輯及需求高度吻合,財稅管理的經營成本和潛在風險被大大降低。[2019/2/28]
從本質上講,PLONK是一個通用的、可更新的加密證明系統,這一創新允許在區塊鏈系統和其他分布式網絡中進行有效的驗證和擴展。PLONK背后的想法是構建一個通用的且可更新的證明系統。在零知識證明系統的背景下,“通用”意味著它可以被用于任何類型的計算;“可更新”則意味著加密參考字符串(用于生成和驗證證明的一段數據)可以隨著時間的推移安全地更新。
PLONK因其高效和簡單性而引人注目,也因此成為了對安全、私密交易系統有需求的項目及公司的熱門選擇。與其他系統相比,它每個gate(計算的基本單位,我們下文統稱“門”)使用的約束條件更少,這使得計算速度更快且可擴展性更高。Vitalik Buterin已經發表了關于PLONK的更全面的描述。[復制下鏈接至瀏覽器即可查看原文https://vitalik.ca/general/2019/09/22/plonk.html]
政策 | 韓國政府計劃明年將區塊鏈公共示范項目增至12個 總預算超100億韓元:據韓聯社消息,韓國互聯網振興院(KISA)稱,韓國政府計劃將區塊鏈公共示范項目的數量從今年的6個增加到明年的12個,擴展到整個公共部門。預算總額超100億韓元(約合900萬美元)。該區塊鏈公共示范項目于今年首次實施,旨在利用區塊鏈技術簡化公共服務并鼓勵私人投資。[2018/9/4]
證明
在證明某個陳述前,我們先將該陳述用電路表示。一個電路將計算中的值與另外兩種類型的數據一起編碼:
1. 操作:比如對輸入數據進行的乘法和加法計算2. 操作執行的順序
為了編碼這些數據,PLONKish電路會被表示為一組向量和約束條件。約束條件是向量中單元必須遵守的關系,其中約束類型有:門約束和復制約束,他們分別表示電路中的操作和操作的順序。
采用不同的門和電路架構,有多種方法來表達電路。
將陳述表示為一個電路
假設我們有兩個門:一個乘法門和一個加法門。乘法門被表示為一個長度為3的向量|a|b|c|。如果這個門被選中,那么它將約束c等于a*b。同樣,加法門表示為一個長度為3的向量,如果選擇加法門,則c等于a+b。使用這些門,讓我們表示兩個向量(a,b)和(c,d)之間的點積。要做到這一點,我們需要完成以下計算:1. 使用乘法門計算a*b2. 用乘法門計算c*d3. 用加法門計算ab+cd這可以用向量來表示。
注意,第一個和第二個乘法門的輸出是加法門的輸入值。這個數據在我們的電路中是和門的約束條件分開編碼的。這被稱為復制約束。那么,為什么電路約束很重要呢?如果沒有約束,那么惡意驗證者就可以在電路中輸入他們喜歡的任何數值。例如,驗證者可以用aba*b替換ab+cd。與智能合約類似,約束條件在使用前必須通過證明系統得到驗證。
證明陳述
現在我們可以用電路來表示陳述,那么證明者如何說服驗證者證明是有效的呢?對于PLONK系統來說,證明者必須讓驗證者相信門的約束和復制約束得到了實現。對于復制約束來說,這是通過進行排列組合檢查來實現的。
替換檢查是由Bayer-Groth首先提出的,然后由Gabizon、Williamson和Ciobotaru在PLONK論文中得到了進一步發展。為了證明門的約束,需要計算某個quotient polynomial(商的多項式)。
直觀地說,置換檢查表明,如果復制約束的條目被置換,電路仍然是相同的。 置換檢查
如果對于b的所有第i個位置,存在與a相等的σ(i)位置,我們就說一個矢量a與矢量b之間是通過置換σ來關聯的。我們將其表示為σ(a)=b。給定兩個向量a=(a,b,...,c), b=(a',b',...,c')$, 和置換σ,我們想確定σ(a)=b。這可以按以下方法進行:
將向量表示為a'=((a,1),(b,2),...,(c,n))和b'=((a',σ(1),(b',σ(2)),...,(c',σ(n)) )。這是對關于置換σ的向量進行編碼。
將向量重寫為多項式向量:a''=((a+1X),(b+2X),...,(c+nX))和b''=((a'+σ(1)X), (b'+σ(2)X),..., (c'+σ(n)X))
檢查a''和b''作為多集是否等價,可以通過隨機選擇gamma來完成,從而顯示$(a+1X+γ)(b+2X+γ)....(c+nX+γ) = (a'+σ(1)X)+γ)(b'+σ(2)X+γ)....(c'+σ(n)X+γ)$ 。
通過隨機選擇一個β,我們可以通過Schwartz-Zippel lemma檢查這些多項式是否等價。如果它們作為多項式是等價的,那么集合a''和b''作為多集則是等價的。如果它們不是等價多項式,那么a''和b''就不是等價的多集。
寫在最后
雖然零知識證明是一個復雜的主題,但其應用率卻在不斷攀升。本文我們已經對零知識證明的工作原理進行了直觀的解釋。日后,CertiK團隊將與大家一起深入探討零知識證明的應用以及團隊如何為新的用例優化其電路。
CertiK中文社區
企業專欄
閱讀更多
區塊律動BlockBeats
曼昆區塊鏈法律
Foresight News
GWEI Research
吳說區塊鏈
西柚yoga
ETH中文
金色早8點
金色財經 子木
ABCDE
0xAyA
7月3日幣安宣布其創新區于18:00上線Pendle,并成為Binance Launchpool上的第35個項目,7月4日8:00開始挖礦.
1900/1/1 0:00:00作者:蔣海波 Balancer在DEX的發展中作出了多項創新,但卻經常被忽視。6月份,Balancer的流動性在DEX中位列第四,交易量位列第五.
1900/1/1 0:00:00作者:Sam Lyman;編譯:Luffy,Foresight News華盛頓特區 - SEC 主席 Gary Gensler 與參眾兩院的成員建立了密切的聯系... 誰來監視監察者.
1900/1/1 0:00:00引言 隨著去年 10 月《關于香港虛擬資產發展的政策宣言》的提出,香港虛擬資產 VASP 制度“加密新政”已于 2023 年 6 月 1 日正式施行,這是有史以來我國虛擬資產行業的重大利好.
1900/1/1 0:00:00作者:Alex Lari,BITCOIN NEWS;編譯:松雪,金色財經根據分析公司 K33 Research 的一份報告,美國投資者對比特幣的興趣激增,同時機構活動也有所增加.
1900/1/1 0:00:00在剛過去的黑山以太坊 EDCON 大會上,ZK 成了最火熱的話題。從 19 號到 23 號整整 5 天的時間里,無論是個人演講還是圓桌 Pannel,嘉賓們的話題大都圍繞 ZK Rollup、z.
1900/1/1 0:00:00