撰文:FoxTechCTO林彥熹,FoxTech首席科學家孟鉉濟
前言
Prover和Verifier之間的計算代理思想是零知識證明的核心內容之一,是調節證明者和驗證者工作量于復雜度之間取舍的工具。不同的零知識證明算法本質的不同在于不同程度的計算代理;高度的代理雖然會使驗證的計算容易,但是卻可能使得證明的復雜度高,從而導致證明耗時長,或是生成的證明大小較大;反之,低程度的代理會使得驗證者的開銷較大。
圖1:零知識證明的計算代理程度影響
計算代理是什么
CH4Capital聯合創始人:比特幣網絡減少的排放量將超過其能源產生的排放量:金色財經報道,CH4Capital聯合創始人Daniel Batten表示,比特幣挖礦所減少的排放量可能很快就會超過其能源產生的排放量。一旦全面部署,我們將有足夠的資金來使整個比特幣網絡實現碳負排放。與電動汽車一樣,比特幣沒有任何直接排放,但我們希望更進一步,減少因使用電力造成的所有排放。
據悉,Daniel Batten是CH4Capital基金合伙人,該基金旨在資助通過利用氣體開采比特幣來減少垃圾填埋場排放甲烷的項目。[2023/7/9 22:26:55]
隨著以太坊上應用和用戶的擴展,以太主網上的擁堵程度不斷提升,使用zkRollup進行Layer?2的擴容成為一個很有吸引力的方案,FOX就是專注于使用FOAKS算法進行zkRollup的項目。而zkRollup的可行性,本質上在于使用的零知識證明算法的原理可行性。簡單來說,零知識證明算法實現的功能是使得證明者向驗證者證明某件事,但又不透露任何關于這件事的信息。zkRollup的構造就是利用了這個性質,使得Layer?2的節點可以執行原本在Layer?1進行的計算,同時向Layer?1節點提供計算正確性的證明。
Tether已在Kava區塊鏈上運行其原生USDT:7月7日消息,Kava在推特上宣布,Tether的穩定幣USDT現已集成至Kava區塊鏈,原生USDT正在向60多個Cosmos應用鏈發行。[2023/7/7 22:23:08]
從更廣義的角度來說,上述的過程我們可以理解為,由于驗證者計算能力有限,所以將這部分的計算代理給了證明者來執行,證明者完成了這個任務,需要返回結果給驗證者。從這個角度來說,我們可以說,零知識證明算法使得保障正確性的“計算代理”得以實現。從宏觀上這種計算代理的例子可以表現為zkRollup這種形式的應用,具體到零知識算法當中,這種計算代理的思想也有各種應用。
本文主要介紹FOAKS使用的在Orion當中提到的Code-Switching所做的令證明者幫助驗證者執行的驗證計算過程,以及FOAKS如何應用這種技巧進行遞歸。從而減少了證明的大小以及驗證者的開銷。
韓國數字資產基本法案預計將于明年完成:金色財經報道,在加密交易所FTX破產的影響下,韓國監管機構呼吁需要在韓國國民議會會議期間建立監管框架。韓國政府官員目前正在制定一個全面的監管框架,即《數字資產基本法案》,預計將于明年完成,該法案將由國民議會目前提交的13項加密立法提案組成。
韓國金融服務委員會(FSC)副主席Kim So-young表示,考慮到保護用戶的緊迫性,最好制定最低必要的監管標準并加以補充,而不是等待國際標準。FTX危機表明需要建立監管機制來防止不公平交易,并確保虛擬資產服務提供商履行保護用戶資產的義務,禁止服務提供商發行代幣。[2022/11/16 13:09:18]
為什么需要計算代理
從系統的實用性角度來說,很多情況下計算節點的算力是有限的,或者說計算資源是很寶貴的。例如在Layer?1鏈上的所有計算都需要經過所有節點的共識,并且用戶需要為此支付高昂的手續費。所以,在這種情況下,將本來由共識節點來處理的計算“代理出去”交給鏈下節點來完成,就是一種自然的想法,避免消耗鏈上資源。而這也正是FOX所專注的鏈下計算服務。
穩定幣HUSD已脫錨至0.7488美元:金色財經報道,據CoinMarketCap數據顯示,由Stable Universal Limited發行的穩定幣HUSD已脫錨至0.7488美元。
據悉,自從10月28日Huobi Global宣布下架HUSD并將用戶賬戶內HUSD兌換成USDT以來,HUSD開始發生脫錨情況,且脫錨幅度逐漸擴大。[2022/10/31 11:59:20]
從密碼學理論角度來講,在GMR模型當中限定了證明者擁有無限計算能力,驗證者擁有多項式計算能力。如果驗證者也有無限能力,則零知識證明的基本性質無法滿足。所以自然地,將計算向證明者一方傾斜,讓證明者承擔更多的計算就是很多零知識證明算法設計都會考慮的問題。
當然,為了實現這一點,我們需要特別的技巧。
CoinGecko高管:對被收購持開放態度,但現在“為時過早”:7月28日消息,CoinGecko COO Bobby Ong表示,“CoinGecko受到當前加密熊市的打擊,對被收購持開放態度,但目前還未到該階段;這是 CoinGecko 的第三個加密冬天,仍將專注于改進其功能;CoinGecko 7 月份的月瀏覽量為 1 億次,與 2021 年 11 月的峰值相比,流量下降了 85%,同時影響了廣告收入;CoinGecko 上的新代幣列表比去年下降了約 70%;在過去的七個月里,公司員工從 30 名團隊成員增加到 57 名,且沒有解雇任何員工,也沒有凍結招聘。”
據悉,CoinGecko 最大競爭對手 CoinMarketCap 于 2020 年 4 月被 Binance 收購。(Cointelegraph)[2022/7/28 2:44:19]
CodeSwitching
這一節介紹Orion當中使用的CodeSwitching技巧。Orion和FOAKS都使用了Brakedown作為多項式承諾方案,而CodeSwitching是在Orion當中命名的有證明者代替驗證者執行驗證計算的過程。
在《一文了解FOAKS當中的多項式承諾協議Brakedown》一文當中我們曾經介紹過,驗證者的驗證計算為以下的過程:
現在如果令證明者承擔這部分計算,則證明者除了執行這些計算,還要附上證明值來證明自己的計算是正確的。
做法是將上述等式同樣寫成R1CS電路:
之后使用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:42?ndAnnualInternationalCryptologyConference,CRYPTO2022,SantaBarbara,CA,USA,August15?–?18,2022,Proceedings,PartIV.Cham:SpringerNatureSwitzerland,2022.
Tags:INGOAKFOACOIIce Rock Miningcloak幣在哪里買FOAM價格MicroBitcoin
經Odaily星球日報不完全統計,?4月24日-4月30日公布的海內外區塊鏈融資事件共30起,較上周數據有一定減少,已披露融資總額約為1.83億美元,較上周數據有明顯下降.
1900/1/1 0:00:00原文作者:ThorHartvigsen,加密?KOL原文編譯:Felix,PANews四月份,部分?VC?和聰明錢有一些大的投資組合變化.
1900/1/1 0:00:00OpenDAO?發行的?SOS?曾是?2021?年年底最吸引眼球的空投之一。2021?年?12月?24日,去中心化自治組織「OpenDAO」宣布,向全球最大NFT交易平臺OpenSea的用戶進行.
1900/1/1 0:00:00原文作者:Biteye核心貢獻者?LouisWang原文編輯:Biteye核心貢獻者Crush 相關閱讀: 超全指南:八類網站帶你玩轉?BRC-20?生態 01比特幣網絡的創新 作為數字黃金.
1900/1/1 0:00:00本文來自:Blockworks編譯:Odaily星球日報Azuma 有著“木頭姐”稱呼的女股神CathieWood一直以來都是華爾街最大的?Crypto多頭之一.
1900/1/1 0:00:00來源|CNBC 編譯|潮外音 人工智能目前正在蓬勃發展——一些分析師稱這是今年科技巨頭最重要的主題。基于人工智能的新產品和技術不斷出現,它們的影響只會從這里擴大,包括在金融領域.
1900/1/1 0:00:00