Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

Solidity合约安全考量

有个胖子他姓杨
73 0 0
尽管在通常情况下编写一个按照预期运行的软件很简单,! t: i3 ]5 S8 O4 s" j" _+ C
但想要确保没有人能够以出乎意料的方式使用它就困难多了。
# A7 X2 I- E0 L3 p在 Solidity 中,这一点尤为重要,因为智能合约可以用来处理通证,甚至有可能是更有价值的东西。
) E. k4 q2 a! ]* }除此之外,智能合约的每一次执行都是公开的,而且源代码也通常是容易获得的。
) h; R, O5 k9 C+ E9 U9 ~& q) S当然,你总是需要考虑有多大的风险:5 W  \7 m" `/ s3 x! o1 A0 |. V
你可以将智能合约与公开的(当然也对恶意用户开放)、甚至是开源的网络服务相比较。
- K" r- A" w: o9 m  z7 Q如果你只是在某个网络服务上存储你的购物清单,则可能不必太在意,
: g$ V. v$ o5 D  W/ j- ^+ r4 _+ }# W# _5 S但如果你使用那个网络服务管理你的银行帐户,
0 V5 }, ]# O* _那就需要特别当心了。
0 I; W5 f# Q- }& [+ D8 c本节将列出一些陷阱和一般性的安全建议,但这绝对不全面。% c% X- g4 b' n0 l
另外,请时刻注意的是即使你的智能合约代码没有 bug,4 z% I) A  E' U+ s3 t- ?
但编译器或者平台本身可能存在 bug。
( j6 X! T* m9 w( K- g$ ?一个已知的编译器安全相关的 bug 列表可以在 :ref:已知bug列表 找到,5 W  e5 J* I, E- G, H1 k4 @3 Y
这个列表也可以用程序读取。( b+ D/ ]5 x* r6 k1 G
请注意其中有一个涵盖了 Solidity 编译器的代码生成器的 bug 悬赏项目。
: ~; Z/ M4 ]  y0 R$ y' p& o我们的文档是开源的,请一如既往地帮助我们扩展这一节的内容(何况其中一些例子并不会造成损失)!2 H, E1 A7 R1 v' q; w
+ v4 |6 X# `7 M( x. F4 p
陷阱9 i+ L% S: j! T( E+ M
" k; y8 p! s  E# T3 S% i$ o
私有信息和随机性
5 t2 j  w) p9 v- Z' E5 X# s' @& b5 q在智能合约中你所用的一切都是公开可见的,即便是局部变量和被标记成 private 的状态变量也是如此。
* g  K: I6 h" v- h! o3 I; w0 f如果不想让矿工作弊的话,在智能合约中使用随机数会很棘手1 C; B& [. d) D+ R; J2 K  g
(译者注:在智能合约中使用随机数很难保证节点不作弊,
: o/ v  ^  \# E这是因为智能合约中的随机数一般要依赖计算节点的本地时间得到,
. q% B! Q5 L4 `# F而本地时间是可以被恶意节点伪造的,因此这种方法并不安全。" W) V: K4 a+ h" l% I, t
通行的做法是采用 |off_chain| 的第三方服务,比如 Oraclize 来获取随机数)。
$ b, ^% n( ^$ r9 j3 M" t' K重入8 y% H! B  ?/ F4 l" J
任何从合约 A 到合约 B 的交互以及任何从合约 A 到合约 B 的 |ether| 的转移,都会将控制权交给合约 B。
' `/ O7 g, g6 B- P这使得合约 B 能够在交互结束前回调 A 中的代码。
9 q$ @3 @4 h9 n( N4 B3 r! [/ o举个例子,下面的代码中有一个 bug(这只是一个代码段,不是完整的合约):2 V: @( `8 [7 J1 {' z
::; e. }$ d+ Y$ e' X- A' Z
pragma solidity ^0.4.0;
; u2 m6 W. ~9 z7 D, q// 不要使用这个合约,其中包含一个 bug。
6 c9 |; k+ l$ g3 k0 J0 Ccontract Fund {4 h! {+ G  `0 R; Y& v  K0 h
    /// 合约中 |ether| 分成的映射。, }9 V. S& n) }- e: N' k
    mapping(address => uint) shares;
! K2 a& X: v" [" I; L    /// 提取你的分成。( ^/ Q! V9 u; {6 R9 W% C
    function withdraw() public {4 c3 c1 J9 ?. m
        if (msg.sender.send(shares[msg.sender]))* |  J* u% R4 o; y
            shares[msg.sender] = 0;7 o5 d6 W7 I% j% v- d4 [
    }  P6 m4 K" Y! c( v
}; o1 g, D! }& r6 I3 D1 G
这里的问题不是很严重,因为有限的 gas 也作为 send 的一部分,但仍然暴露了一个缺陷:7 f0 X& _4 z- Z( f0 J
|ether| 的传输过程中总是可以包含代码执行,所以接收者可以是一个回调进入 withdraw 的合约。" ]2 P& \- h' _8 l8 U( X6 ~7 E
这就会使其多次得到退款,从而将合约中的全部 |ether| 提取。( E; c2 X5 i% k) ]
特别地,下面的合约将允许一个攻击者多次得到退款,因为它使用了 call ,默认发送所有剩余的 gas。: k( ?; m$ D: t" h/ C8 ^( M/ A
::
8 T  q$ ]' G$ k1 E/ l* xpragma solidity ^0.4.0;, S6 v, Q  x0 {
// 不要使用这个合约,其中包含一个 bug。
/ I) w# y& f6 k; x( O8 V: J+ qcontract Fund {( W: D% x, m! q; K$ \
    /// 合约中 |ether| 分成的映射。) p" l+ Q' z, [/ }0 q, |
    mapping(address => uint) shares;0 S2 v& Y- L( W) e
    /// 提取你的分成。8 t( k/ g4 r% n; A
    function withdraw() public {
# V* R' g$ ]; d8 D9 S2 q        if (msg.sender.call.value(shares[msg.sender])())
( E& P' d9 [  O5 F            shares[msg.sender] = 0;
3 Q. C2 H5 X% q, W    }
" m% ?+ j0 x) N* [}9 q# D/ P5 ]+ Q
为了避免重入,你可以使用下面撰写的“检查-生效-交互”(Checks-Effects-Interactions)模式:
! R6 m8 @; n5 T5 g. g/ h::
# A% w# S$ N/ cpragma solidity ^0.4.11;  Z* _$ P" D- y; x, S1 i
contract Fund {
6 w5 }: M! W, d" {" _9 T6 x% h    /// 合约中 |ether| 分成的映射。
" E6 C6 |; l0 X$ D4 R+ G* v    mapping(address => uint) shares;7 E4 g3 R. {, s  m: F+ t4 b
    /// 提取你的分成。5 z, v# q) A, Y$ ]' x* r+ R
    function withdraw() public {+ j! h0 l- q4 |0 j5 k: v
        var share = shares[msg.sender];4 c! e0 }: K) y2 ^1 R
        shares[msg.sender] = 0;8 ~* u& \5 d" {7 a9 I" Z/ Z+ F3 U
        msg.sender.transfer(share);
2 k. d1 ^9 K8 z, T4 j    }- y- Y8 g" c2 Y& N# o
}
$ W0 _3 A3 v( H+ v$ \请注意重入不仅是 |ether| 传输的其中一个影响,还包括任何对另一个合约的函数调用。1 l; y+ |. Z' y, H
更进一步说,你也不得不考虑多合约的情况。& g3 s% Y9 X1 P0 g4 f  Z
一个被调用的合约可以修改你所依赖的另一个合约的状态。
& U) o& ?- e. C" U3 y7 Zgas 限制和循环2 \. o" g8 `0 H/ K
必须谨慎使用没有固定迭代次数的循环,例如依赖于 |storage| 值的循环:
; M& \: L1 u( W/ t- t/ |由于区块 gas 有限,交易只能消耗一定数量的 gas。! w' M  p6 w1 @6 v2 L  p
无论是明确指出的还是正常运行过程中的,循环中的数次迭代操作所消耗的 gas 都有可能超出区块的 gas 限制,从而导致整个合约在某个时刻骤然停止。% @' S' _! t1 \; C# Z
这可能不适用于只被用来从区块链中读取数据的 view 函数。
2 ~# F# l9 x& R& X+ b6 d尽管如此,这些函数仍然可能会被其它合约当作 |on_chain| 操作的一部分来调用,并使那些操作骤然停止。: Y* _- u  B$ M. H1 B2 q* e
请在合约代码的说明文档中明确说明这些情况。2 r/ H2 u" q6 w9 J5 m: J
发送和接收 |ether|9 [5 r7 M8 D2 _; l# ^; @

2 e2 Q4 d, w  B) I. r目前无论是合约还是“外部账户”都不能阻止有人给它们发送 |ether|。$ ^# A* _5 U/ A! a
合约可以对一个正常的转账做出反应并拒绝它,但还有些方法可以不通过创建消息来发送 |ether|。
/ B& z& f* a% M: J+ j3 [: l其中一种方法就是单纯地向合约地址“挖矿”,另一种方法就是使用 selfdestruct(x) 。" a  }: d% c. R9 i, L
! M5 m' g) m1 N! j) w% G
如果一个合约收到了 |ether| (且没有函数被调用),就会执行 fallback 函数。5 ^7 Y+ H: X: h. w" `
如果没有 fallback 函数,那么 |ether| 会被拒收(同时会抛出异常)。
6 a- R4 s3 f  P% S& {% C" q在 fallback 函数执行过程中,合约只能依靠此时可用的“gas 津贴”(2300 gas)来执行。3 S8 ]: E1 T& i# P* `# M3 u+ i% R
这笔津贴并不足以用来完成任何方式的 |storage| 访问。8 L$ E  ^. M. f  T$ y- c- q  @
为了确保你的合约可以通过这种方式收到 |ether|,请你核对 fallback 函数所需的 gas 数量6 L4 f; E: b% }: j3 H! @% \
(在 Remix 的“详细”章节会举例说明)。
; i9 N* _0 K1 z! G0 @& K& |
1 n3 j8 b4 C* c/ N( r3 l% K! {有一种方法可以通过使用 addr.call.value(x)() 向接收合约发送更多的 gas。* T7 B4 }  M! N9 m, {& ^' N! B! u
这本质上跟 addr.transfer(x) 是一样的,& o( y" U: t5 d
只不过前者发送所有剩余的 gas,并且使得接收者有能力执行更加昂贵的操作
" s0 \/ G% `4 ?. ](它只会返回一个错误代码,而且也不会自动传播这个错误)。
$ U0 x6 w6 L0 f这可能包括回调发送合约或者你想不到的其它状态改变的情况。- w4 ^+ _- k, Z& S
因此这种方法无论是给诚实用户还是恶意行为者都提供了极大的灵活性。
/ w, F, S' t  Q$ O. @7 h' p  z: b7 Z9 U* V3 d  k8 X( E% E
如果你想要使用 address.transfer 发送 |ether| ,你需要注意以下几个细节:0 Y9 t. [0 V9 v- W/ [
如果接收者是一个合约,它会执行自己的 fallback 函数,从而可以回调发送 |ether| 的合约。如果调用的深度超过 1024,发送 |ether| 也会失败。由于调用者对调用深度有完全的控制权,他们可以强制使这次发送失败;
4 n! N& T, T2 r( C+ v+ a请考虑这种可能性,或者使用 send 并且确保每次都核对它的返回值。
. h# a5 s- E/ H6 I更好的方法是使用一种接收者可以取回 |ether| 的方式编写你的合约。
发送 |ether| 也可能因为接收方合约的执行所需的 gas 多于分配的 gas 数量而失败
! ^0 |" @5 N" g(确切地说,是使用了 require , assert, revert , throw 或者因为这个操作过于昂贵) - “gas 不够用了”。& m) r) e2 k3 J% Y
如果你使用 transfer 或者 send 的同时带有返回值检查,这就为接收者提供了在发送合约中阻断进程的方法。
' W* F: y5 K  w! Y2 _" |% ]再次说明,最佳实践是使用 :ref:“取回”模式而不是“发送”模式。$ p8 w' T2 |$ V% g; q! q7 U
8 n$ R2 ^4 _: G
& ]6 q. W8 }' ~8 b" K7 j2 ]3 s, L
调用栈深度
, O; ?; k' J1 j4 l% `, b外部函数调用随时会失败,因为它们超过了调用栈的上限 1024。3 F+ i+ u& z9 y8 O3 H) w
在这种情况下,Solidity 会抛出一个异常。
! l  }5 w2 F+ }8 T; J) g恶意行为者也许能够在与你的合约交互之前强制将调用栈设置成一个比较高的值。
4 R9 Q2 d: g8 h! n* z; N请注意,使用 .send() 时如果超出调用栈 并不会 抛出异常,而是会返回 false。) G2 u0 b- i' K+ F! E9 P& X
低级的函数比如 .call(),.callcode() 和 .delegatecall() 也都是这样的。
( m$ Y; b: Y$ t3 e" k! q; Ntx.origin
& \' ]; j" F; }# ]) a1 |/ l; R永远不要使用 tx.origin 做身份认证。假设你有一个如下的钱包合约:+ L" {/ d5 @3 A9 o2 N/ S# A
::: M2 k9 C6 @, a3 P+ Q, d
pragma solidity ^0.4.11;
% s0 P/ X/ Y* x// 不要使用这个合约,其中包含一个 bug。
4 S) r8 C3 a4 w9 g7 B! Econtract TxUserWallet {( {" X2 u: U) ~/ C1 c7 Q( F
    address owner;3 L8 Z+ o1 ]5 H* H7 L6 l
    function TxUserWallet() public {" I5 {* F4 V# ]" J3 H
        owner = msg.sender;2 u2 U3 E& q" P
    }
( n7 S: O+ j- _; I6 y4 O$ }    function transferTo(address dest, uint amount) public {
0 ]( A9 C- w3 V3 f9 g        require(tx.origin == owner);7 N4 }2 Y% f- u7 l5 J0 f
        dest.transfer(amount);
/ J7 p7 l: N( y0 p7 [6 U9 C    }
- [; \# |8 V% Q  k: ^1 j}( o$ ^1 W+ o! f' k1 ~# m' F8 O
现在有人欺骗你,将 |ether| 发送到了这个恶意钱包的地址:
. j, T( E  r7 j: M) \. |::
, @0 P% k: W7 spragma solidity ^0.4.11;) y1 t+ r& O; `# f# L
interface TxUserWallet {
9 |* z0 e4 J! e1 J: |2 c2 {    function transferTo(address dest, uint amount) public;1 U0 I) {! z4 h' `1 b/ _
}, Y, O* y2 k( G* u- C
contract TxAttackWallet {
% c) y0 ?6 h  ]: \/ y; Z! w0 l    address owner;
# W* W9 S5 \2 Z2 C# }% s) `8 ^    function TxAttackWallet() public {
7 v! U3 H) y+ C- J        owner = msg.sender;2 Y! C7 Q3 W; x1 K  e
    }& b( m. w. D0 T* \3 O9 V
    function() public {; i3 T4 j3 U! Z1 L$ Q
        TxUserWallet(msg.sender).transferTo(owner, msg.sender.balance);
" _) Y8 ]5 m; v    }
/ }3 x3 \+ y: s' R: g. G7 ?}
$ C7 r" w+ p; s! n如果你的钱包通过核查 msg.sender 来验证发送方身份,你就会得到恶意钱包的地址,而不是所有者的地址。7 u: f' K. s3 B( A
但是通过核查 tx.origin ,得到的就会是启动交易的原始地址,它仍然会是所有者的地址。
8 o( l  }: j6 z5 S, a2 Z6 ~恶意钱包会立即将你的资金抽出。+ P3 L3 i$ W& ~; n! ?
细枝末节8 l' ]) l5 h  l6 v
在 for (var i = 0; i  中, i 的类型会变为 uint8 ,
" n5 U7 K* l8 j+ G因为这是保存 0 值所需的最小类型。如果数组超过 255 个元素,则循环不会终止。
不占用完整 32 字节的类型可能包含“脏高位”。这在当你访问 msg.data 的时候尤为重要 —— 它带来了延展性风险:5 M( \! j  J  F. }
你既可以用原始字节 0xff000001 也可以用 0x00000001 作为参数来调用函数 f(uint8 x) 以构造交易。! z3 F9 X2 G9 h- c
这两个参数都会被正常提供给合约,并且 x 的值看起来都像是数字 1,
6 N, e3 E( F3 w1 u0 l但 msg.data 会不一样,所以如果你无论怎么使用 keccak256(msg.data),你都会得到不同的结果。+ ]7 O- j' B; V: y# k3 }. ?% w

; B8 Q2 s5 ]+ N& e# @推荐做法
1 x3 _" r$ k6 |) V9 Z2 j" Y& F. ^& ?& A1 u
认真对待警告& G* H2 T! q8 i! L9 J' p
如果编译器警告了你什么事,你最好修改一下,即使你不认为这个特定的警告不会产生安全隐患,因为那也有可能埋藏着其他的问题。
3 _1 `$ c5 A- ]; c4 }* v. P! g我们给出的任何编译器警告,都可以通过轻微的修改来去掉。3 G) M) l1 v0 ~6 j' B
同时也请尽早添加 pragma experimental "v0.5.0"; 来允许 0.5.0 版本的安全特性。- s( m% a! X7 Z6 s& m
注意在这种情况下,experimental 并不意味着任何有风险的安全特性,
2 w8 n) v$ |+ ~" m* E7 Y它只是可以允许一些在当前版本还不支持的 Solidity 特性,来提供向后的兼容。
% b: M  R5 x& @' M) ^9 O* i, L( H限定 |ether| 的数量
" o$ t$ {8 i5 e$ L- l! l限定 |storage| 在一个智能合约中 |ether| (或者其它通证)的数量。( m* a* a& S% r: R" [2 d8 E
如果你的源代码、编译器或者平台出现了 bug,可能会导致这些资产丢失。
. j6 ]) \2 a0 @, d如果你想控制你的损失,就要限定 |ether| 的数量。
, k# s: z! g4 G7 ^1 m保持合约简练且模块化
( e# E. m/ H# O+ G保持你的合约短小精炼且易于理解。
( [1 f1 q" C4 Y* J7 _4 f+ h, j- \' Y找出无关于其它合约或库的功能。$ W# ^: n- M! Q- t5 K' i4 L. t2 a
有关源码质量可以采用的一般建议:
; t" U. J4 {8 {# k' o$ s限制局部变量的数量以及函数的长度等等。
7 e" _% y# d2 S9 W将实现的函数文档化,这样别人看到代码的时候就可以理解你的意图,并判断代码是否按照正确的意图实现。1 D1 R; h1 n4 l
使用“检查-生效-交互”(Checks-Effects-Interactions)模式# T; U; F5 z. \5 c
大多数函数会首先做一些检查工作(例如谁调用了函数,参数是否在取值范围之内,它们是否发送了足够的 |ether| ,用户是否具有通证等等)。) p. `; u, A+ x6 }( z# [
这些检查工作应该首先被完成。
- E0 D% h0 p1 q5 Z. D8 @) R第二步,如果所有检查都通过了,应该接着进行会影响当前合约状态变量的那些处理。
+ A0 T4 I. d7 `9 P+ l与其它合约的交互应该是任何函数的最后一步。
/ ?& Z' Q) g2 P+ y/ M8 R6 A6 l9 z9 p早期合约延迟了一些效果的产生,为了等待外部函数调用以非错误状态返回。
. }+ A' t# Y' Z0 i% f2 k由于上文所述的重入问题,这通常会导致严重的后果。
/ T3 d4 W2 m' o. e- N请注意,对已知合约的调用反过来也可能导致对未知合约的调用,所以最好是一直保持使用这个模式编写代码。
! v, V" G3 D3 n) O/ ]2 \包含故障-安全(Fail-Safe)模式
& {0 n7 ~0 {; ~# w0 {! N! g0 q尽管将系统完全去中心化可以省去许多中间环节,但包含某种故障-安全模式仍然是好的做法,尤其是对于新的代码来说:9 }" z. D# D* c" X! J
你可以在你的智能合约中增加一个函数实现某种程度上的自检查,比如“ |ether| 是否会泄露?”,3 s! o& G8 h0 i& g6 Q" n
“通证的总和是否与合约的余额相等?”等等。
9 `% d% M: f+ r  P; F/ Y+ {3 F请记住,你不能使用太多的 gas,所以可能需要通过 |off_chain| 计算来辅助。
0 F: C5 }2 U, U. ~/ K* e如果自检查没有通过,合约就会自动切换到某种“故障安全”模式,# k. r0 R' X/ ~) B5 s& a/ |
例如,关闭大部分功能,将控制权交给某个固定的可信第三方,或者将合约转换成一个简单的“退回我的钱”合约。# U; n  m6 _6 |  m8 ?( i5 F
9 q; a, V( J! O2 w
形式化验证/ `1 l+ X. p7 r; C# s$ N# X8 m
6 Z: m" V1 e. ^% [
使用形式化验证可以执行自动化的数学证明,保证源代码符合特定的正式规范。/ S5 \8 Y- c, [1 K  ~
规范仍然是正式的(就像源代码一样),但通常要简单得多。' K. }4 M1 Q9 Y' U
请注意形式化验证本身只能帮助你理解你做的(规范)和你怎么做(实际的实现)的之间的差别。
6 S9 j/ C5 ]& t4 V4 C0 w你仍然需要检查这个规范是否是想要的,而且没有漏掉由它产生的任何非计划内的效果。
标签: Solidity
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

有个胖子他姓杨 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    10