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

為什么需要OVM？

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

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

}

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

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

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

Gemini聯創：Ripple的勝利有助于Coinbase贏得美國證監會的訴訟:金色財經報道，美國法官Analisa Torres做出XRP二級銷售不是投資證券裁決后，Gemini 聯合創始人兼首席執行官 Cameron Winklevos在官推表示這一決定提供了監管明確性，Ripple的勝利有助于Coinbase贏得美國證券交易委員會的訴訟，因為此前該監管機構曾指控Coinbase通過支持未注冊的證券發行違反了多項證券法。[2023/7/14 10:55:22]

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

解決之道：OVM

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

Sologenic聯創：比特幣今年年底可能會漲至4萬美元:5月6日消息，區塊鏈公司Sologenic聯合創始人Bob Ras在接受采訪時表示，隨著大銀行紛紛倒閉，這些投資者將比特幣視為一種對沖工具，因為它具有去中心化的抗審查能力，而且沒有交易對手風險，這一點似乎越來越清晰。

越來越多的人預期，美聯儲將放松貨幣政策，向市場有效注入更多流動性，以支撐金融體系。比特幣在這種情況下走在了前面，預示著未來實際上會回到相對較低的利率水平。

他還預測，比特幣今年年底可能會漲至4萬美元。有證據表明，越來越多的人和機構在低點積累比特幣，這實際上轉化為供應沖擊。由于賣家所剩無幾，任何需求的上升都會對價格產生巨大影響。（Business Insider）[2023/5/6 14:47:18]

容器化：執行管理器

比特幣全網未確認交易數量為9372筆:金色財經報道，據BTC.com數據顯示，目前比特幣全網未確認交易數量為9372筆，全網算力為245.38 EH/s，24小時交易速率為3.46交易/s，目前全網難度為36.95T，預測下次難度下降6.42%至34.58T，距離調整還剩4天10小時。[2022/12/3 21:19:37]

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

智能合約存儲內容

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

跨合約信息的路由

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

Web3風投機構IOBC Capital成立5000萬美元風投基金:6月13日消息，Web3風投機構IOBC Capital宣布正式成立規模為5000萬美元第一期風投基金。IOBC Capital創始管理合伙人AlvaXu表示，該基金將重點關注Web3基建層、組件層和中間件層等賽道機會。IOBC Capital成立于2021年，專注于Web3基礎設施領域投資，團隊分布在美國、新加坡等地。[2022/6/13 4:22:24]

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

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

如此一來，我們就能夠在驗證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以太坊TIMAMPFLOVM以太坊幣多少錢一個Time New BankAMPLG價格

幣贏