比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > Ethereum > Info

零知識證明,您不一定讀得懂這簡單的5個字_ELU

Author:

Time:1900/1/1 0:00:00

本文來自:WeeklyBlockChain,作者:幣圈的敬事房太監,星球日報經授權轉發。

▋▊▉語言的博大精深語言的奧妙莫過如此,一些很淺顯的詞語經過組合,立馬就變得高深莫測,在哲學和物理學領域尤其比較多。比如,形而上學。字面的理解,形,形狀;而,介詞;上學,去讀書。歸納起來就是,根據形狀去讀書。這是要看圖說話嗎?再比如,時空扭曲。時空和扭曲分開都好理解,但合并起來,就愛莫能助了。社會上也不少見。比如,失足婦女、待業青年、公共知識分子、民族脊梁、全民所有制、人均GDP、負增長,諸如此類大抵也體現了漢語的博大精深。“零知識證明”也是這樣,照字面理解,不用知識或者說沒有知識即可證明,這怎么證明?誰的中學時代沒有做過幾道證明題呢?老師都是按照知識點給分的,論證的知識點越充分,你的得分就越高。那么。零知識怎么解釋?零知識能證明什么?到底什么是零知識證明?區塊鏈是個大雜燴,就這一口鍋,硬生生的就把計算機、金融學、博弈論、密碼學都一勺給燴了。其中,零知識證明就是密碼學領域的一道菜。▋▊▉阿里巴巴的咒語強盜抓住了阿里巴巴,向他拷問進入山洞的咒語。阿里巴巴心里想:如果我把咒語告訴了他們,他們會認為我沒有價值了,就會殺了我還可以節省糧食;但如果我死活不說,他們會認為我沒有價值而殺了我。怎樣才能做到既讓他們相信我確實知道咒語,但又一丁點咒語也不泄露給他們呢?這的確是一個令人頭疼的問題,但阿里巴巴想了一個好辦法。他對強盜說:“你們在離開我十米遠的地方,用弓箭指著我,你們舉起右手我就念咒語打開石門,舉起左手我就念咒語關上石門,如果我做不到或逃跑,你們就用弓箭射死我。”強盜們當然會同意,這個方案不僅對他們沒有任何損失,而且還能搞清楚阿里巴巴到底是不是真的知道咒語。阿里巴巴也沒有損失,因為處于一箭之地的強盜們聽不到他念的咒語,不必擔心泄露了秘密,同時又讓強盜確信自己有咒語,自己不會被射死。強盜舉起了右手,阿里巴巴的嘴唇動了幾下,石門果真打開了,強盜舉起了左手,阿里巴巴的嘴唇又動了幾下后石門關上了。強盜還是有點不信,說不準這是巧合呢,他們不斷地換著節奏舉右手舉左手,石門跟著他們的節奏開開關關,最后強盜們確信阿里巴巴確實掌握了通關的咒語。

基于零知識的隱私協議 Elusiv 已在 Solana 上線主網:3月9日消息,基于零知識且合規的隱私協議 Elusiv 已在 Solana 上線主網,允許用戶發送隱私交易。此外,Elusiv 與 Solana Pay 兼容,并支持 SOL 和 SPL 代幣。基本合規性功能包括所有權證明和創建查看密鑰的能力,使用戶可以根據需要控制他們共享的交易信息。

據悉,Elusiv 旨在為用戶和商家提供隱私保護,同時通過低交易合規解決方案保持安全。此外,Elusiv 可使標準交易隱私化,同時允許用戶選擇要公開的交易。Elusiv 于 2022 年 11 月完成 350 萬美元融資,Big Brain Holdings、Jump Crypto、Solana Ventures 等參投。[2023/3/9 12:52:17]

如此這般,阿里巴巴既沒有告訴強盜打開山洞石門的咒語,同時又向強盜們證明了,他是知道這個咒語的。這就是阿里巴巴的零知識證明。▋▊▉零知識證明的前世今生零知識證明并不是個什么特別創新的發明。早在16世紀文藝復興時期,意大利有兩位數學家為競爭一元三次方程求根公式發現者的桂冠,就采用了這個方法。數學家塔爾塔里雅和菲奧都宣稱自己掌握了這個求根公式,為了證明自己沒有說謊,又不把公式的具體內容公布出來,他們擺開了擂臺:雙方各出30個一元三次方程給對方解,誰能全部解出,就說明誰掌握了這個公式。比賽結果顯示,塔爾塔里雅解出了菲奧出的全部30個方程,而菲奧一個也解不出。于是人們相信塔爾塔里雅是一元三次方程求根公式的真正發現者,雖然當時除了塔爾塔里雅外,誰也不知道這個公式到底是個什么鬼。我們舉一個生活中的例子。A要向B證明自己擁有某個房間的鑰匙,假定該房間的鎖只能用這把鑰匙打開,而其他任何方法都不可以。有2個方法:A把鑰匙出示給B,B用這把鑰匙打開該房間的鎖,從而證明A擁有打開這個房間的鑰匙。A告訴B該房間內有某一特定的物體,A用自己的鑰匙打開該房間的門,然后把物體拿出來出示給B,從而間接地證明自己確實擁有打開這個房間的鑰匙。有一個前提,在一個密閉的系統內,沒有第二個地方存在這個相同的物體。第二種方法就屬于零知識證明。好處在于,整個證明的過程中,B始終不能看到鑰匙的樣子,從而避免了A的私鑰被泄露。我們再舉一個復雜一點的例子。假如A擁有B的公鑰,但A沒有見過B,而B見過A的照片,偶然一天兩個人見面了,B認出了A,但A不能確定面前的人是否就是B,這時B要向A證明自己就是B,也有兩種方法。B把自己的私鑰給A,A用手上的公鑰對某個數據加密,然后用B的私鑰解密,如果正確,則證明對方確實是B。A給出一個隨機值,并使用B的公鑰對其加密,然后將加密后的數據交給B,B用自己的私鑰解密并展示給A,如果與A給出的隨機值相同,則可以證明B就是B。很明顯,第二種方法,B并沒有向A透露他的私鑰,但也證明了A手上的公鑰正是B的,眼前的這個人就是B。這就是零知識證明。但,你并沒有搞清楚什么是公鑰,什么是私鑰,對嗎?▋▊▉零知識證明和不對稱加密又是一個新概念,不對稱加密。事實證明,不學習是干不好區塊鏈的。通常來說,另外一個人打開保險箱最簡單的辦法就是,從主人那里拿到鑰匙或者是偷過來復制一把相同的鑰匙,這就是對稱加密,加密和解密的是同一把鑰匙,或者說是兩把相同的要是。所謂解鈴還須系鈴人。比如兩個人,其中債務人給債權人快遞了一個上鎖的保險柜,里面有一定數額的錢財,債權人收到之后用手上那把相同的鑰匙即可開鎖。但有一個很麻煩的問題,如果有第三個人復制了這把鑰匙,出現了財產丟失,鑰匙算誰丟的?或者,你根本就不想任何其他人有您手上一模一樣的一把鑰匙,怎么辦?非對稱加密就可以解決這個問題。用一把鑰匙加密,用另一把不同的鑰匙解密。方法是,債權人先快遞了一個保險柜和一把公鑰同時給到債務人,債務人在保險柜里裝上了要快遞的財物然后用這把公鑰鎖上保險柜再快遞給債權人,債權人用手上的私鑰即可打開保險柜。加密的鑰匙只負責加密,解密的鑰匙只負責解密。并且成對出現。鑰匙在加密的時候就變成了鎖。這就解決了一個問題。除了債權人以外沒有任何第二個人可以打開這個保險柜,他對這筆財產擁有完整的、無爭議的所有權。債權人也無需向債務人出示私鑰來證明這個保險柜就是我的,如果保險柜即公鑰不是債權人的,債權人手上的私鑰也無權打開保險柜,這恰恰是債權人最不愿意見到的。不對稱加密就是基于零知識證明的概念而來,即不需要泄露私鑰,一樣也可以證明我就是這個私鑰的主人,并且是唯一的主人。網銀轉賬時使用的U盾就是一個典型的非對稱的加密系統,一般采用1024位RSA不對稱加密算法。以現在的計算機運算速度,至少要10年以上才有可能被破解。數學界有一個公認的難題,當p和q是一個大素數的時候,從它們的積pq去分解因子p和q,近乎等于IMPOSSIBILE。這就是RSA加密的原理。黑客破解密碼的過程就是為一個大素數分解質因數的過程。您U盾里的私鑰和銀行的公鑰都是基于p、q經過復雜的公式運算而來。由于黑客無法破解p和q,所以您可以盡管放心地使用您的私鑰向銀行提供加密信息,銀行通過公鑰解壓,信息一致,則驗證通過。▋▊▉回到區塊鏈的世界里區塊鏈是一個匿名的系統,沒有中心化的監管,也沒有中心化數據儲存你的私鑰,比如像銀行那樣儲存您的銀行卡密碼。但區塊鏈又是一個完全透明公開的系統,任何一個地址,均可以通過區塊鏈瀏覽器查閱到該地址名下的資產數目。在這里,私鑰就相當于您數字錢包的密碼,也可以叫助記詞,這是用戶在區塊鏈世界唯一的身份。而公鑰或者說地址都是由私鑰通過復雜的加密運算生成的。私鑰可以推算出公鑰,但無法由公鑰反推出私鑰。并且一個私鑰,可以推導出多個公鑰,一個公鑰則對應唯一地址。詳情見下圖。

歐易OKX宣布將基于全覽默克爾樹、零知識證明升級儲備金證明:3月2日消息,據歐易 OKX 官方消息,平臺宣布在未來幾個月內升級儲備金證明,將基于全覽默克爾樹、零知識證明的技術來證明償付能力。后續將允許任何人查閱默克爾樹中的所有資產情況,但也會通過拆分和洗牌的方式保障用戶隱私。

據了解,除儲備金干凈度為 100% 外,歐易 OKX 是目前唯一一家同時實現默克爾樹開源驗證、錢包地址所有權開源驗證、鏈上資產開源驗證的交易平臺。自去年 11 月份以來,歐易按月定期發布 PoR 報告,持續引領行業提升透明度。[2023/3/2 12:38:51]

插播一下,提出幾個問題,請持續關注《鏈周刊》,后續推文給各位解釋。為什么私鑰就一個,公鑰需要多個?公鑰一定無法反推出私鑰嗎?既然公鑰和地址是等價的,為什么從地址不能反推回公鑰?同樣基于二者是等價的,有了公鑰,為什么還要再生成一個地址?你掌握了私鑰,就等于你擁有了公鑰,也就是對地址的控制權。由于公鑰不能反推出私鑰的,所以公鑰是明文的,可以公開的,私鑰只能被你個人所有,絕對不能公開。繼續。區塊鏈或者說比特幣本質上是一個喊話+共同記賬的系統。比如,A向B轉賬1個比特幣,首先是A向全網喊話要從某一個地址中減少1個比特幣,而另一個地址則相應的增加1個比特幣。網絡上的礦工收到指令后,會檢查您賬戶中的資產是否超過1個比特幣,如果滿足條件,獲得打包權的礦工將記錄下這一筆交易,然后向全網公布并達成共識,A地址中減少了1個比特幣,B地址中相應的增加1個比特幣。轉賬完成。比特幣系統還設置了一個找零地址,為什么?后續再介紹。那么問題來了。如何向網絡證明這個地址是我的,而不是別人的,也就是我有權用這個地址付款給其他人。我的喊話并不是瞎喊。

公告 | 安永發布第三代零知識證明區塊鏈技術 可通過批量處理降低交易成本:據安永官網今日公告,安永已在以太坊公共區塊鏈上的公共領域發布第三代零知識證明(ZKP)區塊鏈技術。第三代ZKP區塊鏈技術可通過在一次交易中將多個私人轉讓批量處理來顯著降低交易成本,有助于使公共區塊鏈上的私人交易更具可擴展性。[2019/12/19]

中本聰的做法,用通俗的語言可以這么描述。對交易信息先進行hash加密,得到一個摘要信息,即hash值;用您的私鑰對交易摘要進行簽名,即加密,并與交易信息一起在全網廣播;節點在收到您的加密信息后,用您公開的公鑰對信息解密,如果解密出來的hash值和您提供的一致;則證明您對該地址擁有控制權。簡言之,如何向網絡證明我就是我。用私鑰加密,用您提供的公鑰解密,信息一致即通過。這和上一個部分中,B向A證明B就是B的方法有異曲同工之妙。

動態 | 波場TRON網絡即將進行零知識證明匿名交易公測:據官方最新消息,波場TRON網絡即將進行零知識證明匿名交易公測,現在誠邀社區參與MPC過程,參與者越多,匿名交易越安全。通過參與MPC,用戶可以將貢獻永久的保存在TRON網絡中。參考見原文鏈接。[2019/12/19]

動態 | 摩根大通正在測試零知識隱私解決方案:據coindesk報道,摩根大通(JPMorgan Chase)正在測試一種名為AZTEC的零知識隱私解決方案。該協議由倫敦創業公司AZTEC開發,旨在以更低的成本和更高效的方式對區塊鏈數據進行加密。摩根大通內部人士證實,該銀行的Quorum團隊正在關注AZTEC,并且一直希望將Quorum的零知識證明工業化。[2019/3/1]

Tags:區塊鏈比特幣ELULUS區塊鏈存證怎么弄比特幣害死了多少人了Legends of ElumiaFame Reward Plus

Ethereum
“加密貨幣保險”真的保險嗎?_加密貨幣

從金融業到制造業,甚至是個人財產,保險業幾乎涵蓋經濟領域各個分支。隨著加密貨幣市場的不斷升溫,保險業似乎開始將目光投注于此.

1900/1/1 0:00:00
PoW浪費能源快成過去式?事實可能剛好相反_比特幣

編者按:本文來自哈希派,作者:哈希派,編譯:白T俠,星球日報經授權轉發。在過去的幾年里,有許多關于比特幣工作量證明機制正在浪費大量能源的說法,但這其實這只是大眾對PoW機制的一種刻板印象或者誤解.

1900/1/1 0:00:00
BM即將推出WASM解釋器,目前已通過測試,解釋執行和編譯執行了解一下_EMB

BM在EOS官方群里表示,“即將推出WASM解釋器,用來解釋執行WebAssembly智能合約,目前已經通過所有測試并接入到主網和測試網.

1900/1/1 0:00:00
除了貨幣,區塊鏈落地應用到底是不是偽命題?_JIM

本文來自:橙皮書,作者:橙皮書,星球日報經授權轉發。這篇文章是一場針鋒相對的辯論,它是行業里很典型的兩種人的對話碰撞,一種在大公司做企業區塊鏈應用,或者是鏈圈老兵,相信落地、生態和社區;一種是天.

1900/1/1 0:00:00
比特幣的下個春天里沒有區塊鏈_比特幣

編者按:本文來自老喵論壇,作者:老喵,星球日報經授權發布。 目錄 01比特幣與區塊鏈的關系02區塊鏈的過度包裝,Dapp的空想03股權融資與ICO融資的本質區別04BTC與ETH壹比特幣與區塊鏈.

1900/1/1 0:00:00
圣路易斯聯邦銀行承認BTC為合法貨幣,是要自我革命?_加密貨幣

據BitcoinExchangeGuide報道,美國圣路易斯聯邦儲備銀行近來的種種發聲,似是在公開承認比特幣是一種合法貨幣,并支持個人用其進行交易.

1900/1/1 0:00:00
ads