加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > ADA > Info

以太坊的“換心手術” 一文讀懂EVM接棒者_ASM:ASM價格

Author:

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

引言:隨著越來越多的應用部署在以太坊網絡上,我們對擴展不可能三角(可擴展性、安全性和效率)的邊界有了更強烈的需求。

具體來說,制約不可能三角的因素主要是共識機制(consensus protocols)、轉賬簽名(transaction signing)和執行引擎(execution engine)。

對于以太坊而言,目前的執行引擎或者說是整個協議架構的執行層就是以太坊虛擬機(EVM),這是一種基于棧(Stack)的執行環境,通過運行字節碼指令(bytecode instruction)將系統從一種狀態轉換為另一種狀態,驅動著整個以太坊的運轉。

隨著鏈上部署的應用越來越多,合約的功能越來越復雜,提高虛擬機的執行效率就顯得尤為重要。

圖片源:以太坊架構

WebAssemly(WASM),作為近年來興起的Web執行環境,是一種為基于棧的虛擬機設計的的二進制指令格式。相對JavaScript,擁有更好的性能、較低的存儲成本、更安全的執行環境、更多的語言支持等優勢。

以太坊2.0,正是想利用這些特性把當前的EVM替換成以太坊定制的WASM (eWASM) ,來提升智能合約的兼容性和執行效率。

以太坊開發人員將在4月29日前決定難度炸彈的推遲時間:金色財經報道,Galaxy Digital 研究員 Christine Kim 在 Twitter 上分享了 2022 年 4 月 15 日舉行的以太坊全核心開發者會議 #136 的一些細節。會議期間,頂級 ETH 開發人員討論了合并前測試和上海升級的下一階段.,他們決定本周組織更新 Goerli 測試網和以太坊主網,分叉 Ropsten 測試網,然后分叉 Goerli 和 Sepolia 網絡。除此之外,ETH 核心開發者將不再接受上海的提議,這是合并后網絡的第一個硬分叉。至于 The Merge 的時間安排,沒有報告更新,但 2022 年第三季度仍然是目標。因此,開發人員必須在4月29日之前決定他們希望將難度炸彈計劃推遲多長時間。此前消息,以太坊難度炸彈預計在6月到來。[2022/4/19 14:32:09]

因為相比于EVM,eWASM具有更好的性能以及更好的擴展性,可以支持Solidity、C++、Rust、AssemblyScript等編程語言,開發合約會更容易。eWASM也與當前的Web標準兼容,因而更容易在普通瀏覽器中運行,用戶無需擴展程序即可訪問dApp。

此外,以太坊并不是唯一一個使用WASM(VM)作為其底層執行引擎的,EOS、Dfinity、Polkadot、Tron、Cardano、Spacemesh等都已經或正在采用 WASM。

接下來,我們想通過三個問題,來幫助大家初識以太版WASM——eWASM

1.現有的EVM存在什么問題,為什么尋求WASM替代EVM?

以太坊側鏈擴容方案MaticNetwork整合Razor預言機服務:以太坊側鏈擴容方案MaticNetwork宣布將整合Razor預言機服務,Matic上的開發者可無縫訪問真實世界的數據,包括DeFi、借貸、穩定幣、身份識別等應用的去中心化數據。注,Matic致力于通過二層擴容方案,利用去中心化、可擴展性和安全性來推動大規模應用,同時使用Plasma框架和去中心化的PoS驗證者網絡來確保資產安全性。RazorNetwork是一個去中心化的預言機項目,當前在以太坊網絡上運行,之后將在自己的權益證明網絡上運行。[2020/8/25]

2.什么是WASM(WebAssemly)?

3.以太坊是如何“定制”自己的WASM,使其成為eWASM的?

現有的EVM存在什么問題

為什么尋求WASM替代EVM?

首先我們先來回顧一下EVM執行智能合約的過程。

智能合約的源碼(.sol 或 .vy)在被編譯(compile)成字節碼(EVM bytecode)后才會被放在區塊鏈上。具體來說,EVM字節碼被存儲在合約地址的存儲層中,在被EOA或其他合約調用后會被放入EVM的虛擬只讀存儲器中(Virtual ROM),再使用CODECOPY指令復制到主存儲器(Main Memory)中。最后,EVM的棧會根據主存儲器中的指令一步一步地執行,直到EVM停機或者Gas被耗盡。

以上過程可以認為是,在沙箱中運行了一個以太坊世界狀態的副本。

分析 | 以太坊與 BTC 180 天關聯度保持上行趨勢?新增地址增速放緩:據 TokenGazer 數據分析顯示,截止至 11?月 4日 11 時,以太坊價格為$181.47,總市值為$19,657.57M,主流交易所24H交易量表現較為萎靡,當前交易量約為$42.0M;近期以太坊對比特幣匯率平穩波動;基本面方面,以太坊鏈上交易量持續下滑,新增地址增速放緩,鏈上DApp交易量、算力平穩波動;以太坊 30 天開發者指數約為 2.23;以太坊與 BTC 180 天關聯度保持上行趨勢,30 天 ROI 平穩波動;據TokenGazer官網六道數據顯示,以太坊情緒指數移動平均線較昨日有一定抬頭;ERC20 代幣總市值約為以太坊總市值的 63.38%,持續上行。[2019/11/4]

圖片:EVM執行過程

我們知道EVM是基于棧的虛擬機,它的內存結構是通過棧來組織和訪問的。

由于EVM的每個棧的寬度都必須是256-bit的,所以即使是小于256位的計算也必須轉碼為256-bit的格式,然后EVM才能處理它們。這就導致執行指令需要多次轉碼,一些較簡單的計算變得冗雜,加大了執行的復雜度。

另外,由于EVM包含了很多較復雜的高級指令,如SHA3、Create Contract等,使得EVM這個虛擬機環境和目前32-bit或64-bit的硬件規格相去甚遠,一些執行時的優化策略無法直接用來優化EVM的指令,導致不能最大地優化EVM指令的執行效率。

華沙研究人員準備推出以太坊閃電網絡:近日,受比特幣閃電網絡的啟發,一群來自華沙的研究人員發布了一份“基礎渠道網絡”的新白皮書,該白皮書概述了旨在幫助以太網規模支持更多更復雜的智能合約的協議。該項目還曾得到了以太坊創造者Vitalik Buterin的贊譽。[2018/4/19]

什么是WASM(WebAssemly)?

WebAssemly(Web上的匯編)的名字由兩部分組成:Web和Assembly。

首先,我們來看一下什么是Assembly(匯編)。

計算機語言分為低級語言和高級語言,我們平時講的編程一般是指人類可讀的高級語言編程,而計算機真正能夠理解的是低級語言,用二進制數表示,它專門用來控制硬件。

圖片源:網絡

一段計算機程序在進入CPU之前,首先要加載到RAM中,而后這些程序和數據進入CPU。

CPU真正負責計算和邏輯判斷的是算數邏輯單元(ALU),指令被拆分為Operand(操作數)和Operation Code(操作碼),前者指明操作對象的地址(也就是寄存器的地址),后者告訴CPU需要對Operand執行什么操作。

如下圖中,111010101 001010就是CPU在把寄存器中位置為001和010中寄存的數據進行加和操作(ADD)。

加拿大govt公司通過以太坊區塊鏈提高政府資金透明度:加拿大希望通過以太坊區塊鏈系統提高政府資金流動和政府信息的透明度。“基于區塊鏈技術的信息是不可篡改的,這項技術將為民眾開啟一個透明的、大膽的新世界。”[2018/1/22]

匯編語言是二進制指令的文本形式,而匯編過程就是把ADD這樣的匯編語言轉換成111010101這樣的機器語言。

加上Web這個修飾詞之后,WebAssemly面向的是一種概念上機器的“機器語言”,而不是一種真實存在的物理機器,不會直接映射到特定的機器碼。

如下圖,它的指令是高級語言編譯后形成的.wasm的二進制文件。與JavaScript源碼相比,虛擬指令跟機器碼的映射來得更為直接,執行效率也就更高。最后,瀏覽器會下載 WebAssembly,然后把它編譯為本地機器的機器代碼執行。

也就是說,WebAssembly是一種虛擬指令,通過執行引擎(虛擬機),聯系著程序本身和我們電腦物理意義上的處理器。

圖片:WASM編譯

可見,WebAssembly不是一種語言,而是規定了一種虛擬指令集,可以作為各個語言的編譯目標,然后通過WASM的虛擬機運行到瀏覽器還有其他各個平臺中。

eWASM給自己的定義是,以太坊為自己定制的一個受限的WASM子集。

以太坊是如何“定制”WASM

使其成為eWASM?

從WASM到eWASM,我們通過下面的式子來展開上面提到的“受限”和“子集”:

– 浮點數

由于浮點數在不同硬件上的精度可能會有所不同,會造成一定的誤差,而在去中心化網絡中完成共識需要以太坊中代碼的執行是百分百確定的(deterministic),也就是執行結果不能因硬件不同而發生偏差。

所以,eWASM不能支持浮點數。

+ ECI

以太坊合約接口(ECI),是區塊鏈和執行合約代碼的虛擬機交互的接口。

其中,導入只能通過API導入EEI中規定的符號(方法),這意味著eWASM模塊指定的所有導入都必須來自ethereum命名空間,如getAddress、getBalance等,這確保了以太坊合約執行始終是一個沙盒環境。另外,每個合約提供兩個export方法,一個是main,供虛擬機執行調用。一個是memory供EEI調用,用來保存執行的結果。

+ EEI

Ethereum Environment Interface(EEI),以太坊環境接口。

由于WASM屬于低級語言,并不支持以太坊環境中所需的所有opcode,因此需要一個中間件 (Ethereum Environment Interface,EEI) 幫助底層的WASM和以太坊做交互,通過API的方式來為eWASM合約提供必要和常用的方法來獲取鏈上信息。

以下就是部分EEI中的方法和當前EVM opcode的一一對應關系:

圖片源:https://ewasm.readthedocs.io/en/mkdocs/fee_schedule/#calls-to-the-eei

+ Metering

Metering用來測量執行eWASM指令所需的計算量,可以對應到某些特定硬件上所需的計算時間。

在eWASM中,有三個地方需要支付Gas:運行opcodes、擴展內存、調用EEI中的方法。

opcodes是指WASM中自帶的操作碼,每個WASM操作碼會被分配一個適當的Intel IA-32 (x86架構)操作碼(機器碼),而每個操作碼都會對應一個固定的計算量。根據以太坊節點目前的硬件算力,得出每單位計算量對應0.0045 gas。那么,我們就可以根據每個opcode的計算量得出執行它所需消耗的gas個數。

Gas cost =<cycle count>*<gas per cycle>

下圖中,我們截取了一些eWASM的opcode對應的Gas Cost:

圖片源:網絡媒體

目前,所有opcodes的gas price=1;

內存可以按頁進行擴展,其中一個頁對應于65536字節的空間。按照當前EVM擴展內存的公式:words * 3 + words ^ 2 / 512,一個word占32為字符,擴展一個內存頁會消耗14336個gas;

eWASM調用EEI接口的gas price和執行當前的EVM opcode相同。

執行eWASM字節碼所需的Gas費的計算方式和EVM一樣:

Gas Fee =<Gas cost>*<Gas price>

eWASM:

以太坊2.0“心臟置換”

為了應對越來越復雜的以太坊鏈上業務邏輯,以太坊2.0希望通過eWASM代替原有的EVM,來提高虛擬機的執行效率。

由于當前以太坊虛擬機的棧的設計和主流處理器的原生格式不匹配,使得執行指令需要多次轉碼,加大了復雜度。同時,一些常用的優化策略無法直接應用,導致EVM的執行效率無法最大化。

WASM作為一種更接近本地執行虛擬指令集,讓以太坊的執行層擁有更好的性能、較低的存儲成本、更多的語言支持。為了適配WASM,以太坊2.0通過限制(去掉浮點數,限制符號)和增加接口(EEI,ECI)等一系列改造,讓eWASM能夠在以太坊的執行層中順利地接過EVM的接力棒,達到高虛擬機的執行效率,降低開發門檻的目的。

以太坊2.0分為三個階段:PoS、分片、以及eWASM,目前共識機制由POW轉向POS的merge還在緊張測試中,eWASM的開發仍需等待前兩個階段的完善。

因此,目前eWASM的更新并不頻繁,更多實施的細節仍待確定。盡管如此,WASM在其它公鏈的表現已經證明了它在區塊鏈領域應用的潛力,eWASM在以太坊上的實現還是值得期待的。

作者|Mabrary

編輯|小歐

Tags:ASM以太坊WASGASASM價格以太坊幣最高價格是多少錢WasabiXUniDexGas

ADA
金色觀察 | Lido前員工談 stETH脫鉤_ETH:ETHER幣

原文:Staking, pegging and other stuff我提前為大量的錯誤道歉。在開始之前,我想做出適當的說明.

1900/1/1 0:00:00
開發者必備實用手冊:構建區塊鏈應用程序最佳工具一覽_區塊鏈:DAPP

如果已經在區塊鏈上進行了構建,或者計劃構建,那么這里有關于創建區塊鏈應用程序的一些最佳工具的介紹。要開發區塊鏈應用程序,就需要學習一種編程語言.

1900/1/1 0:00:00
ConsenSys:一文速覽以太坊測試網簡史_以太坊:CON

原文標題:《The History of Ethereum Testnets》測試網絡是模擬區塊鏈主網的替代網絡,其創建目的是為了測試和試驗主網區塊鏈的功能,以減少實際運行式產生的錯誤.

1900/1/1 0:00:00
一文速覽 Avalanche 生態版圖:進展如何 有哪些特色項目_ANC:Valuedefi vSWAP

撰文:Frank 自 2020 年創立以來,Avalanche 已經發展成為一個充滿活力的生態系統,目前生態中有超過 500 個 Dapp.

1900/1/1 0:00:00
“多元化”通證經濟模型:DAO的神經和血液_DAO:區塊鏈

去中心化自治組織——DAO,已經成為2022年在 Web3 上發生的最酷的事情。在人類的歷史上,組織形態的范式轉換(Paradgim Shift)的進化,往往意味著生產力的大幅度提升.

1900/1/1 0:00:00
金色觀察 | 深度解析四種類型的跨鏈橋及其風險_區塊鏈:區塊鏈存證證件

你聽說過像 Synapse、Multichain、Stargate、Thorchain、Cosmos這些跨鏈橋嗎.

1900/1/1 0:00:00
ads