区块链:合约变量的“皇帝新衣” |成都链安漏洞分析连载第九期 ——外部读取状态变量

针对区块链安全问题,成都链安科技团队每一周都将出智能合约安全漏洞解析连载,希望能帮助程序员写出更加安全牢固的合约,防患于未然。引子:外以欺于人,内以欺于心–唐·韩愈《原毁》前景提要

上回书,转账过程纷繁复杂,安全应对各个击破。面对直接涉及以太转账的游戏合约,在使用官方提供的转账函数同时,添加不同账户类型的区别处理以及失败情况下的异常处理乃明智之举。此外,构建合约逻辑避免依赖于合约余额确切值应铭记在心,如有特殊考虑,切记定义状态变量明确余额变化,万不可想当然而为之。本期话题

第九回,合约安全隐私未必,外部读取暴露无遗。

我们在前几回主要讨论的都是在合约内部构建函数和代码书写规范时产生的一些误区和安全隐患。但是对于智能合约这个崭新的概念,仅仅从合约层面本身考虑合约的安全可能并不足够。合约开发者在这个产业蓬勃发展的过程当中,为了赶上项目进度,不得以边学习边实践,即使在代码书写层面功底很扎实的情况下,仍然会因为区块链技术的特殊性埋藏一些不自知的安全隐患。所以,这一回我们将要阐述的安全隐患就是因为“合约中的一切都是公开可见”这一特性造成的。基础小知识

SumSwap用户认购SUM1%释放合约已打开:据官方消息,SumSwap已打开每日释放认购用户1%SUM的合约功能,合约功能打开后,经过5400个以太坊区块,认购的1%SUM将被释放。之后节点及会员用户可登录相关页面查询自己的释放数量。该功能打开后,每过5400个以太坊区块链,即大约一整天时间,将再次释放用户认购SUM的1%,直至释放完毕。[2021/7/6 0:31:46]

在第七期的关于未初始化局部变量中我们介绍了变量存储的知识。Solidity对复杂的数据类型,比如数组和结构体,会默认存储在Storage当中。没有提到的是关于智能合约中对于变量从作用域的划分。目前的划分包括三种,全局公有变量,全局私有变量,局部变量。其中,全局变量一般储存在storage当中,而结构、数组或映射类型的局部变量,默认会放在存储storage中,除结构、数组及映射类型之外的局部变量,会储存在栈中。公有和私有是可见性说明符,公有变量在合约内部外部均可见,而私有变量仅在当前合约可见。另外还有两个可见性类别在这里我们也介绍一下:external,表示仅在外部可见,即仅可用于消息调用;internal,仅在内部可见,表示的意思是仅在Solidity合约与子合约均可见,不仅限于当前合约内。问题出在哪

58COIN交割合约24H行情9:00播报:截至9:00,据58COIN交割合约行情:

BTC合约现报价10570.29美元,较现货贴水23.88美元,24h涨跌幅-1.49%。成交量1151.59万手,成交额24428.03万美元,当前持仓总量186.58万手,较上一交易日变化11.89万手。

EOS合约现报价2.65美元,较现货贴水0.0059美元,24h涨跌幅5.12%。成交量736.03万手,成交额4038.36万美元,当前持仓总量330.49万手,较上一交易日变化-10.42万手。

ETH合约现报价338.56美元,较现货贴水0.68美元,24h涨跌幅-3.66%。成交量329.28万手,成交额5694.78万美元,当前持仓总量129.39万手,较上一交易日变化-8.60万手。[2020/10/7]

由于状态变量一般是需要永久存储的变量,所以一定会储存在storage中,联系第七期的知识,storage是存在于区块链当中的,可以类比为计算机的存储磁盘。那么状态变量其实一直存在于区块链当中,对于结构、数组或映射类型的局部变量也是同样的道理。这样一来,即使加上了可见性说明符,例如私有状态变量,根据区块链公开的特性,它也还会是公开的,因为这个私有仅限于合约层面的私有,合约之外依然可以读取。这个附加的可见性说明符就像子给皇帝穿上的新衣,以“”到合约层面的函数和变量,在合约外部却形同虚设。那么,从外部如何读取状态变量呢,下面我们从合约外部的角度分析具体的流程。如何从合约外部读取变量

MXC抹茶7月8日23:00上线ADAUSDT永续合约:MXC抹茶7月8日23:00上线ADAUSDT永续合约。据MXC抹茶官方公告,ADAUSDT永续合约支持1-50倍杠杆自由调节,用户可根据交易习惯选择全仓或逐仓模式进行开仓。

MXC抹茶新版合约对盘口价差和交易深度进行了大幅优化,目前正向永续合约已涵盖BTC、ETH、EOS、BCH、LTC、ETC、XRP、BSV、LINK、ATOM、ONT、ZEC等17个币种,其中,BTC盘口价差稳定在0.5 USDT,ADA盘口价差稳定在0.0001 USDT。详情请阅读相关公告。[2020/7/8]

一、状态变量接着上面的概念,合约的状态变量都是存在于区块链中,就像存储在磁盘中的文件,因此,那么我们可以直接通过访问区块链获取这些状态变量的值。例如针对以下案例合约进行全真模拟操作:将上面的合约部署在ropsten测试链上,获得地址0x9e550E6911b38412964C5C956383757c9FA7F860,然后登陆METAMASK钱包进入浏览器控制台console:1.查看变量a,输入:web3.eth.getStorageAt('0x9e550E6911b38412964C5C956383757c9FA7F860',0,function(x,y){console.log(y。)会得到:2.查看变量str获取16进制结果,输入:web3.eth.getStorageAt('0x9e550E6911b38412964C5C956383757c9FA7F860',1,function(x,y){console.log(y。)转换为字符串,输入:web3.eth.getStorageAt('0x9e550E6911b38412964C5C956383757c9FA7F860',1,function(x,y){console.log(web3.toAscii(y)。)会得到:3.查看ownerweb3.eth.getStorageAt('0x9e550E6911b38412964C5C956383757c9FA7F860',2,function(x,y){console.log(y。)4.查看balanceOf这个稍微复杂一些,由于映射变量不是按照定长变量的顺序存储,其是一个键值对,EVM采用的机制是将其存在sha3(key+slot)处输入进控制台,得到:二、局部变量局部变量直接编码到opcode中,例如上面合约localVar函数中的local变量三、建议上面的读取操作验证了只要是储存在storage里面的变量,都是可以通过不执行合约函数就直接获取的。因此,依赖可见性说明符,将隐私,不可公开的数据存储在区块链上是很不安全的做法。如果真的要将隐私数据储存在区块链中,也要进行相应的加密处理。欲穷千里目更上一层楼区块链时代的安全包含传统互联网安全,智能合约安全等多个方面,对于合约层面的安全考量固然是一方面,但是对于数据存储方面,不沿用互联网安全的理念,盲目信赖新技术却又不深入挖掘新技术某些特性、限制条件、特殊情况,势必无法做到真正意义上的全面防护。目前区块链产业步伐放缓,正是我们深入学习了解这个领域的最佳时机,也是这个产业提升稳健性的最佳契机。更上层楼,与君共勉。参考资料:

OKEx将于今日16:00-17:00进行LTC交割合约系统升级:OKEx官方刚刚发布公告称,将在6月2日16:00-17:00进行LTC交割合约系统升级。升级期间,LTCUSD与LTCUSDT交割合约将暂停交易,行情更新、开平仓、撤单、追加保证金、资金划转等功能将无法使用,影响范围包括WEB端、APP端、PC客户端、API端(查询及操作)。升级期间,其他业务线及交割业务下其他合约的正常交易不受影响。预计升级将持续60分钟。[2020/6/2]

:以太坊智能合约OPCODE逆向之理论基础篇:https://paper.seebug.org/640/:可见性和getter函数:https://solidity-cn.readthedocs.io/zh/develop/contracts.html#getter:JSON-RPC#eth_getstorageat:https://github.com/ethereum/wiki/wiki/JSON-RPC#eth_getstorageat:以太坊数据存储的思考和解读:https://blog.csdn.net/Blockchain_lemon/article/details/79308137:HowtoreadEthereumcontractstorage:https://medium.com/aigang-network/how-to-read-ethereum-contract-storage-44252c8af925相关阅读:链安团队漏洞分析连载第一期一一溢出漏洞链安团队漏洞分析连载第二期——拒绝服务漏洞链安团队漏洞分析连载第三期——竞态条件漏洞链安团队漏洞分析连载第四期——底层函数误用漏洞链安团队漏洞分析连载第五期一一权限验证错误链安团队漏洞分析连载第六期一一游戏合约漏洞全面汇总链安团队漏洞分析连载第七期一一存储器局部变量未初始化链安团队漏洞分析连载第八期一一以太坊转账安全风险

现场 | Bill Fuggle:智能合约之外依然需要律师 国家制定规范促进行业进入更光明时期:金色财经7月2日现场报道,在台北举办的2108亚洲区块链峰会(ABS)上, Lee and Li律师事务所合伙人指出,虽然区块链带来了智能合约,但依然需要律师参与其中。如果完全按照市场“看不见的手”来运行,会存在管理风险,而更多律师在法律角度上参与可以提高信任。律师的参与有助于提高智能合约的透明度,不只让公司,更让更广大的参与者进行监督。从国家的角度来规范也十分重要,以实现更高的透明度,让区块链行业发展进入更光明的时期。[2018/7/2]

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

DOGE区块链:一个区块链项目的 40 种死法

编者按:本文来自链捕手,作者:Frank,编辑:潘宇波,星球日报经授权发布。区块链项目的死亡高峰期已至,它们为何会失败?很多人认为是因为熊市,但真凶却另有答案.

比特币行情EOS:区块链安全事件盘点(九月、十月)

在区块链行业,安全问题是最根本的问题,相信你一定听过“1行代码损失几十亿”、“干了一年被黑客一夜搞走”等言论,因为区块链发展还处于早期,加上一旦上链就不可篡改等特性,让它成为了黑客攻击的重灾区.

[0:15ms0-0:967ms