比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > XLM > Info

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

Author:

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

為什么需要OVM?

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

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

}

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

-不同的鏈,不同的結果-

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

報告:黑客在2023年Q1的40次攻擊中從竊取了約4億美元:金色財經報道,TRM Labs在一份新報告中表示,黑客在2023年前三個月的40次攻擊中從加密項目中竊取了約4億美元。這比2022年第一季度下降了70%。黑客的平均規模也變小了,從2022年的3000萬美元減少到2023年同期的1050萬美元。黑客也越來越多地歸還他們竊取的資金,從被利用的項目中獲得“白帽”獎勵。TRM Labs估計,黑客攻擊受害者在2023年拿回了將近一半的被盜資金。

TRM Labs表示,一個可能的解釋是監管機構越來越關注加密貨幣黑客攻擊和一些備受矚目的執法案件。首先,加密貨幣交易所正在加強他們的KYC/AML政策,這使得兌現被盜的加密貨幣變得更加困難。與此同時,Tornado Cash自2022年8月以來一直受到美國制裁,該協議自動將所有與Tornado相關的資金重新列入任何受監管交易所。[2023/5/23 15:19:53]

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

ApeCoin發起提案擬推出兩款新NFT系列,但當前反對票占優:金色財經報道,據ApeCoin論壇消息,社區已發起AIP-206提案擬推出兩款新NFT系列“Ape Coin Armory Club NFT”和“Ape Coin Pet Club NFT”,該提案顯示這兩個系列將分別發行2萬枚NFT,旨在激勵APE持有者并拓展到更廣泛的Yuga Labs生態中的元宇宙社區,最終推動其成為首個跨元宇宙的可穿戴NFT。另據Snapchat當前數據顯示,AIP-206提案的投票結束時間為3月30日,不過該提案似乎沒有得到ApeCoin社區支持,當前結果反對票占比達到83.57%,贊成票比例為9.8%,棄權6.63%。[2023/3/26 13:27:40]

解決之道:OVM

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

歐易OKX將于2月8日22:00 (HKT) 正式上線CORE永續合約:據歐易OKX官方公告顯示,歐易OKX將于2023年2月8日22:00 (HKT) 在網頁端、APP端及API正式上線COREUSDT永續合約,并于2023年2月9日15:00 (HKT) 上線CORE/USDT的杠桿交易以及余幣寶。

根據歐易OKX行情,截止目前,CORE日內持續拉升,漲幅高達17663.36%,最高觸及6.9美元,現在報價5.32美元,行情波動較大,請做好風險控制。[2023/2/8 11:55:08]

容器化:執行管理器

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

溫嶺:查獲首起虛擬貨幣“挖礦”案件:金色財經報道,溫嶺市綜合行政執法局近日協同相關部門查處了一起虛擬貨幣“挖礦”案件,這也是臺州市推進“大綜合一體化”改革以來,該局查獲的首起虛擬貨幣“挖礦”案件。在一民房現場,執法人員共發現2臺礦機,估算總價值約5萬元,調查顯示,該“挖礦”設備6個月用電近1.1萬度。執法人員用執法記錄儀記全程錄執法全過程,并按照規定將兩臺“礦機”包括機箱、顯卡、U盤等進行先行登記保存。目前,案件正在進一步調查處理中。據悉,溫嶺市綜合行政執法局分別在澤國、箬橫、新河、城北等地開展非法“挖礦”動態“清零”整治專項行動,共查處3起非法“挖礦”案件,關停36臺“挖礦”電子設備。(新浪財經)[2022/10/11 10:30:43]

智能合約存儲內容

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

跨合約信息的路由

基本上,對于可能導致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:OVMTIM以太坊AMPFLOVM價格Time New Bank以太坊幣最高價格是多少錢VAMP

XLM
白皮書發布一周年,戴罪而生的Libra還好嗎?_LIBRA

去年6月比特幣行情圖上一根根上漲的蠟燭,像極了慶賀Libra誕生的煙火。如今一年已過,經歷了頗多波折的Libra,還在頑強的堅持著。《比推》回歸了Libra一年來的周折歷程,以饗讀者.

1900/1/1 0:00:00
BitMEX的衰敗:比特幣期貨正在見證史上首次重大變革_TME

BitMEX已經不再是比特幣期貨市場的龍頭了,這在一年前是無法想象的,但隨著越來越多的機構資金進場,以及合規加密托管所的涌現,這個加密貨幣市場已經開始發生重大轉變.

1900/1/1 0:00:00
DC/EP 運營推演——市場化選擇之路_USDT

撰文:王志城 來源:移動支付網 央行數字貨幣越來越近,社區里的爭論越來越多。大家非常關心DC/EP如何運營?DC/EP與支付寶和微信有何不同、與銀行賬戶有何不同?老百姓為何要選擇DC/EP?官方.

1900/1/1 0:00:00
雙層架構?通證化?匯款通道?詳解數字美元白皮書_ANC

原文來自?cointelegraph&Yahoo!Finance,原文作者:KollenPost譯者:Odaily譯者|Moni本周五,數字美元項目發布了第一份白皮書.

1900/1/1 0:00:00
「失而復得」533個BTC的Redditor,他暴富了嗎?_KAN

作者:JXkin 來源:蜂巢財經 網友Shotukan在Reddit發帖稱,他從已故弟弟的舊物中發現了一臺自己的舊電腦,上面有他2010年買的533個比特幣.

1900/1/1 0:00:00
隱私幣翻車?研究:99%的Zcash交易可追蹤_zcash

來自卡耐基梅隆大學的研究人員發布了一項關于門羅幣和Zcash的隱私功能的研究——這兩種可以為用戶提供匿名性的加密資產可以說是最受歡迎的.

1900/1/1 0:00:00
ads