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

以太坊:讓以太坊成為標準:EVM 等同性介紹

Author:

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

上個月,我們宣布了 Optimistic Ethereum 歷史上最重大的升級 —— OVM 2.0。最近,我們將 Optimistic Kovan 遷移了,使其真正能夠一鍵部署以及提高了其穩定性。并且,將在未來的三周內上線主網,

但是本文并不是關于一鍵部署或者漸進式改善。

本文主要介紹了 EVM Equivalence (完全與以太坊虛擬機規范相一致) 將如何成為 L2 領域的下一個通用標準。

Optimistic 爭議協議的簡史

首先,一起來回顧一下 rollup 的發展歷史。

Rollup 的開端

Optimistic L2 解決方案都與爭議有關。如果你認為以太坊是一個全能的、去中心化的法庭,那么 L2 擴容的核心觀點便是:“不要去法庭兌現支票 —— 如果支票被退回再去。”

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

在 rollup 之前,我們已經知道如何在所有這些模型上運行智能合約 —— 只是沒有任何意義。畢竟誰想要在幾個朋友之間運行 Uniswap 或者要被審查一周呢?而 rollup 能夠承諾給我們提供真實的、類似于以太坊交互體驗的 L2。

兼容時代

當然,僅僅“承諾”提供一個真實的、類似于以太坊交互體驗的 L2,并不代表能夠真正創建實現。在構建首個 L2 AMM Unipig 時,我們必須使用與 rollup 爭議合約兼容的自定義代碼重新創建 Uniswap —— 而不是利用 EVM 本身來構建。

由于 Uniswap 的設計相對簡單,上述的構建方式是可行的。然而連 Solidity 這么基礎的東西都不能再用了,實在不是一個好兆頭。對于非開發者來說,Uniswap 是目前最簡單的 DeFi 智能合約之一,如果連 Uniswap 也要大改一番才能方便地實現兼容 rollup,這真不是一個好現象。

ApeCoin DAO發起新提案AIP-250擬優化APE代幣質押智能合約:金色財經報道,ApeCoin社區已發起新提案AIP-250投票,該提案提出了新的APE代幣質押解決方案,旨在使用戶能夠在出售BAYC、MAYC、BAKC的同時收到預付款,并以復合獎勵質押APE,繼而解決質押NFT升值與獲取質押獎勵之間的互斥困境。此外,除了APE質押獎勵之外,NFT持有者將能夠通過產生額外的被動收入來利用其NFT價值,繼而最大化APE代幣質押獎勵和靈活性。據悉,如果AIP-250提案獲得通過,將部署新的APE Stake質押智能合約,該合約使用戶不僅可以通過自動再投資進質押,還可以以NFT進行借貸或以預付收入將其掛牌出售,確保NFT所有者即使在質押期間仍然可以產生現金流或利用其 NFT 的升值價值,據悉該提案投票將于8月10日結束。[2023/8/6 16:21:23]

到目前為止,以太坊的發展速度之快,早已超過了逃逸速度 (escape velocity)。呈指數級增長的以太坊生態系統根本無法圍繞非 EVM 接口進行重新架構。因此,L2 除了要提供“原始”規模之外,它還要確保 L1 的法院系統與 EVM 的差異最小化。這迫使 rollup 同時在以下兩個方面開創先河:

構建可擴展的、產品級別的 rollup 基礎設施

解決長期以來就讓人難以接受的的 EVM-in-EVM (在 EVM 里構建 EVM) 問題。

以太坊的圖靈完備性 ( Turing-completeness) 意味著它確實可以解決這些問題,但在我們的研究過程中,我們發現,如果想要在合理的時間范圍內將以太坊遷移到 L2 上,我們需要犧牲一些東西,做出妥協。

這種妥協也就是我們后來所稱的 EVM 兼容性 (EVM “Compatibility”)。

EVM 兼容性的論點很簡單:只要以太坊的應用程序可以合理地移植到 rollup 上運行 —— 不管這是如何在幕后完成的 —— 我們就可以追上以太坊的逃逸速度。

分析師:比特幣距離“確認”新牛市還有1周:金色財經報道,在最新的Twitter活動中,交易員和分析師Rekt Capital指出BTC/USD正在形成一個關鍵的月度收盤價。盡管面臨拋售28,000美元支撐的問題,但BTC價格走勢堅定地走在離開熊市的路上,他在3月26日對BTC/USD可能如何結束本月提出了樂觀的看法。下周六,BTC月度收盤價將位于宏觀下降趨勢之上,以確認新的牛市。[2023/3/27 13:28:00]

“這算是兼容性嗎?”

乘風破浪

起初,這種妥協取得了一些成功。在 2020 年,由于許多用戶從以太坊轉移到了其他 L1 競爭鏈上 (這些鏈打著“費用低廉”的幌子而罔顧安全性和價值),我們競相推出了 OVM。在今年 1 月份,Optimism 上線主網,10 個月過去了,我們已經處理了數百萬筆交易,為用戶節省了數億美元的交易費。

但是以太坊網絡效應產生的逃逸速度有多種形式,并從以太坊 L1 的交易活動飆升這個現象可以看出,其他 L1 鏈和 L2 所缺乏的是:以太坊 L1 所擁有的基礎設施。過去六年來,遍布世界的以太坊社區成員合力將以太坊從一個簡化的原型變成一個更加完善的系統:

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

價值數十億美元的公司的出現,只為了給以太坊的節點軟件提供服務以及完善其運行。

以太坊本身的交易處理速度越來越快了。

以太坊網絡效應的浪潮只會越來越大。由于一切都是開源的,人們可能會期望這些巨大的勝利同樣也能在 L2 上發生。

然而并沒有達到大家的預期。

EVM 兼容性 (EVM compatibility) 與 EVM 等同性 (EVM equivalence) 是有區別的,僅僅滿足于兼容性意味著你被迫修改 (甚至需要完全重新實現) 以太坊的基礎設施也依賴的低級代碼。如果 L2 想要從以太坊基礎設施網絡效應所帶來的浪潮中獲得一些好處,它們必須要具有 EVM 等同性。

Aptos Grant DAO第二輪資助在DoraHacks.io正式啟動:1月13日消息,據官方消息,Aptos生態早期項目長期資助計劃Aptos Grant DAO第二輪資助已在開發者激勵平臺DoraHacks.io正式啟動。在2月17日前提交的項目都將進入本輪評選,共同角逐4000 APT BUIDLer固定資助和4000 APT社區二次方投票資助。開發者可以在DoraHacks.io向七個賽道(BUIDL- Defi、穩定幣、NFT/游戲、基礎設施/ 開發者工具、Move原生、社區/DAO、 社交)提交。相比第一輪資助,Aptos Grant DAO新增了穩定幣和社交賽道。

Aptos Grant DAO旨在資助早期 Aptos 初創團隊與開發者的優質項目,以進一步豐富Aptos生態體系。活動申請通道長期對外開放,項目評審和獎勵發放將會定期進行。[2023/1/13 11:10:39]

在 Optimistic Ethereum 上線并運行發展之后,我們發現越來越多以太坊工具難以部署在 Optimistic Ethereum 系統上,這是由于我們老舊的 EVM 兼容性設計理念造成的。

我們知道我們能做得更好。為了真正讓大眾用上 OE,我們需要的不僅僅是與 EVM 合約兼容;相反,我們要做到從根本上實現與 EVM 本身等同。

EVM 等同性能夠幫助填補以太坊 L1 的基礎設施網絡效應和以太坊 L2 的執行環境之間的缺口。

EVM 等同性: 借助以太坊的 EVM 應用浪潮

什么是 EVM 等同性?

簡而言之:EVM 等同性也就是與以太坊黃皮書的規范 (該協議的正式定義) 完全相符。根據定義,L1 以太坊軟件必須符合該規范。

深入到最本質來說,這意味著現有的以太坊堆棧也將要與 L2 系統集成。每一個調試器、每一個工具鏈以及每個節點實現都要和 L2 集成。我們相信,任何提供任何 EVM 開發體驗的 L2 都必須滿足這一標準 —— 一丁點達不到標準都不可接受。

Frax Lend 已添加 gOHM 作為抵押品:12月4日消息,混合算法穩定幣協議 Frax Finance 旗下借貸產品 Frax Lend 已支持 gOHM 作為抵押品借出 FRAX。[2022/12/4 21:21:38]

為什么需要 EVM 等同性?

從最開始,我們就在以太坊最具有魯棒性和最普遍的實現 “Geth” 上構建了我們的軟件 —— 這是我們實現產品級的以太坊 L2 的唯一可行途徑。OVM v1 引入了一種容器化系統 (containerization system),它基于 Geth 的 EVM 構建,有助于避免在 L1 上繁瑣地重新實現整個 EVM。

這種組合在早期取得了一些勝利,但由于 EVM 并不原生地支持容器化,所以這不是免費的。即使對于我們以 Geth 為中心的團隊,這些變化也開始累積起來。隨著 Optimistic Ethereum 的發展,EVM 等同性的力量不容忽視:

像 Solidity、Vyper 和 Hardhat 等項目無私地致力于開發 OVM 版本的開發工具,但我們這樣做冒著將這些已經資源受限的團隊分散的風險。這給我們上了一課,團隊需要投入相當的人力來維護非 EVM 等同的代碼庫。

隨著每一行代碼的改變,采用像 Erigon 這樣的實驗性實現變得更加困難。也就是說,我們總是需要花人力來負責集成未來的客戶端實現

與現有的超級優化版本相比,重新實現部分 EVM 帶來了一些 gas 開銷。這告訴我們,最小化 gas 成本需要 EVM 等同性的設計方案。

是時候尋求更優的解決方法了,盡管這需要單調乏味的工作。

如何實現 EVM 等同性?

幸好,比起在 EVM 中繁瑣地重新實現 EVM,我們找到了更好的辦法。這就是你要做的。

將區塊產生和執行分離

在實踐中,我們確實需要對 L2 化的以太坊進行一些更改:尤其是如何產生區塊。在 L1 上,節點通過 PoW 共識機制來確定區塊;在 L2 上,通過將批量交易的 batches 發送到“父鏈” (L1 以太坊) 上來應用這些交易。如果某個 L2 使用它自己的 PoW,那么它將變成一個 L1!所以,從這個層面來說,這種“等同性”毫無意義。

波卡生態鏈游平臺Ajuna Network贏得第31輪波卡平行鏈拍賣:11月7日消息,波卡生態鏈游平臺 Ajuna Network 以鎖定約 8.7 萬枚 DOT 贏得第 31 輪波卡平行鏈拍賣。共有超 700 名貢獻者參與了 Ajuna Network 的眾貸,總計將發放 90 萬枚 AJUN 獎勵。[2022/11/7 12:28:51]

區塊鏈模塊化的一個核心模式就是將共識與執行分離 —— 也就是說,確定和執行下一個區塊的過程不同。我們可以借用這個模式在 L2 中使用。基本上,我們只需定義一個函數:接收 L1 區塊,對其中的 rollup 交易進行處理,然后產生 L2 區塊 —— 與 L1 區塊的格式完全相同。這之后,L2 的執行便可以定義為等同于 L1。

Eth2 Merge API

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

事實證明, ETH2 合并 和具有 EVM 等同性的 rollup 需要同一種抽象:信標鏈之于 PoW 鏈的“父鏈”角色與 L1 之于 rollup 的角色完全相同。這將使得在 L2 中使用 L1 客戶端變得非常簡單。

執行標準

好了,我們已經介紹了為什么 EVM 等同性能夠讓我們實現一個強大的、模塊化概念以及完成一個及其簡單的客戶端實現。但我們如何在鏈上執行這種操作呢?首先,這種模塊化的強大之處在于其靈活性 —— 只要某個解決方案等同于 EVM,我們就能夠用它。這意味著不管是對欺詐證明的改進,還是 EVM 等同的零知識證明 (如果可行的話),都可以輕松地嵌入現有的鏈下堆棧中。

然而,在短期內,我們目前需要一些可行的方案 —— 我們找到了。有一個方案是這樣的,在 Solidity 中實現一個完美的 EVM 等同實現,但是 EVM 十分復雜, 含有許多 VM 指令,因此這是一項十分浩大的任務。此外,未來對 EVM 的更新也必須在 Solidity 中重新實現。

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

太長不讀:我們允許 Geth 本身在一個爭議友好的環境中運行。由于 Geth 具有 EVM 等同性,它的環境也如此。這樣的話,我們就不用在鏈上重新實現 EVM,并針對 EVM 未來的升級對系統進行未來驗證。

我們正在與我們最喜歡的編譯器專家 George Hotz 合作,共同構建首個 EVM-等同證明系統。進展令人興奮 —— 自倫敦硬分叉以來,系統已經 可以運行所有 L1 塊。通過欺詐證明運行 L1 區塊是一個有趣的、反直覺的想法 —— 但這正式 EVM 等同性所需要的!

哇 —— 關于這種方案還有很多令人興奮的事情要說,但我們必須把剩下的內容留給以后的帖子!

展望以太坊的未來

如果以太坊要實現其以 rollup 為中心的愿景,那么 rollup 必須以以太坊為中心。

這便是 EVM 等同性所提供的。

欺詐證明永垂不朽

這種以 Geth 為中心的模塊化設計不僅是供我們使用的優雅實現 —— 這將朝著大眾化欺詐證明基礎設施的目標邁出一大步。目前,想要安全地設計并推出一款 rollup,需要深入了解 L2 的爭議博弈設計,以及它們如何與節點軟件協同運作。這極大地限制了大家的創新空間 —— 想象一下,如果每個 web 開發者還必須成為 IP 網絡、系統管理和微芯片制造方面的專家,這多讓人崩潰啊。

未來的 rollup 將非常簡單,以至于不需要 L2 專家來部署。這意味著,L2 將不再在“如何”或“是否”提供安全性上競爭,而是在它們提供的安全性內容方面競爭。競爭的內容包括:

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

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

抗 MEV 性以及定序工具

總而言之,這意味著具有 EVM 等同性的各個 rollup 會就其去中心化的程度競爭。這是整個生態系統民主化的巨大勝利,這也將使得整個行業更加反脆弱和抗審查。

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

以太坊兼容性的束縛已經解除。

讓以太坊成為標準

EVM 等同性的的威力歸根到底就是它幫我們實現了標準化。

在一個多鏈的世界中,“一份代碼走天下”變得尤其關鍵。一次性編寫好代碼,就可以在任意鏈上部署,這聽起來不是很吸引嗎?

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

Vitalik 將 EVM 比作 Javascript (甚至在他第一次公開 EVM 的時候就提出了這個概念),這個類比在這種情況下得到了很好的體現。在互聯網的早期,瀏覽器之間的不兼容性 (說得就是你,IE 瀏覽器) 困擾著 web 開發,并導致開發者和生態系統分裂。

Web3 是關于協調和開源標準的,而等同性讓 EVM 有望成為標準 ?—— 以避免重復過去的錯誤。

即使這個標準不斷發展,我們的 L2 也可以毫不費力地協同發展。L1 和 L2 攜手向前發展,鎖死。

這種好處是雙向的 —— 幾乎所有的以太坊 EIP 都可以在 L2 上應用,并且 rollup 將成為一個令人興奮的全新創新實時測試環境。想象一個位于激勵測試網和主網之間的 rollup,在自然環境下驗證新的交易類型、預編譯和 EOFs,在它們廣播至 L1 之前測試不可預見的結果。

DeFi 最大的其中一個障礙就是,隨心所欲地測試,沒有東西可以替代 DeFi 的實時環境。你無法在一個測試網上“重新創建” DeFi,所以當你想測試更改時,總是需要“在產品中測試”。

EVM 等同性允許我們在實時環境中測試 EIP,并對以太坊整體環境進行更安全、長期的改進,而無需進行“硬分叉”。

以太坊是我們永遠的重心

我們最近啟動了關于追溯性公共物品募資機制的首個實驗。100 萬美元的協議收入將很快分配給有利于以太坊生態發展的公共物品!有些人問我們,為什么這些錢會分配給整個以太坊系統,而不是僅僅分配給 Optimistic Ethereum 生態系統。

希望通過本文理解了 EVM 等同性后,大家能明白為什么:我們源自相同的生態系統。

Layer2 長期以來都承諾推動以太坊成為一個多鏈的系統,充滿活力的城市深入探索這個新網絡空間的邊界。雖然我們可以預期這些鏈是多樣化且豐富的,但 EVM 等同性為這些鏈和以太坊之間帶來了新的連接 —— 不僅僅是作為結算層,而是成為其組成的最深層次部分。

來源 | Optimism PBC Blog

金色早8點

鏈捕手

Bress

PANews

財經法學

成都鏈安

Odaily星球日報

區塊律動BlockBeats

Tags:以太坊ROLROLLETH以太坊硬幣可以賣錢么AgrolotTROLLBNB價格Beacon ETH

抹茶交易所
WEB:a16z 聯合創始人:舊互聯網的原罪是不能建立金融

原文標題:《a16z 聯合創始人:舊互聯網的原罪是不能建立金融》撰文:Shekar Ramaswamy 編譯:RR 來源:老雅痞 Web3 領域的活動層出不窮:項目的啟動、項目的失敗、兩個擁有.

1900/1/1 0:00:00
WEB:漫談萬維網的華麗史詩:Web3.0是技術金礦 還是郁金香泡沫?

2021 年 12 月 9 日,一場探討 Web 3.0 未來的國會聽證會召開,來自 FTX,Circle.

1900/1/1 0:00:00
元宇宙:元宇宙之戰:共產主義與自由

原文標題:《元宇宙之戰:Communism vs Freedom》撰文:Andrew Steinwold and Trevor Grant 翻譯:Yao 當幾代人想象未來時,它們往往還很遙遠.

1900/1/1 0:00:00
CHA:Chainalysis:熊市對加密貨幣非法活動有何影響?

撰文:Eric Jardine編譯:AididiaoJP,Foresight News2022 年對于加密市場而言,是動蕩的一年,5 月和 6 月所有的加密貨幣價格都出現了大幅下跌.

1900/1/1 0:00:00
元宇宙:廈門吸納50多家相關單位率先打造元宇宙樣板生態城市

廈門打造“元宇宙生態樣板城市”動作頻頻,繼日前成立全國首個元宇宙產業人才基地之后,日前,廈門市元宇宙產業聯盟成立大會在信息未來酒店舉行.

1900/1/1 0:00:00
元宇宙:2022年普華永道美國元宇宙調查

文章作者:pwc(普華永道)文章編譯:Block unicorn你可能聽說過元宇宙是下一個重大事件,但事實上,一些與元宇宙相關的技術已經提供了重大的商業機會,其他因素仍然存在巨大的不確定性.

1900/1/1 0:00:00
ads