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

以太坊:什么是EVM等效性?它有哪些作用?

Author:

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

上個月,我們宣布了Optimistic 以太坊歷史上最重要的升級。最近,我們將Optimistic Kovan遷移到真正的一鍵式部署,并增加了穩定性,主網在不到三周的時間內就會跟上。

這篇文章是關于我們相信EVM 等效性——完全符合以太坊虛擬機規范——將成為L2領域的下一個通用標準。

首先,讓我們回顧一下我們已經采取的當代Rollup路徑。

Optimistic 的L2都是關于爭議的。如果你認為以太坊是一個全能的、去中心化的法庭,那么L2可擴展性的核心觀點是:“不要去法庭兌現支票——如果支票被退回,就去唄。”

實際上,過去6年的可擴展性研究可以歸結為一件事:什么樣的“拒付支票”可以被強制執行。首先,只有一組預先商定的參與者可以在彼此之間進行交易(狀態通道)。然后,任何人都可以交易,但也可以被審查(plasma)。最終,我們也解決了審查問題(rollup)。

在Rollup之前,我們已經知道如何在所有這些模型上運行智能合約——只是沒有多大意義。誰愿意只在幾個朋友之間運行Uniswap,或者以一種可以被審查一周的方式運行?Rollup承諾提供真實的以太坊風格的L2體驗。

當然,僅僅“承諾”一個真正的以太坊風格的L2體驗并不能真正創建實現。對于Unipig,有史以來第一個L2 AMM,我們必須使用與Rollup爭議合約兼容的自定義代碼重新創建 Uniswap,而不是 EVM 本身。

Blockstream CEO 抨擊以太坊、Ripple和龐氏騙局沒什么兩樣:Blockstream首席執行官Adam Back 5日在Twitter稱,“Bitconnect,Charles Ponzi,以太坊,Onecoin,Cardano,Ripple,Bernie Madoff,Stellar和Dan Larmer。這些看上去都非常相似。”據悉,Charles Ponzi和Bernie Madoff是龐氏騙局的兩個最著名的創造者,而Bitconnect和OneCoin是被發現是龐氏騙局的著名加密貨幣項目,Back將此類騙局與以太坊、Ripple和Stellar,以及Dan Larmer(BM)相類比。[2020/8/6]

由于Uniswap的設計相對簡單,這是可行的,但當基本的Solidity變量不能再使用時,這就不是一個好兆頭了。對于非開發人員;Uniswap 是目前最簡單的 DeFi 智能合約之一,這并不意味著Uniswap需要徹底修改才能實現“Rollup兼容”。

到目前為止,以太坊已經超過了退出速度。一個指數級增長的生態系統根本無法圍繞非EVM接口重新構建。因此,L2的責任是除了提供“原始”規模之外,確保L1法院系統與EVM的區別最小。這迫使Rollup同時在兩個方面成為先鋒:

構建可擴展的、生產就緒的Rollup基礎設施。

解決久負盛名的EVM-in-EVM問題。

以太坊的圖靈完整性意味著我們知道它可以完成,但在我們的研究過程中,我們了解到,為了在合理的時間框架內將以太坊引入L2,需要犧牲一些東西。

Game.com徐樂:現在誰都定義不了什么是區塊鏈游戲:2017年,徐樂以1億元的價格拿下了Game.com的域名,搭建了名為“樂樂”的游戲平臺。近期,Game.com陸續上線了區塊鏈相關的游戲業務。關于區塊鏈游戲應該是什么形態,徐樂認為“大家都被以太貓誤導了”。在他看來區塊鏈游戲“不是游戲跑在鏈上合約上,也不是同時發幣”,區塊鏈游戲是一種設計游戲的新思想。以太坊養貓的游戲思想有邏輯問題,但是個很好的思想的開始。[2018/5/1]

這種犧牲被稱為EVM“兼容性”。

理由很簡單:只要以太坊應用可以被合理地移植到Rollup上運行——不管這是如何在幕后完成的——我們就可以捕獲以太坊的退出速度。

起初,這種妥協取得了成功。在2020年,我們競相推出OVM,因為用戶紛紛逃離以太坊,轉向其他L1競爭對手,后者在“廉價費用”的幌子下放棄了安全性和價值。

但以太坊的網絡效應產生的退出速度有多種形式,我們的使用量激增突出了L1-以太坊的另一個組件,這是其他L1和L2所缺乏的:基礎設施。在過去的6年里,以太坊的全球社區讓它從一個簡單的原型,發展到更多:

成千上萬的開發工具已經被深度集成到EVM中。

數十億美元的公司已經崛起,只是為了服務和改進節點軟件。

區塊鏈風口,BAT都做了什么?:\t鳳凰網網科技消息,在各種3點鐘群遍布世界各地,商業BP里充斥著發行代幣,作為巨頭,BAT卻在此番風口中顯得低調了許多。事實上,BAT早就已經開始布局區塊鏈,而且主要還是基于區塊鏈技術層面的布局,與現在大熱的虛擬貨幣、ICO無關。由于區塊鏈的技術和場景探索尚處于早期,還未迎來真正爆發時機。

無論是馬化騰、馬云還是李彥宏,都認可了區塊鏈技術革新,并在這個戰場開始投入精力。雖然戰火還未燃起,不過在這短兵交接的前夜,三大巨頭做了哪些軍備競賽?馬化騰近期在兩會上發表了自己對于區塊鏈的看法,“區塊鏈是一個好的技術,但還處在發展的早期,需要建立有效的應用模式,騰訊也在積極探索區塊鏈在各個場景中的應用。”相比騰訊和百度兩家集中在金融領域,阿里對于區塊鏈技術的應用場景要更廣泛,尤其是在商品供應鏈和物流方面。由于金融和電商領域的先天優勢,阿里在區塊鏈技術上相比百度和騰訊也更加突出。百度在AI上All in了資源,在區塊鏈的布局上,似乎比AT要慢了一些,目前主要集中在了金融領域。[2018/3/17]

以太坊本身變得越來越快。

以太坊的網絡效應浪潮只會越來越大。由于一切都是開源的,人們可能會認為這些巨大的勝利也適用于以太坊的L2。

但并沒有那么多。

EVM兼容性與EVM等效性并不相同,僅僅滿足于兼容性意味著你不得不修改,甚至完全重新實現以太坊支持基礎設施所依賴的底層代碼。如果L2想要在以太坊的基礎設施網絡效應浪潮中沖浪,它們必須成為EVM的對等物。

薛蠻子:什么是區塊鏈企業家精神?: 今日知名投資人薛蠻子在三點鐘區塊鏈社群回應問題“您經常提到的區塊鏈企業家精神具體是指的什么”時表示:我這次在京都附近的天橋立看了一個奇景是屁眼看天。原本是海中有了一個長幾公里的沙堤,和西湖的蘇堤白堤一樣,僅是一個美景而已。可是到了上頂上有個地方,叫褲襠看天。每個游客必須把頭伸到褲襠底下看景。這時候,這個沙堤就不是一個普通的沙堤,而是宛如一條巨龍,直飛天際。我之所以句這個例子,就是因為區塊鏈顛覆了以往的商業邏輯。因此,顛覆是第一條。第二個精神是有掄開膀子 時不我待的精神。第三個精神是要有超強的學習能力,才能與時具進。眼界,胸懷,識人之能和容人之量是前所未有的重要。[2018/2/25]

隨著Optimistic 以太坊的發展,我們發現越來越多的以太坊工具不斷發現自己無法使用,這是由于我們舊的EVM兼容性設計理念。

我們知道我們可以做得更好。為了真正支持大眾,我們需要的不僅僅是與EVM合約兼容的東西,而是從根本上等同于EVM本身的東西。

EVM等效性是我們如何彌合以太坊L1的基礎設施網絡效應和以太坊L2的執行環境之間的差距。

簡而言之:EVM等效性完全符合以太坊黃皮書,即協議的正式定義。根據定義,L1以太坊軟件必須符合該規范。

這意味著——深入到最深處——現有的以太坊堆棧現在也將與L2系統集成。每一個調試器。每一個工具鏈。每個節點的實現。我們相信任何L2提供任何EVM體驗都必須達到這個標準-任何不足都是不可接受的。

蔡文勝:我為什么看好區塊鏈?:今日凌晨,知名投資人隆領資本蔡文勝在“三點鐘無眠區塊鏈”社群內分享觀點,整理如下:1.區塊鏈是一場大變革,目前只有小部分人先知先覺。 2.區塊鏈是人類有史以來最大的泡沫,但泡沫剛剛開始,同時也能助推技術革命。 3.現在進場比特幣仍是先行者,最后觀望者進場才是韭菜。 4.區塊鏈代表未來,投資區塊鏈就是投資價值。 5.目前政策是鼓勵區塊鏈技術發展的。 6.區塊鏈技術的發展一日千里,一天不學習就會落后。 7.未來會繼續分叉,但最終只會留存幾個主鏈,形成基礎貨幣;但應用數字貨幣不會比基礎貨幣價值低。 8.區塊鏈不是互聯網的升級版本,不單是技術的創新,更是商業邏輯的改革。 9.區塊鏈可參考互聯網的發展路線,從基礎設施、工具軟件,到最后和傳統行業結合。[2018/2/19]

OVM v1引入了一個容器化系統,它位于Geth的EVM之上,有助于避免在L1上冗長地重新實現整個EVM。

這種組合在早期取得了一些勝利,但由于EVM本身不支持容器化,所以它不是免費的。隨著Optimistic 以太坊的發展,不可忽視的等價性的力量不容忽視:

像Solidity、Vyper和Hardhat這樣的項目都在開發他們的OVM版本的開發工具,

隨著每一行代碼的改變,采用像Erigon這樣的實驗性實現變得越來越困難。這告訴我們,我們總是需要投入大量的精力來集成未來的客戶端實現。

與現有的超優化版本相比,重新實現EVM的某些部分會帶來gas開銷。這讓我們認識到,要實現氣體成本的最小化,就必須采用EVM等效設計理念。

現在是時候尋求一種更好的方法了。

值得慶幸的是,我們找到了一種比在EVM中冗長地重新實現EVM更好的方法。

分離區塊生成和執行

在實踐中,我們確實需要對以太坊L2-ify做一些改變:特別是區塊是如何生成的。在L1上,節點使用工作證明共識機制來確定區塊;在L2上,批量交易通過發送到“父鏈”(L1以太坊)的批量應用。如果一個L2使用它自己的工作證明,那么它將是一個L1!所以在這個層面上,“等效性”根本就是無稽之談。

區塊鏈模塊化的一個核心模式是將共識與執行分離——也就是說,使用不同的流程來確定和執行下一個區塊。我們可以借用這個模式在L2中使用。基本上,我們只需要定義一個函數,它接受L1區塊,對它們進行Rollup處理,然后輸出L2區塊——格式與L1區塊完全相同。從那以后,L2的執行可以被定義為等效于L1。

那么,現有L1客戶端實現之間的共識/執行模塊化的現狀如何?它即將在所有以太坊實現中標準化。

事實證明,ETH2合并需要與EVM等效性Rollup完全相同的抽象:信標鏈提供與L1對Rollup完全相同的“父鏈”角色。這使得在L2中使用L1客戶端變得非常簡單。

好了,我們已經討論了為什么等效性為強大的、模塊化的抽象和非常簡單的客戶端實現打開了大門。但是我們如何在鏈上執行這個呢?首先,模塊化的強大之處在于它的靈活性——只要解決方案與EVM等效,我們就可以使用它。這意味著欺詐證明的改進,甚至是EVM等效性的零知識證明(當它們變得可行時),都可以被簡單地放入現有的鏈下堆棧中。

不過,在短期內,我們今天需要一些可行的措施——我們已經發現了這一點。一種解決方案是在Solidity中實現一個完美的EVM等效實現,但EVM是一個包含許多VM指令的復雜工具,因此這是一項重要的任務。此外,未來對EVM的更新也必須在Solidity中重新實現。

我們的解決方案:不是在Solidity中實現EVM,而是用更小、更簡單的指令集實現一個VM,并在欺詐證明期間在這個VM中運行EVM。為此,我們必須簡單地編譯一個現有的EVM解釋器,例如geth,以便在更簡單的VM中運行。

我們允許Geth本身在一個有爭議的環境中運行。由于Geth是EVM等效的,所以環境也是如此。這使我們能夠繞過在鏈上重新實現EVM,并使系統能夠適應未來對EVM的升級。

如果以太坊要實現其以Rollup為中心的未來,那么Rollup必須以以太坊為中心。

這就是等效性所提供的。

這種模塊化的、以Geth為中心的設計不僅僅是一個可供我們使用的優雅的實現——它是向防欺詐基礎設施商品化邁出的一大步。今天,安全地設計和啟動一個Rollup需要對L2爭議有深入的了解,以及它們如何與節點軟件一起工作。這嚴重限制了創新——想象這樣一個世界,每個web開發人員都必須是IP網絡、系統管理和微芯片制造方面的專家。

未來的Rollup將非常簡單,不需要L2專家來部署。這意味著L2將不再在如何或是否提供安全性上競爭,而是在提供安全性的內容上競爭。這包括在:

性能、穩定性和正常運行時間

網絡效應、生態系統專業化和社區

MEV預防和測序工具

總之,這意味著EVM等效性的Rollup在去中心化上競爭。這是整個生態系統民主化的巨大勝利,也是使我們整個行業更加脆弱和抵制審查的重要一步。

這也意味著我們的團隊最終可以專注于我們的核心競爭力——最重要的部分——打造世界上最快、最可靠、最安全的L2 Geth。

以太坊兼容性的枷鎖已經解除。

EVM等效性性的威力歸結于標準化。

在多鏈的世界中,“一次編寫,隨處部署”變得至關重要。

擁有許多“兼容”鏈(每個鏈都略有不同)會導致碎片化:從需要單個EVM專家團隊處理單個代碼庫,到需要為每個鏈的每個代碼庫組建EVM專家團隊。

Vitalik在首次公開EVM時就將其與Javascript進行了比較,這種類比在本文中得到了很好的體現。在互聯網的早期,瀏覽器之間的不兼容性困擾著網絡開發,并導致開發者和生態系統分裂。

Web3完全是關于協調和開源標準的,而等效性為即將成為標準的EVM提供了一條路徑,以避免重復過去的錯誤。

即使隨著這個標準的發展,我們對欺詐證明的方法意味著L2可以毫不費力地協同發展。L1和L2手牽手一起前進。

這一好處是雙向的——幾乎所有以太坊EIP都可以在L2上被采用,并且Rollup成為一個激動人心的創新實時測試環境。想象一下,一個位于激勵測試網和主網之間的Rollup,驗證新的交易類型、預編譯和EOF,在它們升級到L1之前測試不可預見的結果。

DeFi最大的障礙之一是,測試所有你想要的,無法取代 DeFi 的現場環境。你不能在測試網絡上“重新創建”DeFi,所以當你想測試更改時,它總是“在產品中測試”。

EVM等效性允許我們在實時環境中測試EIP,并對整個以太坊環境做出更安全、長期的改進,而不需要“交叉硬分叉”。

L2早就承諾了一個多鏈以太坊的未來,充滿活力的城市深入到這個新網絡空間的前沿。雖然我們可以期待這些鏈是多樣化和豐富的,但EVM 等效性引入了一種與以太坊的新連接——不僅僅是作為結算層,而是在其組成的最深層。

Tags:以太坊區塊鏈ROLLROL以太坊硬幣ETHD區塊鏈技術通俗講解圖TrollCoinTROLLER幣

芝麻開門交易所
區塊鏈:李禮輝:區塊鏈技術創新與產業升級

習近平總書記兩年前指出:要把區塊鏈作為核心技術自主創新的重要突破口,明確主攻方向,加大投入力度,著力攻克一批關鍵核心技術,加快推動區塊鏈技術和產業創新發展.

1900/1/1 0:00:00
NFT:DeFi周刊 | FATF前執行秘書:DeFi缺乏有效的監控、存在一定風險

1.DeFi總市值:1655.35億美元 市值前十幣種價格及本周漲跌幅,數據來源:CoinGecko2.去中心化交易所24小時交易量:42.6億美元 過去24小時DEX交易量 數據來源:Deba.

1900/1/1 0:00:00
元宇宙:元宇宙的政策、發展、問題探討 未來將會遇到哪些困難?

一千個讀者眼里,有一千個哈姆雷特,元宇宙概念的火爆讓很多傳統互聯網公司和區塊鏈創業團隊紛紛開始關注這個全新的領域,從臉書到微軟,也都紛紛宣布加入到元宇宙的行列之中.

1900/1/1 0:00:00
DOT:波卡主網平行鏈拍賣啟動在即 普通人如何參與?

去年「萬向區塊鏈周」結束之后,我們曾圍繞波卡生態寫過一篇近萬字的長文(傳送門),以詳述平行鏈拍賣的運作機制,探析生態各方角色的不同態度.

1900/1/1 0:00:00
區塊鏈:金色早報 | 馬斯克:想成為狗狗幣的假首席執行官

頭條 ▌埃隆馬斯克:想成為狗狗幣的假首席執行官金色財經報道,特斯拉首席執行官埃隆馬斯克在推特表示,他將成為狗狗幣的假首席執行官.

1900/1/1 0:00:00
DAO:未來幾年 DAO 必須解決的法律問題

當我開始寫關于 DAO 的文章時,我驚訝于有多少人回應說他們認為沒有任何法律適用于 DAO。我現在想打消這種信念。在 DAO 愛好者中有一股巨大的暗流,似乎一心想要推動監管機構關注他們.

1900/1/1 0:00:00
ads