PeckShield CEO 蒋旭宪:智能合约安全问题不可怕,预防和响应机制才是关键

在2018以太坊技术及应用大会上,PeckShield创始人兼CEO蒋旭宪在上午的会议中发表了题为《Code Is Law:以太坊智能合约面临的威胁与挑战》的演讲。

蒋旭宪简介: 蒋旭宪,PeckShield创始人兼CEO, 前360首席科学家和美国北卡州立大学终身教授。致力于改善区块链生态安全,隐私和可用性。公司最近接连发现并命名了BEC、SMT、和EDU等智能合约上的重大安全漏洞。

以下为蒋旭宪演讲实录:

感谢主办方,让我荣幸参加本次社区活动,有机会与大家分享以太坊智能合约面临的威胁和挑战,这也是我们团队最近在做的。

我将从以下几部分来作简单介绍:

第一部分,介绍以太坊当前生态现状;

第二部分,讨论制能合约的安全问题;

第三部分,下一步思考。

视频内容

蒋旭宪在2018以太坊技术及应用大会上的现场演讲视频

一、以太坊生态现状

上周引用网站做的一个分析报告:2017年上线了1000多个去中心化的应用,同时超过700个在各个不同交易所可以交易代币。

这个生态确实很有吸引力,平均每天有10万的新用户加入以太坊生态圈,加入的用户也非常活跃,平均每天在以太坊上的日均交易超过100万次,这是非常惊人的数据,同时也说明社区非常有活力。这么有活力的社区也解释了为什么数字加密货币的市场现在如此火爆。

这里引用国外自媒体网站CoinMarketCap的数据,它统计了1640个虚拟货币,市场规模超过了市值3300亿美元。如果与国民生产总值作比较,当前市场规模已经在全球排名第28位。这个市场规模很大一部分原因得益于以太坊部署。

二、智能合约的安全问题

每个发行的币都会在以太坊上部署一个智能合约 ,智能合约掌控着代币的发行、相互之间的转换。

这里我列出2015年8月份到最近一个月的数据,这个数据表明每个月新部署的智能合约数据,大家可以看看以太坊的火爆时间段是否与这个数据吻合?

蒋涛分享到它最火爆的时候,同时也是中国开发者加入的时候,是在2017年的下半年,跟这里智能合约部署的趋势是吻合的。智能合约部署是2017年5月份开始获得了长足增长,在2017年9月份开始下滑,但2017年10月份数据又得到长足增长,然后慢慢稳定下来,到2018年的4月份数据慢慢降落了。

大家能够猜到2017年9月份发生了什么事件。这说明国家政策的监管对于以太坊的智能合约部署或代币发行所起到的作用是相当大的。

而且,这个发展的背后还伴随着我们所不想看到的安全事件。

这些安全事件在区块链的各个环节,包括:交易所、矿池、钱包、智能合约 。

关于交易所,今年3月份交易所被攻击的事件;

关于矿池,在上个月遭到了51%算力的攻击,发生了“双花现象”;

关于钱包,2018年4月份全球最大的基于网页的数字钱包域名被劫持;

关于智能合约 ,以太坊最明显的攻击,2018年4月份有关于美链等智能合约的漏洞,5月份有关于EDU等智能合约的漏洞 。

已公开的漏洞直接影响各大交易所,包括停止代币的发行、充值或提现。目前还有不少未公开的漏洞 ,我们会联系相关的项目方和相关交易所,逐步跟他们验证相关的数据。

因为这是开发者社区,接下来我们会挑两个例子,跟大家分享一下漏洞的原理。希望大家以后在做项目开发时,就能够避免出现相关的问题:

第一个漏洞 ,是关于transferFlaw,也就是大家所理解的偷币漏洞 。如果用户持有一个代币,而它背后对应的智能合约出现这样安全漏洞,攻击者就可以把这些代币从你的钱包里全部转走。

这里列出了一个有漏洞的transferFlaw,其中有三个参数,这是交易的数值,代码49-51行是做初步的检查,以确保这个参数是有效的;53行和54行计算了转出方本身所有的余额,并保存在fromBalance,同时统计了这次允许转出的额度;根据计算出来的变量,在56行和57行,跟当前交易的数值做比较,然后计算两个条件判断:本次交易转出方是否有足够的帐户余额允许做交易,转出方是否有足够的授权来做交易。大家需要关注一下第58行代码,只是简单验证一下:如果把这部分钱或者代币转入转入方,转入方的余额会不会造成溢出。这三个条件加起来就是代码行满足条件下授权这次交易。

大家能够意识到代码行里的判断条件,特别是在56行,如果判断交易的转出方有足够余额,后面的fromBalance不是小于等于value,应该是大于等于value;57行应该是也大于等于value;58行不应该是大于,而应该是小于。

我放一个简单的视频,这里有两个数字钱包:左边数字钱包是一个普通用户的,他有1.2345个UET代币,是我们自己花钱去买的;右边的数字钱包是攻击者的,攻击者开始的代币余额是零。攻击发生的时候,这些UET代币为什么就从用户的数字钱包转到了攻击者钱包的?因为这个漏洞的存在,即使这个用户用的是冷钱包,这些钱也都可以被转走。大家关注一下这个余额的情况,从用户手上转到了攻击者手上。

第二个漏洞是multiOverflow。前面那笔是普通的交易,从转出方转入转入方。但交易一次一次去做的话,可能会引起比较高的交易费用,transferMulti函数的作用就是把多笔的单笔交易组成一个批处理。

它有两个参数,就是转入方和转入的数值。

这里面拥有多笔交易,它做成数组,代码行247和248数值长度是一样的,这是有效的数据,数值长度就变成当前有多少个单笔交易。

代码行249-251相当于把这些要转出的交易的数值做了一个加法,获取总值之后判断转出方是否有足够的余额去授权管理。但因为这个漏洞存在,能够感觉到这个变量有可能溢出,有可能变成零。

假设这个数值有两个地址,一个1、一个2,数值等于2的255次方,2个255次方相加得到256次方,造成的条件相当于转出方的余额大于等于1;后面的循环会把单笔交易的value转到转入方,同时转出方做相减,转出方加这个值等于2的255次方,形成无限生成代币漏洞 。

我们发现有几家正在做的项目已经受到影响,我们第一时间跟他们同步,他们马上更换了智能合约 ,把漏洞做了修改,重新部署上线。

这是转帐的视频,两个手机和钱包都是攻击者的,开始的余额全是零。大家看看余额的变化情况,这么大的数值相当于2的255次方。

看到这个漏洞大家不要觉得很恐慌,最主要的是要开始思考在资产上线可能面临的安全风险。

三、下一步思考:保护措施和防范机制

在资产上线时,一定要考虑到保护措施和防范机制:

第一,上线前一定要对智能合约做相对完整和客观的审计。

第二,上线后一定要注意应急响应。

比如监控你们的智能合约有没有可能有异常交易情况,把这个放到应急响应去,第一时间就知道这个智能合约是否被攻击了。同时,开发业务项目方里有应急响应团队,可以及时做出反应。

第三,希望项目方和交易所有相应的漏洞奖励计划,形成一个健康的生态。

以上便是我对以太坊以及智能合约的一些认识。

原文发布于微信公众号 - 区块链大本营(blockchain_camp)

原文发表时间:2018-06-04

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏企鹅号快讯

区块链里边的公有链、私有链、侧链是什么?

参加区块链技术交流会回来,刷专区的时候,有朋友发消息来询问我关于区块链分类的事,在此我翻阅了很多资料,现在用简洁的语言来普及一下关于区块链分类。 ? 区块链按照...

31090
来自专栏BlockChain

[海豚区块链] 白话区块链技术名词

区块链像是一匹惹人注目的野马,正英姿勃勃奔跑在辽阔的资本大陆上。关于比特币、以太坊、EOS的任何一个新闻,都会迅速登上各大区块链媒体的头条,任何一个代币的发行,...

19430
来自专栏域名资讯

豪气十足!“加密率”英文域名超65万售出

加密货币是一种匿名性的虚拟货币。它依据全世界的计算机运算一组方程式开源代码,通过计算机显卡、cpu大量的运算处理产生,并使用密码学的设计来确保货币流通各...

21170
来自专栏区块链大本营

全球近1/5的比特币已经永久丢失!三种方法让你找回丢失的比特币

拥有比特币的第一条规则就是安全地保存你的私钥,然而,比特币持有者们在这方面做的并不是很好。

11420
来自专栏安智客

简明区块链原理

“区块链”应有特质: · 使用了具有 "哈希链" (下文有解释) 形式的数据结构保存基础数据 · 有多个结点参与系统运行(分布式) · 通过一定的协议或算法对于...

97650
来自专栏Fred Liang

PM组会区块链补充分享内容

14030
来自专栏Python私房菜

最爱你的人,会让你不费脑细胞的理解区块链

区块链是一个近期非常火的概念,随便走进一个写字楼的电梯,都会听到有人谈论区块链,或者炒币: ) 希望通过这篇文章,能让你对区块链的概念有一个整体的认识,在理解概...

10620
来自专栏区块链大本营

麻将算什么? 纽约时报竟然暗藏着世界上最早的区块链

随着加密货币的火热,区块链自去年以来一直充斥着人们的茶余饭后,甚至连街边的大妈说起区块链都头头是道,不知道大家是通过什么途径听说区块链的。

12720
来自专栏区块链大本营

你为啥总给自己搞不懂区块链找理由?如果1750年的人都能搞懂,你还有理由?

34460
来自专栏欧阳大哥的轮子

用脑残的方式来理解虚拟货币和区块链技术

最近比特币等虚拟货币价格大涨,造就了N多的富翁和负翁。现在到处都在谈论区块链技术,貌似不知道一点或者不谈论这些都不好意思说自己是IT人员一样。其实一直以来我也就...

12020

扫码关注云+社区

领取腾讯云代金券