以太坊是一个具有图灵完备智能合约的公有链平台,对底层区块链技术进行了封装,这样区块链应用开发者可以直接基于以太坊平台进行开发, 只需要专注应用本身,从而大大降低了开发的难度。
以太坊上的程序 被称为 智能合约,它是 **代码和数据(状态)**的集合。
智能合约的默认编程语言是Solidity,文件扩展名以
.sol
结尾。Browser-Solidity Web IDE是一个基于Web的Solidity IDE。
Solidity是和JavaScript相似的语言,用来开发智能合约并将其编译成以太坊虚拟机字节代码。
EVM ( Ethereum Virtual Machine ) 即 以太坊虚拟机 是以太坊中智能合约的运行环境。而EVM运行在以太坊节点上,当我们把合约部署到以太坊网络上之后,合约就可以在以太坊网络中运行了。
Gas
的概念,所以原则上在EVM中可执行的计算总量受Gas
总量限制。EVM采用了基于**栈(Stack)的架构,也就是后进先出(LIFO)**的方式。
EVM有如下特殊设计:
像之前定义的那样,EVM是图灵完备虚拟机器,而EVM本质上是被Gas束缚,因此可以完成的计算总量本质上是被提供的Gas总量限制的。
此外,EVM具有基于堆栈的架构。每个堆栈顶的大小为256位,堆栈有一个最大的大小,为1024位。
EVM有内存(Memory),项目按照可寻址字节数组来存储。内存是易失的,也就是说数据是不持久的。EVM还有一个存储器(Storage),与内存不同,存储器是非易失的,并作为系统状态的一部分进行维护。EVM分开保存程序代码,在虚拟ROM中只能通过特殊指令来访问。
智能合约的部署是指把合约字节码发布到区块链上,并使用一个特定的地址来表示这个合约,这个地址称为合约账户。
以太坊中有两种不同类型但是共享同一地址空间的账户:
Key-Value
类型的存储,并将256位的Key
映射到256位的Value
上目前大多数的处理器主要由以下4种选择来实现快速的数学运算:
虽然在一些情况下32bit比16bit快,并且在x86架构中8bit数学运算并不是完全支持,但基本上如果你采用以上的任意一种,都可以保证数学运算在若干个时钟周期内完成,并且这个过程非常迅速,往往是纳秒级的。因此,可以说这些位长的整数是目前主流处理器能够原生支持且不需要额外操作的。
EVM处于所谓运算速度和效率方面考虑,采用了非主流的256bit整数。x86汇编码运算的比较实验,证明了采用256bit整数远比采用处理器原生支持的整数长度要复杂,即EVM的运算效率并不高。
在开发Solidity智能合约时就会碰到这个问题,因为Solidity中根本没有标准库。目前的情况是,人们只能不断的从一些开源软件中复制粘贴代码。首先这些代码的安全性无法保证,再加上人们会为了更小的Gas消耗而不断修改代码,这就有可能对他们的合约引入更严重的安全性问题。
这个问题不仅仅是EVM的设计缺陷,也和其实现方式有关。EVM唯一能抛出的异常就是OutOfGas
,并且没有调试日志,也无法调用外部代码。同时,以太坊本身很难生成一条测试网络的私链,即使成功,私链的参数和行为也与公链不同。
浮点数有很多应用实例,比如风险建模、科学计算,以及其他一些范围和近似值比准确值更加重要的情况。EVM将浮点数排除在外的做法有潜在的局限性。
智能合约在设计时需要考虑的重要问题之一就是是可升级性,因为合约的升级是必然的。
在EVM中代码是完全不可修改的,并且由于其采用哈佛计算机结构,也就不可能将代码在内存中加载并执行,代码和数据是被完全分离的。
目前只能够通过部署新的合约来达到升级的目的,这可能需要复制原合约中的所有代码,并将老的合约重定向到新的合约地址。给合约打补丁或是部分升级合约代码在EVM中是完全不可能的。