比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

ARK:批判“加密顯學”零知識證明(ZKP)

Author:

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

*注:首先,這是一個用一個小時寫的草稿。主要是為了快速收集信息,所以可能存在非常多的潛在錯誤和不完整的信息。

對ZK的主要批評包括兩個:

一是證明時間長(因此有各種benchmark、各種新的ZK協議和各種硬件優化);一是系統和應用程序安全性仍然需要測試。證明生成性能?

零知識證明是區塊鏈領域非常流行的技術。由于鏈上計算資源稀缺且昂貴,零知識證明允許這些計算在鏈下進行,雖然鏈下證明生成的總時間消耗非常高,但它仍然壓縮了最終證明和相關的計算驗證,從而允許計算“在鏈上”。

ZK證明生成時間過長的問題往往被研究者和開發者所忽視,因為這本質上是ZK需要做出的權衡。

雖然他們沒有直接批評ZK的這個缺點,但是他們有很多從對面解決這個缺點的方法和討論。

Bitfinex預計薩爾瓦多將在今年發行比特幣火山債券:1月31日消息,加密交易所Bitfinex預計,薩爾瓦多將在今年發行期待已久的比特幣火山債券,此前該國國會于去年12月批準了一項法律,允許全球首只主權區塊鏈債券發行。Bitfinex首席技術官Paolo Ardoino在接受采訪時表示,他認為薩爾瓦多有足夠的需求來發行它所尋求的全部10億美元。Ardoino說,根據新法律,薩爾瓦多現在需要建立一個數字證券監管機構,并為潛在投資者起草一份招股說明書。他補充說,Bitfinex將在其當地辦事處成立并運營后,向該國監管機構申請證券交易許可證。

此前去年3月份消息,薩爾瓦多總統確認比特幣火山債券將通過Bitfinex發行。[2023/1/31 11:38:12]

也就是說,他們通過提出各種解決方案并進行大量基準測試來隱含地談論ZK的極長證明時間。

數據:比特幣持有者未實現虧損近800萬枚比特幣:金色財經報道,鏈上分析公司Glassnode的數據顯示,比特幣短期和長期投資者目前未實現虧損比以往任何時候都多。根據最新數據,截至12月26日,比特幣短期持有者(STH)未實現虧損總計1,889,585枚BTC,比特幣長期持有者(LTH)未實現虧損總計6,057,858枚BTC。[2022/12/27 22:10:56]

a)Benchmark?

在衡量ZK應用之前,我們首先要測試ZK協議底層commitment的性能。

因為比如,FRI導致STARK,KZG導致常規SNARK,IPA導致Bulletproof。底層承諾的性能測試對于ZK應用的性能并不直觀,但對于理解ZK證明時間長的問題很有幫助。

從上面的鏈接我們可以看出,這些底層承諾協議不僅計算復雜(可能導致證明時間長),而且還存在內存消耗非常大的問題。

烏克蘭加入歐盟區塊鏈合作組織EBP:金色財經報道,據 recentlyheard 消息,烏克蘭已加入歐盟區塊鏈合作組織European Blockchain Partnership (EBP),該組織是歐盟跨境公共服務項目,由27個歐盟成員國組成。不過,烏克蘭目前尚不是歐盟國家,據烏克蘭數字化轉型部透露,他們將擔任EBP觀察員,之后再成為該組織的正式會員,通過額外的區塊鏈合作提供跨境政務服務,例如教育證書/文憑和身份證明、難民/庇護登記和援助等。[2022/6/19 4:38:10]

當然,內存消耗其實更多的是跟硬件配置要求有關,這跟我們今天要討論的話題是不一樣的。

對于具體的SNARK性能測試,a16zcrypto將它們分為前端和后端:

前端通常是ZK應用開發者接觸到的Cairo語言/zkVM高級語言等;而后端是更接近SNARK證明生成時間的承諾等底層密碼學操作。其中,作者提到SNARK證明生成具有大約100倍的計算開銷,并且每個ZK協議都有額外的開銷,例如:

美國參議員:Terra 可能是一個欺詐項目:金色財經報道,美國賓夕法尼亞州參議員 Pat Toomey表示,Terra 可能是一個欺詐項目。這位共和黨議員指出,Luna 在提供“非常可疑的技術”的同時承諾了巨額回報。Toomey最近提出了一項專注于私人穩定幣的法案草案,他補充說,投資者可能歪曲了Terra的性質。(u.today)[2022/5/24 3:37:08]

“InGroth16,Pmustworkoverapairing-friendlygroup,whoseoperationsaretypicallyatleast2xslowerthangroupsInGroth16,Pmustworkoverapairing-friendlygroup,whoseoperationsaretypicallyatleast2xslowerthangroupsthataren'tpairingfriendly.,thisresultsinatleastanadditionalfactor-6slowdownrelativetothe100-|C|estimateabove.”

總體而言,可以說?zk-SNARK的額外性能開銷在200-1000倍的范圍內。

此外,文章還提到了zk-SNARK的其他限制,例如可信設置和內存使用。

ModulusLabs的文章測量了一些ZK協議的實際性能。有些基準是針對參數數量的,這對我們來說不是很直觀。然而,在應用中,文章提到在Worldcoin用例中,即使使用“最快”的Plonky2,仍然需要幾分鐘的證明生成時間和數十GB的內存消耗,無法在個人電腦上運行。

b)遞歸和批處理?

為了減少證明生成時間,我們可以并行證明多個證明。

通常,有兩種方法可以做到這一點:一種是批處理,另一種是遞歸。

簡單來說,批處理是同時證明一批證明,最后將它們聚合在一起,而遞歸是在一個證明中驗證其他證明。一般而言,遞歸方法具有更小證明大小?的額外優勢。

一些更常見的聚合方法包括Halo2、Plonky2。他們每個人都以不同的方式執行批處理和遞歸,從而減少了證明時間。

除了ZK的協議層,ZK的應用層也可以有針對性的優化。例如,可以同時使用多個ZK協議(STARK+SNARK),或者針對宏觀采取遞歸策略進行特定于應用程序的調優。

一般來說,這實際上減少了協議和證明分配方面的證明生成時間。在探索新的ZK協議時,減少證明時間是最重要的考慮因素。

c)硬件加速?

此外,從硬件角度進一步減少ZK應用在物理和節點層面的證明時間也做了很多努力。

首先,與前面提到的新協議一樣,ZK協議被設計為盡可能對硬件友好,例如HyperPlonk。

Paradigm提到,ZK的證明生成速度慢主要是由于涉及大量的MSM和FFT,它們對硬件不友好,導致由于隨機內存訪問等問題導致最終證明生成速度慢。對于這些底層加密計算,ZK協議需要在它們的組成和規模上進行一些權衡,以使其對硬件更加友好。

幾家ZK硬件加速廠商表示,GPU實際上是目前最經濟和可配置的硬件選擇,我們最終將有FPGA過渡到ASIC階段。根據zk硬件公司的說法,他們的第一版ASIC可以直接減少至少30%的ZK證明生成時間。

此外,由于不同的服務器配置,將不同的云服務器作為節點運行可能涉及不同的硬件特定優化。

Security?

ZK現在的另一個批評是電路代碼仍然需要正確(沒有bug)。

如果ZK協議從健全性、完整性、零知識的角度受到攻擊,我們將不再擁有有效的ZK系統。我們可以在這個鏈接中看到各種角度的攻擊示例。

雖然ZK應用可以被稱為trustless,但我們仍然需要確保項目的ZK協議和應用的代碼和架構是正確的。區塊鏈領域中存在多種ZK錯誤。例如,由于zkEVM的ZK電路代碼庫龐大的問題,Vitalik談到了?ZK應用程序的多證明者的需求。

因此,ZK系統可能需要與形式驗證等安全工具或Ecne等其他安全相關工具搭配使用。應用程序級別,它需要更多的審計,特別是對于像zkEVM這樣的大項目。

Tags:ARK比特幣NARGRODark Matter比特幣價格將暴跌LunarMarshal Lion Group Coin

狗狗幣價格
USD:季入7億美金!看USDT悶聲發大財就知道穩定幣賽道為何擠破頭

作為穩定幣市場的的龍頭老大,USDT一直以來都飽受質疑,但卻在一輪輪FUD危機中穩居第一。而上個月,USDT發行商Tether首席技術官PaoloArdoino則透露,Tether在2023年第.

1900/1/1 0:00:00
CAR:Web3融資:代幣認股權證與代幣附加條款之間的差異

了解主要差異 由于在大多數司法管轄區,圍繞代幣發行的法律不明確,在Web3融資可能具有挑戰性。如果你通過簡單的未來股權協議籌集股權,你很可能想在某個時候將股權轉換成代幣,這時你會遇到代幣認股權證.

1900/1/1 0:00:00
WEB3:「2023,元宇宙的機遇在哪里?」香港Web3嘉年華官方分論壇舉辦,香港Web3Hub基金正式啟動

4月14日,由?BitMart?與?MetaEra?主辦,TronNetwork總冠名,Web3Hub、分布式資本、DFG、Jsquare、CertiK、Cregis、XMETAVERSEPRO.

1900/1/1 0:00:00
區塊鏈:NEAR 聯創 Illia:NEAR 區塊鏈操作系統介紹

?近日,NEAR以白金贊助商身份出席了「2023香港Web3嘉年華」活動,NEAR聯創Illia和MetaWebVentures創始合伙人Amos參加了本次盛會.

1900/1/1 0:00:00
EPE:剖析PEPE背后的鯨魚們,上線幾分鐘內買入10%代幣

Meme幣PEPE在短短4天內暴漲1000倍,部分用戶實現白手起家。加密KOLAnApe''sPrologue發現了一些錢包,總成本為0.61ETH,成功賺取超過900萬美元——7500倍的回報.

1900/1/1 0:00:00
DSR:Meme幣實用指南:避免踩坑和發現機會的最佳工具

你錯過了$PEPE或$AIDOGE嗎?想要涉足Meme幣但不知從何入手?別擔心,本文將給你實用的建議.

1900/1/1 0:00:00
ads