火星链 火星链
Ctrl+D收藏火星链
首页 > KuCoin > 正文

HTT:以太坊虚拟机是如何运行的?

作者:

时间:1900/1/1 0:00:00

译文出自:登链翻译计划

译者:翻译小组

校对:ARC_hunk

如果您曾尝试过在以太坊上开发智能合约,或者至少了解过相关内容,那么你也许会听说过“EVM”,该术语是“以太坊虚拟机”的缩写。就本质而言,虚拟机在代码和机器之间创建了一层抽象,以此提升软件的可移植性,同时确保应用程序与主机、其他应用之间的隔离性。

创建智能合约

智能合约通常使用Solidity编写,这是一种类似于JavaScript和C的语言。其他合约编程语言则包括Vyper和Bamboo等。在Solidity发布之前,Serpent和Mutan也曾被使用过。

智能合约示例(TheGreeter):

pragmasolidity>=0

}contractGreeterisMortal{/*定义greeting变量,它的类型*/stringgreeting;/*合约运行的时候被执行*/constructor(stringmemory_greeting)public{greeting=_greeting;}/*主函数*/functiongreet()publicviewreturns(stringmemory){returngreeting;}}

Solidity这样的智能合约语言无法直接被EVM所执行,他们需先被编译为低级的机器指令。

操作码

从内部来看,EVM通过一组指令来执行特定任务,这组指令被称为操作码。在本文编写之时,目前共有140个不同的操作码,它们使得EVM图灵完备,即在给定足够资源的前提下,足以完成任何计算。由于操作码为1字节大小,最多只可能有256个字节码。简单起见,我们可将所有操作码归为如下几类:

V神:希望狗狗币能尽快切换到 PoS,可以使用以太坊代码:9月2日消息,以太坊创始人V神在推特中做你问我答节目,在回答Three Arrow Capital CEO Zhu Su关于“对于以太坊/Doge合作有什么好的想法,你对Doge这个项目哪些方面感兴趣”的问题时,V神表示:就我个人而言,我希望Doge能尽快切换到 PoS,也许使用以太坊代码。我也希望他们不要取消50亿/年的PoW发行,而是将其放入某种为全球公共事务提供资金的DAO中。这将很适合Doge的非贪婪的健全的精神。[2021/9/2 22:54:18]

栈操作相关的字节码

运算/比较/位操作相关的字节码

环境相关的字节码

内存操作字节码

存储操作字节码

程序计数器相关的字节码

终止相关的字节码

Byzantium分支中的全部操作码,包括Constantinople版本所计划的

字节码

为了有效的保存操作码,操作码会被编码为字节码。每个操作码被赋予一个特定字节。我们来看一下这个字节码:0x6001600101

字节码、拆分后的字节、对应的操作码,还有当前的栈

在执行时,字节码会被拆分为多个字节。位于0x60-0x7f范围内的字节,会以其他方式处理,因为它们包含压栈的数据,这些数据会被添在操作码后面,而不会被当作单独的操作码。

第一个指令是0x60,它的含义是PUSH1。因此,我们知道要压入的数据是1字节长,故我们将下一个字节压入到栈上。现在,栈上已包含了一个数据项,我们来执行下一条指令。由于我们知道0x01属于PUSH指令的一部分,下一条我们要执行的指令是另一个0x60,外加同样的数据。此时栈上包含了两个相同的数据项。最后一个指令是0x01,它对应ADD操作码。这一条指令会从栈上取2个数据项,然后将它们之和压入到栈上,使栈上目前只包含一个数据项:0x02.

数据:以太坊网第一季度交易额预计将达1.6万亿美元:Messari研究显示,以太坊网络目前正在加快步伐,今年第一季度的交易额预计将达到1.6万亿美元。在过去12个月里,以太坊已经结算了2.1万亿美元的交易。?如果Messari预测的1.6万亿美元是准确的,那么以太坊的季度结算额将比2020年第一季度增长1280%,比2019年第一季度增长超过5000%。Messari的研究人员Ryan Watkins指出,这些数据反驳了一种说法,即以太坊在高昂的gas费中流失了大量用户。[2021/2/25 17:51:06]

合约状态

许多流行的高层编程语言允许用户直接给函数传参,与此不同的是,底层的编程语言则常用栈来给函数传递参数。EVM使用基于256位的寄存器栈,这个栈最近的16个数据项可以被直接访问和操作。整个栈最多保存1024个数据项。

由于这些限制,复杂的操作码会转而使用合约内存来读写数据。然而,内存并非持久化的。当合约执行完成后,内存的内容并不会被保存。因此,栈可以看作函数参数,而内存则可看作声明的变量。

为了能够长久保存数据,并使其可为将来的合约执行所用,我们可以使用存储。合约存储本质上就像是公共数据库,数据可以被外部读取,且无需发送任何交易。但是,比之于写内存,对存储的写入操作则昂贵的多。

合约交互的开销

合约的每次执行,均会在每一个以太坊节点上运行,因此攻击者可以尝试创建那种包含大量计算量的合约,以此来降低网络的速度。为了防止这种攻击发生,每个字节码都有相应的基础gas消耗。此外,一些复杂合约还会收取动态的gas费用。例如,操作码KECCAK256的基础开销是30gas,而其动态开销为6gas/字。比之于简单、直接的指令,计算量高昂的指令会收取更多的gas费用。此外,每笔交易一开始便会收取21000gas。

近24小时SushiSwap手续费高达519.87 ETH,位列以太坊全网第三名:据欧科云链OKLink数据显示,近24小时SushiSwap Staking Pool合约地址手续费高达519.87 ETH,约合23.06万美元,占以太坊全网手续费的2.69%,仅次于Uniswap和Tether USD,位列全网第三名。[2020/9/1]

在执行那些降低状态大小的指令时,gas可以被退还。将一个非零的存储数值设为0,将会退还15000gas;完整的移除一个合约会退还24000gas。仅当合约执行完成之后,才会退还资金,因为合约自己无法执行偿还操作。此外,一笔退款的数额,无法超过当前合约调用所耗费的gas的一半。如果您想对gas有更多了解,您可以阅读这一篇文章,写的很好:什么是Gas?

注:伦敦分叉中,gas退还机制有所调整,可参考:EIP-3529:减少gas返还。

在部署智能合约的时候,一个常规的交易会被创建,但不会设置地址。此外,一些字节码会被添加到输入数据上,这个字节码充当了构造函数,它会在runtime字节码被拷贝到合约代码前,初始化存储变量。在部署期间,creation字节码仅会运行一次,而runtime字节码会在每一次合约调用时运行。

另一个Solidity合约示例,及部署它所需要的字节码

我们可以把上述字节码拆分成三部分:

构造函数

60806040526001600055348015601457600080fd5b5060358060226000396000f3fe

构造函数将初始值写入存储中,并将runtime字节码拷贝到合约内存中

运行时

6080604052600080fdfe

分析 | BTC出块时间明显增加 30天ROI表现不及以太坊:据TokenGazer数据分析显示:截止至11月19日17:00,BTC价格为$8477.42,市值为$152,896.69M;受行情下行影响,主流交易所24H BTC交易量约为$324.67M,环比昨日增量114.13%;BTC活跃地址数有一定增长,链上交易量明显回升,出块时间明显增加,约为11.5min,BTC市值占比保持相对稳定,目前约为65.98%;BTC 30天ROI表现不及以太坊;据TokenGazer官网六道数据显示BTC情绪指数移动平均线呈现下滑趋势;期货方面,过去24小时,火币、OKEx的比特币合约持仓量下降。OKEx比特币合约多空人数比在1.50-1.84之间,季度合约与现货的价差为74美元,比特币精英多头持仓比例上升,空头持仓比例下降;交易所方面,日内BTC/USD Coinbase对BTC/USD Bitfinex保持负溢价状态,溢价程度较大,入市有风险,投资需谨慎。[2019/11/19]

这部分字节码在合约创建的过程中被写入内存

元数据

a165627a7a723058204e048d6cab20eb0d9f95671510277b55a61a582250e04db7f6587a1bebc134d20029

Solidity会创建一份元数据文件,它的Swarm哈希会被添加到字节码尾部。Swarm是一个分布式存储平台外,也是内容分发服务,换句话说是一个分布式文件存储系统。尽管Swarm哈希被纳入到了runtime字节码中,它永远不会被EVM解释为操作码,因为它的位置永远不会被执行到。目前,Solidity使用下述格式:

0xa10x65'b''z''z''r''0'0x580x200x000x29

因此,在这个例子,我们可以提取出Swarm的哈希:

gate.io关于以太坊和ERC20代币提现延迟上链的处理方案说明:gate.io对于ETH和ERC20提现发送交易采用动态网络费调整策略,从昨天开始观察到ETH网络拥堵加剧,手续费要求急剧增高,造成ETH和ERC20代币提现出现确认缓慢情况。并且前面的提现交易不确认,将会影响部分后续提现交易的确认。目前可以观察到几个小时的提现网络确认延迟。gate.io已经再次提高网络手续费,用户解决延迟问题,并且为了加速确认,将取消部分低手续费提现,以便于后续高手续费提现快速确认。 预期情况将很快得到缓解。[2018/5/11]

4e048d6cab20eb0d9f95671510277b55a61a582250e04db7f6587a1bebc134d2

元数据文件包含了合约的各种信息,比如编译器版本,合约函数等。不幸的是,这是一个实验中的特性,而且并没有很多的合约会公开将元数据文件上传到Swarm网络上。

反编译字节码

为了让字节码更便于阅读,一些项目提供了相应的工具,比如,你可以使用eveem.org或ethervm.io来反编译主网上的合约。不幸的是,由于编译器优化的缘故,原始合约中的一些信息会丢失,比如函数名、事件名等。尽管如此,多数函数名还是可以通过对常用的函数名、事件名称进行暴力枚举来取得。

合约调用通常需要一个"ABI"(应用程序二进制接口),这是一份描述了所有函数和事件的文档,包含了它们的输入输出信息。当调用合约函数的时候,函数的签名通过对函数名及其输入参数进行哈希并截取前4个字节得到。

Solidity合约示例,及ABI

如上图所示,HelloWorld函数生成的签名哈希是0x7fffb7bd。如果我们想调用这个函数,交易数据的开头就要设置为0x7fffb7bd。函数所需要的参数会按32字节大小,即数据字的大小,添加到交易数据中签名哈希的后面。如果一个参数包含了超过32字节的数据,例如数组或字符串,该参数将被拆分为多个数据字,并添加到输入数据中所有其他参数之后。此外,这些数据字的数目,则会单独编码到一个数据字中,放在具体内容的数据字前面。在这个参数所对应的位置,放入了参数数据字的起始位置。

总结

以太坊为那些使用Solidity和EVM的应用开发者提供了一套去中心化的生态系统。比之于在传统服务器上运行程序,使用智能合约来和EVM交互会昂贵一些,但仍然有很多场景,这些场景中,去中心化要比开销更为重要。如果这篇文章使你对学习开发智能合约产生兴趣,可以看下这篇优秀文章:智能合约入门,深入学习Solidity运行原理。感谢阅读!

参考文章

Wood,G.(2014).Ethereum:AsecuredecentralisedgeneralisedtransactionledgerEthereumFoundation.(2016).SolidityDocumentationSantander,A.,&Arias,L.(2018).DeconstructingaSolidityContractHoward.(2017).DivingIntoTheEthereumVirtualMachine

本翻译由CellNetwork赞助支持。

参考资料

登链翻译计划:https://github.com/lbc-team/Pioneer

翻译小组:https://learnblockchain.cn/people/412

ARC_hunk:https://learnblockchain.cn/people/3904

Solidity:https://github.com/ethereum/solidity

Vyper:https://github.com/ethereum/vyper

Bamboo:https://github.com/cornellblockchain/bamboo

Serpent:https://github.com/ethereum/serpent

Mutan:https://github.com/obscuren/mutan

TheGreeter:https://ethereum.org/en/developers/

图灵完备:https://en.wikipedia.org/wiki/Turing_completeness

什么是Gas?:https://support.mycrypto.com/gas/what-is-gas-ethereum.html

EIP-3529:减少gas返还:https://learnblockchain.cn/article/2529

元数据文件:https://solidity.readthedocs.io/en/v0.5.2/metadata.html

Swarm哈希:https://github.com/ethereum/wiki/wiki/Swarm-Hash

eveem.org:https://eveem.org/

ethervm.io:https://ethervm.io/

4byte.directory:https://www.4byte.directory/

keccak256:https://en.wikipedia.org/wiki/SHA-3

智能合约入门:https://learnblockchain.cn/docs/solidity/solidity-by-example.html

Wood,G.(2014).Ethereum:Asecuredecentralisedgeneralisedtransactionledger:https://ethereum.github.io/yellowpaper/paper.pdf

EthereumFoundation.(2016).SolidityDocumentation:https://solidity.readthedocs.io/en/latest/

Santander,A.,&Arias,L.(2018).DeconstructingaSolidityContract:https://blog.zeppelin.solutions/deconstructing-a-solidity-contract-part-i-introduction-832efd2d7737

Howard.(2017).DivingIntoTheEthereumVirtualMachine:https://blog.qtum.org/ping-into-the-ethereum-vm-6e8d5d2f3c30

CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain

免责声明:作为区块链信息平台,本站所发布文章仅代表作者个人观点,与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考,并非作为或被视为实际投资建议。

本文来源于非小号媒体平台:

登链社区

现已在非小号资讯平台发布105篇作品,

非小号开放平台欢迎币圈作者入驻

入驻指南:

/apply_guide/

本文网址:

/news/10458012.html

免责声明:

1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险

2.本文版权归属原作所有,仅代表作者本人观点,不代表非小号的观点或立场

上一篇:

每周编辑精选WeeklyEditors'Picks

标签:THEHTTTPSETHEthereum Goldhttps://etherscan.iotps币圈XETH

KuCoin热门资讯
区块链:Vitalik Buterin:加密城市萌芽,读懂这些有趣的新实验

越来越多城市计划利用区块链和加密货币来优化本地治理机制。原文标题:《Vitalik:加密城市的时代已经到来,详解三大实验与趋势》撰文:VitalikButerin,以太坊创始人编译:胡韬,链捕手.

1900/1/1 0:00:00
NTR:DAOrayaki |衡量 DAO 自治性:来自其他自治系统的经验教训

DAOrayakiDAO研究奖金池:资助地址:0xCd7da526f5C943126fa9E6f63b7774fA89E88d71投票进展:DAOCommittee3/7通过赏金总量:180US.

1900/1/1 0:00:00
BIKI:EXRD(e-Radix)

項目簡介:目前,分散式金融應用程序是基於不旨在滿足DeFi服務的需求的協議構建的。Radix利用重大技術創新成為專門為快速發展的DeFi行業提供服務的重要協議.

1900/1/1 0:00:00
USD:ZT上线ADA、ALGO、MATIC、AXS等多币种理币

据官方公告,ZT理币宝于2021年11月3日00:00开启AR、RUNE、KEEP、C98、OXY、ICP、EDEN、OOE、FIL、FTT、SRM、CELO、ADA、ALGO、MATIC、AX.

1900/1/1 0:00:00
PIVX:幣安寶上線 PIVX 理財產品,年化50%

親愛的用戶:“幣安寶”現已上線PIVX定期理財活動,為用戶提供閑置數字資產增值服務。定期理財活動:申購模式:先到先得申購時間:東八區時間2021年10月28日20:00至2021年10月29日2.

1900/1/1 0:00:00
GLO:BKEX Global 关于上线 TOMB(Tomb)并开放充值功能的公告

尊敬的用户:?????????????BKEXGlobal即将上线TOMB,详情如下:上线交易对:TOMB/USDT币种类型:FTM充值功能开放时间:已开放交易功能开放时间:2021年10月28.

1900/1/1 0:00:00