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

如何將交互式的零知識證明(zk proof)協議改造為非交互式_PRO

Author:

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

前言

密碼學當中的零知識證明技術在web3世界有著廣泛的應用,包括進行隱私計算、zkRollup等等。其中Layer2項目FOX所使用的FOAKS就是一個零知識證明算法。在上述的一系列應用當中,對于零知識證明算法而言,有兩方面屬性極為重要,那就是算法的效率以及交互性。

算法效率的重要性不言而喻,高效的算法可以明顯的降低系統運行時間,從而降低客戶端延遲,顯著的提高用戶體驗和效率,這也是FOAKS致力于實現線性證明時間的一個重要原因。

另一方面,從密碼學的角度來講,零知識證明系統的設計往往依賴證明者和驗證者的多輪交互。例如在許多介紹零知識證明的科普文章當中都會使用的“零知識洞穴”的故事當中,證明的實現就依賴于阿里巴巴和記者多輪的信息傳遞交互才能實現。但是事實上,在許多應用場景當中,依賴交互會使得系統不再可用,或者極高的增加延遲。就像在zkRollup系統當中,我們期望證明者能夠在本地,不依賴于和驗證者交互的情況下就計算出正確的證明值。

從這個角度說,如何將交互式的零知識證明協議改造為非交互式,就是一個很有意義的問題。在這篇文章當中,我們將介紹FOX使用經典的Fiat-Shamir啟發式來生成Brakedown中的挑戰從而實現非交互式協議的過程。

美國議員要求孫宇晨解釋如何防止極端內容在DLive平臺上播出:2月10日消息,Reps. Raja Krishnamoorthi和Jackie Speier兩位美國議員寫信要求波場創始人孫宇晨和DLive首席執行官Charles Wayn解釋,繼上月華盛頓特區企圖叛亂后,他們計劃如何防止極端內容在BitTorrent旗下流媒體平臺DLive上播出。這封信與上個月國會的叛亂有關。幾名極右極端分子在美國國會大廈被攻破時通過DLive進行直播,其中一些人后來被捕。(CoinDesk)[2021/2/10 19:23:04]

零知識證明中的Challenge

零知識證明算法隨著應用的鋪開而變得異常火爆,近些年也誕生了包括FOAKS、Orion、zk-stark等在內的各種算法。這些算法,以及密碼學界早期的sigma協議等的核心證明邏輯都是證明者先將某個值發送給驗證者,驗證者通過本地隨機數產生一個挑戰,將這個隨機產生的挑戰值發給證明者,證明者需要真的有知識才能以大概率做出通過驗證者的響應。例如在零知識洞穴當中,記者拋一個硬幣,告訴阿里巴巴從左側出來還是從右側出來,這里的“左和右”就是對阿里巴巴的挑戰,他如果真的知道咒語,就一定可以從要求的方向走出來,否則就有一半的概率失敗。

這里我們注意到,Challenge的生成是一個很關鍵的步驟,它有兩個要求,隨機和不可被證明者預測。第一點,隨機性保證了它的概率屬性。第二點,如果證明者可以預測挑戰值那就意味著協議的安全性被破壞了,證明者沒有知識也可以通過驗證,可以繼續類比,阿里巴巴如果能預測記者要求他從哪邊出來,他即使沒有咒語也可以提前進入那一邊,結果表現出來一樣可以通過協議。

聲音 | 微軟李國平:應用區塊鏈技術應多思考如何賦能、少談顛覆:據經濟觀察網12月6日消息,微軟中國金融行業總監李國平表示,第一,今天應用區塊鏈技術,應該多思考如何賦能,少談顛覆。他認為其實在從傳統業態向數字生活,數字經濟邁進的過程中,有很多行業場景存在痛點和短板,在整個信息化進程中如何補足現有實體經濟中的這些問題,賦能現有業務,提高效率,降低成本,是區塊鏈應用最應該思考的問題;第二,科技向善。今天的區塊鏈技術、人工智能技術等,公眾是存在認知差的。出現了認知差,就存在炒作的空間,就可能有泡沫,還包括新技術濫用數據等問題。因此在應用新的技術時,要在態度上端正,敬畏監管,敬畏客戶,敬畏可持續發展,這樣才能走的更遠,更穩;第三,從網絡效應原理來看,網絡是越大價值越大。從最早的局域網到以太網到現在整個互聯的世界,網絡的效應是需要擴大的。因此今天談公有鏈,鏈與鏈之間有沒有標準?全球有沒有標準?中國有沒有標準?很多企業資產能不能鏈互鏈?思考和解決這些問題,有助于區塊鏈的應用范圍和價值的擴大。[2019/12/7]

所以我們需要一種辦法,能夠讓證明者自己本地生成這樣一個不可預測的隨機數,同時還能夠被驗證者驗證,這樣就可以實現非交互式的協議。

哈希函數

哈希函數的名字對我們來說或許并不陌生,無論是在比特幣的共識協議POW當中擔任挖礦的數學難題,還是壓縮數據量,構造消息驗證碼等等,都有哈希函數的身影。而在上述不同的協議當中,其實是運用了哈希函數的各種不同性質。

動態 | 200余名全球執法人員參加國際犯罪會議,探討如何制止加密犯罪:據TheNextWeb報道,本周,根據澳大利亞聯邦警察(AFP)的聲明,超過200名來自世界各地的執法人員將出席在布里斯班舉行的國際犯罪會議,共同探討尋找加密犯罪的方法。AFP代理局長Justine Gough表示,加密貨幣和加密通信等技術的進步已經改變了罪犯獲取和隱藏資產的方式,抓住并消除犯罪阻止他們獲利,是打擊有組織的犯罪網絡最有效的方法之一。[2019/11/14]

具體來講,安全的哈希函數的性質包括以下幾點:

壓縮性:確定的哈希函數可以將任意長度的消息壓縮成為固定長度。

有效性:給定輸入x,計算輸出h是容易的。

抗碰撞性:給定一個輸入x1,希望找到另一個輸入x2,x1x2,h=h,是困難的。

注意,如果哈希函數滿足抗碰撞性,那么必然滿足單向性,也就是說給定一個輸出y,要找出x滿足h=y是困難的。在密碼學當中,還不能構造出理論上絕對滿足單向性的函數,但是哈希函數在實際應用當中可以基本視作單向函數。

這樣一來,可以發現上述的幾種應用分別對應于哈希函數的幾點不同的性質,同時我們說,哈希函數還有一個很重要的作用是提供隨機性,雖然密碼學理論當中要求的完美的隨機數生成器目前也無法構造,但是哈希函數在實際當中同樣可以充當這個角色,這就為我們后文介紹的Fiat-Shamir啟發式的技巧提供了基礎。

Thomas 發布趣味視頻 講述EOSIO系統如何向節點支付獎勵:據金色財經合作媒體IMEOS 報道,昨日 Thomas Cox 在 YouTube 上傳了一個手繪風視頻,為大家講解 EOSIO 系統如何向節點支付獎勵。視頻中說到,按照每年通貨膨脹 5% 的規則,每天大約會有 133,000 個新的 Token 產生,那么增發總數的 1%,即約為 27,000 個新的 Token 用于支付節點支出。并且,新系統中沒有取中間值報價的說法。另外 4% 會進入 Worker Proposal Fund。[2018/5/21]

Fiat-Shamir啟發式

事實上,Fiat-Shamir啟發式就是利用哈希函數來對前面生成的腳本進行哈希運算,從而得到一個值,用這個值來充當挑戰值。

因為將哈希函數H視作一個隨機函數,挑戰是均勻隨機的被選擇,獨立于證明者的公開信息和承諾的。安全分析認為Alice不能預測H的輸出,只能將其當作一個oracle。在這種情況下,Alice在不遵循協議的情況下做出正確響應的概率(特別是當她不知道必要的秘密時)與H的值域的大小成反比。

比特幣如何被盜:5種常見威脅:1、小偷在存儲服務中獲取您的帳戶的密碼;2你公開你的私鑰;3、黑客冒充比特幣收件人;4、你依靠一個不安全的第三方;5、出口騙局。[2017/12/9]

圖1:利用Fiat-ShamirHeuristic實現非交互式證明

非交互式FOAKS

在本節,我們具體展示Fiat-Shamir啟發式在FOAKS協議當中的應用,主要是用來產生Brakedown部分的挑戰,從而實現非交互式的FOAKS。

首先我們看到,在Brakedown生成證明的步驟當中,需要挑戰的步驟是“近似性檢驗”以及MerkleTree的證明部分。對于第一點原本的過程是證明者在這里需要驗證者產生的一個隨機向量,計算過程如下圖所示:

圖2:非交互證明FOAKS中的BrakedownChecks

現在我們使用哈希函數,讓證明者自己產生這個隨機向量。

令γ0=H(C1,R,r0,r1),對應的,在驗證者的驗證計算當中,也需要增加這個計算出γ0的步驟。根據這樣的構造,可以發現,在生成承諾之前,證明者并不能提前預測挑戰值,于是不能提前根據挑戰值來對應的“作弊”,也就是對應的生成假的承諾值,同時,根據哈希函數輸出的隨機性,這個挑戰值也滿足隨機性。

對于第二點,令?=H(C1,R,r0,r1,c1,y1,cγ0,yγ0)。

我們使用偽代碼給出改造后非交互式的Brakedown多項式承諾當中的證明和驗證函數,這也是FOAKS系統當中使用的函數。

functionPC.Commit(?):

Parsewasak×kmatrix.TheproverlocallycomputesthetensorcodeencodingC1,C2,C1isak×nmatrix,C2isan×nmatrix.

fori∈do

ComputetheMerkletreerootRoott=Merkle.Commit(C2)

ComputeaMerkletreerootR=Merkle.Commit(),andoutputRasthecommitment.

functionPC.Prover(?,X,R)

Theprovergeneratesarandomvectorγ0∈Fkbycomputing:γ0=H(C1,R,r0,r1)

Proximity:

Consistency:

Proversendsc1,y1,cγ0,yγ0totheverifier.

Provercomputesavector?aschallenge,inwhich?=H(C1,R,r0,r1,c1,y1,cγ0,yγ0)

foridx∈?do

ProversendsC1andtheMerkletreeproofofRootidxforC2underRtoverifier

functionPC.VERIFY_EVAL(ΠX,X,y=?(X),R)

Proximity:?idx∈?,Cγ0==<γ0,C1>andEc(yγ0)==Cγ0

Consistency:?idx∈?,C1==<γ0,C1>andEc(y1)==C1

y==1,y1>

?idx∈?,Ec(C1)?isconsistentwithROOTidx,andROOTidx’sMerkletreeproofisvalid.

Outputacceptifallconditionsaboveholds.Otherwiseoutputreject.

結語

許多的零知識證明算法在設計之初都依賴證明者和驗證者雙方的交互,但是這種交互式證明協議不適合用在追求高效,網絡通訊開銷大的應用場景下,比如鏈上數據隱私保護和zkRollup等等。通過Fiat-Shamir啟發式,可以在不破壞協議安全性的條件下讓證明者本地生成隨機數“挑戰”,并且可以被證明者驗證。根據這種方法,FOAKS同樣實現了非交互式的證明,并應用在系統當中。

參考文獻

1.Fiat,Amos;Shamir,Adi(1987)."HowToProveYourself:PracticalSolutionstoIdentificationandSignatureProblems".AdvancesinCryptology—CRYPTO'86.LectureNotesinComputerScience.SpringerBerlinHeidelberg.263:186–194.doi:10.1007/3-540-47721-7_12.ISBN978-3-540-18047-0.

2.https://www.cnblogs.com/zhuowangy2k/p/12246575.html

撰文:康水躍,FoxTechCEO;孟鉉濟,FoxTech首席科學家

來源:DeFi之道

Tags:PROCOMOAKVERAPPLE PROTOCOL TOKENYINCOME價格cloak幣今日行情Sabai Ecoverse

比特幣
金色早報 | Coinbase:BUSD仍可隨時提取_USD

頭條 ▌?Coinbase:BUSD仍可隨時提取金色財經報道,據CoinbaseAssets在社交媒體發文稱,雖然Coinbase已禁用了BinanceUSD交易,但用戶的BUSD資金仍可使用.

1900/1/1 0:00:00
USDC脫錨危機中的大戶操作:2天賺414萬美元_ETH

作者:鏈上分析師@Lookonchain 編譯:Felix 近日,在硅谷銀行破產事件的席卷下,美元穩定幣USDC本周末開始脫錨并下跌,在監管機構干預下,事件漸息.

1900/1/1 0:00:00
美國猶他州立法機關已通過DAO法案,將于2024年生效_DAO

金色財經報道,美國猶他州立法機關于3月1日通過了HB357法案,即《猶他州去中心化自治組織法案》,由此,猶他州已成為第一個通過立法承認去中心化自治組織的州.

1900/1/1 0:00:00
金色早報 | USDC已回升至0.96美元上方_CIR

頭條 ▌Circle:未完成的USDC交易要到周一才能處理金色財經報道,Circle向交易公司發出通知,通過SignatureBanksSignet網絡進行的USDC交易要到周一才會處理.

1900/1/1 0:00:00
ERC-4337 被低估了?淺談 ERC-4337 的 4 大用處_HYPE

原文作者:Zeneca 在我看來,ERC-4337在幫助大規模采用加密貨幣方面或許可以與合并相提并論。然而,到目前為止,談論它的人很少.

1900/1/1 0:00:00
GPT-4將在下周發布 必應日活破億 谷歌還有招架之力嗎_HAT

導讀:一家引領全世界的搜索引擎巨頭,已經手握類ChatGPT技術兩年,卻被微軟和OpenAI步步搶先,正在逐漸失去自己曾經制霸的領土。谷歌的故事,值得所有人深思。 最近,微軟是喜訊連連.

1900/1/1 0:00:00
ads