比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

Author:

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

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

接下來,讓我們來解讀這篇文章的關鍵要點。

Zk-EVM的多客戶端問題

VitalikButerin相信ZK-EVM將在未來發展成為以太坊?Layer1??安全和驗證過程的重要組成部分,零知識(ZK)技術也能讓開發人員在不透露任何額外信息的情況下證明交易或消息的真實性。

這意味著,交易一方可以說服另一方其發出的消息是真實有效的,而無需透露消息有效性以外的任何知識。然而,根據VitalikButerin的分析,零知識證明技術的隱私保護性質可能會破壞更廣泛的EVM格局,因為以太坊客戶端在實施協議規則方面存在細微差別。

Brc-20 Token Majo公布空投詳細規劃:5月15日消息,Open DAO旗下BRC-20 DAO的Brc-20Token Majo公布空投詳細規劃,將分為五輪多批次。空投目標是合作伙伴、產品用戶和用戶。第一輪空投的詳情如下:1.生態伙伴,將逐步公布生態伙伴(伴有驚喜),通過向生態伙伴空投Token,吸引伙伴生態用戶關注;2.通過部分CEX進行用戶空投,促進行業發展,讓更多交易平臺用戶熟悉ordinals生態;3.營銷活動空投,根據定期抽獎和活動將選擇粉絲進行空投,以增加社交媒體影響力。此外,Majo的產品也在開發中,將在某個合適的時間節點公開。[2023/5/15 15:03:30]

現階段,ZKRollups中的二層協議已成功使用零知識證明技術,并通過將多個交易捆綁到一個證明中來幫助擴展以太坊區塊鏈。然而,隨著ZK-EVM發展到驗證主網上的交易執行,VitalikButerin認為“ZK-EVM實際上成為了第三種以太坊客戶端,與當前其他執行客戶端和共識客戶端一樣,對以太坊網絡的安全至關重要。”

CZ:個人實際上并不參與任何上幣工作:5月1日消息,Binance創始人CZ在Twitter Space中發言表示,Binance的上幣過程我本人并不參與,Binance上也有很多我不能理解的項目,上幣第一標準的是用戶數量。我們會看Token經濟學,我們不喜歡流通量很小的Token。從用戶的角度來說,不能保證任何特定的Token都能上架Binance,也沒有保證說一定不上線某個Token。Binance有一個獨立的團隊來對上幣進行評估。[2023/5/1 14:37:30]

不過,一旦將ZK-EVM視為第三種類型的以太坊客戶端,VitalikButerin提出了以下這樣一個問題:

“實際上,我們該如何為基于零知識證明以太坊區塊的正確性創建一個“多客戶端”生態系統?”隨著以太坊生態系統的不斷擴展,VitalikButerin希望保持“多客戶端理念”的優勢,同時利用ZK-EVM的功能來提高以太坊網絡的可擴展性、安全性和去中心化性。

巴哈馬最高法院已批準兩名普華永道清算人監督FTX資產清算:金色財經報道,巴哈馬證券委員會在FTX數字市場表示,法院已批準普華永道的兩名合伙人作為聯合臨時清算人。對包括FTX數字、FTX交易、Alameda和其他位于巴哈馬的實體在內的各方進行調查。[2022/11/15 13:08:24]

根據VitalikButerin的說法,將零知識證明技術用于多個客戶端的主要技術挑戰與延遲和數據效率低下有關。此外,由于對協議規則或ZK-EVM實現的特定解釋,各個不同以太坊客戶端處理零知識證明的方式也不一樣。

那么,這些問題該如何解決呢?VitalikButerin給出了解決方案——

ZK-EVM多客戶端解決方案

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

Coinbase向美SEC提交請愿書,呼吁制定可行的數字資產證券監管框架:7月22日消息,Coinbase 向美國證券交易委員會(SEC)提交了一份請愿書,稱現有的證券規則不適用于數字資產,呼吁 SEC 制定一個可行的數字資產證券監管框架,以正式程序和公開通知和評論流程為指導,讓公眾和關鍵利益相關者可以透明地為該機構的加密工作提供意見。Coinbase 希望請愿書能夠展開更廣泛的對話,讓國會議員(其中許多人也認為有必要制定法規)發表意見,有助于避免一次性的、武斷的決定,這樣的決定對行業來說幾乎沒有明確性或指導。[2022/7/22 2:31:38]

資料來源:vitalik.eth.limo

VitalikButerin相信,擁有多個客戶端可以降低一次實施中出現單個災難性錯誤的風險,從而提高網絡的安全性和去中心化程度,而這種錯誤可能會導致整個以太坊網絡崩潰。此外,多客戶理念也有助于防止權力集中在一個開發團隊或組織內,繼而更好地實現網絡去中心化。

Patrick Hansen:歐洲正需要金融創新,應該張開雙臂擁抱加密貨幣:金色財經報道,Presight Capital的加密風險投資顧問Patrick Hansen在社交媒體上表示,與美國銀行不同,歐洲銀行從未從2008年的金融危機中恢復過來。歐洲正需要金融創新,應該張開雙臂擁抱加密貨幣。[2022/7/9 2:02:29]

針對上述提及的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??

選項1?:限制Layer1?,強制幾乎所有活動移動到?Layer2??

隨著時間的推移,VitalikButerin建議可以將第1層每個區塊的gas目標從1500萬減少到100萬,足以讓一個區塊包含一個SNARK和一些存款和取款操作,但其他的不多,從而強制幾乎所有用戶活動移動到Layer2?協議。

選項2?:SNARK-驗證Layer1?

VitalikButerin表示可以編寫更多的SNARK代碼來驗證區塊共識,但這將是一個具有挑戰性的工程問題:現階段,ZK-EVM需要幾分鐘到幾小時來驗證以太坊區塊,如果采用該方案則需要:改進以太坊本身以刪除對SNARK不友好的組件通過專門的硬件獲得巨大的效率提升么(iii)通過更多的并行化改進架構。

總結

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實現等效并識別導致彼此之間差異的所有錯誤。”

Tags:以太坊ITATALVIT以太坊交易所叫什么名字Oort DigitalTalentvite幣價格

比特幣價格
不同 zkEVM 之間的比較_SYN

隨著“zkEVM戰爭”的升溫,公眾對不同zkEVM的優點進行了大量的討論。也有一些錯誤的信息,所以我們想澄清一些關于PolygonzkEVM的事實以及它與其他產品的比較.

1900/1/1 0:00:00
zkSync Era智能合約部署教程_zkSync

注:本文來自@0xNing0x推特,MarsBit整理如下:1為什么要在zkSyncEra部署智能合約超級空投規則的核心原則有兩個:--鏈上行為.

1900/1/1 0:00:00
將零知識證明引入比特幣,ZeroSync 要做什么?_ERO

如果在比特幣上引入零知識證明,會發生什么?如果能夠立即驗證鏈的狀態而無需下載區塊數據或依賴第三方.

1900/1/1 0:00:00
巴比特 | 元宇宙每日必讀:重磅更新!ChatGPT推出插件功能,能聯網、能搜索、能運算,強化版AIGC工具即將大量涌現?_GPT

摘要:據財聯社報道,OpenAI于3月24日宣布,部分解除了ChatGPT無法聯網的限制。其CEO山姆?阿爾特曼表示,“我們正在開始推出ChatGPT插件,您可以安裝插件來幫助完成各種各樣的任務.

1900/1/1 0:00:00
Gucci入場元宇宙,Otherside Relics該怎么玩?_DAN

4月4日,奢侈品巨頭Gucci宣布將與?YugaLabs?旗下元宇宙游戲Otherside合作推出限量版OthersideRelicsbyGucci系列.

1900/1/1 0:00:00
解讀 GambleFi,是否因 Layer2 而再次興盛?_EFI

*注:Gamblefi在不同國家和地區均受到不同程度的法律約束,請嚴格遵守當地法律,本文僅作為科普,不構成任何投資建議.

1900/1/1 0:00:00
ads