FOA:為什么說zkRollup的可行性起源于零知識證明的計算代理思想_cloak幣最新消息

撰文：FoxTechCTO林彥熹，FoxTech首席科學家孟鉉濟

計算代理是什么

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

美股地區性銀行集體大跌，西太平洋合眾銀行市值不足4億美元:金色財經報道，美股收盤，道指初步收跌290點，納指收跌0.5%，標普500指數收跌0.72%。熱門中概股漲幅居前，蔚來汽車、小鵬汽車收漲5%；地區性銀行股重挫，KBW銀行指數收跌3.8%，西太平洋合眾銀行收跌50%，市值報3.7億美元，阿萊恩斯西部銀行收跌38%，第一地平線銀行收跌33%。[2023/5/5 14:43:22]

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

曼聯官方NFT系列被指控抄襲藝術家DesLucrece的作品:金色財經報道，曼聯足球俱樂部的官方NFT系列被指控抄襲藝術家DesLucrece的作品，DesLucrece是一位以Des Monsters NFT系列而聞名的匿名藝術家，該系列目前在OpenSea的地板價為17.5ETH（約20,825美元）。一位Twitter用戶指責曼聯的“The Devils”系列與DesLucrece的作品幾乎相似，包括相同的角色設計、配色方案等。曼聯于今年早些時候首次與Tezos基金會合作，并于12月21日開始發布“The Devils”。該系列共有7,777個NFT，每個售價約36美元，此后已售罄。DesLucrece在推特上表示，他和相關方正在商討解決方案，并等待曼聯的回復。[2022/12/29 22:13:05]

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

對比特幣友好的Pierre Poilievre當選為加拿大保守黨領袖:9月11日消息，對比特幣友好的Pierre Poilievre當選為加拿大保守黨領袖。此前Pierre Poilievre曾承諾，如果他成為加拿大總理，他將“釋放”加密貨幣的潛力，并使加拿大成為“世界區塊鏈之都”。他還曾公開支持允許加拿大人在該國使用比特幣作為合法貨幣。（bitcoinmagazine）[2022/9/11 13:22:51]

為什么需要計算代理

從系統的實用性角度來說，很多情況下計算節點的算力是有限的，或者說計算資源是很寶貴的。例如在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.

Tags：FOAOAKROLROLLFOAM價格cloak幣最新消息ROLS價格roll幣是什么

瑞波幣