智能合約安全分析和審計(jì)指南

第1章 由淺入深理解區(qū)塊鏈
1.1 區(qū)塊鏈簡(jiǎn)介 1
1.2 區(qū)塊鏈1.0 ——比特幣，一種點(diǎn)對(duì)點(diǎn)的現(xiàn)金支付系統(tǒng) 1
1.2.1 比特幣的產(chǎn)生 1
1.2.2 深入分析比特幣的工作機(jī)制 5
1.2.3 結(jié)合《比特幣白皮書(shū)》理解比特幣 9
1.2.4 比特幣的回顧與剖析 13
1.2.5 比特幣的不足 16
1.3 區(qū)塊鏈2.0 ——以太坊 18
1.3.1 以太坊的產(chǎn)生 18
1.3.2 深入理解以太坊 18
1.4 區(qū)塊鏈3.0 ——DApp 25
1.5 基于以太坊的智能合約入門(mén) 25
1.5.1 智能合約的結(jié)構(gòu) 26
1.5.2 EOS上的智能合約及其與以太坊的對(duì)比 27
第2章 智能合約開(kāi)發(fā)實(shí)戰(zhàn)
2.1 以太坊網(wǎng)絡(luò) 29
2.2 私有鏈的搭建 30
2.2.1 geth簡(jiǎn)介 30
2.2.2 geth的安裝與配置 31
2.2.3 geth的操作及相關(guān)說(shuō)明 33
2.2.4 以太坊中的賬戶(hù)與密鑰 39
2.2.5 查看以太坊網(wǎng)絡(luò)的狀態(tài) 40
2.3 Mist和Ethereum Wallet的安裝、配置與操作 42
2.3.1 下載與安裝 42
2.3.2 通過(guò)Ethereum Wallet連接本地私有庫(kù) 42
2.3.3 用Mist實(shí)現(xiàn)多重簽名 45
2.4 以太坊智能合約開(kāi)發(fā)實(shí)戰(zhàn) 52
2.4.1 開(kāi)發(fā)環(huán)境 52
2.4.2 編寫(xiě)第一個(gè)智能合約 54
2.5 ERC-20 Token合約 58
2.5.1 Token合約概述 58
2.5.2 ERC-20 Token合約詳解 60
2.5.3 對(duì)ERC-20 Token合約的進(jìn)一步說(shuō)明 61
2.6 本章小結(jié) 63
第3章 智能合約語(yǔ)法實(shí)戰(zhàn)
3.1 造就骨架——建立合約框架 64
3.2 初添血肉——添加狀態(tài)變量 66
3.2.1 數(shù)據(jù)類(lèi)型簡(jiǎn)介 66
3.2.2 添加uint類(lèi)型的變量 67
3.2.3 添加結(jié)構(gòu)體 67
3.2.4 添加數(shù)組 68
3.3 再添經(jīng)脈——添加函數(shù) 70
3.3.1 添加一個(gè)簡(jiǎn)單的函數(shù) 70
3.3.2 添加一個(gè)復(fù)雜的函數(shù) 72
3.3.3 特別的函數(shù)——回退函數(shù) 75
3.4 與外界交互——添加事件 80
3.5 大腦的溝通——多用戶(hù)拓展 82
3.5.1 神經(jīng)的連接——映射和地址 82
3.5.2 神經(jīng)的傳輸——msg.sender 85
3.5.3 神經(jīng)興奮的判別——require()方法 87
3.5.4 生命的傳承——Inheritance 87
3.5.5 血液里的本能——“獵食”和“繁殖” 90
3.5.6 DNA的融合 91
3.5.7 各司其職的隱私——關(guān)于函數(shù)可見(jiàn)性的更多內(nèi)容 92
3.5.8 同化作用——合約交互 93
3.5.9 同化作用的結(jié)果——獲得獎(jiǎng)勵(lì) 98
3.6 高級(jí)Solidity理論 100
3.6.1 外部依賴(lài)關(guān)系 100
3.6.2 權(quán)限的產(chǎn)生——Ownable Contracts 101
3.6.3 權(quán)限的確認(rèn)——函數(shù)修飾符onlyOwner 105
3.6.4 運(yùn)轉(zhuǎn)的動(dòng)力——gas 107
3.7 Truffle的介紹與安裝 108
3.8 創(chuàng)建、部署、使用Token合約 110
3.8.1 Truffle的box和OpenZeppelin 110
3.8.2 安裝tutorialtoken box和OpenZeppelin 111
3.8.3 創(chuàng)建TutorialToken合約 112
3.8.4 合約的編譯與部署 114
3.8.5 合約操作與實(shí)踐 116
3.9 創(chuàng)建、部署、使用ICO合約 121
3.9.1 ICO簡(jiǎn)介 121
3.9.2 創(chuàng)建ICO合約 122
3.9.3 ICO合約的編譯與部署 125
3.9.4 ICO合約的操作實(shí)踐 130
3.10 本章小結(jié) 131
第4章 智能合約常見(jiàn)漏洞
4.1 智能合約審計(jì)指南 132
4.1.1 智能合約審計(jì)概述 132
4.1.2 智能合約審計(jì)報(bào)告的結(jié)構(gòu) 132
4.2 整型溢出漏洞 133
4.2.1 漏洞概述 133
4.2.2 代碼片段 133
4.2.3 漏洞分析與調(diào)試 134
4.2.4 相關(guān)案例 139
4.2.5 規(guī)避整型溢出的神器——SafeMath庫(kù) 140
4.3 重入漏洞 141
4.3.1 漏洞概述 141
4.3.2 代碼片段 148
4.3.3 漏洞分析、調(diào)試與防范 149
4.3.4 相關(guān)案例 155
4.4 訪問(wèn)控制缺陷 155
4.4.1 漏洞概述 155
4.4.2 代碼片段 156
4.4.3 漏洞分析、調(diào)試與防范 157
4.4.4 相關(guān)案例 162
4.5 特權(quán)功能暴露 162
4.5.1 漏洞概述 162
4.5.2 代碼片段 163
4.5.3 漏洞分析、調(diào)試與防范 163
4.5.4 相關(guān)案例 170
4.6 跨合約調(diào)用漏洞 170
4.6.1 漏洞概述 170
4.6.2 代碼片段 172
4.6.3 漏洞分析、調(diào)試與防范 173
4.6.4 相關(guān)案例 176
4.7 拒絕服務(wù)漏洞 177
4.7.1 漏洞概述 177
4.7.2 代碼片段 177
4.7.3 漏洞分析、調(diào)試與防范 178
4.7.4 相關(guān)案例 185
4.8 礦工特權(quán)隱患 185
4.8.1 漏洞概述 185
4.8.2 代碼片段 185
4.8.3 漏洞分析與防范 186
4.8.4 相關(guān)案例 187
4.9 短地址攻擊 187
4.9.1 漏洞概述 187
4.9.2 代碼片段 189
4.9.3 漏洞分析、調(diào)試與防范 190
4.10 tx.origin漏洞 195
4.10.1 漏洞概述 195
4.10.2 代碼片段 195
4.10.3 漏洞分析、調(diào)試與防范 195
4.11 本章小結(jié) 199
第5章 智能合約蜜罐
5.1 智能合約蜜罐概述 201
5.2 WhaleGiveaway1 201
5.2.1 蜜罐分析 201
5.2.2 代碼復(fù)現(xiàn) 203
5.3 Gift_1_ETH 207
5.3.1 蜜罐分析 207
5.3.2 代碼復(fù)現(xiàn) 210
5.4 MultiplicatorX3 213
5.4.1 蜜罐分析 213
5.4.2 代碼復(fù)現(xiàn) 215
5.5 TestBank 217
5.5.1 蜜罐分析 217
5.5.2 代碼復(fù)現(xiàn) 221
5.6 CryptoRoulette 223
5.6.1 蜜罐分析 223
5.6.2 代碼復(fù)現(xiàn) 225
5.7 OpenAddressLottery 226
5.7.1 蜜罐分析 226
5.7.2 代碼復(fù)現(xiàn) 229
5.8 KingOfTheHill 231
5.8.1 蜜罐分析 231
5.8.2 代碼復(fù)現(xiàn) 233
5.9 RACEFORETH 235
5.10 For_Test 237
5.10.1 蜜罐分析 237
5.10.2 代碼復(fù)現(xiàn) 239
5.11 DividendDistributor 240
5.11.1 蜜罐分析 240
5.11.2 代碼復(fù)現(xiàn) 244
5.12 與智能合約蜜罐相關(guān)的安全建議 246
5.13 本章小結(jié) 246
第6章 常見(jiàn)智能合約分析與審計(jì)工具
6.1 智能合約分析工具——Solgraph 247
6.1.1 Solgraph簡(jiǎn)介 247
6.1.2 Solgraph的安裝與使用 248
6.2 智能合約審計(jì)工具——mythril 250
6.2.1 mythril的安裝 251
6.2.2 mythril的使用與功能說(shuō)明 252
6.3 智能合約審計(jì)平臺(tái)——SECURIFY 257
6.3.1 SECURIFY概述 257
6.3.2 SECURIFY系統(tǒng)探究 259
6.3.3 SECURIFY的使用 261
第7章 智能合約審計(jì)實(shí)戰(zhàn)
7.1 智能合約審計(jì)清單 264
7.2 博彩游戲合約審計(jì) 265
7.2.1 合約代碼與合約功能瀏覽 265
7.2.2 審計(jì)報(bào)告 268
7.3 CryptoKitties合約審計(jì) 274
7.4 本章小結(jié) 277
第8章 智能合約字節(jié)碼解構(gòu)
8.1 打開(kāi)引擎蓋——智能合約下的字節(jié)碼 278
8.2 解構(gòu)第一步——creation 282
8.3 解構(gòu)第二步——runtime 291
8.3.1 函數(shù)選擇器 292
8.3.2 函數(shù)包裝器 295
8.3.3 函數(shù)主體 301
8.3.4 元數(shù)據(jù)散列 305
8.4 本章小結(jié) 309
參考文獻(xiàn) 310