干貨 | 深入理解 OVM：在Rollup側鏈上實現對智能合約的完全支持_OVM

為什么需要OVM？

我們團隊中的許多成員都曾參與過致力于支持智能合約的第一代通用plasma網絡的架構設計。然而，部署plapps需要借助一整套新的開發工具。我們很快意識到，人們對于以太坊Layer2的期待遠不止此——以太坊L2不只意味著擴展以太坊的應用，還要擴展以太坊本身。

以上原因促使我們開發了OptimisticRollup——首個能將以太坊智能合約的全部功能引入擴展層的L2架構。Unipig

}

把這個合約重新部署到L1上之后，還能返回相同的值嗎？

-不同的鏈，不同的結果-

明顯不行！即使是在同一條L1上，如果將智能合約重部署在不同的兩個區塊，返回值也不一樣——因為重部署的合約會獲取L1的時間戳，而正確執行?execute_l2_tx?則應該返回L2的時間戳。

Spiral推出閃電網絡新開發套件LDK Node:金色財經報道，Jack Dorsey的Spiral公司發布了新的比特幣閃電網絡開發套件LDK Node，它提供了一個簡化且即插即用的解決方案，使開發者能夠在一天內快速輕松地建立一個閃電節點。與其前身LDK不同，LDK提供了廣泛的自定義選項，但需要對協議基本原理有更深入的了解，LDKNode專注于簡單性和易用性。LDKNode的API接口更簡化，只包括約30個API調用，它簡化了在各種用例中集成自我托管的閃電節點，同時隱藏了協議的復雜性。[2023/6/23 21:55:45]

如果你深入思考，你會發現這個問題幾乎會發生在所有智能合約上。比如對于某個ERC20智能合約來說，你將合約重部署在L1上之后，你要怎么設置L2上的余額呢？諸如此類，不可勝數。

解決之道：OVM

Northern Trust高管：加密貨幣對機構投資者來說已經失去了吸引力:金色財經報道，Northern Trust 數字資產和金融市場負責人 Justin Chapman 在舊金山數字資產周會議中表示，加密貨幣對機構投資者來說已經失去了吸引力，機構投資者在 2022 年之后就對加密貨幣失去了興趣，即使今年呈上升趨勢，他們對加密貨幣的興趣仍未恢復。

Chapman表示 ，機構已經將注意力轉移到加密貨幣的底層區塊鏈技術上，我們并沒有那么關注資產類別，因為客戶目前并不關注，所以我們沒有看到客戶將其納入投資組合的興趣。如果這種情況發生變化，作為一家公司，我們可以考慮這些業務，但從機構的角度來看，它肯定已經失去了‘光彩’。[2023/5/5 14:43:45]

過去曾出現過兩種解決“EVM中的EVM”問題的辦法：要么是對EVM進行分叉，要么是硬著頭皮用Solidity重新實現整個EVM；OVM是一種全新的方法，對于當前的以太坊1.0有著更好的性能和靈活性，而且不需要分叉！

bitFlyer CEO：FTX的破產或將導致更多加密公司倒閉:11月16日消息，日本加密交易所bitFlyer CEO表示，SBF領導的FTX的破產對加密行業來說是“雷曼沖擊”，或將導致更多加密公司倒閉。（彭博社）[2022/11/16 13:10:27]

容器化：執行管理器

OVM能夠解決問題的最重要原因是，它引入了一個全新的智能合約——作為OVM智能合約的虛擬容器。執行管理器會虛擬化所有可能導致L1、L2出現不同結果的執行，包括：

智能合約存儲內容

交易內容——如區塊高度、時間戳、tx.origin?的帳戶的地址），等等。

Flashbots宣布SUAVE升級方案，以解決審查問題:金色財經報道，Flashbots宣布了一項升級，旨在解決審查阻力和對去中心化的擔憂。Flashbots的產品負責人Robert Miller本月早些時候討論了解決這些問題，并表示它正在研究一個去中心化的解決方案。該協議被稱為“SUAVE”。

SUAVE旨在通過開源其代碼和開發，逐步實現區塊構建過程的去中心化，允許任何人作出貢獻。它將具有跨鏈和多鏈支持，并與任何以太坊兼容的區塊鏈或rollup一起工作。根據開發團隊的說法，關于SUAVE的更多細節將在未來幾周內發布。（The Block）[2022/10/15 14:28:21]

跨合約信息的路由

基本上，對于可能導致L1、L2出現不同結果的EVM功能，執行管理器都提供了保證其結果一致的函數。

舉例來說，我們構造一個容器來解決上述提到的時間戳不一致的問題：

現在我們重部署上面的合約，這回我們使用虛擬容器：

如此一來，我們就能夠在驗證fraudproof的時候，設置L1容器中的“虛擬區塊高度”，來保證正確的返回值！

-新的TimeShifter函數，使用TimestampManager作為容器。-

這就是"EVM中的EVM"——OVM的核心概念：虛擬化所有可能在不同鏈上返回不同結果的EVM組件。具體點來說，約有15條以太坊指令需要被虛擬化，你可以從以下入口查看真正的執行管理器長啥樣。

安全性：容器純度檢查

當然我們還需要稍微修改上面的合約，才能真正調用timestamp容器而不是拿到錯誤的?block.timestamp。

雖然我們解決了結果差異性的問題，但這只作用于該智能合約而已。因此，為了保障L2的安全性，我們需要確保L2上的所有合約都使用了timestamp容器，沒有錯誤使用?block.timestamp?的漏網之智能合約。

OVM提供了“容器純度檢查”的服務——檢查目標智能合約“是否只通過執行管理器來調用虛擬化指令”，而不允許像是?block.timestamp?這樣的操作！不論有沒有其他智能合約調用了目標合約，只要合約未通過檢查，就無法部署到OVM。這樣就能保證L2的安全性。

開發體驗：轉譯器

要讓智能合約只通過執行管理器來調用某些指令，還有一個問題就是開發體驗——如果開發者需要遍歷整份智能合約，然后把所有?block.timestamp?替換為?getOvmTimestamp()，這種費力不討好的活肯定沒人愿意做。

為了解決這個問題，我們搭了一個轉譯器——輸入普通EVM字節碼，然后轉譯器會輸出使用上述容器的OVM字節碼。對于使用轉譯器的開發者來說，完全不需要和OVM直接打交道?——只需要在Waffle、Truffle等你喜歡的測試套件中加入我們的?solc-transpiler?包。

展望

我們認為OVM的出現代表著以太坊L2的飛躍，因為它不同于變著招?使用?以太坊，它就是以太坊本身的進步。只要加上幾行代碼，就能夠實現快速且低成本的Solidity智能合約遷移，這也是當前關于以太坊擴展方面最令我們興奮的topic。如果你想要自行體驗一把，可以關注我們最近的OVM測試——在標準的以太坊工具中，實時運行部分的Synthetix復雜交易合約。

原文鏈接:

https://medium.com/ethereum-optimism/ovm-deep-dive-a300d1085f52

作者:?EthereumOptimism

翻譯&校對:?IANLIU?&阿劍

Tags：OVM以太坊TIMAMPOVM幣以太坊最新價格人民幣Optimus AIAMPnet

Fil