Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

Solidity汇编开发简明教程

handii2006
235 0 0
在用Solidity开发以太坊智能合约时,使用汇编可以直接与EVM交互,降低 gas开销成本,更精细的控制智能合约的行为,因此值得Solidity开发者学习 并加以利用。本文是Solidity汇编开发的简明教程,旨在帮助你快速熟悉 如何在Solidity智能合约代码中嵌入汇编代码。
  ]+ u& N- X! e" ?/ Z8 P以太坊虚拟机和堆栈结构机器" R  I2 s1 T7 t# |
以太坊虚拟机EVM有自己的指令集,该指令集中目前包含了 144个操作码,详情参考Geth源代码5 z+ R* m4 j' p' }; l* J% v
这些指令是Solidity抽象出来的,可以在Solidity内联使用。例如:3 B- }) Q! `8 L1 J& L
contract Assembler {    7 `4 s6 f7 O6 Z+ Y7 i2 W
  function do_something_cpu() public {
3 t! y3 C* f; a! C    assembly {; M! p% e, P" h; a! K
      // start writing evm assembler language. F* i& w3 l8 d; j6 Z( d- \4 |
    }
% b: l$ r; I$ x; [( r4 q  }
  Z( Q1 ~& e  t+ `7 a}6 [# V5 N# N% l9 y
EVM是一个栈虚拟机,栈这种数据结构只允许两个操作:压入(PUSH)或弹出(POP)数据。 最后压入的数据位于栈顶,因此将被第一个弹出,这被称为后进先出 (LIFO:Last In, First Out):, Z: N* G9 C# t/ ?5 V( b
$ o+ a& w# X! C
栈虚拟机将所有的操作数保存在栈上,关于栈虚拟机的详细信息 可以参考stack machine 基础! `7 n8 \  Z$ S0 a
堆栈结构机器的操作码
) g# @; m2 x2 D+ @) _& E为了能够解决实际问题,栈结构机器需要实现一些额外的指令,例如 ADD、SUBSTRACT等等。指令执行时通常会先从堆栈弹出一个或多个值作为参数, 再将执行结果压回堆栈。这通常被称为逆波兰表示法(RPN:Reverse Polish Notation):
- n5 ~: i% k( W; S3 Na + b      // 标准表示法Infix4 V% r5 E  ~! t4 @5 B4 Q
a b add    // 逆波兰表示法RPN4 ?4 n+ B2 \' a8 h
在Solidity合约中使用内联汇编9 d& B* t3 F- x) c
可以在Solidity中使用assembly{}来嵌入汇编代码段,这被称为内联汇编:
' d+ R8 I- g/ C7 m/ Q$ w0 aassembly {
6 H6 i5 q; W; m  // some assembly code here
2 ]3 F. G. C7 h: ?" e) Y}' [! g- `9 p/ F$ D# p& k
在assembly块内的代码开发语言被称为Yul,为了简化我们称其为 汇编或EVM汇编。1 h  Z$ q3 \6 w% D3 W# q
另一个需要注意的问题时,汇编代码块之间不能通信,也就是说在 一个汇编代码块里定义的变量,在另一个汇编代码块中不可以访问。 例如:
* H/ {; O. x  v* z" O" e$ ^6 b- Wassembly {
1 I/ {' @# G6 r9 A$ \6 e0 E+ c# Z    let x := 2% S1 V/ v/ l4 m
}        7 |, u# ~% s9 `! e) ]. q
assembly {0 s( b* K$ Q# _
    let y := x          // Error
& I# i8 }$ ~/ F) Y+ a2 _# ^. ~}5 j6 }: f3 w' I7 {
上面的代码编译时会报如下错误:  m# {5 c2 A9 Y
// DeclarationError: identifier not found
' ~$ ?# p* A! E5 a7 n// let y := x2 n: {- r0 _- }
// ^
1 i5 V1 d. h4 @* W/ I: P下面的代码使用内联汇编代码计算函数的两个参数的和并返回结果:
, p* |0 w& ?1 p4 v- tfunction addition(uint x, uint y) public pure returns (uint) {
6 z# D$ l8 r, o( B  assembly {# Y; ^& s! I) u8 Z# y4 v+ }
    let result := add(x, y)   // x + y4 |. B4 M8 C& ~' g3 S% K
    mstore(0x0, result)       // 在内存中保存结果# W; \+ L& u4 Y7 T8 _3 X  X! v
    return(0x0, 32)           // 从内存中返回32字节
+ e6 u( C4 w- m% f. w9 |  }
1 w7 F  [+ K; y  w; {( M3 L }
+ a. j% c* \4 Y2 V9 p让我们重写上面的代码,补充一些更详细的注释,以便说明每个指令 在EVM内部的运行原理。6 F# @! |/ @6 D# l: \; f
function addition(uint x, uint y) public pure returns (uint) {
( r" P6 w7 m5 {4 t' i6 @  assembly {        
, J, B. |: Y( h% M) A    // 创建一个新的变量result; f" `2 T$ }7 t6 b
    //     -> 使用add操作码计算x+y
" j- _" G8 |0 H. h    //     -> 将计算结果赋值给变量result      
1 p1 v1 M( @  g    let result := add(x, y)   // x + y   
! R! }2 I5 U" b  o# W+ U   
1 `, }5 j8 H- G' y0 f: X    // 使用mstore操作码% w7 |0 t$ N! E
    //     -> 将result变量的值存入内存3 [: O4 C$ t& k0 \$ p5 M+ l# K
    //     -> 指定内存地址 0x0      
$ Y$ K0 |: R  K- o4 [    mstore(0x0, result)       // 将结果存入内存
. h  _+ v7 }, _: x    " P$ x; G- s1 ]$ V& j
    // 从内存地址0x返回32字节
% O7 H; d. D$ J. A& F    return(0x0, 32)          / }6 I" V7 W, `4 K' Y; w: b8 {
  }
! Y0 o8 @8 P4 U}
0 T4 ?$ _9 S9 }% d" S! b! XSolidity汇编中的变量定义与赋值4 o( j8 `2 [. X
在Yul中,使用let关键字定义变量。使用:=操作符给变量赋值:! j8 `" p0 N% l! T- G
assembly {+ R/ C5 L, ]/ x+ t5 h1 D5 `& K
  let x := 2! {. T; k( l, p/ L; Z
}
9 k6 {0 o- a0 L6 Q" I如果没有使用:=操作符给变量赋值,那么该变量自动初始化为0值:
9 e, u( Z0 J1 J7 z  g0 }% B# q1 e, eassembly {0 d8 p+ F4 G  Q5 I, F
  let x           // 自动初始化为 x = 06 h0 s/ Z* ^) C9 X5 {0 c. z
  x := 5          // x 现在的值是5
, A% j0 g6 h9 n" J}, M3 ^0 ^1 A' d+ ~# `: J1 S6 C6 g
你可以使用复杂的表达式为变量赋值,例如:( k/ D7 d, R% q4 J5 E/ p% x
assembly {
0 I. N. {, S0 l' U7 b; O  j2 m, r  let x := 7
) [0 T! y/ \9 W5 q  let y := add(x, 3)6 v6 |# I: X5 @0 I) N
  let z := add(keccak256(0x0, 0x20), div(slength, 32))   
- N7 t! I" ?  D! ^6 p  let n            1 d  i! o) D. K) O7 F, F
}
6 H  B0 g0 G3 M! }* lSolidity汇编中let指令的运行机制
, i  }1 ]" F- g. ^$ L) F) }6 F在EVM的内部,let指令执行如下任务:, L1 X* K, {3 J. d9 L
创建一个新的堆栈槽位为变量保留该槽位当到达代码块结束时自动销毁该槽位% e3 Y5 [0 Z; i) r$ n" r

- y, o4 i! M  @0 d% L: D因此,使用let指令在汇编代码块中定义的变量,在该代码块 外部是无法访问的。
5 y* \) l3 z. w/ J& N, gSolidity汇编中的注释% Y* P4 @2 }$ Q1 h) m- u
在Yul汇编中注释的写法和Solidity一样,可以使用单行注释// 或多行注释/* */。例如:
. i2 e! Z' W5 ]0 W$ v6 s& Yassembly {     4 s6 Z0 @$ ^" z/ G1 |$ v0 U
  // single line comment" d$ a1 }( C# z' m9 m
  /*
- t( S7 y# @+ L& l    Multi7 E: X9 t: l  B$ t+ k  I" ^( f4 k
    line$ O  r" O7 O( S! h) N% [$ h
    comment
# Q; {. k) p% r( A8 N  */7 c% m; ?0 e% _: j2 y. U5 N
}
1 O; U- F. a. ySolidity汇编中的字面量) T8 s5 Y9 K9 y& f
在Solidity汇编中字面量的写法与Solidity一致。不过,字符串字面量 最多可以包含32个字符。! C7 c& h% w$ h7 c- P
assembly {   
5 g; @1 h- Y* x3 A8 B7 k! g  let a := 0x123             // 16进制
  ?' R' h/ R0 F9 T, u, e# d  let b := 42                // 10进制0 h5 q, v6 L6 M" C4 t, D" ?) |
  let c := "hello world"     // 字符串. E$ _# S2 o7 @7 T
  let d := "very long string more than 32 bytes" // 超长字符串,错误!
' \3 m; j: U& _% C: U7 c}! Z* L7 _# Z& y6 E" w) l
Solidity汇编中的块和作用范围8 Y0 s5 V+ b5 r
在Solidity汇编中,变量的作用范围遵循标准规则。一个块的范围使用 一对大括号标识。1 [+ _, u4 `, L' ?( s5 R, D+ }
在下面的示例中,y和z仅在定义所在块范围内有效。因此y变量的作用 范围是scope 1,z变量的作用范围是scope 2。% B- S4 J3 Y: @  K- m
assembly {     9 [4 b3 C0 R* P9 Y& r, a5 G) G
  let x := 3          // x在各处可见- L# K. C6 W( M/ t4 Q: F$ _
    % j) n" O0 Y" y( V6 ~2 y" t5 A
  // Scope 1             R. d1 ^( ~& R9 o6 o
  {         
3 Z0 `$ ~* `2 ~2 V$ c9 a8 g    let y := x     // ok   
5 h8 I+ E( ^7 |' V  }  // 到此处会销毁y
) i9 F5 g' J. S) L1 ~8 `  // Scope 2   
7 M; `/ B) M& D  {        ' T% p( w! t$ q. y0 u* o
    let z := y     // Error    7 s8 ~% C: t- b( d  r
  } // 到此处会销毁z
7 G: o9 G8 t$ m}. {6 i- g0 E4 P
// DeclarationError: identifier not found
! i; c% p: a; |. D. S7 J// let z := y
& g) o4 Y+ r" E) d// ^
3 h- O( W& A* z! x% ?; i5 f作用范围的唯一例外是函数和for循环,我们将在下面解释。
; b! b6 o' p" c/ n3 S5 e6 T$ S在Solidity汇编中使用函数的局部变量
0 H- Q5 O$ o( ~! @2 j7 r9 n在Solidity汇编中,只需要使用变量名就可以访问局部变量, 无论该变量是定义在汇编块中,还是Solidity代码中,不过 变量必须是函数的局部变量:
% X1 u& b; O+ M7 {4 ^! dfunction assembly_local_var_access() public pure {   
) z! W7 c. g& Z, k- P8 r4 c: X$ u  uint b = 5;    " i) r/ l2 ~: ^# x9 r$ h% e
  assembly {                // defined inside  an assembly block
" d" r, q3 D# }( b      let x := add(2, 3)  
* v2 G* S+ ?1 V; T4 }4 R& Y& h      let y := 10  
% N, N$ l) i- c3 Z1 i5 |- L) U      z := add(x, y)  Z* `) c  k4 F
  }   
8 d( Q1 }4 @8 C2 T' l  assembly {               // defined outside an assembly block7 F2 a' d$ I$ ^# [. g
      let x := add(2, 3)
* ~# \4 U$ E4 A' w7 x      let y := mul(x, b)
6 K0 Q7 m* b( k# V2 @  }
8 ^$ G8 V; W/ ~) p) v% i$ Z/ ]- u}, p; v2 G- d/ o/ |3 T5 C5 ]- H) ~
在Solidity汇编中使用for循环* B4 O% w1 `: z& z3 S. j& }. t4 a
先看一下Solidity中循环的使用。下面的Solidity函数代码中 计算变量的倍数n次,其中value和n是函数的参数:
" z. c$ X* q6 [. ~function for_loop_solidity(uint n, uint value) public pure returns(uint) {         7 b8 o0 b( V7 ]# }, O
  for ( uint i = 0; i 7 b( O$ x% n$ P9 s+ V2 b4 i) f) H
等效的Solidity汇编代码如下:
$ |- S. v( y8 \3 R8 sfunction for_loop_assembly(uint n, uint value) public pure returns (uint) {   ! U( n) Y8 ~! z& H. L4 ~5 v
  assembly {         - R0 J+ A9 G1 b5 f4 j8 i& X
    for { let i := 0 } lt(i, n) { i := add(i, 1) } { ) Q. z. S( P4 D# k8 |3 j
      value := mul(2, value)
- F* y6 g* z2 y2 C1 i. ^    }  # T7 f1 z# [9 Z5 ?2 u+ e0 K% v4 m
    mstore(0x0, value)
' `9 P# K' s2 Q: [    return(0x0, 32)
8 m9 Z3 s* M3 B+ A, a4 I  }   
1 P# `! H$ _# z! ]' I! D}5 ~8 ?& Y% ]1 @6 U; h  j
类似于其他开发语言中的for循环,在Solidity汇编中,for循环也包含 3个元素:  p- X1 G: i$ N! N6 l
初始化:let i := 0* t, l7 A7 H/ E0 H2 |" I; ^3 ^
执行条件:lt(i, n) ,必须是函数风格表达式9 w7 ^+ }4 T" C6 w* e' S: ~
迭代后续步骤:add(i, 1)
% q, b/ a3 i3 l6 O注意:for循环中变量的作用范围略有不同。在初始化部分定义的变量 在循环的其他部分都有效。+ Y3 c* w+ n9 V9 f; b3 A
在Solidity汇编中使用while循环
0 ?) d- x: F; \6 ]1 T在Solidity汇编中实际上是没有while循环关键字的,但是可以使用 for循环实现同样的功能:只要留空for循环的初始化部分和迭代后续步骤即可。
; L: _' V/ Q  j  W% r9 zassembly {$ X" V6 Z' d" U+ _& ^0 J% f! n
  let x := 0. k' `) l+ Q- [( ^" P9 \. G) L
  let i := 0- r2 T3 l* t6 K) X9 q9 n+ ?% w
  for { } lt(i, 0x100) { } {     // 等价于:while(i
  x. H- t% m$ O0 g9 n( T在Solidity汇编中使用if语句
. o9 M9 i& z9 X6 V. x0 j" xSolidity内联汇编支持使用if语句来设置代码执行的条件,但是 没有其他语言中的else部分。+ O( w, M# S6 C; z1 P
assembly {    3 e- N& L, Q: a) {7 p( b
  if slt(x, 0) { x := sub(0, x) }  // Ok
" b, F! G! }/ I1 q! i  if eq(value, 0) revert(0, 0)     // Error, 需要大括号/ t' K) P0 l$ A; u% ~3 O
}% _$ V' }) ]+ F. d% ]2 N0 B4 R
if语句强制要求代码块使用大括号,即使需要保护的代码只有一行, 也需要使用大括号。这和solidity不同。& X* D  d1 B9 X
如果需要在Solidity内联汇编中检查多种条件,可以考虑使用 switch语句。; F) ~+ s6 F1 Z6 n) Y+ {* d
在Solidity汇编中使用switch语句
! r! H; `$ [: F  ?: L/ r5 @EVM汇编中也有switch语句,它将一个表达式的值于多个常量 进行对比,并选择相应的代码分支来执行。switch语句支持 一个默认分支default,当表达式的值不匹配任何其他分支条件时,将 执行默认分支的代码。2 f- A- G0 u" [' n
assembly {
9 G' P- |: P. ?/ P  let x := 0& y5 `4 h& N( O) J& p
  switch calldataload(4)
# _* ?# G# A& i3 k) K- K* z5 I3 U  case 0 {+ A* E( O/ Y/ j
    x := calldataload(0x24), }' E$ X; B/ O
  }
/ }& w. S' ^' b  O  default {6 V# E# T. C' N1 B
    x := calldataload(0x44)6 E$ A+ M3 }2 n. R0 K) Z
  }
) K8 n, f$ W, h5 W9 _( r$ W# q  sstore(0, div(x, 2))$ H4 `$ G: L& A5 [& k: F
}$ d# L2 B1 q5 s' {
switch语句有一些限制:- E) y5 @  A% x! }2 n# ?8 m7 U6 y" o
分支列表不需要大括号,但是分支的代码块需要大括号
0 k1 V/ E4 i2 o: t/ ?2 ?3 A, a, c所有的分支条件值必须:1)具有相同的类型 2)具有不同的值
! P+ g& J' Z  y1 B- t如果分支条件已经涵盖所有可能的值,那么不允许再出现default条件' Q- |0 l; g; R9 O
assembly {            ) K& r# z" `0 l" g+ Q" j' [
  let x := 34" ]2 F) V6 r% d8 N! s1 {
           ' A! C4 @* W: y- B9 f1 _
  switch lt(x, 30)0 F- D, M: ~$ n" L& A
  case true {8 X# P% q, O3 G' r4 h, N! p( F7 o
      // do something
# ]' f+ ~2 n+ p* o  }
4 `7 }* ?( ]" n5 O* x6 p$ ~  case false {
  X& ?) Z9 t4 G      // do something els
7 v) z& D9 H# t' P2 p  }
9 j5 L9 q- b* _8 m, l4 L  default {+ L" x# T# y) n
      // 不允许
6 C2 s0 g( G5 Y: F& Z4 ~8 M  }             9 X! n5 D8 S) W0 u8 e0 P
}
/ V5 x1 N+ Y/ D( L1 h' t; R在Solidity汇编中使用函数
4 d7 [  |3 R# T8 Z& ~" O也可以在Solidity内联汇编中定义底层函数。调用这些自定义的函数 和使用内置的操作码一样。
/ ~2 T5 ^" C5 E下面的汇编函数用来分配指定长度的内存,并返回内存指针pos:
: Z0 u! _" H' `assembly {    $ a! x( R* y, c9 P' I
  function allocate(length) -> pos {. f: Q' c" P; r2 A4 O0 n
    pos := mload(0x40)( t( ~; l! D1 N
    mstore(0x40, add(pos, length))
# ?$ }/ A6 J6 y8 q* \: K6 \  }    ' [$ z! W9 f7 q  R
  let free_memory_pointer := allocate(64)
! J" X. e0 N2 H}8 ^# x; p! Y8 r) V
汇编函数的运行机制如下:
9 s2 _! ~1 v& l: U* C' I2 A- c从堆栈提取参数将结果压入堆栈和Solidity函数不同,不需要指定汇编函数的可见性,例如public或private, 因为汇编函数仅在定义所在的汇编代码块内有效。+ O3 d# R1 N! q5 \9 [  o1 ?

- w( p6 x7 w/ ?% n' FSolidity汇编中的操作码
9 N. s' D2 B1 _+ R  O9 l9 J7 G9 i+ `. TEVM操作码可以分为以下几类:2 S1 {! E7 }/ n! S5 L7 [
算数和比较操作位操作密码学操作,目前仅包含keccak256环境操作,主要指与区块链相关的全局信息,例如blockhash或coinbase收款账号存储、内存和栈操作交易与合约调用操作停机操作日志操作( o7 G+ L3 @" E% ~, y1 i
详细的操作码可以查看Solidity文档。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

handii2006 小学生
  • 粉丝

    0

  • 关注

    0

  • 主题

    1