撰文:FoxTechCTO林彥熹,FoxTech首席科學家孟鉉濟前言
Prover和Verifier之間的計算代理思想是零知識證明的核心內容之一,是調節證明者和驗證者工作量于復雜度之間取舍的工具。不同的零知識證明算法本質的不同在于不同程度的計算代理;高度的代理雖然會使驗證的計算容易,但是卻可能使得證明的復雜度高,從而導致證明耗時長,或是生成的證明大小較大;反之,低程度的代理會使得驗證者的開銷較大。
圖1:零知識證明的計算代理程度影響計算代理是什么
隨著以太坊上應用和用戶的擴展,以太主網上的擁堵程度不斷提升,使用zkRollup進行Layer2的擴容成為一個很有吸引力的方案,FOX就是專注于使用FOAKS算法進行zkRollup的項目。而zkRollup的可行性,本質上在于使用的零知識證明算法的原理可行性。簡單來說,零知識證明算法實現的功能是使得證明者向驗證者證明某件事,但又不透露任何關于這件事的信息。zkRollup的構造就是利用了這個性質,使得Layer2的節點可以執行原本在Layer1進行的計算,同時向Layer1節點提供計算正確性的證明。從更廣義的角度來說,上述的過程我們可以理解為,由于驗證者計算能力有限,所以將這部分的計算代理給了證明者來執行,證明者完成了這個任務,需要返回結果給驗證者。從這個角度來說,我們可以說,零知識證明算法使得保障正確性的“計算代理”得以實現。從宏觀上這種計算代理的例子可以表現為zkRollup這種形式的應用,具體到零知識算法當中,這種計算代理的思想也有各種應用。本文主要介紹FOAKS使用的在Orion當中提到的Code-Switching所做的令證明者幫助驗證者執行的驗證計算過程,以及FOAKS如何應用這種技巧進行遞歸。從而減少了證明的大小以及驗證者的開銷。為什么需要計算代理
馬斯克:推特算法需要并將得到重大升級:金色財經報道,馬斯克表示,推特算法需要并將得到重大升級,我們仍將在本月晚些時候公布它,但請預計會看到許多錯誤和愚蠢的邏輯!重要的是向用戶展示令人信服的內容。我們比以前做得更好(我認為)。我們的用戶使用時間比去年增加了10%以上。[2023/2/18 12:14:24]
從系統的實用性角度來說,很多情況下計算節點的算力是有限的,或者說計算資源是很寶貴的。例如在Layer1鏈上的所有計算都需要經過所有節點的共識,并且用戶需要為此支付高昂的手續費。所以,在這種情況下,將本來由共識節點來處理的計算“代理出去”交給鏈下節點來完成,就是一種自然的想法,避免消耗鏈上資源。而這也正是FOX所專注的鏈下計算服務。從密碼學理論角度來講,在GMR模型當中限定了證明者擁有無限計算能力,驗證者擁有多項式計算能力。如果驗證者也有無限能力,則零知識證明的基本性質無法滿足。所以自然地,將計算向證明者一方傾斜,讓證明者承擔更多的計算就是很多零知識證明算法設計都會考慮的問題。當然,為了實現這一點,我們需要特別的技巧。CodeSwitching
ETH跌破1200美元,24小時跌幅為5.49%:金色財經報道,行情顯示,ETH跌破1200美元,最低至1186.62美元;現報1193.96美元,24小時跌幅為5.49%。行情波動較大,請做好風險控制。[2022/11/17 13:14:25]
這一節介紹Orion當中使用的CodeSwitching技巧。Orion和FOAKS都使用了Brakedown作為多項式承諾方案,而CodeSwitching是在Orion當中命名的有證明者代替驗證者執行驗證計算的過程。在《一文了解FOAKS當中的多項式承諾協議Brakedown》一文當中我們曾經介紹過,驗證者的驗證計算為以下的過程:
Binance被英國子公司股東指控提交不準確的財務信息:金色財經報道,據Binance Digital的股東Dimplx的董事稱,該全球交易平臺的英國子公司Binance Digital Limited提交了\"嚴重不準確\"的財務報表。Dimplx的董事們在9月28日提交給英國公司注冊處的年度報告中稱,截至2020年12月30日的經審計的Binance Digital財務報表不準確,Binance Digital的營業額、資產、負債(包括潛在的稅務責任)、凈利潤、業務性質和/或關聯方交易沒有得到準確表述。并錯誤地記錄了分配給Dimplx的股本。
為了公平確定Dimplx在Binance Digital的所有權,該公司將需要準確評估與該子公司有關的所有交易、收入、負債和稅收,并補充說它正在與Binance Digital進行法律通信。[2022/10/13 10:33:18]
現在如果令證明者承擔這部分計算,則證明者除了執行這些計算,還要附上證明值來證明自己的計算是正確的。做法是將上述等式同樣寫成R1CS電路:
Okada以NFT形式掛牌出售的辦公樓因采用以太坊報價導致價格下跌1200萬美元:6月16日消息,美國房地產公司 Okada 于約兩周前將其名下一棟紐約辦公樓以 2900 萬美元的價格掛牌出售。由于 Okada 將其以 NFT 的形式掛牌出售并采用以太坊報價而導致該辦公樓的價格下跌超過了 1200 萬美元。Okada 首席執行官 Chris Okada 表示將很快調整價格,并將在調整時決定報價繼續使用以太坊還是改為 USDC。(CoinDesk)[2022/6/16 4:30:47]
之后使用Virgo算法進行驗證。FOAKS當中的計算代理
在FOAKS當中同樣使用類似的技巧完成計算代理,值得一提的是,FOAKS由于使用了Fiat-Shamirheuristic技巧實現了非交互式證明。想要了解更多,讀者可以參考《如何將交互式證明改造為非交互式?Fiat-ShamirHeuristic!》。所以FOAKS的挑戰生成和Orion所使用的CodeSwitching方法不同,電路當中也需要加入新的等式:
這樣之后FOAKS當中的證明者同樣生成了代理驗證者進行驗證的計算證明。而對于驗證證明的過程,FOAKS利用算法自身進行迭代,這也是FOAKS實現遞歸的關鍵內容。具體內容見《如何設計出一種精妙絕倫的證明遞歸方案》。通過一定次數的迭代可以使得證明的大小被壓縮,從而極大降低驗證者的計算負擔以及通信復雜度。這就是FOAKS這個零知識證明方案對FOX這條zkRollup的重大意義。結語
zkRollup中使用的零知識證明算法的計算代理程度需要被精心設計,必須恰到好處才能使其整體達到最佳效率。而FOAKS算法通過自身迭代的遞歸實現了可以調節的計算代理,是為專門為zkRollup所設計的零知識證明算法。參考文獻
1.Orion:Xie,Tiancheng,YupengZhang,andDawnSong."Orion:Zeroknowledgeproofwithlinearprovertime."AdvancesinCryptology–CRYPTO2022:42ndAnnualInternationalCryptologyConference,CRYPTO2022,SantaBarbara,CA,USA,August15–18,2022,Proceedings,PartIV.Cham:SpringerNatureSwitzerland,2022.
Tags:OAKFOANCEANCcloak幣什么時候上主網FOA幣hummingbirdfinanceYour Finance
原文作者:BenHe,imTokenCEO2022年,我們目睹了Luna暴跌引發的多米諾骨牌效應,導致多家中心化理財產品和加密基金接連崩潰。而到了2023年初,銀行破產和國家救助成為了新的焦點.
1900/1/1 0:00:00吳說曾報道,自2023年以來,加密貨幣交易所的交易量大幅增加。今年1月,主流交易所的衍生品交易量比上個月增長了47.6%。而這飆升的交易量,很可能如文章所言,混雜著虛假交易.
1900/1/1 0:00:004月20日,歐洲議會通過加密資產市場法規,使歐盟成為全球首個引入全面加密法的主要司法管轄區。與此同時,東方世界的香港也正加速擁抱Web3變革.
1900/1/1 0:00:00各位朋友,歡迎來到SignalPlus每日晨報。SignalPlus晨報每天為各位更新宏觀市場信息,并分享我們對宏觀趨勢的觀察和看法。歡迎追蹤訂閱,與我們一起關注最新的市場動態.
1900/1/1 0:00:00Solana于4月14日召開產品發布會,宣布SolanaWeb3手機Saga將于5月8日公開發售,預訂設備現已發貨.
1900/1/1 0:00:00概要 ●2023年第一季度,惡意行為者從Web3.0協議中盜取了超過3.2億美元的價值。●這個數字約為2022年第四季度9.5億美元資產損失的的三分之一,約為2022年第一季度13億美元資產損失.
1900/1/1 0:00:00