前言
如何在不說出秘密的情況下,讓對方知道你已經知道了這個秘密?——隱私保護
隨著信息資本主義的興起,人們更加注重隱私安全和數據的所有權。快速發展的web3.0切實的保證了參與者的隱私安全,讓人們對互聯網有了信心,在隱私保護的種種手段中,零知識證明另辟蹊徑。
本期就帶大家一起探討一下零知識證明是如何為區塊鏈保駕護航的。
什么是零知識證明
零知識技術是密碼學的一個分支,可以讓用戶在不透露信息的前提證明自己擁有的信息。證明者利用系統輸入的信息創建證明,而驗證者在無法得知具體內容的前提下,驗證該證明的結果。
在區塊鏈網絡中,用戶需要將交易明文廣播給所有礦工,由他們來校驗交易合法性,但有些時候基于隱私問題,又不想把交易的具體內容公布出來。而零知識技術就可以讓開發者在利用以太坊等底層區塊鏈安全性,提高DApp交易吞吐量和速度的同時,保護用戶隱私。
歐科云鏈集團正式啟動區塊鏈科普行動“星途計劃”:歐科云鏈集團于4月26日,正式宣布啟動了區塊鏈科普行動——“星途計劃”,行動包括將在全國范圍展開系列沙龍,加大力度推進區塊鏈科普進機關、進國企、進校園等,聯合政府部門、行業協會等共同構建起更加完善和有效的區塊鏈科普教育生態,與此同時,直擊區塊鏈科普現存痛點,推出簡單易懂的“秒懂區塊鏈”公益短視頻課。
該計劃旨在全維度推動社會建立對產業更清晰的認知,與“鯤鵬計劃”一道助力數字經濟及區塊鏈產業本身健康發展夯實“人才”和“產業認知”兩大基礎。[2021/4/26 20:59:37]
零知識證明的性質與過程
區塊鏈中的交易,要判斷該交易的合法性,只需要證明:
發送的錢屬于發送交易人;
發送者的發送金額等于接收者的接收金額;
動態 | 鏈客社區聯合北京交通廣播推出區塊鏈技術科普節目:12月11日15:15—16:00,區塊鏈技術社區——鏈客區塊鏈技術社區將聯合北京交通廣播FM103.9從零開始為大眾科普解碼區塊鏈技術,蜻蜓FM及北京廣播網同期進行全球直播。首期做客嘉賓為鏈客區塊鏈技術社區創始人郄建軍和百度區塊鏈產品負責人于雅楠。[2019/12/11]
發送者的錢被銷毀了;
可以看到整個證明過程中,礦工并不需要關心這筆交易具體花掉多少,發送者是誰,接收者是誰,只需要保證交易過程中錢是守恒的。
根據上述過程,可以看出零知識證明的性質:
完備性。證明方和驗證方都是誠實的,并遵循證明過程的每一步進行正確計算,那么這個證明一定是成功的,驗證方一定能夠接受證明方;
合理性。沒人能假冒證明方,使這個證明成功;
聲音 | 浪潮集團云南分公司總經理:云南區塊鏈產業發展需從“科普”到“專精”不斷深化:據昆明日報消息,浪潮集團云南分公司總經理鄭昕表示,云南區塊鏈產業發展需從“科普”到“專精”不斷深化。下一步,浪潮將繼續加大云南農業產業高質量發展體系建設力度,重點以普洱茶等云南優勢產業為切入點,打造云南“綠色、有機農產品高地”的品牌形象,并在此基礎上,開展基于區塊鏈的供應鏈金融服務,解決中小企業貸款難、貸款貴問題。[2019/11/11]
零知識性。證明過程執行完之后,驗證方只獲得了“證明方擁有這個知識”這條信息,而沒有獲得關于這個知識本身的任何信息;
在交易驗證的時候,證明者會根據系統要求的一些必要的驗證內容,作為問題的范圍,而驗證者對證明者進行多輪交互,等待證明者的回應。
一旦需要交互,就要求過程中雙方都在線,這也會帶來很大不便,最好有一種非交互式的證明方式,只要證明者給出了證明,后續就不再需要交互,任何人都可以驗證這個證明是否正確。但是這明顯跟我們一開始說的不能完全由證明者給出矛盾。
聲音 | ETC Labs主管:科普教育是未來幾年公鏈面臨的巨大挑戰:ETCLabs主管Darin Kotalik認為,科普教育是未來幾年公鏈面臨的巨大挑戰,人們必須要對區塊鏈有基本的認識,分清楚公鏈和私鏈的區別。[2019/8/25]
這個問題的一種解決方案就是 “ Common Reference String”。證明者給出的證明雖然不像 “cut and choose” 策略一樣,由驗證者挑選問題來決定。但也不是完全由證明者自己來決定,而是根據事先定好的一個種子產生的隨機序列決定,相當于有一個中立的第三方來出題目,同樣也能達到效果。就像分粥的例子,一個人先分,但不是另外一個人先挑,而是中立第三方產生一個隨機數來決定誰拿哪碗粥。
不過上述這項方案(Zk-SNARKs)有一個技術痛點,它的算法依賴于初始的公共參數作為信任設置。這個公共參數是隨機數,可如果一旦泄露,擁有原始隨機數的人可以隨意偽造證明,從而使得零知識證明的正確性蕩然無存。
零知識證明方案與Optimistic Rollup
optimistic rollup是目前主流的擴容方案,零知識擴容方案和optimistic rollup區別主要有2點:
交易驗證的方式不同。optimistic rollup采用欺詐證明,只有在Layer 1區塊鏈上裁決狀態變更糾紛時才需要生成欺詐證明;而零知識技術方案是在每一批交易打包,上傳鏈上時都會發布有效性證明。也就是說采用零知識證明的協議永遠都是有效的狀態,而代價則是要花更多的gas費在底層區塊鏈上驗證有效性證明。
資金效率。在optimistic rollup中,交易終局和取款的標準時間窗口是一周;而在零知識技術方案中,用戶可以在約10分鐘內取款。
零知識證明的代幣
Zerocash是第一個利用零知識證明zk-SNARK實現了強匿名性的數字貨幣。不僅實現了對發送方和接收方地址的隱藏,還實現了交易金額的隱藏,僅交易的雙發對交易可鏈接和交易的金額,而其他區塊鏈節點查看到的數據只能驗證交易的有效性和金額的正確性,不能得到交易雙方和交易金額等其他信息,實現了高等級的強隱私保護。
Zerocash的交易分為兩種,鑄幣(Mint)和轉賬交易(Pour)。
Zerocash的鑄幣交易過程:用戶想把價值為v的比特幣轉換為Zerocash代幣,用戶首先生成3個隨機數r,s,ρ,然后通過承諾計算cm和sn,其中cm記錄幣的生成,sn記錄幣的消費。幣消費后會記錄在sn列表中,其中cm和sn的生成如圖所示:
一個Zerocash其實是一個向量 (apk,v,r,s, ρ,cm,sn),其中v是ZEC的面值cm記錄ZEC的生成,而sn表示ZEC的消費記錄。如果sn已經出現在列表中就表示此幣已經消費,以防止雙花。在鑄幣階段用戶只公布了自己的cm和v,其他信息只有用戶自己知道。
總結
將零知識證明與底層區塊鏈以及去中心化的預言機網絡相結合,勢必推動區塊鏈行業轉型。項目團隊將開發出可擴展性強,成本效益高且能保障用戶隱私的應用。雖然目前其他的Layer 2解決方案可能會為某些應用提供更好的基礎架構,但隨著行業不斷發展,零知識證明方案必將獲得更多個人用戶和企業的青睞。
金色財經
金色早8點
Odaily星球日報
澎湃新聞
Arcane Labs
深潮TechFlow
歐科云鏈
鏈得得
MarsBit
BTCStudy
作者:Peng SUN Fig. 1: Auguste Kerckhoffs(1835-1903),荷蘭語言學家、密碼學家生而為人,自會有秘密,每個人天賦應擁有自己的隱私.
1900/1/1 0:00:00本文主要分析DAO財庫治理和執行中的痛點,并嘗試提出一種解決方案:非托管和主動資金執行。DAO 是一種加密原語.
1900/1/1 0:00:00原文標題:《細數熊市依然在以太坊鏈上活躍的 Web3 應用,藏著哪些種子選手?》自從 2021 年 8 月 5 日(區塊高度 12965000)倫敦升級以來,結合費用銷毀機制,從經濟模型層面講.
1900/1/1 0:00:00編譯:Dali@iNFTnews.com2022年5月,在加密牛市接近尾聲的時候,經濟學家Eswar Prasad為《金融時報》撰寫了一篇專欄文章.
1900/1/1 0:00:00自從 2021 年 8 月 5 日(區塊高度 12965000)倫敦升級以來,結合費用銷毀機制,從經濟模型層面講.
1900/1/1 0:00:00來源:彭博社 編譯:比推BitpushNews Mary Liu作為數字貨幣集團 (Digital Currency Group) 的創始人.
1900/1/1 0:00:00