產品推薦

向日葵安卓版免费下载Preciset機房空調
向日葵安卓安装下载Precise係列專為中小型機房設計的機房專用空調Precise...【詳細】
MPS 10-100 kVA UPS
MPS係列UPS設備確保任何類型的負載,最大限度的保護和電能質...【詳細】

聯係向日葵安卓安装下载

服務熱線
010-62104284

地址:北京市海澱區知春路豪景大廈B座十層
魯文: 13520099504
Q Q:514468705/1049705527
郵箱:jhcxkj@163.com

首頁 > 新聞中心 > 當區塊鏈遇到零知識證明

當區塊鏈遇到零知識證明

雙擊自動滾屏 發布者:精密空調 發布時間:2019-07-01 08:50:19 閱讀:次【字體:

什麽是零知識證明

零知識證明的官方定義是能夠在不向驗證者任何有用的信息的情況下,使驗證者相信某個論斷是正確的。這個定義有點抽象,下麵筆者舉幾個例子,來幫助讀者理解這個概念

例子一:小明有鑰匙

地主有一個漂亮的女兒,一直沒有嫁出去,有一天地主撿到一把鎖,他靈光閃現,何不讓老天爺來決定我閨女嫁給誰,於是乎他就發布告示,如果有誰擁有這把鎖的鑰匙,他就把女兒嫁給他。

小明看到那把鎖,心想這不是我前兩天扔的那把鎖嗎?我有鑰匙啊,但是他又不想把鑰匙拿出來讓大家看到,因為鑰匙上有不可告人的秘密。於是他找到地主,說出了自己的苦衷,地主略微思考了一下,想到了一個好辦法。

他讓人搬了一個密封的大木箱,把自己的貼身玉佩放到了箱子裏,然後用鎖鎖起來,說如果小明第二天把玉佩交給他,那小明就可以娶到他的女兒。

小明晚上偷偷用鑰匙打開了箱子,然後把玉佩取出來,第二天交到了地主手中。然後和美女幸福的生活在了一起。

這個故事中小明並沒有把鑰匙給地主看,也沒有當著地主把鎖打開,但是卻證明了自己確實有鑰匙。

例子二:哥德巴赫猜想的證明

眾所周知,哥德巴赫猜想是一個世界級別的數學難題,有一天一個中國大學生小明找到了證明哥德巴赫猜想的方法。但是他說我能證明出來,沒人相信他,甚至沒人願意看他的證明過程,因為名氣太小了。這時候他就想到可以讓導師出麵證明他已經找出了證明方法,但是他遇到了一個兩難的問題:

如果他把證明方法給導師看,導師可能直接說這個證明方法是他發現的。

如果他不把證明方法給導師看,導師也不相信他能找到哥德巴赫猜想的證明方法。

實在是難壞了小明!!!!!!!!

零知識證明可以幫助小明解決他的難題,零知識證明的世界裏,小明可以不把實際的證明過程給導師看,隻需要提供給導師另外一段數據,導師拿到這段數據經過驗證可以知道小明真的有哥德巴赫猜想的證明方法,但是導師並沒有看到真正的證明過程。

比特幣的困境

假如你對比特幣有了解的話應該知道,比特幣就是一個共有的賬本,A轉給B一筆錢就是在區塊鏈上寫一條記錄"A轉給B 10塊錢",A的10塊錢從哪兒來呢?要求必須是以前某人C在區塊鏈上寫一條記錄"C轉給A 10塊錢"。於是比特幣的區塊鏈上就是存放了一條一條的賬本條目:

C轉給A 10塊錢

A轉給B 10塊錢

B轉給D 5塊錢

B轉給E 5塊錢

E轉給D 5塊錢

D轉給A 10塊錢

但是這樣會帶來一個問題,號稱匿名的比特幣係統卻做不到真的匿名,因為賬本是公開的,所以大家都能看到A,B,C,D,E都有多少錢,並且是在什麽時間得到的這筆錢的。而所謂的匿名性其實是不存在的。

PS:比特幣的匿名性其實是指一般無法把A對應到真正的交易人實體,A隻是一個賬戶標號,而不是類似"小明"這樣的實際個人。但是假如小明是A賬戶的擁有者,而小明最終有可能因為操作賬戶A兌換了人民幣或者購買什麽東西,而被發現其實A就是小明。所以這個匿名性並不是真正的匿名性。

ZCASH怎麽結合零知識證明到區塊鏈

為了解決比特幣的非匿名問題,零知識證明被ZCASH引入到比特幣係統中。那麽它是怎麽實現匿名性的呢?且看娓娓道來。

假設有一個大池子,裏麵有一大堆的箱子,每一個箱子都被鎖住並且隻有一把鑰匙可以打開,而且箱子中都有一張紙條,內容格式如下:

"這個箱子值x塊錢"

向日葵安卓安装下载暫且叫這個大池子為"大池子賬本"。

ZCASH整個交易係統就是這樣一個大池子,當A要轉給B 10塊錢的時候,A會填寫一張字條:"這個箱子值10塊錢",然後把這個字條放到一個箱子裏,鎖上,把箱子和箱子對應的鑰匙一起給了B,B拿到箱子和鑰匙,用鑰匙打開了箱子一看字條的內容是,"這個箱子值10塊錢"B就知道他確實得到了10塊錢,然後把箱子扔到大池子裏,而鑰匙他保留了下來,這樣B就相當於在"大池子賬本"裏記錄了他擁有了10塊錢這個事實。

因為B有鑰匙,所以他能知道自己有多少錢,並且在適當的時候花掉這筆錢,但是別人(除了A)隻能看到箱子,看不到紙條的內容,並不知道箱子值多少錢,並且也不知道箱子到底屬於誰(B有鑰匙這件事兒他們不知道)。也就是ZCASH這個"大池子賬本"係統,做到了隱藏兩個比特幣係統不能隱藏的事實:

1、 交易的參與者是誰

2、 交易的金額是多少

如果你想從係統中找出B有多少錢的信息,因為你打不開箱子,甚至都不知道哪些箱子是B的,所以你會一無所獲。

聰明的讀者可能會發現這個係統有一個關鍵的問題沒有解決,A憑啥就可以做一個箱子並且說這個箱子值10塊錢?B和別的參與者憑啥相信B這個箱子真的值10塊錢,這裏就要靠零知識證明的強大力量了。

其實大池子中有一個箱子a是屬於A的,A擁有這個箱子的鑰匙akey,並且箱子裏麵的紙條上寫著:"這個箱子值10塊錢"。當A創建箱子b和對應的鑰匙bkey的時候也會創建一個零知識證明的憑條akill,這個憑條的作用就是作廢掉箱子a。

這個零知識憑條akill的神器功能就是:

1、所有參與者看到這個akill憑條就知道它對應到大池子裏的一個箱子

2、所有參與者看到akill就知道它又生成了一個箱子b,並且箱子的紙條是合法的

3、除了A之外的所有參與者並不知道akill對應的就是a這個箱子

4、akey和akill是一一對應的關係

有點繞,簡單來說,就是A在不提供鑰匙akey隻提供零知識證明憑條akill的情況下證明兩件事

1、 自己擁有一把可以打開大池子中某個箱子的鑰匙

2、 證明箱子b是合法的

這樣就簡單了,A把箱子b給B的時候,先把akill扔到了大池子裏,讓大家看,B看到了akill被放到了大池子裏,他就相信b箱子是合法的,他確實值10塊錢。

餘下最後一個問題?如果A每次都說自己擁有打開某個箱子的鑰匙,一筆錢被花了很多次怎麽辦?

akill和akey是一一對應的,並且akill被放到大池子裏了,所有參與者都能看見,如果下次他又想給C一個箱子c並且用akill來證明,因為C看到akill已經在大池子裏了,所以C就不相信A了。

PS:這裏可能部分人會疑惑另外一個問題,當A扔akill到大池子裏,或者B扔箱子到大池子裏的時候他們的身份不就暴漏了嗎?

這裏可以認為他們是偷偷扔的,具體對應到網絡上的實現就是B隨便找了一台網絡設備把箱子b對應的數據上傳到區塊鏈上。而想通過這台設備找到B很難,並且B也可以托C上傳箱子b的數據

來源:精密空調 http://www.cubicleflood.com

在線谘詢 電話谘詢