以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

為什么說zkRollup的可行性起源于零知識證明的計算代理思想_OAK

Author:

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

撰文:FoxTechCTO林彥熹,FoxTech首席科學家孟鉉濟

計算代理是什么

隨著以太坊上應用和用戶的擴展,以太主網上的擁堵程度不斷提升,使用zkRollup進行Layer?2的擴容成為一個很有吸引力的方案,FOX就是專注于使用FOAKS算法進行zkRollup的項目。而zkRollup的可行性,本質上在于使用的零知識證明算法的原理可行性。簡單來說,零知識證明算法實現的功能是使得證明者向驗證者證明某件事,但又不透露任何關于這件事的信息。zkRollup的構造就是利用了這個性質,使得Layer?2的節點可以執行原本在Layer?1進行的計算,同時向Layer?1節點提供計算正確性的證明。

Terra鏈上首個游戲化NFT市場LUART更名為”Arcnes”:9月17日消息,Terra鏈上首個游戲化NFT市場LUART宣布更名為”Arcnes”,同時將拓展業務并轉型成為一個以Web3為重心的游戲和NFT項目的多鏈Launchpad和市場,未來將優先考慮游戲加密生態系統的發展,幫助用戶可以在其平臺上快速、安全地無縫交易或出售他們喜愛的游戲NFT。(techbullion)[2022/9/17 7:02:40]

從更廣義的角度來說,上述的過程我們可以理解為,由于驗證者計算能力有限,所以將這部分的計算代理給了證明者來執行,證明者完成了這個任務,需要返回結果給驗證者。從這個角度來說,我們可以說,零知識證明算法使得保障正確性的“計算代理”得以實現。從宏觀上這種計算代理的例子可以表現為zkRollup這種形式的應用,具體到零知識算法當中,這種計算代理的思想也有各種應用。

加密貨幣交易所NBX 和 Enfuce 合作推出信用卡和借記卡:金色財經報道,加密貨幣交易所NBX已選擇歐洲金融科技公司Enfuce作為其卡服務提供商,該合作伙伴使NBX能夠為其客戶群提供引基于忠誠度的Visa信用卡和借記卡。[2022/7/8 2:00:17]

本文主要介紹FOAKS使用的在Orion當中提到的Code-Switching所做的令證明者幫助驗證者執行的驗證計算過程,以及FOAKS如何應用這種技巧進行遞歸。從而減少了證明的大小以及驗證者的開銷。

為什么需要計算代理

從系統的實用性角度來說,很多情況下計算節點的算力是有限的,或者說計算資源是很寶貴的。例如在Layer?1鏈上的所有計算都需要經過所有節點的共識,并且用戶需要為此支付高昂的手續費。所以,在這種情況下,將本來由共識節點來處理的計算“代理出去”交給鏈下節點來完成,就是一種自然的想法,避免消耗鏈上資源。而這也正是FOX所專注的鏈下計算服務。

全網DeFi鎖倉量為1099.7億美元:金色財經消息,據DeFiLIama數據顯示,當前全網DeFi鎖倉量1099.7億美元,24小時下降1.61%。目前,鎖倉量排名前5的公鏈分別為:ETH(696.2億美元)、BSC(84億美元)、Avalanche(51.7億美元)、Tron(42.8億美元)、Solana(40.2億美元)。[2022/5/15 3:16:34]

從密碼學理論角度來講,在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.

Tags:OAKFOAKROROLLcloak幣在哪里買FOAM TokenKRONE價格roll幣能出泰沙拉克嗎

比特幣交易
六種最常用的交易技術指標_MAC

很多人覺得技術指標很有趣,特別吸引交易新手。指標能反饋清晰的交易信號,告訴你在哪里適合買入或者賣出.

1900/1/1 0:00:00
香港金管局:將率先監管與一種或以上法幣掛鉤的穩定幣_穩定幣

ForesightNews消息,香港金融管理局在發布的《2022年年報》中表示,2023年的重點將會包括虛擬資產等,金管局在有關過程中會參考市場最新發展及國際標準的修訂.

1900/1/1 0:00:00
Google Cloud 和 Polygon Labs 建立多年戰略聯盟,以利用谷歌云基礎設施加速采用核心 Polygon 協議_GOO

ForesightNews消息,在Consensus2023大會上,GoogleCloud和PolygonLabs宣布建立多年戰略聯盟.

1900/1/1 0:00:00
牛市發動機:LSD能否引領史詩級狂暴大牛市?_比特幣

在加密貨幣世界中,比特幣再次受到關注,因為它在短短一周內飆升了5%,這讓投資者和交易員懷疑周末是否有可能獲得更多收益.

1900/1/1 0:00:00
以太坊價格看起來將超過 2000 美元_ETH

以太坊價格在高于1,850美元支撐位的正區域交易。如果ETH保持在1,880美元的支撐位上方,則可能反彈至2,000美元。以太坊正在鞏固并面臨1,925美元附近的阻力.

1900/1/1 0:00:00
Hotcoin關於開放BONE交易的公告_HOT

尊敬的用戶:Hotcoin將於(GMT8)2023年4月28日17:00開放BONE/USDT交易業務,2023年4月29日17:00開放BONE提幣業務,充值業務開放時間將以公告另行通知.

1900/1/1 0:00:00
ads