本文來自cryptoslate,原文作者:Liam'Akiba'Wright?
Odaily星球日報譯者|Moni
3月31日,以太坊聯合創始人“V神”VitalikButerin在其官方博客上發布文章《以太坊的多客戶端理念將如何與ZK-EVM交互?》,分享了他對以太坊生態系統“未被充分討論但非常重要”的方面的思考,其中深入探討了為ZK-EVM創建多客戶端生態系統的技術挑戰、生態系統權衡和潛在解決方案。
接下來,讓我們來解讀這篇文章的關鍵要點。
Layer1??安全和驗證過程的重要組成部分,零知識(ZK)技術也能讓開發人員在不透露任何額外信息的情況下證明交易或消息的真實性。
這意味著,交易一方可以說服另一方其發出的消息是真實有效的,而無需透露消息有效性以外的任何知識。然而,根據VitalikButerin的分析,零知識證明技術的隱私保護性質可能會破壞更廣泛的EVM格局,因為以太坊客戶端在實施協議規則方面存在細微差別。
V神:區塊鏈最強大的特性之一便是可獨立驗證各個執行部分:8月17日,V神在其個人網站發布《區塊鏈驗證的哲學》文章稱,區塊鏈最強大的特性之一就是可以獨立驗證區塊鏈執行的每個部分。即使大多數礦工(或PoS中的驗證者)被攻擊者接管,但如果該攻擊者試圖推送無效區塊,網絡也可以將直接拒絕這些區塊。即使是當時未驗證區塊的那些用戶,也可以(可能會自動)警告那些有嫌疑的用戶,并實施檢查,自動拒絕那些未遵循規則的區塊。與此同時,V神還表示,驗證對于用戶主要有兩大益處:1.最大程度地提高了節點可以準確確定并在規范鏈(社區認可的合法鏈)上發言的機會。2.證明鏈的有效性。[2020/8/18]
現階段,ZKRollups中的二層協議已成功使用零知識證明技術,并通過將多個交易捆綁到一個證明中來幫助擴展以太坊區塊鏈。然而,隨著ZK-EVM發展到驗證主網上的交易執行,VitalikButerin認為“ZK-EVM實際上成為了第三種以太坊客戶端,與當前其他執行客戶端和共識客戶端一樣,對以太坊網絡的安全至關重要。”
V神:使用zk rollups可以最有效的減少gas費用:V神在推特表示,在ETH和ERC20 代幣轉帳中使用zk rollups可以最有效的減少gas費用。[2020/8/4]
不過,一旦將ZK-EVM視為第三種類型的以太坊客戶端,VitalikButerin提出了以下這樣一個問題:
“實際上,我們該如何為基于零知識證明以太坊區塊的正確性創建一個“多客戶端”生態系統?”
隨著以太坊生態系統的不斷擴展,VitalikButerin希望保持“多客戶端理念”的優勢,同時利用ZK-EVM的功能來提高以太坊網絡的可擴展性、安全性和去中心化性。
根據VitalikButerin的說法,將零知識證明技術用于多個客戶端的主要技術挑戰與延遲和數據效率低下有關。此外,由于對協議規則或ZK-EVM實現的特定解釋,各個不同以太坊客戶端處理零知識證明的方式也不一樣。
V神:糟糕的技術+良好的營銷有可能成功,但只會讓世界變得更糟:V神發推稱:“優秀的技術加上糟糕的營銷也可能會失敗,這是一個悲劇。糟糕的技術加上良好的營銷確實有可能會成功,但要知道,通過制造劣質產品取勝,可能會讓世界變得更糟。優秀的技術結合良好的營銷才是最理想的。”[2020/4/16]
那么,這些問題該如何解決呢?VitalikButerin給出了解決方案——
資料來源:vitalik.eth.limo
VitalikButerin相信,擁有多個客戶端可以降低一次實施中出現單個災難性錯誤的風險,從而提高網絡的安全性和去中心化程度,而這種錯誤可能會導致整個以太坊網絡崩潰。此外,多客戶理念也有助于防止權力集中在一個開發團隊或組織內,繼而更好地實現網絡去中心化。
V神:對Hive.io的治理很感興趣:推特網友“TeraBlockchain”今日艾特Hive.io(Steem社區硬分叉后的新鏈Hive)并稱,VitalikButerin只是在等著嘲笑你,你真的認為他對你的統治感興趣嗎?對此V神回復稱,我為什么要嘲笑它。實際上,我對他們的治理很感興趣。[2020/3/22]
針對上述提及的ZK-EVm多客戶端問題,VitalikButerin提出了三種可能的解決方案:
1、單一的ZK-EVM:放棄多客戶端范式,選擇用來驗證區塊的單一ZK-EVM。
2、封閉的多個ZK-EVM:就一組特定的多個ZK-EVM達成一致并達成共識,并有一個共識層協議規則,即一個區塊需要來自該集合中超過一半的ZK-EVM的證明才能被認為是有效的.
聲音 | V神:寧靜的理論設計文檔一直存在并保持更新:V神在推特中稱,寧靜(Serenity)的理論設計文檔一直存在并保持更新。查看V神轉發的“寧靜”設計文檔發現,其文檔在1天前有所更新。[2019/8/8]
3、開放的多個ZK-EVM:不同的客戶端有不同的ZK-EVM實現,每個客戶端在接受一個區塊為有效之前等待與自己的實現兼容的證明。”
在ZK-EVM的背景下,VitalikButerin支持第三種,也就是開放的多個客戶端ZK-EVM生態系統的解決方案,他認為不同的客戶端有不同的ZK-EVM實現,每個客戶端在接受一個塊為有效之前等待與自己兼容的證明。
“對我來說,第三種解決方案似乎是理想的,至少直到并且除非我們的技術改進到可以正式證明所有ZK-EVM實現彼此等效的程度......”
不僅如此,一旦技術改進到ZK-EVM實現有些標準化的程度,VitalikButerin認為解決方案將是選擇最有效的選項,而他還覺得“第三種解決方案的挑戰似乎小于其他兩個選項的挑戰,至少目前如此。”不過,VitalikButerin提出開放的多個ZK-EVM可能會面臨兩大挑戰:
延遲挑戰:惡意攻擊者可能會延遲發布一個塊,以及對一個客戶端有效的證明。生成對其他客戶端有效的證明實際上需要很長時間。這段時間足夠長,可能會創建一個臨時分叉并中斷幾個插槽的鏈。
數據效率低下:ZK-SNARKs的一個好處是可以從區塊中刪除僅與驗證相關的數據。例如,一旦你驗證了一個簽名,就不需要將簽名保存在一個區塊中,你可以只存儲一個表示簽名有效的位,以及區塊中確認所有簽名的單個證明。但是,如果希望能夠為一個區塊塊生成多種類型的證明,則需要實際發布原始簽名。?
Layer2??
隨著時間的推移,VitalikButerin建議可以將第1層每個區塊的gas目標從1500萬減少到100萬,足以讓一個區塊包含一個SNARK和一些存款和取款操作,但其他的不多,從而強制幾乎所有用戶活動移動到Layer2?協議。
選項2?:SNARK-驗證Layer1?
VitalikButerin表示可以編寫更多的SNARK代碼來驗證區塊共識,但這將是一個具有挑戰性的工程問題:現階段,ZK-EVM需要幾分鐘到幾小時來驗證以太坊區塊,如果采用該方案則需要:改進以太坊本身以刪除對SNARK不友好的組件通過專門的硬件獲得巨大的效率提升么(iii)通過更多的并行化改進架構。
PoS共識端進行更全面的SNARK驗證。
3、客戶端可能會開始嘗試使用ZK-EVM來證明自己的以太坊塊執行,特別是當無狀態客戶端并且沒有技術需要直接重新執行每個區塊來維護狀態的時候,可能會從客戶端通過重新執行它們來驗證以太坊區塊,再過渡到大多數客戶端通過檢查SNARK證明來驗證以太坊區塊。?
4、ERC-4337和PBS生態系統可能會很快開始使用BLS和證明聚合等技術,這樣可以節省大量gas成本。?
值得一提的是,VitalikButerin還對最近人工智能技術的快速發展大加贊揚,他覺得人工智能的進步可以“加速”證明ZK-EVM實現的發展。“從長遠來看,當然任何事情都有可能發生。也許AI會加強形式驗證,使其可以輕松證明ZK-EVM實現等效并識別導致彼此之間差異的所有錯誤。”
在恢復看漲勢頭后,市場上最大的加密貨幣比特幣(BTC)短暫突破其關鍵阻力位28,700美元。然而,該加密貨幣回落并回到上周形成的27,600美元至28,500美元區間內交易.
1900/1/1 0:00:00由于POOLZ項目受到攻擊,根據項目方消息,被攻擊前POOLZ持倉部分及未完全賣出部分將以1:1的比例空投新代幣POOLX,被攻擊后交易并持有POOLZ的用戶將會獲得賠付新幣POOLX.
1900/1/1 0:00:00原文作者:CapitalismLab最近TradejoeV2因為從Uniswap手里搶到大量Arb交易份額而火爆,幣價迅速翻倍.
1900/1/1 0:00:00盡管基本面強勁,但柴犬(SHIB)的價格目前仍在努力離開看跌區域。自2月4日當地高點0.000016美元左右以來,所有試圖產生新的上漲勢頭的嘗試都失敗了。現在SHIB可能面臨一個轉折點.
1900/1/1 0:00:00與其他加密貨幣市場相比,比特幣的市場主導地位在3月份顯著增加。隨著加密貨幣價格在此期間上漲約22.7%,市場領導者的主導地位從44%上升到48%的峰值。盡管如此,山寨幣市場表現不佳或出現負回報.
1900/1/1 0:00:00公眾號:小七財圈 RDNT是主打借貸的全鏈貨幣市場。Radiant于2022年7月份推出,是Arbitrum上的原生借貸市場項目,其基于LayerZero的底層跨鏈協議,以全鏈、跨鏈借貸的方式提.
1900/1/1 0:00:00