撰文:FoxTechCTO林彥熹,FoxTech首席科學家孟鉉濟
計算代理是什么
隨著以太坊上應用和用戶的擴展,以太主網上的擁堵程度不斷提升,使用zkRollup進行Layer?2的擴容成為一個很有吸引力的方案,FOX就是專注于使用FOAKS算法進行zkRollup的項目。而zkRollup的可行性,本質上在于使用的零知識證明算法的原理可行性。簡單來說,零知識證明算法實現的功能是使得證明者向驗證者證明某件事,但又不透露任何關于這件事的信息。zkRollup的構造就是利用了這個性質,使得Layer?2的節點可以執行原本在Layer?1進行的計算,同時向Layer?1節點提供計算正確性的證明。
Compass Mining在針對托管公司的訴訟中贏得150萬美元:金色財經報道,2022 年 12 月 29 日的法庭文件顯示,采礦服務經紀人 Compass Mining 在針對托管服務提供商 Dynamics Mining 的訴訟中贏得了 150 萬美元。
Compass 于 2022 年 6 月起訴 Dynamics 未能提供服務和扣留客戶的機器。該經紀人借給 Dynamics 100 萬美元用于建設兩個比特幣挖礦站點,此外還支付了 650,000 美元的托管費和押金。Dynamics 聲稱Compass 未能支付 861,000 美元的托管費和電費,并且 Compass 試圖闖入 Dynamics 的采礦設施以竊取采礦設備。
特拉華州衡平法院法官 J. Travis Laster 作出有利于 Compass 的裁決,對 Dynamics 作出缺席判決,要求賠償 1,474,400 美元,以及判決后的利息和費用。[2023/1/4 9:50:52]
從更廣義的角度來說,上述的過程我們可以理解為,由于驗證者計算能力有限,所以將這部分的計算代理給了證明者來執行,證明者完成了這個任務,需要返回結果給驗證者。從這個角度來說,我們可以說,零知識證明算法使得保障正確性的“計算代理”得以實現。從宏觀上這種計算代理的例子可以表現為zkRollup這種形式的應用,具體到零知識算法當中,這種計算代理的思想也有各種應用。
Kraken CEO已辭職:金色財經報道,加密貨幣交易平臺Kraken聯合創始人兼首席執行官杰西·鮑威爾 (Jesse Powell) 已辭職。接替他擔任首席執行官的是該交易平臺首席運營官戴夫·里普利。據悉,杰西·鮑威爾解釋辭職原因時表示,隨著 Kraken 的規模越來越大,經營公司變得越來越費勁,“樂趣也越來越少”,但他仍然計劃與Kraken保持密切聯系,聲稱“期待將更多的時間花在公司的產品、用戶體驗和更廣泛的行業宣傳上。” 根據CoinGecko的數據顯示,Kraken 是目前第九大加密貨幣交易平臺,在過去 24 小時的交易價值超過 6.478 億美元。(decrypt)[2022/9/22 7:12:55]
本文主要介紹FOAKS使用的在Orion當中提到的Code-Switching所做的令證明者幫助驗證者執行的驗證計算過程,以及FOAKS如何應用這種技巧進行遞歸。從而減少了證明的大小以及驗證者的開銷。
比特幣全網未確認交易數量為8304筆:金色財經報道,BTC.com數據顯示,目前比特幣全網未確認交易數量為8304筆,全網算力為209.65 EH/s,24小時交易速率為3.01交易/s,目前全網難度為28.35 T,預測下次難度上調1.61%至28.81 T,距離調整還剩8天1小時。[2022/8/24 12:44:13]
為什么需要計算代理
從系統的實用性角度來說,很多情況下計算節點的算力是有限的,或者說計算資源是很寶貴的。例如在Layer?1鏈上的所有計算都需要經過所有節點的共識,并且用戶需要為此支付高昂的手續費。所以,在這種情況下,將本來由共識節點來處理的計算“代理出去”交給鏈下節點來完成,就是一種自然的想法,避免消耗鏈上資源。而這也正是FOX所專注的鏈下計算服務。
從密碼學理論角度來講,在GMR模型當中限定了證明者擁有無限計算能力,驗證者擁有多項式計算能力。如果驗證者也有無限能力,則零知識證明的基本性質無法滿足。所以自然地,將計算向證明者一方傾斜,讓證明者承擔更多的計算就是很多零知識證明算法設計都會考慮的問題。
當然,為了實現這一點,我們需要特別的技巧。
現在如果令證明者承擔這部分計算,則證明者除了執行這些計算,還要附上證明值來證明自己的計算是正確的。
做法是將上述等式同樣寫成R1CS電路:
之后使用Virgo算法進行驗證。
這樣之后FOAKS當中的證明者同樣生成了代理驗證者進行驗證的計算證明。而對于驗證證明的過程,FOAKS利用算法自身進行迭代,這也是FOAKS實現遞歸的關鍵內容。具體內容見《如何設計出一種精妙絕倫的證明遞歸方案》。
通過一定次數的迭代可以使得證明的大小被壓縮,從而極大降低驗證者的計算負擔以及通信復雜度。這就是FOAKS這個零知識證明方案對FOX這條zkRollup的重大意義。
參考文獻
1.Orion:Xie,Tiancheng,YupengZhang,andDawnSong."Orion:Zeroknowledgeproofwithlinearprovertime."AdvancesinCryptology–CRYPTO2022:42?ndAnnualInternationalCryptologyConference,CRYPTO2022,SantaBarbara,CA,USA,August15?–?18,2022,Proceedings,PartIV.Cham:SpringerNatureSwitzerland,2022.
21:00-7:00關鍵詞:PayPal、美SEC、a16zCrypto、PayPal1.前Coinbase首席技術官:BTC有望達到100萬美元可能需要90個月而不是90天;2.
1900/1/1 0:00:00ForesightNews消息,ThreeArrowsCapital創始人ZhuSu等人創辦的加密索賠和交易平臺OpenExchange將與現實世界資產代幣化服務提供商Heimdall合作.
1900/1/1 0:00:00在比特幣突然反彈后,狗狗幣空頭昨天對受柴犬啟發的模因幣造成了打擊,阿爾法幣重回30,000美元的價格水平并立即跌至之前的支撐位.
1900/1/1 0:00:00Aicode項目解析 1.?研究院點評 aidoge-aicode的玩法和xen-dxn類似通過燃燒aidoge獲得aicode。提升aidoge的價值.
1900/1/1 0:00:00加密貨幣已經存在了十多年,雖然有些來了又去,但另一些經受住了時間的考驗并成為家喻戶曉的名字。隨著個人和機構越來越多地采用加密貨幣,加密市場比以往任何時候都更具競爭力,每天都有新項目和代幣推出.
1900/1/1 0:00:00ForesightNews消息,HKIEF香港創新加密基金發推稱,香港將設VASP發牌制度,同時實行雙重牌照監管.
1900/1/1 0:00:00