宇宙链 宇宙链
Ctrl+D收藏宇宙链

以太坊的“换心手术” 一文读懂EVM接棒者

作者:

时间: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) ,来提升智能合约的兼容性和执行效率。

德国云服务商Hetzner:反对同时在以太坊PoS和PoW的挖矿行为:8月27日消息,德国云提供商Hetzner重申其立场,反对同时在PoS和PoW的挖矿行为。

Hetzner是一家私有的集中云提供商,它介入了关于运行区块链节点的讨论,强调了其服务条款,禁止客户使用这些服务进行加密活动。然而,以太坊社区认为这是对生态系统的威胁,Hetzner的云服务托管了近16%的以太坊节点。(Cointelegraph)[2022/8/27 12:52:44]

因为相比于EVM,eWASM具有更好的性能以及更好的扩展性,可以支持Solidity、C++、Rust、AssemblyScript等编程语言,开发合约会更容易。eWASM也与当前的Web标准兼容,因而更容易在普通浏览器中运行,用户无需扩展程序即可访问dApp。

此外,以太坊并不是唯一一个使用WASM(VM)作为其底层执行引擎的,EOS、Dfinity、Polkadot、Tron、Cardano、Spacemesh等都已经或正在采用 WASM。

接下来,我们想通过三个问题,来帮助大家初识以太版WASM——eWASM

1.现有的EVM存在什么问题,为什么寻求WASM替代EVM?

2.什么是WASM(WebAssemly)?

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

现有的EVM存在什么问题

为什么寻求WASM替代EVM?

Mark Cuban参投以太坊NFT游戏Axie Infinity:金色财经报道,以太坊NFT游戏Axie Infinity的开发商Sky Mavis宣布完成了750万美元的A轮融资。Libertus Capital领投,达拉斯小牛队老板、亿万富翁Mark Cuban等投资者参与了投资。[2021/5/12 21:50:59]

首先我们先来回顾一下EVM执行智能合约的过程。

智能合约的源码(.sol 或 .vy)在被编译(compile)成字节码(EVM bytecode)后才会被放在区块链上。具体来说,EVM字节码被存储在合约地址的存储层中,在被EOA或其他合约调用后会被放入EVM的虚拟只读存储器中(Virtual ROM),再使用CODECOPY指令复制到主存储器(Main Memory)中。最后,EVM的栈会根据主存储器中的指令一步一步地执行,直到EVM停机或者Gas被耗尽。

以上过程可以认为是,在沙箱中运行了一个以太坊世界状态的副本。

图片:EVM执行过程

我们知道EVM是基于栈的虚拟机,它的内存结构是通过栈来组织和访问的。

由于EVM的每个栈的宽度都必须是256-bit的,所以即使是小于256位的计算也必须转码为256-bit的格式,然后EVM才能处理它们。这就导致执行指令需要多次转码,一些较简单的计算变得冗杂,加大了执行的复杂度。

Chainlink可验证随机功能已引入以太坊主网:金色财经报道,Chainlink的可验证随机功能(VRF)已进入以太坊主网。 VRF将为该项目的去中心化生态系统提供去中心化的随机性源。[2020/10/23]

另外,由于EVM包含了很多较复杂的高级指令,如SHA3、Create Contract等,使得EVM这个虚拟机环境和目前32-bit或64-bit的硬件规格相去甚远,一些执行时的优化策略无法直接用来优化EVM的指令,导致不能最大地优化EVM指令的执行效率。

什么是WASM(WebAssemly)?

WebAssemly(Web上的汇编)的名字由两部分组成:Web和Assembly。

首先,我们来看一下什么是Assembly(汇编)。

计算机语言分为低级语言和高级语言,我们平时讲的编程一般是指人类可读的高级语言编程,而计算机真正能够理解的是低级语言,用二进制数表示,它专门用来控制硬件。

图片源:网络

一段计算机程序在进入CPU之前,首先要加载到RAM中,而后这些程序和数据进入CPU。

CPU真正负责计算和逻辑判断的是算数逻辑单元(ALU),指令被拆分为Operand(操作数)和Operation Code(操作码),前者指明操作对象的地址(也就是寄存器的地址),后者告诉CPU需要对Operand执行什么操作。

以太坊研发者:DeFi项目将促进以太坊扩容并提高效率:金色财经报道,以太坊研发者Philippe Castonguay今日发推文称,向Layer 2协议大规模扩展已经开始了。扩容和提高效率的压力从未像现在这么大,这是一件好事。感谢DeFi项目YAM。[2020/8/13]

如下图中,111010101 001010就是CPU在把寄存器中位置为001和010中寄存的数据进行加和操作(ADD)。

汇编语言是二进制指令的文本形式,而汇编过程就是把ADD这样的汇编语言转换成111010101这样的机器语言。

加上Web这个修饰词之后,WebAssemly面向的是一种概念上机器的“机器语言”,而不是一种真实存在的物理机器,不会直接映射到特定的机器码。

如下图,它的指令是高级语言编译后形成的.wasm的二进制文件。与JavaScript源码相比,虚拟指令跟机器码的映射来得更为直接,执行效率也就更高。最后,浏览器会下载 WebAssembly,然后把它编译为本地机器的机器代码执行。

也就是说,WebAssembly是一种虚拟指令,通过执行引擎(虚拟机),联系着程序本身和我们电脑物理意义上的处理器。

以太坊未确认交易18302笔:金色财经报道,据btc.com数据显示,以太坊未确认交易18302笔。当前全网难度2215.41T,平均出块时间为13.5S,每秒交易数约为9.03。截至目前以太坊全球均价为196.88美元,24h涨幅为1.70%。[2020/4/27]

图片: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

编辑|小欧

标签:WASASM以太坊GASWASABI币asm币跑路以太坊交易所appgas币是什么币

SHIB最新价格热门资讯
爱优腾亏损、电影院倒闭 电影的出路在元宇宙?

今年的戛纳电影节将在5月下旬如期而至,其中的VR电影你期待吗?2022戛纳XR沉浸影像单元入围影片已在戛纳官方网站公布,观众可在5月17日-28日期间,使用MetaQuest等主流VR头显设备或Steam等VR应用平台.

1900/1/1 0:00:00
理解社交代币的真正价值:为什么去金融化势在必行?

Gaby Goldberg 在她的精彩文章《社交代币悖论》?中写道,如果你打算用代币的价格来衡量一个社区的价值,那么你就会减少对那些有价值的贡献者的接触,这些贡献者很可能会给你的社区带来独特的观点.

1900/1/1 0:00:00
3800万数字货币案:4名95后倒卖泰达币 抽佣11万如何量刑?

因非法获利4.5万元而被判入狱1年半,除被没收违法所得外还被罚款1万元,其背后的团伙则拿着“洗白”的USDT(泰达币)逍遥法外,这就是李原(化名)26岁的人生,而被他直接或间接拉进来的其余3人亦是相同结局.

1900/1/1 0:00:00
Yuga Labs大举扩张 “猿”宇宙已经不远了?

无聊猿母公司Yuga Labs最近动作不断,先是宣布收购CryptoPunks和Meebits,紧接着推出代币ApeCoin并进行空投,ApeCoin总供应量15%的空投都给到BAYC和MAYC的持有者.

1900/1/1 0:00:00
金色观察|一文读懂Lens Protocol

Lens 协议是 Polygon Proof-of-Stake 区块链上的 Web3 社交图谱协议。旨在让创作者可以建立和社区之间的联系,形成一个完全可组合的、用户拥有的社交图谱.

1900/1/1 0:00:00
UST 暴雷后 其他常见去中心化稳定币都还可靠吗?

Waves 公链的生态在一定程度上借鉴了 Terra,面临问题较大,FEI、FRAX 等相对风险较低.

1900/1/1 0:00:00