为了改进EVM1.0,以太坊的新一代虚拟机项目ewasm (github.com/ewasm)将支持WebAssembly(wasm),wasm在性能,扩展性,开发工具,社区都更有优势。除以太坊外,一些其他项目EOS,Polkadot, Cardano已经或者计划开发支持wasm的虚拟机。

WebAssembly

什么是WebAssembly

  • wasm是可以在stack-based虚拟机上运行的一种二进制指令格式,设计的首要目标是性能,很适合用在区块链项目中。
  • WebAssembly二进制代码(wasm格式)可以转换成一种中间表示,一种可读的AST(抽象语法树,wast格式),这种可读的中间表示方便了编写和调试。
  • 对扩展性的改进:wasm支持module import/export功能,可以将扩展部分做成module,在项目中导入。

WebAssembly的优势

  • 可扩展性好
  • 32/64位的操作符
  • 支持更多的高级语言(C,Rust,Go等)
  • 由W3C领导,Google,Apple,MicroSoft等大公司支持,更广阔的社区
  • 主流浏览器支持,已有项目支持在非浏览器环境运行(wabt,wavm等)

EVM2.0对比EVM1.0的优势

  • 性能更好
  • 可扩展性好
  • 开发合约更容易,支持更多语言和工具

ewasm 项目目标和方案

以太坊ewasm项目目标是既要完成对wasm的支持,又要兼容EVM1.0合约。要达到这个目标,ewasm目前的设计方案如下:

VM语义设计

  • 执行合约前要能够判断出这个合约是wasm合约还是EVM1.0合约,并可调用对应的EVM解析执行。
  • 如果客户端没有支持EVM1.0的EVM,需要将EVM1.0合约通过预编译合约(evm2wasm项目)翻译成wasm合约。
  • 部署wasm合约时,要有一个预编译内置合约(合约名称Sentinel Contract)对合约进行检查,要求合约复合EVM2.0的要求,比如不能包括float类型,不能有限定外的操作。

ewasm合约语义设计(Ewasm Contract Interface - ECI)

ECI定义了ewasm合约的结构,通过wasm的module实现,实质上是wasm,可以认为ewasm是wasm的子集 。

  • 合约必须符合wasm二进制格式
  • 合约import module只能import EEI,不能import以太坊之外的module保证了EVM是一个沙盒程序。
  • 提供debug module,但debug模式只能用于开发,在部署的时候需要去掉
  • 每个合约必须提供两个export方法,一个是main,供VM执行调用,一个是memory,供EEI调用,保存结果。
  • wasm module中的start function需要被disable。

Ethereum Environment Interface (EEI) 定义

EEI定义了wasm程序如何与链进行交互,通过EEI将以太坊API暴露给ewasm,使ewasm可以读写链上信息,意义是wasm指令是low level的,high level功能留给客户端实现。

数据类型

  • bytes: 不确定长度的二进制数组
  • bytes32: 32字节的数组
  • address: 20字节的数组
  • u128: 128位的无符号整数
  • u256: 256位的无符号整数

API

  • useGas 减掉消耗的gas
  • getAddress 获得账户的地址
  • getBlockHash 获得区块哈希
  • call 将参数信息发送给某个地址
  • storageStore 保存一个256bit的值

更多API及详细信息参考https://github.com/ewasm/design/blob/master/eth_interface.md

以太坊内置合约

一些功能接口可以通过内置合约的方式来完成,每个合约都会有固定地址,可以像调用其他合约一样调用内置合约。

Sentinel合约:执行ewasm检查,看合约是否符合ECI的要求;执行 metering,将结果注入到ewasm合约中。

evm2wasm : 将EVM1.0合约翻译成wasm合约。

Metering

Metering功能是计算每个指令消耗的gas,在合约执行之前,提前知道这个合约需要多少消耗gas,也就可以预计运行时间。

提前计算gas消耗还可以避免因gas不足导致操作回滚,避免了做无用功。详细可参考 https://github.com/ewasm/design/blob/master/metering.md

ewasm****子项目

根据ewasm项目设计方案,ewasm创建了多个子项目分别实现模块功能,将这些项目组合到一起,共同实现支持wasm合约并且兼容旧合约的目标。

EVM-C

https://github.com/ethereum/evmc

EVM-C的作用是分离客户端和EVM,客户端在执行合约中只负责与链上信息的交互,把对合约的解析和执行任务交给EVM,他们之间的通信接口就是EVM-C。

客户端有多个版本的实现,Go,C++,Rust等。EVM也有多种方式去解析和执行合约,比如Interprter,JIT,AOT,现在又有了执行不同指令格式的合约的需求。所以通过接口将二者分离可以更方便的配置客户端。

 
image.png

EVMC由C++实现,可以直接与aleth结合。EVMC通过bind的方式支持非C++版本的客户端。目前只能支持aleth和geth。

Hera

https://github.com/ewasm/hera

Hera是由C++实现的尊从EVMC接口的ewasm虚拟机。Hera内部包含了wasm VM,目前wasm的VM有多个实现版本,Hera计划支持Bineryen,WABT,WAVM(EOS也使用WAVM),目前可以完全支持Bineryen。

不管是哪个版本的客户端,只要是使用EVMC接口就可以与Hera进行交互。总之只要执行指令过程中有与链上的信息交互就通过接口与客户端通信,其他low level 的 wasm指令由内置的VM执行。

对于EVM1.0的合约,Hera将通过另一个项目evm2wasm提供的方法将EVM1.0合约翻译成ewasm合约。

 
image.png

项目现状

Parity对ewasm合约的支持是最好的,但是它的实现方式是内置在客户端中,并没有使用EVMC和Hera,aleth和geth正在开发中。

目前的测试网络已经上线,但缺少工具支持,没有生成ABI文件的工具,也没有任何hello world教程或文档。

关于上线时间,根据DevCon4上的信息,以太坊会先发布Casper和Sharding,然后发布EVM2.0,至少要一年左右甚至更久。

ewasm项目初探的更多相关文章

  1. GOICE项目初探

    GOICE项目初探         在图像拼接方面,市面上能够找到的软件中,要数MS的ICE效果.鲁棒性最好,而且界面也很美观.应该说有很多值得学习的地方,虽然这个项目不开源,但是利用现有的资料,也可 ...

  2. 《ASP.NET MVC 5 破境之道》:第一境 ASP.Net MVC5项目初探 — 第三节:View层简单改造

    第一境 ASP.Net MVC5项目初探 — 第三节:View层简单改造 MVC默认模板的视觉设计从MVC1到MVC3都没有改变,比较陈旧了:在MVC4中做了升级,好看些,在不同的分辨率下,也能工作得 ...

  3. 《ASP.NET MVC 5 破境之道》:第一境 ASP.Net MVC5项目初探 — 第二节:MVC5项目结构

    第一境 ASP.Net MVC5项目初探 — 第二节:MVC5项目结构 接下来,我们来看看,VS为我们自动创建的项目,是什么样子的? 可以通过菜单中[View]->[Solution Explo ...

  4. 《ASP.NET MVC 5 破境之道》:第一境 ASP.Net MVC5项目初探 — 第一节:运行第一个MVC5项目

    第一境 ASP.Net MVC5项目初探 — 第一节:运行第一个MVC5项目 创建一个MVC项目,是很容易的,大部分工作,VS都帮我们完成了.只需要按照如下步骤按部就班就可以了. 打开VS2017,选 ...

  5. 【Magenta 项目初探】手把手教你用Tensorflow神经网络创造音乐

    原文链接:http://www.cnblogs.com/learn-to-rock/p/5677458.html 偶然在网上看到了一个让我很感兴趣的项目 Magenta,用Tensorflow让神经网 ...

  6. django项目初探

    一:创建django项目 设置数据库(默认sqlit3) mysql: setting:中设置 DATABASES = { 'default': { 'ENGINE': 'django.db.back ...

  7. 云原生项目实践DevOps(GitOps)+K8S+BPF+SRE,从0到1使用Golang开发生产级麻将游戏服务器—第1篇

    项目初探 项目地址: 原项目:https://github.com/lonng/nanoserver 调过的:https://github.com/Kirk-Wang/nanoserver 这将是一个 ...

  8. 第01讲 Android开发系列---Activity

    一.  Android系统版本及详细信息 最新数据  https://developer.android.com/about/dashboards/ 二.  Android项目初探 1.    使用a ...

  9. 壹佰文章最全总结| 《关于ASP.NETCore的分享之路》

    学习路线图 (关于学习ASP.NET Core需要了解和掌握的知识点图) 一言不合就来图,各位博客园小伙伴大家好,感觉好久没有写文章了,自从春节开始,中间经历种种,慢慢的就开始微信公众号发文了,原因有 ...

随机推荐

  1. poj 1486 Sorting Slides

    Sorting Slides Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 4469   Accepted: 1766 De ...

  2. HDU 4474 Yet Another Multiple Problem【2012成都regional K题】 【BFS+一个判断技巧】

    Yet Another Multiple Problem Time Limit: 40000/20000 MS (Java/Others)    Memory Limit: 65536/65536 K ...

  3. Yii 之视图

    控制器方法代码: public function actionIndex(){ $data = array( 'name' => 'zhangsan', 'age' => 12, 'add ...

  4. git多人协作--分支

    分支: 创建分支: git checkout -b 新分支 切换分支: git checkout 目标分支 删除分支: git branch -d 待删除分支 推送到远程分支: git checkou ...

  5. 使用注解开发springmvc

    1.导入jar包 commons-logging-1.2.jar spring-aop-4.3.6.RELEASE.jar spring-beans-4.3.6.RELEASE.jar spring- ...

  6. 洛谷——P2074 危险区域

    P2074 危险区域 题目背景 一个恐怖组织在一座城市中安放了定时炸弹,其威力巨大,现在这里的警长想知道最坏的情况下会有多少街区受威胁. 题目描述 在一个城市有N*M个街区,每个街区由坐标描述,如图所 ...

  7. yum安装nginx详解

    原文:http://blog.csdn.net/tjcyjd/article/details/50686505 1.查看yum的nginx信息 # yum info nginx Loaded plug ...

  8. ios下读取jason中的nsstring时间并本地化成中文gmt时间显示上午下午

    https://developer.apple.com/library/ios/qa/qa1480/_index.html - (NSDate *)dateFromString:(NSString * ...

  9. Websocket -- JS的前端页面

    一个html5 WebSocket + JS的简单Echo例子,例子代码演示效果猛戳链接:websocket例子(打开页面,稍等一会) 使用一个文本编辑器,把下面代码复制保存在一个 websocket ...

  10. 一步步走向国际乱码大赛-- 恶搞C语言

    大家都一直强调规范编码.可是这个世界上有个大师们娱乐的竞赛--国际乱码大赛. 能写出来的都是对语言深入了解的master.我从没想自己也能"恶搞"C,一直都是老老实实编码.就在前几 ...