链资讯 链资讯
Ctrl+D收藏链资讯

ION:一文了解智能合约执行引擎的前世今生_AVI

作者:

时间:

Solidity作为最早提出的智能合约语言,它的出现为区块链的应用场景打开了新的大门。

——?缘起——

智能合约这个术语最早于1994年由跨领域法律学者尼克·萨博?次提出。他对智能合约的定义如下:

“一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。”

所以简单来看,尼克·萨博认为智能合约是?套承诺。所谓承诺就是参与?同意的相互之间的权利和义务。因此智能合约的本质和?的即是承诺本身。?如?个简单的买卖事件,卖家承诺供货,买家承诺?付,这两个承诺就可以形成?个智能合约。注意尼克·萨博对智能合约定义中提到的关键词:数字形式和协议。这两个关键词决定了智能合约不同于传统意义上的承诺,它在形式和功能上有着决定性的特征。

「智能合约」最开始由以太坊引入区块链。据以太坊白皮书,引入智能合约主要为了解决如下问题:

对于脚本语言,脚本是非图灵完备的,难以实现复杂的功能,比如椭圆曲线签名算法脚本无法对可以提取的金额进行细粒度控制脚本缺乏状态保存,无法实现更为复杂的有状态合约执行时能获取的数据不够丰富,例如随机数、时间戳和前一个区块哈希的获取总之,脚本语言无法满足更为丰富的应用操作,所以以太坊设计了独特的智能合约语言Solidity,同时,执行智能合约的智能合约执行引擎EVM也诞生了。

Gavin Wood已在波卡生态NFT平台RMRK创建一个NFT:10月3日消息,波卡创始人Gavin Wood已经在波卡生态NFT发布及交易平台RMRK上创建了自己的第一个NFT。[2021/10/3 17:22:08]

自此,区块链技术的应用场景,从单一基于UTXO的数字货币交易,延伸到图灵完备的通用计算领域。用户不再受限于仅能使用比特币脚本所支持的简单逻辑,而是可以自行设计任意复杂的合约逻辑。

——?总述——

以太坊设计智能合约有着如下设计特点:

▲?执行的确定性

确定性是指程序对于给定的输入,不管在何时何地,执行多少次都有相同的输出。由于区块链维护的是同一份账本,智能合约执行的确定性可以理解为不同的节点执行相同的合约,必须有相同的结果。

以太坊智能合约语言被设计的足够简单,为了保证执行的确定性,其不会实现随机数,不确定的调用等功能,同时,智能合约的执行在一个环境被限制的虚拟机中进行,这样能够在底层更加保证其结果的确定性。

直播 | Gavin:疫情对海外区块链行业主要影响为三方面:在今日金色财经联合TOP Network举行的线上直播中,针对“疫情对海外的区块链行业带来了哪些影响”的问题,Blockstack中国技术社区负责人Gavin表示,这个问题可以分成三个方面来谈,第一是项目生态扩建方面,因为疫情,沟通变得相对困难,以至于大部分的沟通转至线上,项目无法像从前亲自飞到各国参与或举行线下活动,这对于行销宣传及寻找用户开法者方面是有一定的影响。第二是融资方面,此次冠状病流行可以说是黑天鹅事件,这让资金方在投资时变得更加谨慎,也更会去注重项目方的估值及资金消耗率。第三是最直接影响的币价,受全球经济影响,整体加密货币市场从三月至现在也下跌了20-30%,其中最为显着的是比特币在3/12日一天内40%的跌幅,这也显现了目前区块链金融系统还在一个相当早期的阶段,而因为加密货币总体市值的下滑,项目方管理资产的能力也备受考验。[2020/4/23]

▲?图灵完备性

图灵完备的语言,比较官方的解释是“可以计算一切可以用一个算法计算的问题”的语言,包括无限循环。以太坊引入智能合约的目的就是为了实现图灵完备,来支持更为丰富的应用形式。

Gavin Wood:将继续推进波卡主网PoA发布并向NPoS初始转移:4月10日,Polkadot创始人Gavin Wood发文称,在过去几周,我们一直通过社区密切关注COVID-19的进展。鉴于新冠病大流行,我们将重新评估任何销售的时机,这反过来可能会影响由治理公投和投票引发的DOT代币转移的时机。也就是说,我们看不出有什么理由不能推进Polkadot主网候选链(即潜在的Genesis链规范)的PoA发布,因此,一旦技术和审计完成,我们将发布并向NPOS进行初始转移。(注:Gavin曾于3月中旬在社区发表类似言论。)

他表示,Polkadot主网候选链的发布将遵循与Kusama相同的发布流程,但有一些细微差异。我们不会在流程早期发布Sudo模块将控制权交给DOT持有者,而是可能等待进行DOT分配销售,以进一步使网络去中心化,然后根据我们运营地点的适用规则和条例放弃Sudo模块。随后,网络将完全去中心化,一旦全网治理投票通过,代币将被释放。

据3月底报道,Web3基金会Qinwen表示Polkadot主网即将完成安全审计,将继续按计划推进主网发布。因当下全球疫情,团队做出相应时间调整。主网发布时间按原计划2020年中上线[2020/4/11]

引入图灵完备之后需要解决的一个问题就是停机问题:在一般情况下,没有办法判断给定的程序是否会停机。

声音 | 波卡创始人 Gavin Wood:Polkadot CC1 即将在 12 月份推出:在 Polkadot 社区中,创始人 Gavin Wood 表示,Polkadot 正在进行最终的审计,如果 Kusama 一切正常,同时审计没有发现任何致命问题的话,那 \"Polkadot CC1\"这条最终主网的候选链应该会在 12 月上线。就像 Kusama 一样,Polkadot CC1 也是分阶段推出,直到这条链上的节点稳定,治理方面的发展才会开始推进。不过鉴于大部分节点在 Kusama 网络上运行良好,所以在 Polkadot CC1 上应该也不会出现大问题。而最重要的部分——平行链、平行线程,以及链间通信会等到完善和审计后推出,这些功能也会在 Kusama 上先推出。在对社群成员的回复中,Gavin 表示代币 DOT 可以在 Polkadot CC1 上流通,节点可以进行 staking,但不交易转账暂时还不能进行。(区块律动)[2019/11/9]

为了避免图灵完备带来的停机问题,以太坊引入Gas机制,来对相关的执行过程进行耗费计算。通过将各种操作费用以gas为单位计算,并且设置每次执行的gas消耗上限,即gasLimit,在合约执行耗费累计操作gasLimit上限后强制停止执行,从而达到停机的效果。Gas机制的引入,使得用户对使用应用的复杂程度取决于其愿意为其付出的代价,而不是平台物理上的限制。

英国一加密网站称发现中本聪真实身份为BCH开发者Gavin Andresen:据bitcoin消息,英国一家非营利性交互加密网站Zy Crypto称发现了中本聪的真实身份是比特现金的开发者Gavin Andresen。[2018/6/5]

当然,Gas机制的引入也还有其他好处,不在此处过多介绍。

▲?安全性

安全性作为以太坊的设计前提,也是智能合约需要保证的。以太坊智能合约的安全性在设计上主要体现在两个方面:

1)相对简单的智能合约语言

Solidity语言相对于主流的图灵完备语言而言,由于其专注于区块链场景,所以很多语言特性其没有必要去实现比如多线程,系统调用,这就使得其可以设计得尽可能简化。不过这也是其早期比较难用的原因之一,虽然随着语言的逐渐发展,其功能也在不断的增加与完善。

2)智能合约的执行环境足够隔离

以太坊智能合约运行在以太坊虚拟机EVM中,EVM中的运行不仅被沙盒化,而且实际上是完全隔离的,这意味着在EVM中运行的代码无法访问网络、文件系统或其他进程。甚至智能合约中对其他智能合约的访问也很有限。通过运行的隔离很大程度上保证了其可控安全。

但是,不可否认以太坊智能合约仍然存在许多安全上的问题,如著名的“可重入攻击”等。

——?详解——

下面,让我们深入Solidity合约的执行引擎—EVM。

EVM被定义为一种栈式虚拟机,其使用一个字节作为指令。栈式虚拟机的特点是执行运算时都是依靠与操作数栈进行交互。

Solidity合约源码经过编译后是用一种低级的、基于堆栈的字节码,所以我们真正部署在以太坊上并且在EVM中执行的其实是一串字节码。代码由一系列字节组成,其中每个字节代表一个操作。字节码执行时从第一个字节码开始根据字节码的操作含义依次执行,直到到达代码末尾或出现错误。这些操作可以访问三种类型的空间来存储数据:

栈:后进先出容器,其值可以被压入和弹出;Memory:一个无限可扩展的字节数组;Storage:合约的长期存储,为键/值对存储。与计算结束后重置的堆栈和Memory不同,存储会长期存在,这部分也就是常说的“世界状态”的一部分。智能合约的执行过程其实就是依据操作码定义的行为对三种类型存储空间的操作过程,我们以下面的例子进行简单的展示:

下图展示部分合约片段:左边是合约字节码,右边是字节码代表的操作含义

各个操作码的简单含义如下:

PUSH1:字节码16进制为60,操作含义是将紧跟着的一个字节推入栈中

ADD:字节码16进制为01,操作含义是将栈上的两个元素弹出相加,然后将结果放回栈中

MSTORE:字节码16进制为52,操作含义是将栈中弹出的第二个值存入Memory中,存入的索引值为栈中弹出的第一个元素

RET:字节码16进制为f3,操作含义是执行结束,返回结果,结果在Memory中,起始索引为栈中弹出的第一个值,长度为栈中弹出的第二个值

将这段字节码放入EVM中执行,其执行过程如下所示:

其中,PC代表当前执行操作码的位置,合约片段执行的最后会从Memory中的60起始处,取出5个字节的数据出来,由此,合约片段执行完毕,最终的结果会被返回给调用者!

细心的同学会发现,图中相关的指令没有和Storage相关的操作,其实是因为为了简化没有在示例代码中选取相关的指令如SStore,其执行原理和上述的表述类似。

“那么,为什么EVM会被设计成这个样子?为什么通过这些栈的进进出出,内存的复制来复制去,以及对Storage的操作,就能够解决计算问题,完成对合约状态的获取以及修改呢?”

这就涉及到编程语言的设计了。理论上,在计算理论体系中,指令集架构是一个计算机的抽象模型,指令集包含的指令类型丰富程度直接影响着程序表达的丰富程度。比如,指令集中可以包含算数和逻辑运算类指令如加减乘除,控制类指令如跳转,数据处理指令如读取内存等。而作为虚拟机,可以根据需要选取或者添加指令构建一个指令集,来表达自己期望的功能。比如EVM中没有针对与浮点数的相关操作,增加了Storage相关的指令,所以这就从指令层面解释了Solidity语言不支持浮点数的运算。而在指令确定之后借助现代程序设计的一些工具,即可设计出特定的语言。所以,在某种程度上,如果需要,我们也可以实现自己的语言以及对应的执行引擎。

——?发展——

EVM的本质是通过可编程的语言来操作“世界状态”,也就是我们所说得区块链账本,因此,如何更好、更快的来操作是智能合约虚拟机的一大追求。

随着不断的发展,行业内已拥有多种智能合约执行引擎,同时也不乏新的探索。

EVM:兼容以太坊EVM,并进行了性能优化与功能丰富HVM:趣链首创支持Java语言编写智能合约的高效、易用、完备的智能合约执行引擎FVM:支持Rust等语言编写智能合约的安全,多样,高效的智能合约执行引擎KVSQL:支持在区块链上执行SQL语句的新型执行引擎本文作为专栏的开篇,介绍智能合约的起源以及以太坊智能合约,接下来系列文章将会对其他执行引擎进行详细介绍,敬请期待!

作者简介

何奇趣链科技基础平台部区块链虚拟机研究小组

参考文献

智能合约百度百科

以太坊黄皮书

以太坊白皮书

标签:IONPOLKVERSAVIANATIONPolkadexInverse Ethereum Volatility Index Tokenavive中的vv币怎么卖

酷币交易所热门资讯
TIC:Multicoin Capital合伙人:Loot与元宇宙无关,它可能是更好的DAO_MULTI

注:原文作者是MulticoinCapital管理合伙人KyleSamani,其最近透露Multicoin已购买了价值千万美元的Loot,在这篇文章中,他讲述了自己对Loot的看法.

RES:Element启动一级市场直接打新通道,6666个CyberHunter盲盒即将发售_Meta Age of Empires

巴比特讯,9月15日,去中心化NFT交易平台Element宣布启动一级市场直接打新通道。社区驱动的游戏实验性NFT-CyberHunter将于本周四中午12点独家首发Element平台,共计66.

Gavin Wood: XCM 第二部分- 版本控制和兼容性

在关于XCM的第一篇文章中,介绍了它的基本架构、目标以及如何将其用于一些简单的用例。在这里,我们将继续深入检查XCM的一个有趣方面:有一个共同的语言可以解决很多交互的问题.

以太坊:V神提出在二层生态转移NFT的跨Rollup NFT封装和迁移思路_start币多少钱

巴比特讯,9月7日,以太坊创始人VitalikButerin在以太坊研究论坛发文《跨RollupNFT封装和迁移》,提出能够在整个二层生态中转移NFT的思路.

DOT:波卡的Staking机制是怎样的?_VIN

“波卡知识图谱”是我们针对波卡从零到一的入门级文章,我们尝试从波卡最基础的部分讲起,为大家提供全方位了解波卡的内容,当然这是一项巨大的工程,也充满了挑战.

YIELD:知情人士:Facebook高管与美国政府高官会面,寻求批准其全球支付系统Diem_Infinity Yield

据华盛顿邮报消息,知情人士透露,最近几周,Facebook高管一直在与拜登政府高级官员会面,试图缓解监管对其支付项目Diem的担忧.