編者注:本文為Parity開發者WeiTang寫作的,關于如何增強EVM后向兼容性的文章,改進Gas機制的方案堪稱大膽。
如果我們有機會可以重新設計EVM、提升其后向兼容性、讓它對功能升級更為友好,而且可以完全不必考慮我們現有的歷史包袱,我們該怎么做呢?
在這篇文章中,我會探究這個問題,并記錄下由此演化出來的技術說明和設計哲學。
目標
Web是沒有版本區別的,而且已經存在了幾十年。因此我在此假設,我們想做一個同樣沒有版本區別的EVM。
我們同樣希望保證,這種虛擬機具備良好的后向兼容性。也就是說,至少能良好兼容我們現有的合約,而且,也可以輕松加入新功能。
IMF正在開發央行數字貨幣平臺:金色財經報道,國際貨幣基金組織(IMF)正在開發央行數字貨幣平臺。國際貨幣基金組織總裁克里斯塔利娜·格奧爾基耶娃表示,國際貨幣基金組織正在開發該平臺,以促進各國之間更容易的交易。CBDC不應該是支離破碎的國家主張,為了實現更高效、更公平的交易,我們需要連接各國的系統:我們需要互操作性。正是出于這個原因,國際貨幣基金組織正在開發一個全球CBDC平臺。
此外,國際貨幣基金組織表示希望中央銀行就數字貨幣的統一監管框架達成共識,以實現全球互操作性。格奧爾基耶娃建議,如果沒有這樣的協議,可能會導致可能被加密貨幣占據的空白。[2023/6/20 21:48:24]
無效操作碼
BitMEX創始人:鮑威爾可能已經刺破美國的銀行系統危機:金色財經報道,BitMEX創始人Arthur Hayes發推特表示,“鮑威爾可能已經刺破了美國的銀行系統危機,2008年是銀行的不良信貸組合--又稱次貸危機。2023年是銀行的長期債券投資組合,如UST和MBS?如果大跌,請記得2020年3月,大跌,救市,然后大漲!?本人已經準備好了。”[2023/3/10 12:53:50]
要設計一個永續的EVM,最簡單可能也最重要的改動便是為合約部署添加一個驗證過程。并非所有的字節序列都是有效的EVM代碼,任何無效的操作碼都不應該被部署到鏈上,因為在未來,這些代碼可能會被分配以一個新的操作碼,有不一樣的功能。
Meta首席執行官扎克伯格將于明年卸任:金色財經報道,消息人士稱,Meta首席執行官扎克伯格將于明年卸任。Meta Platforms(META.O)短線拉升,現漲超1%。[2022/11/23 7:57:48]
此種檢查的技術詳述初次成文化是在EIP-1712中。簡要來說,在執行合約創建的狀態轉變函數之前,執行下列檢查:
遍歷代碼的字節碼
如果代碼是一個PUSH(n)操作碼,則跳過接下來n個字節
如果字節碼是一個有效的操作碼,或者指定了無效指令,繼續
否則,捕捉到錯誤
上述檢查有點類似于jumpdestination檢查。注意,對于例外情形,我們在這里使用的是“trap”,下文我們會詳細解釋。
功能調查
如果EVM要消弭掉版本的差別,基于EVM的代碼執行應有能力調查出底層環境是否支持一種特定的功能。給定EVM所承擔的角色,我們總是希望一個已經定義好的操作碼的功能可以保持不變,并且還可以引入新的操作碼來添加功能。而一些合約可能在引入某些特定功能之前就已經部署上去了。這些合約可以安排一個備用的子程序,在EVM不支持某功能的時候就運行子程序,而一旦硬分叉激活后就立即開始使用新功能。功能調查組件就像這里要用到的跳轉器。因此,我們正式地定義一種新的操作碼HAS_FEATURE。
該操作碼接收一個堆棧參數。它會檢查該參數是否位于0到2^8之間,如果不是,就捕捉錯誤
如果參數不受支持,就把0x0推回棧中;否則就推入0x1
例外與捕捉
在EVM的運行過程中,可能有很多因素會導致執行失敗。單個交易可能因為耗盡Gas而失敗;調用棧中的每一層都可能單獨失敗,而其錯誤必須被父調用框架明確處理。這些特性給了我們一定的彈性,但對于要運行在區塊鏈上的合約來說,并不必然就是好事。這里,我們想重新定義一下,任何EVM本身發出的異常,都可以有trap行為,作為對fail的替代。也就是說,所有調用框架的所有執行過程中、消耗任意gas的時候、甚至被當前的狀態函數回滾變更的時候,都可以有trap。合約接下來就被會鼓勵使用返回值,在它們想跟父調用者交流非致命錯誤的時候。
Gas消耗量
過去的經驗已經證明,我們總是想調整Gas消耗量。因為我們要這樣做,我們不希望合約開發者對交易的Gas消耗量甚至是任何操作碼的Gas消耗量作任何假設。要實現這一點,只需將EVM內所有關于Gas消耗量的公開信息都移除。這樣Gas消耗量就成了一個外在于EVM、被隱藏起來的“實現上的細節”,只需在區塊層執行中妥善處理。正式地移除0x5a的Gas操作碼。此外,重新定義CALL、CALLCODE和DELEGATECALL,不再使用gas棧參數,而是采取現有執行框架中所有可用的Gas。
原文鏈接:
https://that.world/~essay/nevm/
作者:WeiTang
翻譯:阿劍
前言:關于比特幣未來價格有很多預測的模型,本文主要通過冪律法則對比特幣的價格進行建模,它對未來樂觀,但同時時間上也拉到相對長的尺度.
1900/1/1 0:00:00加密媒體Cointelegraph撰文解釋了為什么交易加密貨幣對初入市場的新手來說是非常困難的。文中稱,我們聽說過成百上千關于加密貨幣如何改變生活的故事.
1900/1/1 0:00:00尊敬的用戶, 5折認購LTK活動將于9月10日11:00開啟,用戶可點擊首頁左上角BiKiLab查看或者點擊搶購鏈接參與活動,鏈接如下.
1900/1/1 0:00:00越來越多的人在交易加密貨幣?Emmm,真實情況可能跟你想得不一樣。加密數據追蹤公司TokenAnalyst的數據顯示,最近幾個月,主要交易所的比特幣交易越來越低頻.
1900/1/1 0:00:00摘要:DeFi需要更為復雜的金融工具。 雖然加密資產的主要用例仍然是投機,但我不認為這是一件壞事。投機是傳統金融市場發展的一個關鍵驅動力,并在今天繼續發揮著重要作用.
1900/1/1 0:00:00自比特幣誕生,與它有關的爭議就沒停過。正因為它足夠新鮮、缺少參照物,從學生到美國總統,每個人都能憑經驗說上兩句。但吵吵鬧鬧過后,正反兩方最后誰也不服誰.
1900/1/1 0:00:00