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

為什么需要OVM？

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

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

}

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

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

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

德國考慮“封殺”ChatGPT:4月4日消息，4月3日，德國聯邦數據保護專員發言人稱，出于數據保護方面的考慮，暫時禁止在德國使用ChatGPT原則上是可能的。

?該發言人稱，禁止使用該軟件的動作將屬于德國聯邦數據保護機構的職權范圍。此外，該機構要求意大利監管機構提供有關其阻止ChatGPT的更多信息。（每經網）[2023/4/4 13:43:22]

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

解決之道：OVM

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

隱私網絡Iron Fish空投kyc已開放，隨后按照順序依次向三個階段積分用戶開放:3月6日消息，據官方推特，隱私網絡Iron Fish宣布空投kyc已開放，目前僅限參與Pull Request的用戶。此外，在接下來的幾天里，將按順序向第1階段、第2階段和第3階段的積分用戶開放。[2023/3/6 12:45:11]

容器化：執行管理器

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

智能合約存儲內容

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

Chiliz創始人：已為FTX個人用戶分配3800萬枚CHZ用于補償:11月14日消息，Chiliz創始人Alexandre Dreyful在推特上表示，對于在FTX上持有CHZ的個人用戶，可獲得最高10,000美元的補償。該計劃不適用于機構，需要經過完整的法律審查和清算人的批準才能完成用戶補償名單。

據悉，Chiliz將在接下來的幾周內推進該計劃。此前Etherscan將該地址標記為“FTX”。[2022/11/14 13:00:59]

跨合約信息的路由

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

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

馬斯克否認收購曼聯，相關Token CITY漲幅收窄至2.9%:8月17日消息，馬斯克在社交媒體上澄清表示，收購曼聯系推特上的一個舊梗，不會購買任何球隊。據CoinGecko數據顯示，ManchesterCity粉絲Toke CITY此前一度漲至6.87美元，目前價格為6.51美元，24小時漲幅收窄至2.9%。[2022/8/17 12:30:38]

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

如此一來，我們就能夠在驗證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幣以太坊幣最新價格美元OPTIMUSAICHAMPS價格

OKB