原標題:科普|最強白話講懂零知識證明
零知識證明zero-knowledgeproofs,簡稱ZKPs,我們都知道區塊鏈本身的一個關鍵優勢就是透明性,但是在很多情況下,智能合約應用卻出于各種商業或法律原因需要保障數據隱私,比如傳入真實有效的數據來觸發智能合約執行,但這涉及到信息會有泄露的風險。如何避免這種情況的發生呢?零知識證明的出現很好地解決了這個問題。
零知識證明的研究最早始于1985年,由MIT教授ShafiGoldwasser,SilvioMicali和密碼學大師Charles在《TheKnowledgeComplexityofInteractiveProof-Systems》論文中提出。正是這篇文章提出了零知識證明這個偉大概念,并逐步成為了現代密碼學理論的根基之一,而ShafiGoldwasser和SilvioMicali也于2012年獲得了有“計算機界諾貝爾獎”之稱的圖靈獎。零知識證明系統所要完成的任務是「證明某一個事實并且不泄露知識」。這個過程就是零知識證明。
俄羅斯下議院通過數字盧布法案:金色財經報道,7月11日,俄羅斯下議院通過了數字盧布法案。現在該文件面臨參議院的確認,然后由總統簽署。該法案的最后一次修訂草案于6月底,規定了平臺、參與者和用戶的法律定義,以及CBDC生態系統的一般準則。
在當前框架下,俄羅斯中央銀行(CBR)將成為數字盧布基礎設施的主要運營商。它還對所有存儲的資產承擔責任。CBR稱,CBDC的主要目標是作為一種支付和轉賬方式。因此,其用戶將無法開設儲蓄賬戶。支付和轉賬對個人客戶是免費的,而企業客戶則需要支付0.3%的費用。[2023/7/12 10:50:18]
聽起來還是有些晦澀難懂?講個簡單的例子:
BNB Chain社區發起Greenfield可執行性設計提案:4月30日消息,BNB Chain社區發起Greenfield可執行性設計提案,并正就此征集討論。該提案由區塊鏈基礎設施NodeReal提出。BNB Greenfield系BNB Chain開發團隊推出的去中心化存儲基礎設施。
該提案將為Greenfield引入“數據操作”能力,有助于增強其靈活性并使其能夠更好地支持生態系統中的各種數據用例。該方案包括:支持Greenfield上的“可執行”數據并具有訪問控制、從編程語言層面助力Greenfield生態建設、鞏固Greenfield數據運營安全、執行證明機制等。[2023/5/1 14:36:23]
阿里巴巴的故事想必大家都聽過,有一天,劫匪抓住了阿里巴巴,拷問他想要得到進入山洞的咒語,但是聰明的阿里巴巴知道,如果把咒語告訴了劫匪,那么他也就徹底沒有了價值,肯定會將他殺掉,死活不說,那么也會殺掉他,于是他想到一個好辦法,即能不泄露咒語,又能讓劫匪相信他知道咒語。
Polygon:zkEVM正接受全面審計:12月16日消息,據Polygon在社交媒體透露,目前已啟動zkEVM全面安全審計,本次審計將重點關注zkEVM的正確性和穩健性兩方面,也是在啟動主網之前最后一個測試網需要完成的關鍵步驟。
據悉,Polygon本次邀請了兩家安全公司Spearbit和Hexens負責相關審計工作,涉及Polygon zkEVM內部37個審計組件,確保在以太坊主網上推出時安全可靠。[2022/12/16 21:48:34]
阿里巴巴說:“你們離我一箭遠,然后用弓箭指著我,當你們舉右手我會念咒語打開石門,當你們舉左手我會念咒語關上石門,如果我逃跑或沒有做到,證明我不知道咒語,你們可以一箭殺掉我。”劫匪同意了這個提議,多次嘗試后阿里巴巴都成功按照指示讓石門打開或關上了,但是由于有一定距離,他們聽不清楚咒語到底是什么,就這樣,阿里巴巴沒有透露任何消息就向劫匪證明了他的真實性。
這個例子非常簡單,雖然只是零知識證明機制簡單的概念演示,真正的零知識證明運用的是密碼學,在不透露數據的情況下證明數據的存在。總而言之,要創建零知識證明,驗證者需要讓證明者執行一系列操作,而證明者只有在得知底層信息的情況下才能正確執行。如果證明者亂蒙一個結果,那么驗證者極有可能在驗證中發現并證明他的錯誤。那么零知識證明應用在區塊鏈中有哪些價值呢?
自從這個概念被提出來后,人們就將其應用到了各個領域,比如身份認證系統、存證系統、數據共享、水印檢測,密鑰交換等等,在隱私數據越來越受到大家關注的今天,零知識證明在隱私數據保護的應用中大放異彩:
保護隱私數據:日常生活中,比如只想證明考生及格了,但不想透露具體考了多少分;買保險的時候,只想證明自己沒有心臟病,卻不想暴露病例的所有信息,不管是哪種信息,都可以把不想暴露的部分換成一個很像隨機數字的零知識證明,能夠證明數據真實可信。
身份認證:在使用網站時,用戶可以向網站證明他擁有私鑰,或者知道某個只有自己才知道的答案,網站不用知道密鑰,但可以通過零知識證明確認用戶身份,通過去中心化存儲,服務器可以向用戶證明數據被妥善保存下來且不被泄露。
計算壓縮與區塊鏈擴容:在傳統的區塊架構中,同樣的計算被重復多次,比如簽名校驗,交易的合法性校驗,智能合約執行等一些其他的地方,因為有了計算的證明,同一個計算就不需要多次重復了,計算過程可以被零知識技術證明壓縮。
由此,零知識證明真正解決了「數據的信任」,實現了「隱私數據的保護」,也讓區塊鏈真正實現了「信任機器」這一構想。
Tags:GREENGREELDNFIGreenX NetworkGreen Candle ManZeldaVerseCNFI價格
頭條 ▌彭博社封面:690億美元的Tether加密之謎的5個要點10月7日消息,彭博商業周刊發布封面故事《Tether’s$69BillionMystery》.
1900/1/1 0:00:00元宇宙(Metaverse)并不是一個新名詞,作家尼爾·斯蒂芬森在1992年的反烏托邦小說《雪崩》中創造了它。詞語前綴“meta”意味著超越,“verse”指的是宇宙.
1900/1/1 0:00:00著元宇宙概念股Roblox于2021年3月10日在美國上市,元宇宙開始加速進入人們的視野。有人非常看好元宇宙,將它稱為“下一代互聯網”。許多巨頭也紛紛布局元宇宙,想做第一個吃螃蟹的人.
1900/1/1 0:00:002021年堪稱元宇宙的概念元年。元宇宙這個三十年前的“老詞”,在后疫情時代突然爆紅,不斷出現在公眾視野,臉譜公司7月宣布將從社交網絡公司轉變成元宇宙公司,騰訊、字節跳動、微軟、谷歌等國內外大型科.
1900/1/1 0:00:00元宇宙與VR一樣嗎?哪些公司正在構建元宇宙?元宇宙與混合型工作有什么聯系?在這篇元宇宙入門讀物中,您可以得到這些問題的答案以及更多的信息.
1900/1/1 0:00:00金色周刊是金色財經推出的一檔每周區塊鏈行業總結欄目,內容涵蓋一周重點新聞、行情與合約數據、礦業信息、項目動態、技術進展等行業動態。本文是項目周刊,帶您一覽本周主流項目以及明星項目的進展.
1900/1/1 0:00:00