深入理解OVM_OVM:AMP

編者按：本文來自以太坊愛好者，作者：EthereumOptimism，翻譯&校對：IANLIU&阿劍，Odaily星球日報經授權轉載。為什么需要OVM？

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

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

聲音 | 科藍軟件：與螞蟻金服在區塊鏈方面已有廣泛深入的合作:科藍軟件（SZ300663）董秘在互動平臺回復投資者就“恒生減持公司股票，對科藍和螞蟻金服的影響及數字金融行業公司有那些進展”提問表示，科藍與螞蟻在互聯網銀行的前臺、中臺、后臺產品和項目以及區塊鏈方面已經有廣泛深入的合作，雙方是戰略層面的合作，并且還在繼續深化以及向其他領域擴展。 根據恒生電子(75.300,?1.19,1.61%)9月26日發布的公告：“（恒生）公司所持的科藍軟件股票的前期浮動盈利已計入公司本年度凈利潤中，本次出售使得科藍軟件股票部分前期浮動盈利已經轉化為現金收益”，恒生在科藍屬于財務性投資，正常減持。恒生和科藍都屬金融科技公司，因細分領域不同，所以沒有產品和項目合作關系，其減持對科藍發展沒有任何影響！在正在召開的云棲大會上，公司剛剛獲頒“阿里云專有云首批行業ISV合作伙伴認證”，與螞蟻共創的“電子渠道逸平臺解決方案”也在上月通過了V3版本兼容性測試認證。毋庸置疑，國內數字金融行業正在起飛，公司未來會與螞蟻一起，將更多創新的產品提供給客戶。[2019/9/27]

-不同的鏈，不同的結果-明顯不行！即使是在同一條L1上，如果將智能合約重部署在不同的兩個區塊，返回值也不一樣——因為重部署的合約會獲取L1的時間戳，而正確執行execute_l2_tx則應該返回L2的時間戳。如果你深入思考，你會發現這個問題幾乎會發生在所有智能合約上。比如對于某個ERC20智能合約來說，你將合約重部署在L1上之后，你要怎么設置L2上的余額呢？諸如此類，不可勝數。解決之道：OVM

動態 | 金融時報：未來區塊鏈等技術與銀行業的融合一定會越來越深入:據金融時報今日刊文指出，銀行業“變革的思維”，還體現在科技與傳統銀行的結合上。未來，云計算、大數據、區塊鏈與銀行業的融合一定會越來越深入。數據和信息會成為未來銀行的生命線。擁有數據和信息，就能精準勾畫出消費者所需要的場景，從而提高銀行服務和產品的覆蓋范圍與個性化程度，進而滿足金融消費者的獲得感、幸福感和安全感。并且，數字技術與普惠金融、小微金融、消費金融相結合，可以產生事半功倍的效果，因為小微企業與消費者是最需要數字技術所帶來的金融服務便利性的客戶群體。[2018/9/8]

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

北京市委書記蔡奇：深入研究區塊鏈技術及應用，打造產業集群:昨天上午，北京市召開網絡安全和信息化工作會議，北京市委書記蔡奇強調，堅持以信息化培育新動能推動新發展，使信息化成為首都發展的新動能、城市治理的新手段、公共服務的新方式，切實增強人民群眾的獲得感幸福感安全感。大力發展數字經濟，深入實施大數據和云計算發展行動計劃，深入研究區塊鏈技術及應用，打造產業集群。優化電子政務，推進全市統一的基礎公共云平臺建設，進一步打破信息壁壘、提升服務效率，讓百姓少跑腿、信息多跑路。[2018/5/26]

OVM能夠解決問題的最重要原因是，它引入了一個全新的智能合約——作為OVM智能合約的虛擬容器。執行管理器會虛擬化所有可能導致L1、L2出現不同結果的執行，包括：智能合約存儲內容交易內容——如區塊高度、時間戳、tx.origin的帳戶的地址），等等。跨合約信息的路由基本上，對于可能導致L1、L2出現不同結果的EVM功能，執行管理器都提供了保證其結果一致的函數。舉例來說，我們構造一個容器來解決上述提到的時間戳不一致的問題：

財政部副部長朱光耀：G20正在深入討論對數字經濟征稅:財政部副部長朱光耀在中國發展高層論壇上表示，數字經濟還處在發展的過程中，要以科普、推動的態度來推進數字經濟發展。像任何事物一樣，也要關注數字經濟的其他影響，包括稅收征管、反洗錢監管措施等要跟上。他還透露G20正在深入討論對數字經濟征稅。[2018/3/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復雜交易合約。

Tags：OVM以太坊TIMAMPOVM幣以太坊幣多少錢一個TIMERSVampire Protocol

MATIC