以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > MANA > Info

從簡單和實用出發,一文讀懂零知識證明_NFT

Author:

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

作者:benlaw.eth

你之前是否閱讀過一些零知識證明的文章,但仍一頭霧水?這些文章可能:

只以故事和童話作例子來論述ZKP,無法深入其本質。

內含大量密碼學術語,數學公式,學術論文等,對初學者而言過于復雜。

本文提供了對ZKP簡明扼要的概述,并從數學、密碼學和編程角度進一步闡述ZKP的核心要素。

向色盲提供顏色證明

如何向色盲患者證明兩個球的顏色確實是不同的?這其實并不復雜:

讓他在手里握住兩個球,背到背后,然后隨機選擇交換或不交換兩個球的位置,再展示給你看,你告訴他這兩個球的位置是否有變化。

在他看來,你可以通過瞎蒙來完成一次證明。不過,如果成千上萬次地重復這個過程:如果你總是能說出正確答案,那么靠純蒙的方式來保持一直正確的概率,是小到可以忽略的。因此可以通過這種方式來向色盲患者證明:兩個球的顏色確實不一樣,并且我們也有感知和區分的能力。

惡意軟件“變色龍”冒充政府機構和加密交易所展開網絡攻擊:金色財經報道,網絡安全公司Cyble發現一種名為 Chameleon(“變色龍”)的新安卓惡意軟件冒充澳大利亞政府機構CoinSpot加密貨幣交易所和IKO銀行,通過受損網站、Discord附件和Bitbucket托管服務進行分發,對澳大利亞和波蘭的用戶展開網絡攻擊。

Cyble的安全研究人員表示Chameleon主要通過疊加注入和密鑰記錄、cookie 和受感染設備的短信竊取用戶憑據。

Chameleon作為一種新興惡意軟件威脅,可能會在未來的版本中增加更多的功能,因此網絡安全專家建議安卓用戶保持謹慎安裝應用程序。[2023/4/21 14:18:19]

顏色證明

上述證明過程是典型的零知識證明:

驗證者無法在證明過程中獲得任何關于顏色的知識,因為經過驗證過程后他依然沒有區分顏色的能力。

該驗證過程是概率性的而非決定性的。

該過程是交互式的,需要多輪交互。不過,零知識證明中也有許多協議,通過高級技巧將證明過程轉化成了非互動式的。

摩根大通:相信存款代幣將與CBDC一起成為數字資產生態系統中廣泛使用的貨幣形式:金色財經報道,摩根大通Onyx數字代幣全球產品負責人Basak Toprak表示,數字貨幣領域仍在不斷涌現,各種類型的數字貨幣將競相服務于不同的用例。我們相信存款代幣將與中央銀行數字貨幣一起成為數字資產生態系統中廣泛使用的貨幣形式。Oliver Wyman數字資產全球負責人Ugur Koyluoglu補充道,與穩定幣不同,存款代幣還受益于與傳統銀行基礎設施的連接以及已經支持銀行存款的監管保障措施。

\u2028[2023/2/12 12:01:48]

掌握知識的證明

我們已經分享了一種現實世界中的零知識證明的例子,接下來再來看一下在二進制世界中如何實現零知識證明。

Arthur是Elon的朋友,并且知道對方的手機號。Betty不知道Elon的號碼。如果Arthur想要向Betty證明他知道,但又不想泄露號碼,應該怎么實現呢?

知識證明

Raydium已上線賠償頁面,受損失的個人LP可進行索賠:金色財經報道,據官方推特,Solana生態去中心化交易所Raydium宣布上線賠償頁面,在因12月15日黑客攻擊而受損的個人LP現在可進行索賠。

據悉,該頁面將開放2個月。這是Raydium補償計劃的第一階段,該階段不包含對第三方協議和策略金庫的補償。關于第二階段補償計劃的信息將于未來幾天公布。

此前報道,此前12月Raydium多個資金池遭到攻擊,總損失約為439.5萬美元,一月初Raydium漏洞補償提案以100%的支持率獲得投票通過,補償資金來源于兩部分,分別為1. 使用Squad的多簽部署withdrawPNL并從金庫收集PNL,所賺取的費用將用于回購RAY并存入指定地址。2. 運用金庫資產來補償黑客攻擊造成的損失。[2023/1/6 15:39:24]

一種不成熟的方案是,Elon發布自己電話號碼的哈希,Arthur通過一個程序輸入哈希的原像,程序進行運算并檢查結果。這個方法有一些致命的缺陷:

根據哈希,Betty可以通過暴力破解的方式得到原像,能破解出來的概率是不可忽略的,而且得到的結果幾乎是確定性的。

BurnBNB:目前已經銷毀111300枚BNB:金色財經消息,BurnBNB發推特表示,自BEP-95實時銷毀升級以來,已經銷毀了111,300枚BNB(價值45,132,350美元)。[2022/8/14 12:25:00]

Arthur必須向該程序輸入原像。如果程序在Arthur的電腦上,Betty就會對此有疑問:我怎么知道你有沒有作弊,你的電腦也許會一直聲稱你的證明是對的?

如果程序在Betty的電腦上運行,Arthur也會擔心,自己輸入的信息會不會被竊取,即使程序肉眼可見的代碼中并沒有竊取信息的命令。

因為無法將程序分開在不同的環境中運行,這個信任問題是難以解決的。

常規的方法在這里碰壁了,是時候讓零知識證明出場了!

基于密碼學的零知識證明的實現方案

在此我會用零知識證明中的SigmaProtocol來解決問題,因為它比較簡單。并且,為了簡潔和易于理解,這里不會使用嚴格的密碼學和數學中的定義、術語及推導過程等。

報告:到 2028年NFT市場規模將增至 73.908 億美元:金色財經報道,NFT市場按類型(藝術和收藏品、游戲)、應用(初級市場、二級市場初級市場、二級市場)劃分。2022-2028機會分析和行業預測。預計到2028 年,NFT市場規模將從 2021 年的15.536 億美元增至 73.908 億美元,?2022-2028年的復合年增長率為 24.4%。

此外,NFT 在供應鏈管理、零售和時尚領域的使用越來越多,以及行業巨頭為實現元界和 NFT 個性化所做的努力,將為 NFT 供應商帶來誘人的前景。

從地區來看,北美是最大的市場,份額約為 34%,其次是亞太和歐洲,份額約為 31% 和 23%。根據類型,藝術品和收藏品是最大的細分市場,份額超過 70%。NFT 允許人們創建、共享和獲取廣泛的數字資產,包括視覺藝術、游戲和音樂,從而引發了一場數字革命。從應用來看,最大的應用是一級市場,其次是二級市場。[2022/6/22 4:44:05]

核心流程

使用零知識證明證明一個人有特定的知識,我們采取如下辦法:

Sigma協議

定義一個P階的有限群及其生成元g。我們可以暫時忽略這些奇怪的名詞具體什么意思。

根據上面的定義,某個擁有知識或能接觸到知識的第三方,將知識通過h=g^w(modP)的方式加密后,將h發布出去。

證明者啟動零知識證明流程。生成一個隨機數r,計算a=g^r,并將a發送給驗證者。

驗證者生成一個隨機數e并發送給證明者。

證明者計算z=r+ew并發送給驗證者。

驗證者檢查g^z==a·h^e(modP)。如果為真,則驗證者確實掌握其聲稱的知識。

好啦,該證明協議到此就結束了!非常簡短,但你仍可能對上面的一些數學運算感到困惑,但這不要緊,我們先有個大概印象再深入理解。

數學原理

這套流程背后的核心數學原理是離散對數難題:當P是一個很大的質數時,對于給定的h,很難找到滿足h=g^w(modP)的w。該原理適用于上面所有類似的式子。

我們來一步一步解析下:

經過加密的知識h=g^w(modP),是難以被暴力破解的。由于求余運算的特點,即使被破解了也不具備單一確定解。這意味著對證明者而言,通過暴力破解來作弊,欺騙驗證者,是不可行的。

然后我們將3,4,5步作為一個整體來看一下他們為什么要交換這些隨機數:

I.證明者并不想暴露其秘密,所以他必須用隨機數包裹一下將其隱藏起來。而驗證者也需要通過添加一些隨機數,讓該知識可被自己驗證的同時防止證明者作弊,而且不會窺探到證明者的秘密。

II.如果驗證者先發送了隨機數e,很明顯,證明者可以通過編造a=g^z·h^-e來在最終檢查中欺騙驗證者,即使沒有知識也可以通過。所以證明者必須先手發送一個承諾(a=g^r),但非r本身,來避免可作弊場景,同時不讓驗證者通過w=(z-r)/e提取到秘密。

III.在收到承諾后,驗證者向證明者發送隨機數e。由于其本身或者其衍生物無法泄露任何一方的信息,這個數不需要加密。之后證明者計算z=r+ew并將z發送給驗證者。驗證者最終通過檢查g^z=g^(r+ew)=g^r·(gw)^e=a·h^e來確定證明者是否掌握知識。

通過這種往返交錯的結構,我們收獲了三個性質:

完備性:當且僅當證明者輸入正確知識,驗證才能通過。

可靠性:當且僅當證明者輸入錯誤知識,驗證才會失敗。

零知識性:驗證者無法在驗證過程中獲取任何知識。

上述三點即零知識證明的核心特性。通過數學和密碼學,我們構建出了一套光怪陸離的證明體系。恭喜你一路走了這么遠,現在應該已經可以說正式邁入了富麗堂皇又奧妙無窮的ZKP圣殿。

Havefun!

進一步了解

模擬器和零知識性

我們現在來考慮一些魔幻場景。如果一個證明者具有預言或篡改驗證者生成的隨機數的超能力,我們稱其為模擬器。

模擬器vs驗證者

設想,模擬器在驗證者的隨機數e生成前就對其進行了篡改,確保其生成后是自己預設的值。根據上面II所說,這種能力使模擬器能編造承諾a來欺騙驗證者。不論模擬器的輸入是什么,驗證者總會得出結論模擬器具有知識,然而實際上他并沒有。

顯然,經過這種思想實驗我們可以得出結論,驗證者無法在該零知識證明協議中獲取任何知識,也即其零知識性是成立的:

零知識性<==?模擬器S,使得S(x)與真實的協議執行不可區分,其中S(x):選擇隨機的z和e,令a=g^z·h^-e,其中(a,e,z)的分布與真實的隨機數環境一致并滿足g^z=a·h^e。

抽取器和可靠性

再來想象一下另一種超能力者——抽取器,具有時光倒流的能力。不過這次是抽取器作為驗證者,面對一個正常的證明者。

當協議結束時,抽取器發起時間倒流,回到協議的起點,并持有上一輪得到的(z,e,a)。現在,協議重新執行一遍。由于證明者沒有超能力無法進行時間旅行只能在固定的時間線上做確定的事,他又生成了一個一模一樣的隨機數r以及承諾a=g^r,而抽取器則可以生成新的隨機數e'給證明者。

證明者vs抽取器

現在,抽取器獲得了:g^z=a·h^e,g^z'=a·h^e=>g^(z-z')=h(e-e')=>加密后的知識h=g^((z-z')/(e-e'))=>知識w=(z-z')/(e-e').

顯然,只要證明者真的掌握了知識,抽取器總是可以將其抽取出來,也即完備性成立:完備性<==?抽取器E,對給定的任何h,在掌握(a,e,z),(a,e',z')且e≠e'的情況下,都能輸出ws.t.(h,w)∈R.

完備性

完備性不需要任何特殊角色來證明,因為:g^z=g^r+ew=g^r·(g^w)^e=a·h^e.

Tags:NFTARTARTHHURBAKC Vault (NFTX)SPARTA幣EARTHSHIBHURRICANE

MANA
Optimism自述成長歷程,或將推出治理代幣?_MIS

原文標題:《ANewChapter》原文作者:Optimism原文編譯:Kyle,DeFi之道 很難相信,距離Optimism主網正式推出已經過去一年多了.

1900/1/1 0:00:00
加密指數DAO社區Index Coop宣布推出NFT指數產品_NFT

鏈捕手消息,鏈上加密指數DAO社區IndexCoop宣布推出NFT指數代幣JPG。JPGNFT指數代幣通過單一代幣的便利性,提供對一籃子藍籌股和高端NFT藏品的多元化敞口.

1900/1/1 0:00:00
邁阿密比特幣2022大會精彩時刻:市長揭幕“邁阿密公牛”,金融大鱷回顧入圈趣事_比特幣

作者:白澤研究院 2022年4月6日至9日,全球最大的比特幣會議「比特幣2022」在美國邁阿密舉行,吸引了超過3.5萬與會者.

1900/1/1 0:00:00
軟銀愿景領投的DeFi交易加速工具 bloXroute 如何為區塊鏈擴容?_BLO

來源:bloXroute?近日,DeFi交易加速工具bloXroute宣布完成7000萬美元B輪融資,軟銀愿景基金二期領投.

1900/1/1 0:00:00
Near 生態借貸協議 Burrow 完成 500 萬美元融資,Dragonfly Capital 等參投_NEAR

鏈捕手消息,據CoinDesk報道,NEAR生態借貸協議Burrow完成500萬美元融資,DragonflyCapital、ParaFiCapital、JumpCrypto、QCPCapital.

1900/1/1 0:00:00
加密分析師 Q2 行業展望:元宇宙會是未來主流,資金會分配到游戲和DeFi藍籌_EFI

撰寫:RaymondChng編譯:TechFlowintern 宏觀 俄烏戰爭是過去幾周的頭條新聞,這一事件引發了TradFi投資者的大量投資組合變化,并為加密貨幣市場帶來了局部底部.

1900/1/1 0:00:00
ads