買以太坊 買以太坊
Ctrl+D 買以太坊
ads

ITA:V神最擔心的“zkEVM多客戶端問題”,終于有解決方案了_Data Vital

Author:

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

Odaily星球日報譯者|Moni

3月31日,以太坊聯合創始人“V神”VitalikButerin在其官方博客上發布文章《以太坊的多客戶端理念將如何與ZK-EVM交互?》,分享了他對以太坊生態系統“未被充分討論但非常重要”的方面的思考,其中深入探討了為ZK-EVM創建多客戶端生態系統的技術挑戰、生態系統權衡和潛在解決方案。接下來,讓我們來解讀這篇文章的關鍵要點。Zk-EVM的多客戶端問題

VitalikButerin相信ZK-EVM將在未來發展成為以太坊Layer1安全和驗證過程的重要組成部分,零知識(ZK)技術也能讓開發人員在不透露任何額外信息的情況下證明交易或消息的真實性。這意味著,交易一方可以說服另一方其發出的消息是真實有效的,而無需透露消息有效性以外的任何知識。然而,根據VitalikButerin的分析,零知識證明技術的隱私保護性質可能會破壞更廣泛的EVM格局,因為以太坊客戶端在實施協議規則方面存在細微差別。現階段,ZKRollups中的二層協議已成功使用零知識證明技術,并通過將多個交易捆綁到一個證明中來幫助擴展以太坊區塊鏈。然而,隨著ZK-EVM發展到驗證主網上的交易執行,VitalikButerin認為“ZK-EVM實際上成為了第三種以太坊客戶端,與當前其他執行客戶端和共識客戶端一樣,對以太坊網絡的安全至關重要。”不過,一旦將ZK-EVM視為第三種類型的以太坊客戶端,VitalikButerin提出了以下這樣一個問題:“實際上,我們該如何為基于零知識證明以太坊區塊的正確性創建一個“多客戶端”生態系統?”隨著以太坊生態系統的不斷擴展,VitalikButerin希望保持“多客戶端理念”的優勢,同時利用ZK-EVM的功能來提高以太坊網絡的可擴展性、安全性和去中心化性。根據VitalikButerin的說法,將零知識證明技術用于多個客戶端的主要技術挑戰與延遲和數據效率低下有關。此外,由于對協議規則或ZK-EVM實現的特定解釋,各個不同以太坊客戶端處理零知識證明的方式也不一樣。那么,這些問題該如何解決呢?VitalikButerin給出了解決方案——ZK-EVM多客戶端解決方案

V神向Kraken轉入200枚以太坊:金色財經報道,PeckShield 監測顯示,以太坊聯合創始人 Vitalik Buterin 在過去一小時內通過 vitalik.eth 地址向 Kraken 轉入 200 枚以太坊。[2023/3/13 13:01:08]

盡管以太坊生態存在上述這些挑戰,但VitalikButerin認為創建一個開放的多客戶端ZK-EVM生態系統是完全可行的,并且有利于以太坊的安全性和去中心化,下圖是以太坊生態系統的共識層和執行層中使用各種不同客戶端的可視化表示。

資料來源:vitalik.eth.limoVitalikButerin相信,擁有多個客戶端可以降低一次實施中出現單個災難性錯誤的風險,從而提高網絡的安全性和去中心化程度,而這種錯誤可能會導致整個以太坊網絡崩潰。此外,多客戶理念也有助于防止權力集中在一個開發團隊或組織內,繼而更好地實現網絡去中心化。針對上述提及的ZK-EVm多客戶端問題,VitalikButerin提出了三種可能的解決方案:1、單一的ZK-EVM:放棄多客戶端范式,選擇用來驗證區塊的單一ZK-EVM。2、封閉的多個ZK-EVM:就一組特定的多個ZK-EVM達成一致并達成共識,并有一個共識層協議規則,即一個區塊需要來自該集合中超過一半的ZK-EVM的證明才能被認為是有效的.3、開放的多個ZK-EVM:不同的客戶端有不同的ZK-EVM實現,每個客戶端在接受一個區塊為有效之前等待與自己的實現兼容的證明。”在ZK-EVM的背景下,VitalikButerin支持第三種,也就是開放的多個客戶端ZK-EVM生態系統的解決方案,他認為不同的客戶端有不同的ZK-EVM實現,每個客戶端在接受一個區塊為有效之前等待與自己兼容的證明。“對我來說,第三種解決方案似乎是理想的,至少直到并且除非我們的技術改進到可以正式證明所有ZK-EVM實現彼此等效的程度......”不僅如此,一旦技術改進到ZK-EVM實現有些標準化的程度,VitalikButerin認為解決方案將是選擇最有效的選項,而他還覺得“第三種解決方案的挑戰似乎小于其他兩個選項的挑戰,至少目前如此。”不過,VitalikButerin提出開放的多個ZK-EVM可能會面臨兩大挑戰:延遲挑戰:惡意攻擊者可能會延遲發布一個區塊,以及對一個客戶端有效的證明。生成對其他客戶端有效的證明實際上需要很長時間。這段時間足夠長,可能會創建一個臨時分叉并中斷幾個插槽的鏈。數據效率低下:ZK-SNARKs的一個好處是可以從區塊中刪除僅與驗證相關的數據。例如,一旦你驗證了一個簽名,就不需要將簽名保存在一個區塊中,你可以只存儲一個表示簽名有效的位,以及區塊中確認所有簽名的單個證明。但是,如果希望能夠為一個區塊生成多種類型的證明,則需要實際發布原始簽名。未來ZK-EVM將如何進入Layer1?

V神發布“Verkle樹和狀態到期”詳細計劃,狀態到期用狀態樹列表替換單個狀態樹:V神(Vitalik Buterin)表示,為Verkle樹和狀態到期寫了一些更詳細的計劃(包括原始EIPs)。Verkle樹:在現有的hexary Patricia樹旁引入一個新的Verkle狀態樹。在硬分叉之后,Verkle樹存儲對狀態的所有編輯以及所有訪問狀態的副本,并且hexary Patricia樹不能再修改。這是向以太坊完全依賴Verkle樹來存儲執行狀態多階段過渡的第一步。狀態到期:用狀態樹列表替換單個狀態樹,大約每一年一棵樹。狀態編輯存儲在與當前期間相對應的樹中,并且客戶端不再存儲超過最近兩個期間的樹。使用舊狀態的交易,在最近兩個期間沒有修改,需要提供見證人。[2021/6/18 23:46:59]

選項1:限制Layer1,強制幾乎所有活動移動到Layer2隨著時間的推移,VitalikButerin建議可以將第1層每個區塊的gas目標從1500萬減少到100萬,足以讓一個區塊包含一個SNARK和一些存款和取款操作,但其他的不多,從而強制幾乎所有用戶活動移動到Layer2協議。選項2:SNARK-驗證Layer1VitalikButerin表示可以編寫更多的SNARK代碼來驗證區塊共識,但這將是一個具有挑戰性的工程問題:現階段,ZK-EVM需要幾分鐘到幾小時來驗證以太坊區塊,如果采用該方案則需要:改進以太坊本身以刪除對SNARK不友好的組件通過專門的硬件獲得巨大的效率提升么(iii)通過更多的并行化改進架構。總結

聲音 | V神:對以太坊治理的質疑沒有延誤以太坊2.0的開發:以太坊創始人 Vitalik Buterin 在 Reddit 上表示,最近關于以太坊治理的噪音很大,讓人不舒服,但是這并沒有耽誤以太坊 2.0 的開發進度,Prysmatic、Lighthouse 和 ETH 2.0 研究團隊都朝著既定時間表進展,狀態通道、Plasma 和 ZK Rollup 的開發也在穩步朝前。Vitalik Buterin 寫道:當你押注在以太坊生態時,你其實是在押注這些不出聲沉默的軍隊。[2019/4/14]

VitalikButerin總結稱,推動一個開放的多客戶端ZK-EVM生態系統運行良好需要大量的工作。但好消息是,實現這個目標的大部分工作正在發生、或是未來無論如何都會發生,因為:1、以太坊已經有多個強大的ZK-EVM實現。2、在Helios和Succinct等輕客戶端上的工作最終可能會變成對以太坊鏈的PoS共識端進行更全面的SNARK驗證。3、客戶端可能會開始嘗試使用ZK-EVM來證明自己的以太坊區塊執行,特別是當無狀態客戶端并且沒有技術需要直接重新執行每個區塊來維護狀態的時候,可能會從客戶端通過重新執行它們來驗證以太坊區塊,再過渡到大多數客戶端通過檢查SNARK證明來驗證以太坊區塊。4、ERC-4337和PBS生態系統可能會很快開始使用BLS和證明聚合等技術,這樣可以節省大量gas成本。值得一提的是,VitalikButerin還對最近人工智能技術的快速發展大加贊揚,他覺得人工智能的進步可以“加速”證明ZK-EVM實現的發展。“從長遠來看,當然任何事情都有可能發生。也許AI會加強形式驗證,使其可以輕松證明ZK-EVM實現等效并識別導致彼此之間差異的所有錯誤。”

聲音 | V神:考慮支持一個社區規范,用來獎勵錢包和客戶端開發者:V神在推特表示:“我建議我們考慮支持一個社區規范,即客戶端/錢包開發者可以/應該對通過他們的錢包發送的tx收取1 gwei/gas費用,我們不試圖規避這些費用,我們支持協議更改以使這些費用變得更容易。V神還補充道:“以用戶平均gas成本增加約7%計算,可以為客戶/錢包開發者提供可持續的非機構偏向市場資金,每年可籌集高達200萬美元的資金。作為參考,這將涵蓋迄今為止所有EF授權給eth2客戶端的開發者。一旦使用量達到一定數量,這些費用可最好為一次性交易。將費用設為1 gwei而不是x%的原因是為了避免不優化gas費產生不正當獎勵。”[2019/3/8]

V神:DAICO可以讓代幣持有者和項目開發者之間獲得更好的協調性激勵:今晚V神在王峰十問上表示:之所以要推出DAICO,是因為看到了ICO出現了一系列問題。現在ICO項目資金主要來自于前端,所以當一個項目想要獲得資金的時候,他們就有動力做大量營銷工作,但是一旦這家公司募集到了資金,就沒有動力繼續發展項目,確保項目質量了,有的甚至會跑路。DAICO的設計理念,是構建一個結構,讓項目開發者每次只能獲得少量資金,然后讓項目代幣持有者投票決定該項目是否值得獲得更多的資金。此外,項目代幣持有者還可以投票決定是否取消該項目,然后把剩余資金歸還給自己。這種方式,可以讓項目代幣持有者和項目開發者之間獲得更好的協調性激勵。[2018/6/22]

Tags:以太坊VITAITATALI以太坊幣在中國合法嗎Data VitalTITAN幣Vitalick Neuterin

火幣APP下載
SDC:美聯儲出手救市,USDC危機解除?_husdc幣

隨后USDC已恢復錨定至0.99,USDC的危機似乎已經解除。Circle聲明:我們很高興看到美國政府和金融監管機構采取關鍵措施來減輕部分銀行系統帶來的風險.

1900/1/1 0:00:00
KSY:zkSync Era測試網DEX交互教程_ZKS

zkSync近期宣布了2.0版本的上線,并稱此版本為zkSyncEra,SyncSwap為近期在zkSyncEra測試網新上線的AMMDex,通過與進行SyncSwap交互,一方面.

1900/1/1 0:00:00
USD:大戶交易員「出逃」?一文理解dYdX為何將交易獎勵減少45%?_DIP價格

3月14日,dYdX社區投票通過DIP-20提案,決定將交易獎勵減少45%,剩余的55%獎勵將由國庫留存,并可經由社區投票改做他用,其中贊成票比例為83%.

1900/1/1 0:00:00
CHA:ChatGPT來做安全審計?Coinbase說還早呢_CHAT

在人工智能熱潮席卷全球的當下,“ChatGPT”無疑是近期互聯網上最火的一個話題,而ChatGPT在區塊鏈領域也引起了不小的爭議,從最基礎的“你問我答”到簡單的行情分析.

1900/1/1 0:00:00
RUM:Bitget研究院:ARBK、SUIBG活躍度高,市場靜待美聯儲加息數據公布_NFT Platform Index

過去24小時,市場出現了不少新的熱門幣種和話題,或許它們就是下一個市場焦點。1.熱門幣種SUIBG:SUIFuturesToken.

1900/1/1 0:00:00
COI:KuCoin Labs第一季孵化計劃項目解析(四)_Trexcoin

相關閱讀 KuCoinLabs第一季孵化計劃項目解析KuCoinLabs第一季孵化計劃項目解析KuCoinLabs第一季孵化計劃項目解析近日,KuCoinLabs第1季孵化計劃開始.

1900/1/1 0:00:00
ads