以太坊源码解读（6）以太坊VM源码解读之指令集与操作码解释器

最新推荐文章于 2023-03-30 01:36:20 发布
最新推荐文章于 2023-03-30 01:36:20 发布
阅读量774 收藏
点赞数 1
分类专栏： ETH 文章标签： 区块链 以太坊
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Debug_lll/article/details/86628899
版权

以太坊指令集与操作码解释器

EVM事实是个堆栈机器。指令可能会使用栈上的数值作为参数，也会将值作为结果压入栈中，而指令的构成是由我们所编写的合约的ABI文件所生产，大致结构为

编写合约 > 生成ABI > 解析ABI得出指令集 > eth会将指令通过core/vm/opcodes.go文件中的操作码映射，映射成操作码集 > 生成一个operation[256] >

type operation struct {
   
    //下列函数在core/vm/jump_table.go文件中定义了模板
   //操作函数
   execute executionFunc 
   // gas函数，返回执行所需的gas
   gasCost gasFunc
   // 验证操作的堆栈(大小)
   validateStack stackValidationFunc
   // 返回操作所需的内存大小
   memorySize memorySizeFunc

   halts   bool // 指示操作是否应停止进一步执行
   jumps   bool // 指示程序计数器是否不应递增
   writes  bool // 确定此操作是否为状态修改操作
   valid   bool // 指示检索的操作是否有效和已知
   reverts bool // 确定操作是否恢复状态(隐式停止)
   returns bool // 确定操作是否设置返回的数据内容
}

type (
   executionFunc       func(pc *uint64, interpreter *EVMInterpreter, contract *Contract, 							memory *Memory, stack *Stack) ([]byte, error)
   gasFunc             func(params.GasTable, *EVM, *Contract, *Stack, *Memory, uint64) 							(uint64, error) 
   stackValidationFunc func(*Stack) error
   memorySizeFunc      func(*Stack) *big.Int
)

根据当前的版本选择对应的操作码生成函数

var (
	frontierInstructionSet       = newFrontierInstructionSet()
	homesteadInstructionSet      = newHomesteadInstructionSet()
	byzantiumInstructionSet      = newByzantiumInstructionSet()
	constantinopleInstructionSet = newConstantinopleInstructionSet()
)

例如：家园版本

//家园阶段可以执行的指令。
func newHomesteadInstructionSet() [256]operation {
   
   instructionSet := newFrontierInstructionSet()
   instructionSet[DELEGATECALL] = operation{
   
      execute:       opDelegateCall,
      gasCost:       gasDelegateCall,
      validateStack: makeStackFunc(6, 1),
      memorySize:    memoryDelegateCall,
      valid:         true,
      returns:       true,
   }
   return instructionSet
}

这样，对evm的操作实际上是操作码对程序的操作。

core/vm/opcodes.go：部分代码，实际上就是一堆的常量操作符，这些操作符会在core/vm/jump_table.go这个文件中映射成对应的操作函数，用于执行

const (
   STOP OpCode = iota
   ADD
   MUL
   SUB
   DIV
   SDIV
   MOD
   SMOD
   ADDMOD
   MULMOD
   EXP
   SIGNEXTEND
)

// 0x10 range - comparison ops.
const (
   LT OpCode = iota + 0x10
   GT
   SLT
   SGT
   EQ
   ISZERO
   AND
   OR
   XOR
   NOT
   BYTE
   SHL
   SHR
   SAR

   SHA3 = 0x20
)

// 0x30 range - closure state.
const (
   ADDRESS OpCode = 0x30 + iota
   BALANCE
   ORIGIN
   CALLER
   CALLVALUE
   CALLDATALOAD
   CALLDATASIZE
   CALLDATACOPY
   CODESIZE
   CODECOPY
   GASPRICE
   EXTCODESIZE
   EXTCODECOPY
   RETURNDATASIZE
   RETURNDATACOPY
   EXTCODEHASH
)

// 0x40 range - block operations.
const (
   BLOCKHASH OpCode = 0x40 + iota
   COINBASE
   TIMESTAMP
   NUMBER
   DIFFICULTY
   GASLIMIT
)

// 0x50 range - 'storage' and execution.
const (
   POP OpCode = 0x50 + iota
   MLOAD
   MSTORE
   MSTORE8
   SLOAD
   SSTORE
   JUMP
   JUMPI
   PC
   MSIZE
   GAS
   JUMPDEST
)

// 0x60 range.
const (
   PUSH1 OpCode = 0x60 + iota
   PUSH2
   PUSH3
   PUSH4
   PUSH5
   PUSH6
   PUSH7
   PUSH8
   PUSH9
   PUSH10
   PUSH11
   PUSH12
   PUSH13
   PUSH14
   PUSH15
   PUSH16
   PUSH17
   PUSH18
   PUSH19
   PUSH20
   PUSH21
   PUSH22
   PUSH23
   PUSH24
   PUSH25
   PUSH26
   PUSH27
   PUSH28
   PUSH29
   PUSH30
   PUSH31
   PUSH32
   DUP1
   DUP2
   DUP3
   DUP4
   DUP5
   DUP6
   DUP7
   DUP8
   DUP9
   DUP10
   DUP11
   DUP12
   DUP13
   DUP14
   DUP15
   DUP16
   SWAP1
   SWAP2
   SWAP3
   SWAP4
   SWAP5
   SWAP6
   SWAP7
   SWAP8
   SWAP9
   SWAP10
   SWAP11
   SWAP12
   SWAP13
   SWAP14
   SWAP15
   SWAP16
)

// 0xa0 range - logging ops.
const (
   LOG0 OpCode = 0xa0 + iota
   LOG1
   LOG2
   LOG3
   LOG4
)

// unofficial opcodes used for parsing.
const (
   PUSH OpCode = 0xb0 + iota
   DUP
   SWAP
)

core/vm/jump_table.go：都是对操作码的映射解释，可以将jump理解为操作码解释器，将opcodes理解为指令解释器

func newFrontierInstructionSet() [256]operation {
   
   return [256]operation{
   
      STOP: {
   
         execute:       opStop,
         gasCost:       constGasFunc(0),
         validateStack: makeStackFunc(0, 0),
         halts:         true,
         valid:         true,
      },
      ADD: {
   
         execute:       opAdd,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      MUL: {
   
         execute:       opMul,
         gasCost:       constGasFunc(GasFastStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SUB: {
   
         execute:       opSub,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      DIV: {
   
         execute:       opDiv,
         gasCost:       constGasFunc(GasFastStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SDIV: {
   
         execute:       opSdiv,
         gasCost:       constGasFunc(GasFastStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      MOD: {
   
         execute:       opMod,
         gasCost:       constGasFunc(GasFastStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SMOD: {
   
         execute:       opSmod,
         gasCost:       constGasFunc(GasFastStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      ADDMOD: {
   
         execute:       opAddmod,
         gasCost:       constGasFunc(GasMidStep),
         validateStack: makeStackFunc(3, 1),
         valid:         true,
      },
      MULMOD: {
   
         execute:       opMulmod,
         gasCost:       constGasFunc(GasMidStep),
         validateStack: makeStackFunc(3, 1),
         valid:         true,
      },
      EXP: {
   
         execute:       opExp,
         gasCost:       gasExp,
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SIGNEXTEND: {
   
         execute:       opSignExtend,
         gasCost:       constGasFunc(GasFastStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      LT: {
   
         execute:       opLt,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      GT: {
   
         execute:       opGt,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SLT: {
   
         execute:       opSlt,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SGT: {
   
         execute:       opSgt,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      EQ: {
   
         execute:       opEq,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      ISZERO: {
   
         execute:       opIszero,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(1, 1),
         valid:         true,
      },
      AND: {
   
         execute:       opAnd,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      XOR: {
   
         execute:       opXor,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      OR: {
   
         execute:       opOr,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      NOT: {
   
         execute:       opNot,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(1, 1),
         valid:         true,
      },
      BYTE: {
   
         execute:       opByte,
         gasCost:       constGasFunc(GasFastestStep),
         validateStack: makeStackFunc(2, 1),
         valid:         true,
      },
      SHA3: {
   
         execute:       opSha3,
         gasCost:       gasSha3,
         validateStack: makeStackFunc(2, 1),
         memorySize:    memorySha3,
         valid:         true,
      },
      ADDRESS: {
   
         execute:       opAddress,
         gasCost:       constGasFunc(GasQuickStep),
         validateStack: makeStackFunc(0, 1),
         valid:         true,
      },
      BALANCE: {
   
         execute:       opBalance,
         gasCost:       gasBalance,
         validateStack: makeStackFunc(1
最低0.47元/天 解锁文章
Debug_lll
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
EVM：以太坊虚拟机（EVM）字节码反编译器
02-05
EVM字节码反编译器 解释器和反编译器，以及用于从字节码中以编程方式提取信息的其他几种工具。 用法 npm我evm 产品特点 将字节码转换为操作码 从字节码或TX数据中读取事件或函数之类的信息 从字节码中提取（如果有） API 方法 getBytecode（） -获取原始字节码（不是真正有用；与输入相同） getOpcodes（） -返回包括pc和pushData的操作码（如果包含） getFunctions（） -使用字节码从函数签名中解析函数 getEvents（） -从事件签名中以字节码解析事件 getJumpDestinations（） -从JUMPDEST操作码获取程序计数器数
区块链入门教程eth源码分析core-vm源码分析（二）
congdianquan3478的博客
10-23 230
　　兄弟连区块链入门教程eth源码分析core-vm源码分析（二），合约创建Create会创建一个新的合约。 //Createcreatesanewcontractusingcode...
evm-opcodes：以太坊操作码和指令参考
02-05
evm-opcodes：以太坊操作码和指令参考
EVM的深入研究和分析
http188188的博客
02-22 5235
最终目标是能够完整地理解已编译的Solidity合同 1、执行 evm-tools 安装 https://github.com/CoinCulture/evm-tools/blob/master/INSTALL.md /home/xue/go/bin/evm --debug --code 366020036101000a600035045b6001900380600c57 --input 05 不...
以太坊虚拟机介绍2-栈操作指令
weixin_30644369的博客
11-21 135
上一篇文章对EVM和它的指令集进行了简单介绍，本文将介绍POP指令、PUSHx系列指令、DUPx系列指令、SWAPx系列指令。这些指令只对EVM栈进行单纯的操作，它们的操作码分布如下图所示： POP指令POP指令（操作码0x50）从栈顶弹出一个元素。下面是POP指令的操作示意图（白色表示元素即将发生变动）： PUSHx指令PUSH系列指令把紧跟在指令后面的N（1 ～ 32...
“Dalvik VM的字节码”，“Dalvik VM指令格式”
04-21
在Android 2.3.7中，Dalvik字节码指令集包括了大约256个不同的操作码。 例如，`move`指令用于在寄存器之间移动数据，操作码为0x00，它只需要两个参数，分别是源寄存器和目标寄存器。而`invoke-virtual`指令用于调用...
Lua解释器源码 (使用VC++编译) + 中文手册
06-11
5. lcode.c：生成和操作字节码的代码，字节码是Lua虚拟机执行的指令集，简洁高效。 6. lgc.c：垃圾收集器的实现，负责内存管理和对象生命周期管理，确保Lua的内存使用效率。 7. loadlib.c：加载和运行Lua库的代码...
lua 源码鉴赏 高清
04-23
Lua 的字节码是一种简化的指令集，每个指令对应一个字节，便于快速解析和执行。 4. **语法解析**：Lua 的词法分析和语法分析由其编译器完成。词法分析将源代码拆分为一系列的标记（tokens），语法分析则构建抽象...
lua 源码剖析
02-20
通过分析`lvm.c`等文件，可以理解指令集、调用过程、运算符的实现等。 2. **语法解析器（Parser）**：lua的解析器将源代码转换为抽象语法树（AST），然后生成字节码。`lparser.c`文件包含了词法分析和语法分析的...
Android_Dalvik_VM_Internals_Google__
05-01
2. **字节码执行**：Dalvik VM 使用一种简化的指令集，每个指令占用16位，包含操作码和参数。例如，对于给定的`sumArray`函数，它的字节码会执行一系列的操作，如加载常量、存储变量、数组长度检查、循环、整数到长...
EthVM：EthVM：开源处理引擎和以太坊的区块浏览器
02-05
:high_voltage: EthVM：基于Apache Kafka的以太坊的开源处理引擎和Block Explorer :high_voltage: 由 / 提供支持 EthVM：开源处理引擎和以太坊的区块浏览器 关于 什么是EthVM？ EthVM是带有客户端Block Explorer的开源区块链数据处理和分析引擎，尽管随着时间的推移将支持其他网络和分支。 EthVM由团队构建，并受（GNU Affero许可证v3的一个很小的变体）保护，并以多种语言混合编写。 我们的核心基础架构基于众所周知的语言： （块浏览器） Javascript（API /处理器） 并且还得到了流行框架的支持： 我们的区块浏览器目前处于Beta版
区块链研究实验室 | ethvm：第一个由Kafka支持的开源块资源管理器
willam1的专栏
06-03 512
自从比特币将世界引入加密货币之后的十年中，该行业的发展方式甚至可能是Satoshi无法想象的。以太坊区块链于2015年7月出现，借助于以太坊虚拟机（EVM）-开发和执行智能合约的环境，开启了一个新的可能性世界。 我们引入ethvm：基于Apache Kafka的以太坊的第一个开放源代码块资源管理器和数据处理引擎。 ethvm的起源：evm的指南针 区块浏览器是区块链审计和决策不可或缺的工具，...
EVM 操作码（Opcode）与 字节码（Bytecode）
FeelTouch Labs
03-30 1809
以太坊虚拟机（EVM）是一种基于栈的、准图灵完备（quasi-Turing complete）的虚拟机。EVM是智能合约的执行时环境，它是完全孤立的沙盒：运行在EVM中的代码无法访问网络、文件系统或其他进程。evm的交易可以看作是从一个帐户发送到另一个帐户的消息。它能包含一个二进制数据（合约payload）和以太币。如果目标账户含有代码，此代码会被执行，并以 payload 作为入参。如果目标账户是零账户（账户地址为0)，此交易将创建一个。
以太坊EVM智能合约中的数据存储
h363659487的博客
08-22 4459
以太坊是一种基于栈的虚拟机，基于栈的虚拟机数据的存取为先进先出，在后面介绍EVM指令的时候会看到这个特性。同时基于栈的虚拟机实现简单，移植性也不错，这也是以太坊选择基于栈的虚拟机的原因。
以太坊合约语言开发简单介绍
热门推荐
跨链技术践行者
05-08 1万+
Solidity汇编 Solidity 定义了一种汇编语言，在没有 Solidity 的情况下也可以使用。这种汇编语言也可以嵌入到 Solidity 源代码中当作“内联汇编”使用。 我们从如何使用内联汇编开始，介绍它如何区别于独立汇编语言，然后详细讲述这种汇编语言。 内联汇编 为了实现更细粒度的控制，尤其是为了通过编写库来增强语言，可以利用接近虚拟机的语言将内联汇编与 Solidity 语句...
使用go-ethereum操作简单智能合约
demo
06-23 4656
使用go-ethereum操作简单智能合约 以Mac系统为例，先安装solidity和abigen，再写一份合约代码，通过golang部署到简单私链上，通过go-ethereum包操作就行了。 可能会遇到的问题 invalid opcode: SHR abi: attempting to unmarshall an empty string while arguments are expected
合约注意事项
weixin_34080903的博客
06-27 348
solidity 合约注意事项 1. 栈深度 EVM 栈深度1024字(1024*256字节) 2. solidity 局部变量个数不能超过16 因为提供的指令集对于栈深度的访问不能超过16,也就是说最多把第16个字换到栈顶进行操作. 3.内存费用 占用 EVM 的内存越大,收费越高,收费是内存大小的平方,具体计算方式未知. 4.delete 关键字 d...
深入解析Safe多签钱包智能合约:模块
WongSSH的博客
09-11 1739
本篇文章主要讨论 Gnosis safe 合约中的各个模块。
solidity 内联汇编 操作符
ccr1001ccr1001的博客
01-15 673
操作码 标记 解释 stop - 停止执行，相当于返回（0,0) add(x,y) x + y sub(x,y) x - y mul(x,y) x * y div(x,y) x / y sdiv(x,y) x / y ,对于有符号数，用补码 mod(x,y) x % y smod(x,y) x % y,对于有符号数，用补码 exp(x,y...
基于以太坊的众筹dapp源码
最新发布
05-26
但是，我可以为您提供一些有关以太坊众筹Dapp的一般信息。以太坊是一个区块链平台，可以建立分布式应用程序（例如Dapp）和智能合约。众筹Dapp允许用户众筹资金来支持一个特定的项目或事业。这些Dapp使用以太坊的智能...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值