来源|?IvanonTech,翻译:以太坊中文网
以太坊2.0之eWASM
eWASM是以太坊迈向2.0时代的又一创新之举。主流看法是,eWASM能够促进网络的速度、可扩展性和灵活性,也使得开发者能够基于以太坊2.0的协议构建更为复杂的智能合约。除此之外,我们之前的文章还对Eth2.0的许多不同方面进行了解释,如
Staking、
Sharding、
以太坊Layer-2、
zk-snark等。在探讨eWASM之前,我们再过一遍以太坊2.0的基本路线。
什么是以太坊2.0?
以太坊2.0包含一系列升级,将对协议进行颠覆性的改进,扩容以太坊网络,使其更加高效。其中的升级包括:使用Casper协议的ProofofStake(权益证明)机制、分片、Raiden(雷电网络)、Plasma以及Rollups等等。这些升级将会在
以太坊不同的阶段中实现,以确保合理地部署和执行。
阶段0:启动信标链,转向PoS权益证明机制
阶段1:加入分片
阶段2:使用以太坊0eWASM替代现有的以太坊虚拟机(EVM)
本文将主要探讨阶段2,如果读者对以太坊2.0有一些了解,那么应该知道从EVM到eWASM的转变是非常宏大的工作。在我们进入eWASM之前,先来看看EVM到底是什么。
以太坊虚拟机是什么?
每条去中心化的区块链都需要一个虚拟机来处理并执行操作。比特币的虚拟机相对简单,因为它只需要处理交易。然而,由于以太坊支持图灵完备的智能合约,其复杂度也就更高。因此,我们需要思考另一个重要问题。
既然智能合约要满足不可篡改性,并且即使历经多个节点也能无损运行,那么以太坊虚拟机(EVM)需要拥有哪些主要特性?
厦门市利用区块链技术 助力政府提高服务效率:5月20日,厦门市思明区政府与厦门建行、建信金科厦门事业群签订“区块链基层治理协同平台”合作备忘录。据建信金科厦门事业群相关负责人介绍,该平台首期将搭建一个基于“多方协作”的平台,利用区块链不可篡改、可溯源的特性,实现跨部门、跨机构、跨区域的多方数据在区块链上进行安全的互联互通,构建多方协作机制,促进业务协同办理,助力政府提高服务效率。(厦门网)[2020/5/21]
确定性
可终止性
独立性
确定性
如果针对相同的一组输入,无论其执行了多少次代码,程序都给出相同的输出,那么就可以说是该程序具有确定性。确定性函数的一个完美示例就是数学运算。例如,假定所有数字都以10为底,则无论重复运算多少次,1+4始终等于5。
DApps往往需要同时处理大量金额,所以用户需要清楚知道代码在每个执行阶段如何响应。
可终止性
我们需要谨记一点,以太坊智能合约是图灵完备的。如果有充足的时间和资源,那么理论上来说智能合约可以解决任何问题。然而,我们无法判断合约是否能在给定的时间限制内完成所有操作。这就是为什么智能合约需要有终止机制。以太坊智能合约借助“gas”来定义其使用期限。当合约达到gas上限,则无法继续进行操作。
独立性
最后,智能合约应该在一个完全独立的环境中运行。如果合约发生什么意外情况(例如被攻击或是出现漏洞),那么其影响不应该波及到其他底层协议。
要满足以上三个特性,有两种系统可以供智能合约使用——虚拟机和Docker容器。由于Docker的合约默认设计不具备确定性,以太坊决定采用虚拟机。
以太坊虚拟机:如何运作?
当我们说到“虚拟机”?(virtualmachine)的时候,到底是什么意思?
传统的操作系统(Windows/iOS)一次只需要在一个系统中运行。而虚拟机(VM)是基于本地操作系统所创建更高级抽象,可用于复制物理机的功能。
虚拟机使得用户能够在不同的硬件架构和操作系统中同时运行同一平台。这就是为什么虚拟机非常适合像以太坊这样的去中心化网络的原因。以太坊的主要目标是成为一台全球超级计算机,使得开发者能够借助其计算资源构建自己的智能合约和去中心化应用程序。以太坊虚拟机(EVM)的功能就类似世界计算机,遍布全球的节点都能进行访问。
动态 | 浙商银行推广区块链技术 五服务平台获备案:11月26日消息,浙商银行在金融科技运用方面率先布局,已将区块链技术广泛应用到公司、零售和金融市场等各类金融服务中。公开信息显示,自2019年初《区块链信息服务管理规定》正式实施以来,浙商银行的应收款链平台、仓单通平台、个人理财转让平台、同有益平台等5个区块链服务平台获得了国家网信相关部门发布的首批境内区块链信息服务备案编号。(中国经营报)[2019/11/26]
堆栈和状态机
相较于普通的虚拟机,EVM还具备两个额外特性。首先,作为状态机的EVM可以读取输入然后相应地更新其状态。其次,EVM还是堆栈式,其内存结构能够以堆栈形式进行组织和访问。
如果读者熟悉数据结构,那么应该对堆栈并不陌生。堆栈是线性数据结构,其中的操作是通过LIFO?(后进先出)来执行的。
下面举个例子:
在上图的堆栈中,第一条插入的数据是Orange,最后一条数据是Apple。根据LIFO的逻辑,我们取出的第一条数据应该是Apple,最后才是Orange。
现在我们再来看看堆栈操作:Push和Pop。
Push:向堆栈中加入数据
Pop:使用LIFO逻辑将数据从堆栈中移除
EVM中的堆栈操作
在堆栈式虚拟机中,操作执行如下:
首先移除数据和操作数
相应操作被执行
执行结果被加入堆栈
参考以下图表:
我们首先移除两个数字:20和7
将这两个数字相加,我们得到27
最后,结果被重新加入堆栈
现场 | 李广乾:区块链不仅是一种技术 也是一种思维和方式:金色财经现场报道,11月17日,在由国研智库创新科学园数权经济创新发展中心、区块链产业人才研究所(工信部人才交流中心联合行业知名机构发起)和清华 x-lab共同发起的《“区块链技术的应用与管理实践”高级研讨班——“习总书记关于区块链技术重要讲话”系列活动》国研智库第一期上,国务院发展研究中心研究员李广乾表示,区块链行业正在发生重要转变。
1、区块链服务实体经济正日益成为社会共识,区块链引进国内以来,形成了把区块链跟比特币相区隔的基本共识。同时区块链服务于国内的一些产业发展方面,也有很多成功的案例,让我们看到了区块链是可以落地的,是可以真金白银地服务于信息化建设的。
2.区块链技术和产业的进步让人们看来了未来的发展前景,众多的互联网企业不断加入区块链技术应用行列。
3.区块链日益进入战略决策视野和国家发展规划。
此外,李广乾表示,区块链不仅是一种技术,也是一种思维和方式。[2019/11/17]
EVM堆栈式系统的优势
堆栈结构可确保EVM不需要获取操作数的确切地址。堆栈结构会始终且必然将VM指向下一个操作数。降低大量操作开销的同时提高了整体效率。
EVM拥有:世界状态(worldstate)、机器状态?(machinestate)和虚拟ROM。世界状态将所有帐户存储在网络中,机器状态包括程序计数器、可用gas、堆栈和内存等数据。最后,虚拟ROM读取名为“EVM字节码”的机器级代码。这是只有EVM才能理解的独特语言。
EVM–读取字节码?
编程语言分为高级和低级语言。低级语言(如字节码)能够轻松被机器读取,但人类却难以理解。这也是为什么大多数编程语言都是高级形式的原因。那么,在智能合约中程序是如何运作的呢?
Solidity/Vyper语言的智能合约被编译为字节码,使用到的编译器叫做“solc”
声音 | 农行刘刚:基于大数据和区块链技术 缓解三农地区信用体系不完善的问题:据金融界消息,3月22日,2019中国数字普惠金融大会在北京召开。中国农业银行科技与产品管理局高级专家刘刚在会上表示,以前很难想象我们能够把金融服务产品,尤其是信贷服务产品,能送到村里去。随着技术的发展,我们能够采用“云+端”的模式,把各种各样的终端形式,在村一级的地方部署,基于大数据和区块链技术,实现交易信息和客户信息真实性、隐私保护和防篡改,有效缓解三农地区信用体系不完善的问题。[2019/3/22]
字节码由网络读取并处理
字节码是Solidity操作码的二进制形式。从EVM转向eWASM的过程中,编译器是非常重要的一个部分,因为EVM无法理解除了字节码之外的任何语言。
每个操作码在规范中都被赋予了易于理解的名称,并由数字代码表示。例如,数字0X01代表ADD操作码。
EVM的功能性
EVM是以太坊网络中的去中心化处理单元。每笔交易、交互和智能合约执行只能通过EVM进行。
负责所有不同的数据结构,包括指令、操作数以及已经处理的数据。
EVM通过指令分配器获取并执行指令,对操作码进行解码。
EVM还会跟踪多个网络组件,例如世界状态、存储状态以及区块信息。
在以太坊网络中为智能合约创建一个运行时环境。该环境包含需要用以执行具体交易的信息,例如gas价格(最新gas价格)、代码大小、Caller(交易接收方地址)以及Origin(交易发送方地址)。
EVM的缺点
虽然EVM具备许多优势,但也存在四个主要问题,导致网络的整体吞吐量受限:
由于EVM需要处理大量各种各样的操作,其速度便不尽人意。EVM的操作码规范没有进行更新,也没有针对不同的硬件平台做出优化。
第一点提到由于EVM需要处理大量不同操作,就会容易成为运转瓶颈。其结果就是严重损害整个网络的效率。
自从发布初始规范以来,EVM并没有进行太多优化,导致编写合约所需的工具和语言极大受限。
声音 | 全国政协委员张劲:建议运用区块链等技术 实现政策发布等公共服务功能:据新京报消息,全国政协委员、雪松控股集团董事局主席张劲为2019年全国两会带来的提案聚焦民营企业融资问题,并对民营企业发展提出了建议。建立供应链金融公共服务平台,运用大数据、区块链等技术,连接金融机构、核心企业、中小微企业、第三方物流等参与主体,实现信用信息在线共享、产品在线服务、非标资产在线交易、政策发布及非现场监管等公共服务功能。[2019/3/4]
假如底层工作环境本身存在巨大缺陷,那么引入一系列新颖机制(分片/rollups/Casper)的意义何在?以太坊之所以寻求从EVM转向使用eWASM,也出于对以上缺陷的衡量。
那么什么是eWASM呢?在此之前,我们需要先理解什么是WebAssembly。
什么是WebAssembly(WASM)?
WebAssembly最近获得了许多关注。WebAssembly是由WorldWideWebConsortium(W3C,万维网联盟)?创造并定义的新代码类型,能够在现代浏览器中高效执行。
WebAssembly凭什么独树一帜?
由于WASM具备基于堆栈的低级二进制格式,且在默认情况下很小,从而可以实现快速加载和执行。浏览器下载WASM代码后,便可以快速将其转换为任何计算机的程序集。
WebAssembly的优势
受多个JavaScript引擎和运行时环境的支持,可以在大多数现代浏览器中执行。
Go/Rust/C/C++语言可以直接编译为WASM
能够快速适应所有机器级架构,具备极高性能
附带与大多数现代硬件架构兼容的指令集
在大多数平台上趋近于本地运行速度
以太坊2.0eWASM?
读到这里大家可能已经发现了,eWASM(EthereumWebAssembly)就是以太坊2.0版的WebAssembly。
根据相关团队的说法:
eWASM=WASM–?非确定性?(浮点)+?计量?+EEI路径?(用以与以太坊交互)
eWASM团队已经给出其具体的设计目标:
构建EVM转译器,并且以eWASM合约形式添加计量注入器
发布明确详细的规范:以太坊接口、eWASM合约语义以及细节
为solc编译器构建一个eWASM后端
提供C语言和Rust语言的相应指令和库,以支持智能合约编写
诸如EOS、Tron以及Cardano等项目已经或者准备采用WASM,实现eWASM之后,以太坊也将成为其中之一。
eWASMvsEVM
EVM的主要设计目标就是要保证正确性,即使可能会因此牺牲一定的效率。以太坊开发者LaneRettig认为EVM是基于理论设计而非实用设计,因此可能无法完美支持现实应用。EVM中的每个节点都必须完整正确地运行EVM,而WASM是为现实应用而生的,能够翻译轻松实际的代码逻辑,因此在效率和速度上更具优势。
现在有了大概的认识,我将进一步对比eWASM和EVM。
eWASMvsEVM#1:?速度
简单来说,EVM可以看作是“万精油”,但没有达到理想效果。就拿代码编译来说吧。
EVM经常无法有效编译大量代码。而浏览器的本地JS引擎通常需要大量工作来为某些操作的执行匹配最佳路径,而这对EVM的整体吞吐量来说会产生巨大影响。此外,EVM只能处理256位的字节码,因此小于256位的字节码必须转换为256位格式。
EVM的设计极大限制了以太坊的速度和可扩展性,使其每秒最多只能处理25笔交易。而这对于现实世界和现实需求来说是非常不切实际的。
eWASM可以直接转换为编译代码,从而提高加载速度,并且大幅提升每个区块能够处理的交易量。除此之外,有了分片和layer2解决方案的加持,以太坊2.0的速度会显著提升。
eWASMvsEVM#2:?预编译
eWASM还能消除以太坊对预编译的依赖。预编译是EVM字节码的特殊位,好处在于能够节省gas成本,进行高效的密码运算。大多数情况下,如果不进行预编译,那么几乎不可能将创建合约所需的gas控制在上限范围内。而eWASM的gas效率非常之高,以至于能够省去大部分甚至全部的预编译。
然而,预编译也有不足之处。引入新的预编译往往需要网络进行系统范围的硬分叉。根据历史经验,因为可能导致社区分裂,硬分叉多少具有争议性。
而这些意味着什么?
eWASM能够帮助开发者又快又省地创建智能合约,并且没有硬分叉的顾虑。
eWASMvsEVM#3:?灵活性
最后,相较于标准的EVM,eWASM最显著的优势就是代码灵活性。要编写智能合约,以太坊开发者必须特地学习Solidity语言,而这就成为了开发者的知识瓶颈。
eWASM能够与多种语言进行交互,并且拥有更为广泛的开发者工具集。eWASM将支持C/C++/Rust语言。
eWASM将获得所有主流JavaScript引擎的支持,例如:
Microsoft的Chakra引擎(MicrosoftEdge)
Google的V8engine(Node.js及基于Chromium的浏览器)
Mozilla的Spidermonkey引擎(Firefox及Thunderbird)
eWASM还将获得以下非浏览器实现的支持,例如:
ml-proto(OCaml引用解释器)
wasm-jit-prototype(使用LLVM后端的独立虚拟机)
wabt(基于堆栈的解释器)
EWASM还具有以下的开创性优势,这些优势是之前的EVM不可能拥有的:
对于以太坊轻客户端,得到浏览器支持会更简单,因为eWASM是根据W3C标准架构的
eWASM有更多编译器和更多种类的开发者工具
由于大量的项目已经在使用eWASM了,它已聚集了一个健康、多元的开发者社区
结语:eWASM能否助Eth2.0更上一层楼?
关于eWASM,以太坊社区感到非常兴奋。然而,相关讨论也总是伴随着天花乱坠的说法,我们还需要听到不同的声音。一位资深以太坊开发者GregColvin就对eWASM智能合约持疑,其主要观点是:
eWASM无法消除预编译
eWASM过渡依赖编译器,可能会导致单点故障
其实绝大多数以太坊开发者都相信eWASM将对协议的整体性能和吞吐量造成巨大影响。
结果究竟会如何呢?让我们拭目以待吧!
?
作者|哈希派分析团队部分推特被黑事件受害者可收回比特币:金色财经报道,仍然有14名推特被黑事件的受害者可以收回他们的比特币.
1900/1/1 0:00:00以人为镜,可以明得失——唐太宗1、我等的船还不来,我等人的他还不明白。7月20日,在巴比特论坛的一位老船员发出了一个简短贴子,称“熬不住了清退离场!!!”,语气颇为无奈,很快上了热门,获得了近2.
1900/1/1 0:00:00最近DeFi概念很火,带动了一大波数字货币的上涨。可热闹基本都属于以太坊,而曾经最有望超越以太坊的明星公链——EOS则冷清许多。EOS当然不会坐视DeFi热潮的错失,甚至希望借此实现弯道超车.
1900/1/1 0:00:00从成都出发,沿着G93国道,小面包载着我们一行十多个人一路西行,没过多久,沿途的风景由平原变成了丘陵,道路也开始曲折回旋起来.
1900/1/1 0:00:00这是dForce张先生说DeFi机会实操第二期,在社群中好多用户找到我希望知道怎么样参与高收益的DeFi挖矿机会Comp/Bal/MTA/MCB/DF/CRV等.
1900/1/1 0:00:00过去一周,沉寂多时的加密市场迎来复苏,市值最高的加密货币比特币突破9700美元,以太坊已突破300美元。 加密货币加密市场在过去一个月中持续疲软,比特币的价格始终在9200美元上方小幅震荡.
1900/1/1 0:00:00