Solidity之旅(十八)内联汇编 [inline assembly]

333 阅读8分钟

概要

自从C语言问世,而后类C语言犹如雨后春笋般地搅动着IT界,而这些语言有别于汇编语言那样。它们就是更贴切自然语言的高级编程语言,可这些高级编程语言最终还是要编译成机器语言(汇编语言)。

EVM(Ethereum Virtual Machine)是一种栈(Stack)结构,我们知道栈是一种先进后出(LIFO)的数据结构。

为什么要用汇编来编写呢?

借您所问,既然Solidity可以编写出优秀的智能合约,那为什么还要使用低级的汇编语言呢?

在回答这个问题之前,我们来看看每个新的编程语言诞生都是为了解决当前编程语言无法解决,或者说使用当前编程语言解决起来比较麻烦,那么,新的编程语言就在这样的环境下应运而生,当然咯,并不是所有新编程语言都是为了解决当前编程语言不能解决的问题,才被开发出来,而是……(此处不便说出缘由,毕竟它也不是本文的重点)。

细粒度控制

Assembly允许您执行一些仅仅靠Solidity无法实现的逻辑,比如,指向特定的内存插槽(Memory Slot)。

当我们在编写库(library)时,细粒度控制特别有用,因为它们会被重复使用。

节省gas

在Solidity中使用Assembly的主要好处之一是节省gas。让我们尝试通过创建一个将2个值x和y相加并返回结果的函数来比较Solidity和Assembly之间的gas成本。

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

contract AssemblyExample {
    
    function addAssembly(uint x, uint y) public pure returns (uint) {
        assembly {
            let result := add(x, y)
            mstore(0x0, result)
            return(0x0, 32)
        }
    }
 
    function addSolidity(uint x, uint y) public pure returns (uint) {
        return x + y;
    }
  
}

Solidity中两种方式实现Assembly

1、内联汇编:也可以在Solidity代码中使用。2、独立程序集:无需编写Solidity代码即可使用。

怎么使用Assembly?

正如上面的例子那样,汇编代码运行在assembly{...}汇编块中的。而汇编代码是使用YUL语言来编写的!内联汇编块不共享命名空间,即不能在一个汇编块调用另一个汇编块中定义的变量。

assembly {
   // some assembly code here
}

以下是一个简单的示例,函数接受两个参数,并将它们的和作为返回值,看看使用Assembly是怎么实现的?了解它们在EVM的工作方式。

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

contract AssemblyExample {
    
   function addition(uint x, uint y) public pure returns (uint) {
     
    assembly {
        
        //声明一个 result 变量,并将 x,y之和赋值给它
        let result := add(x, y)   // x + y
        
        //使用 mstore 操作码将 result存在 memory 中,地址是 0x0
        mstore(0x0, result)       // store result in memory
         
        //返回 32 字节的 memory 地址
        return(0x0, 32)          
        
    }
}
  
}

数据存储

让我们来看看一个简单的例子。我们将数据存放在storage(存储)中,然后再去调用它。

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

contract StorageDataExample {

    function setData(uint256 newValue) public {
        assembly {
            sstore(0, newValue)
        }
    }

    function getData() public view returns(uint256) {
        assembly {
            let v := sload(0)
            mstore(0x80, v)
            return(0x80, 32)
        }
    }
}

setData函数使用了sstore操作码将变量newValue写入storage(存储)中。getData函数先是用了sload操作码来加载storage(存储)中的数据,它并不能从storage中直接返回。所以才需要mstore操作码将其写入memory(内存)中,最后我们返回引用memory(内存)中存放数据的地址和32字节长度的数据。

docs.soliditylang.org/en/latest/y…

指令

解释

stop()

-

F

停止执行,与return(0, 0)相同

add(x, y)

F

x + y

sub(x, y)

F

x - y

mul(x, y)

F

x * y

div(x, y)

F

x / y 或 如果 y == 0,则为 0

sdiv(x, y)

F

x / y,对于有符号的二进制补数,如果 y == 0,则为 0

mod(x, y)

F

x % y, 如果 y == 0,则为 0

smod(x, y)

F

x % y, 对于有符号的二进制补数, 如果 y == 0,则为 0

exp(x, y)

F

x的y次方

not(x)

F

x的位 “非”(x的每一个位都被否定)

lt(x, y)

F

如果 x < y,则为1,否则为0

gt(x, y)

F

如果 x > y,则为1,否则为0

slt(x, y)

F

如果 x < y,则为1,否则为0,适用于有符号的二进制数

sgt(x, y)

F

如果 x > y,则为1,否则为0,适用于有符号的二进制补数

eq(x, y)

F

如果 x == y,则为1,否则为0

iszero(x)

F

如果 x == 0,则为1,否则为0

and(x, y)

F

x 和 y 的按位 “与”

or(x, y)

F

x 和 y 的按位 “或”

xor(x, y)

F

x 和 y 的按位 “异或”

byte(n, x)

F

x的第n个字节,其中最重要的字节是第0个字节

shl(x, y)

C

将 y 逻辑左移 x 位

shr(x, y)

C

将 y 逻辑右移 x 位

sar(x, y)

C

将 y 算术右移 x 位

addmod(x, y, m)

F

(x + y) % m,采用任意精度算术,如果m == 0则为0

mulmod(x, y, m)

F

(x * y) % m,采用任意精度算术,如果m == 0则为0

signextend(i, x)

F

从第 (i*8+7) 位开始进行符号扩展,从最低符号位开始计算

keccak256(p, n)

F

keccak(mem[p…(p+n)))

pc()

F

代码中的当前位置

pop(x)

-

F

丢弃值 x

mload§

F

mem[p…(p+32))

mstore(p, v)

-

F

mem[p…(p+32)) := v

mstore8(p, v)

-

F

mem[p] := v & 0xff ((只修改了一个字节))

sload§

F

storage[p]

sstore(p, v)

-

F

storage[p] := v

msize()

F

内存的大小,即最大的访问内存索引

gas()

F

仍可以执行的气体值

address()

F

当前合约/执行环境的地址

balance(a)

F

地址为A的余额,以wei为单位

selfbalance()

I

相当于balance(address()),但更便宜

caller()

F

消息调用者(不包括 delegatecall 调用)。

callvalue()

F

与当前调用一起发送的wei的数量

calldataload§

F

从位置p开始的调用数据(32字节)

calldatasize()

F

调用数据的大小,以字节为单位

calldatacopy(t, f, s)

-

F

从位置f的calldata复制s字节到位置t的内存中

codesize()

F

当前合约/执行环境的代码大小

codecopy(t, f, s)

-

F

从位置f的code中复制s字节到位置t的内存中

extcodesize(a)

F

地址为a的代码的大小

extcodecopy(a, t, f, s)

-

F

像codecopy(t, f, s)一样,但在地址a处取代码

returndatasize()

B

最后返回数据的大小

returndatacopy(t, f, s)

-

B

从位置f的returndata复制s字节到位置t的内存中

extcodehash(a)

C

地址a的代码哈希值

create(v, p, n)

F

用代码mem[p…(p+n))创建新的合约,发送v数量的wei并返回新地址; 错误时返回0

create2(v, p, n, s)

C

在keccak256(0xff . this . s . keccak256(mem[p…(p+n)))地址处 创建代码为mem[p…(p+n)]的新合约 并发送v 数量个wei和返回新地址, 其中 0xff 是一个1字节的值, this 是当前合约的地址, 是一个20字节的值, s 是一个256位的大端的值; 错误时返回0

call(g, a, v, in, insize, out, outsize)

F

调用地址 a 上的合约,以 mem[in…(in+insize)) 作为输入 一并发送 g 数量的 gas 和 v 数量的 wei, 以 mem[out…(out+outsize)) 作为输出空间。 若错误,返回 0 (比如,gas 用光) 若成功,返回 1

callcode(g, a, v, in, insize, out, outsize)

F

相当于 call 但仅仅使用地址 a 上的代码, 执行时留在当前合约的上下文当中

delegatecall(g, a, in, insize, out, outsize)

H

相当于 callcode, 但同时保留 caller 和 callvalue

staticcall(g, a, in, insize, out, outsize)

B

相当于 call(g, a, 0, in, insize, out, outsize) 但不允许状态变量的修改

return(p, s)

-

F

终止执行,返回 mem[p…(p+s)) 上的数据

revert(p, s)

-

B

终止执行,恢复状态变更,返回 mem[p…(p+s)) 上的数据

selfdestruct(a)

-

F

终止执行,销毁当前合约,并且将余额发送到地址 a

invalid()

-

F

以无效指令终止执行

log0(p, s)

-

F

用 mem[p…(p+s)] 上的数据产生日志,但没有 topic

log1(p, s, t1)

-

F

用 mem[p…(p+s)] 上的数据和 topic t1 产生日志

log2(p, s, t1, t2)

-

F

用 mem[p…(p+s)] 上的数据和 topic t1,t2 产生日志

log3(p, s, t1, t2, t3)

-

F

用 mem[p…(p+s)] 上的数据和 topic t1,t2,t3 产生日志

log4(p, s, t1, t2, t3, t4)

-

F

用 mem[p…(p+s)] 上的数据和 topic t1,t2,t3,t4 产生日志

chainid()

I

执行链的ID(EIP-1344)

basefee()

L

当前区块的基本费用(EIP-3198和EIP-1559)

origin()

F

交易发送者

gasprice()

F

交易的气体价格n

blockhash(b)

F

区块编号b的哈希值–只针对最近的256个区块,不包括当前区块。

coinbase()

F

目前的挖矿的受益者

timestamp()

F

自 epoch 开始的,当前块的时间戳,以秒为单位

number()

F

当前区块号

difficulty()

F

当前区块的难度

gaslimit()

F

当前区块的区块 gas 限制

版权声明:本文为 CSDN 博主「甄齐才」的原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接及本声明。

原文链接:

blog.csdn.net/coco2d_x201…

文章来源:CSDN 博主「甄齐才」

文章原标题:《玩以太坊链上项目的必备技能(内联汇编 [inline assembly]-Solidity之旅十八)》

旨在传播区块链相关技术,如有侵权请与我们联系删除。