木星链 木星链
Ctrl+D收藏木星链

TOR:EVM 深入探讨

作者:

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

导语

在智能合约世界中,“以太坊虚拟机(EVM)”及其算法和数据结构是首要原则。我们创建的智能合约就是建立在这个基础之上的。不管是想要成为一名出色的 Solidity 智能合约开发人员还是安全人员都必须对 EVM 有深入的了解。

此系列我们将引介翻译 noxx 的文章(https://noxx.substack.com/),深入探讨 EVM 的基础知识。

基础知识:Solidity → 字节码 → 操作码

在阅读本篇文章之前,你需要了解一些智能合约相关基础知识以及如何将智能合约代码部署到以太坊链上。正如我们所知,智能合约在部署到以太坊网络之前需要先将 Solidity 代码编译成字节码,EVM 会根据编译后的字节码执行相应的操作。本篇重点介绍编译后的字节码以及其如何被 EVM 执行的。

智能合约被部署后编译生成的字节码代表了整个合约的内容,其中存在多个可调用的函数。那么 EVM 是如何知道不同函数所对应的字节码是哪个呢?下面我们将通过一个 Solidity 智能合约及其字节码和操作码来向大家演示 EVM 在执行代码时是如何在字节码中选择对应的函数的。

1_Storage.sol Breakdown

我们使用在线 Solidity IDE 工具 Remix 来编译 Storage 合约。

此合约中存在两个函数 store() 和 retrieve(),在进行函数调用时 EVM 需要判断我们调用的是哪个函数。我们可以通过 remix 看到整个合约编译后的字节码。

Covalent与Polygon zkEVM合作以支持扩展以太坊生态系统:金色财经报道,Covalent发推表示已与Polygon zkEVM合作,从3月27日开始,用户可以通过Covalent访问 Polygon zkEVM数据。 该合作进一步加强了Covalent作为第一个Web3数据聚合器的作用,为zkEVM区块链提供完全的数据透明性。

此前报道,Covalent宣布与zkEVM解决方案Scroll建立合作伙伴关系。[2023/3/10 12:55:00]

下面这段字节码是我们需要重点关注的,这段就是 EVM 判断被调用函数的选择器。与其对应的是 EVM 操作码及输入值。

我们可以通过 Ethervm.io 来查看 EVM 操作码列表。一个操作码长度为 1 个字节(byte),这使得它可以存在 256 种不同的操作码。但 EVM 仅使用其中的 140 个操作码。

下面是我们将上述字节码解析成与其对应的操作码。这些操作码会由 EVM 在调用栈上按顺序执行。

智能合约函数调用

在深入研究操作码之前,我们需要快速了解如何调用合约中的函数。调用智能合约中的函数有以下方式:

abi.encode(...) returns (bytes):计算参数的 ABI 编码。

abi.encodePacked(...) returns (bytes):计算参数的紧密打包编码。

Chiliz开发的EVM兼容链已产生创世区块:2月8日消息,体育和娱乐区块链解决方案 Chiliz 开发的 Layer 1 EVM 兼容链已产生创世区块,Chiliz 表示,将在未来几个月公开宣布 8 至 10 个企业级项目,包括 NFT 票务试点、以运动员为中心的第三方粉丝代币以及为体育和娱乐建设的 Web3 基础设施合作伙伴。此外,Chiliz 宣布韩国国家足球队球星 Minjae Kim 成为其新的品牌大使,Minjae Kim 将在韩国和国际上推广 Chiliz 区块链体育和娱乐生态。[2023/2/8 11:54:35]

abi. encodeWithSelector(bytes4 selector, ...) returns (bytes):计算函数选择器和参数的 ABI 编码。

abi.encodeWithSignature(string signature, ...) returns (bytes):等价于?abi.encodeWithSelector(bytes4(keccak256(signature), ...)。

abi.encodeCall(function functionPointer, (...)) returns (bytes memory):使用 tuple 类型参数 ABI 编码调用 functionPointer()。执行完整的类型检查,确保类型匹配函数签名。结果和?abi.encodeWithSelector(functionPointer.selector, (...)) 一致。

这里我们以第四种为例,调用 store() 并传入参数 10:

下面是通过?abi.encodeWithSignature (" store (uint256)",10)?编码后的内容:

Messari:Solana基本指标在非EVM链中仍优于其他竞争对手:金色财经报道,据区块链研究公司Messari最新非EVM区块链报告显示,Solana 在最基本的指标上均优于其竞争对手,对于 Cardano、Algorand 和 Tezos 来说,开发活动仍然是关键,不过Algorand链上锁仓量在本轮熊市中依然增长,另外市场对Cardano即将到来的分叉升级也较为期待。[2022/8/8 12:08:36]

这段数据就是编码后的函数签名。

我们可以使用在线工具(“https://emn178.github.io/online-tools/keccak_256.html”)来查看?store(uint256) 和?retrieve() 哈希后的结果。

也可以通过以太坊函数签名数据库(https://www.4byte.directory/signatures/)进行反查。

Algorand 基金会宣布拨款 1000 万美元,重点关注 EVM 兼容性:金色财经报道,Algorand 基金会今天宣布了一项价值 10,000,000 美元的SupaGrant 奖励,奖励给那些将探索和加速在 Algorand 上提供 EVM 兼容性所需的技术工作的团队。这将使那些希望利用 Algorand 的高性能、可持续和具有成本效益的区块链但已经习惯于在 EVM 上构建的创新者能够实现这一目标。(prnewswire)[2022/2/18 10:00:00]

再回到上面的那组函数签名数据,其中前 4 个字节对应的是 store(uint256)。而剩余的 32 个字节则对应的是一个十六进制的值 “a”,也就是我们调用函数时传入的 uint256 类型的 10。

这里我们可以得到一个结论,通过?abi.encodeWithSignature()?编码后得到的数据,共 36 个字节。这 36 个字节的数据就是函数签名,其中前 4 个字节为函数选择器,它将指引 EVM 去选择我们调用的目标函数,后 32 个字节的数据则是我们调用函数时传入的参数。

操作码和调用栈

这里相信大家已经大致了解了智能合约中函数调用的原理了,下面我们将通过解读每个操作码的作用及其对栈调用的影响。如果你不熟悉栈数据结构的工作原理,可以观看此视频来快速入门:https://www.youtube.com/watch?v=FNZ5o9S9prU

我们将得到的字节码分解成相对应的操作码后依次开始分析。

?PUSH1 操作,将一个?1 字节的值压入栈,它会告诉 EVM 将下一个数据字节 0x00(也是十进制的 0)?压入栈中。

Hedera推出兼容EVM的智能合约2.0服务:Hedera宣布推出其智能合约2.0服务,据悉,智能合约2.0使用Solidity语言开发并与EVM兼容,Hedera的智能合约服务将与Hedera Token服务(HTS)集成。[2022/2/5 9:33:02]

接下来是 CALLDATALOAD,其作用是从消息数据中读取 32 个字节的值,其中使用 “输入” 值作为偏移量将 calldata 加载到栈中。栈项大小为 32 字节,但是当前我们的 calldata 有 36 个字节。推送的值是 msg.data[i:i+32] 其中 “i” 就是这个输入值。此操作确保只有 32 个字节被推送到栈,同时也能保证我们能够访问 calldata 中的任何部分。

当前输入值为 0 也就是没有偏移量(从栈中弹出的值是前一个 PUSH1 的值 0),因此 calldata 的前 32 个字节会被推送到调用栈。

还记得之前所获取到的函数签名吗?如果要传入这 36 个字节,这就意味着后面的 4 个字节“0000000a”将会丢失。如果想访问这个 uint256 类型的参数,需要设置 4 的偏移量来省略函数签名,这样就可以保证参数的完整性。

第二次进行 PUSH1 的操作将传入十六进制的数据 0xe0,也就是十进制的 224。我们上面提到过,函数签名是 4 个字节也就是 32 位。我们加载的 calldata 是 32 个字节也就是 256 位,而 256 - 32 =224 正好满足。

SHR,是向右移位指令。它从栈中获取第一项 224 表示要位移的位数,从栈中获取第二项?(0x6057361d0…00)?表示需要移位的内容。在这个操作之后调用栈上有了 4 个字节的函数选择器。

如果对于位移的工作原理不熟悉的小伙伴,可以查看这个视频了解:https://www.youtube.com/watch?v=fDKUq38H2jk&t=176s

接下来的操作码, DUP1,它用来获取并复制栈顶部的值。

PUSH4 将?retrieve() (0x2e64cec1) 的 4 个字节函数签名推入调用栈。

如果你好奇是这个值是如何获得的,那是因为 solidity 代码被编译成字节码中。编译器可以从字节码中获取所有函数名称和参数类型的信息。

EQ 用于判断从栈中弹出的 2 个值,在当前事例中为 0x2e64cec1 和 0x6057361d 并检查它们是否相等。如果相等,则将 1 推回栈,如果不相等则为 0。

PUSH2 将 2 字节的十六进制数据 0x003b,十进制值为 59,推送到调用栈中。

调用栈中有一个叫做程序计数器的东西,它会指定下一个执行命令在字节码中的位置。这里的 59,是通过 retrieve()?字节码的开始位置所得到的。

JUMPI 代表“如果条件为真,则跳转”,它从栈中弹出 2 个值作为输入,第一个 59 表示的是跳转位置,第二个 0 是是否应该执行此跳转条件的布尔值。其中 1 为真,0 为假。

如果条件为真,程序计数器将被更新,执行将跳转到该位置。但我们的例子中条件为假的,程序计数器没有改变并且继续执行。

再次进行DUP1。

PUSH4 将 store(uint256) (0x6057361d)?的 4 字节函数签名推送到调用栈上。

再次进行 EQ,但这次结果为真,因为函数签名相同。

PUSH2 推送 2 个字节的十六进制数据?0x0059 也就是十进制的 89, 到 store(uint256) 字节码的程序计数器位置。

执行 JUMPI,此次 bool 值为真,执行跳转。因此会将程序计数器更新为 89,这会将执行移动到字节码的不同部分。在这个位置,会有一个 JUMPDEST 操作码,如果没有这个操作码在这里的话,JUMPI 操作就会失败。

有了它,在执行此操作码后,将被带到 store(uint256)?对应的字节码的位置,并且函数的执行将继续。虽然这个合约只有 2 个函数,但基础原理都是相同的。

通过上面的例子我们知道了 EVM 是如何根据合约函数调用来确定它需要执行的函数字节码的位置。简单来说就是由合约中每个函数及其跳转位置所组成的一组简单的“if 语句”。

EVM Playground

这是一个 EVM Playground(https://www.evm.codes/playground)测试平台,在平台上我们可以设置刚刚运行的字节码。就能够通过交互方式来查看栈的变化,并且传入 JUMPDEST(注:可能跳转的目标元数据),可以看到 JUMPI 之后会发生什么。

敬请期待《EVM 深入探讨-Part 2》,让我们共同探索合约内存是什么以及它在 EVM 下的工作方式。

慢雾科技

个人专栏

阅读更多

金色早8点

Bress

链捕手

财经法学

PANews

成都链安

Odaily星球日报

标签:TORINTTURODEtoro币合法吗QUINTA价格Futurepiagode币最新消息

欧易okex官网热门资讯
ENS:解析会话密钥:Web3版“免密支付”

钱包授权一直是与 DApp 交互的必要流程,但我们在 DeFi、GameFi 中交互的过程中往往会需要在短时间内多次授权,这非常影响用户体验.

1900/1/1 0:00:00
区块链:一词解答区块链技术普及的制胜关键

互用性使区块链网络和协议能够互通,从而让日常用户更便于使用区块链技术。每一年,我们都会看到新的区块链网络被开发出来,以解决特定行业中的特定问题——每个区块链都根据其用途具有专门的功能.

1900/1/1 0:00:00
比特币:比特币价格回落的主要因素分析:市场将进入盘整阶段?

作者:CryptoVizArt,来源:Glassnode比特币市场最近经历了一波短暂的缓解,价格连续 23 天高于已实现价格(Realized Price).

1900/1/1 0:00:00
NFT:NFT的应用价值与法律风险应对

作者:邱腾涛?NFT的应用价值与法律风险应对2021年,被众多学者称为元宇宙元年。一个虚实集成,能够无限扩展、延伸的开放性的未来世界,给公众以无穷的想象空间.

1900/1/1 0:00:00
BSP:漫谈万维网:Web3.0 是技术金矿还是郁金香泡沫

2021年12月9日,一场探讨 Web 3.0 未来的国会听证会召开,来自 FTX ,Circle.

1900/1/1 0:00:00
NFT:痛定思痛:盘点那些让人难忘的NFT跑路项目

原文:《The Biggest Rug Pulls in NFT History》by ERIC JAMES BEYER翻译:Kath丨The SeeDAO翻译工会「跑路」(字面直译为「拉地毯」.

1900/1/1 0:00:00