区块链:区块链安全100问 | 第八篇:智能合约自动化审计介绍

前言

当前区块链技术和应用尚处于快速发展的初级阶段,面临的安全风险种类繁多,从区块链生态应用的安全,到智能合约安全,共识机制安全和底层基础组件安全,安全问题分布广泛且危险性高,对生态体系,安全审计,技术架构,隐私数据保护和基础设施的全局发展提出了全新的考验。

PART01-智能合约自动化审计介绍

随着区块链技术越来越火,并在不同的行业有所应用,如金融、游戏、版权、溯源等;其中出现过不少的安全问题,尤其是区块链的智能合约发展至今,暴露出的问题不少,智能合约的正确性和安全性面临着巨大的问题;在海量的智能合约中,最好的一种设想就是通过自动化审计来降低人工审计的复杂度。同时市场上有安全公司,也推出各自的智能合约自动化安全审计平台,那么今天我们就来介绍一下智能合约自动化审计。

中国工程院院士:区块链等是政府治理现代化的有力工具:中国工程院院士、湖南工商大学校长陈晓红委员在接受采访时表示,党的十九届四中全会提出“推进国家治理体系和治理能力现代化”,以大数据、物联网、云计算、区块链、人工智能等为代表的新一代信息技术正是政府治理现代化的有力工具。(光明日报)[2020/5/26]

我们把自动化审计分为三个部分:

第一种就是特征代码的匹配;第二类就是基于形态化验证的自动化审计;最后一类是基于符号执行和符号抽象的自动化审计。

1)特征代码匹配

首先特定代码匹配。大家从名字上来看应该就能理解到,其实就是对恶意代码进行一些提取抽象,像我们之前做的代码静态检测,我们抽样成一种语义匹配,然后再去匹配它的静态源代码。

声音 | 朱嘉明:区块链将是重建人类信任的基础结构:2020年1月15日,由中关村管委会指导、中关村股权投资协会主办,零壹财经作为战略合作媒体的第八届“国际视野下的创新与资本论坛”在北京四季酒店召开。论坛上,著名经济学家、数字资产研究院学术与技术委员会主席朱嘉明教授带来主题演讲《积极面对全球性信任危机和信任赤字的挑战--区块链将是重建人类信任的基础结构》。朱嘉明指出,数字经济时代,人类社会正面临着日益严重的“信任危机”,与此同时,应对信任危机的传统手段失灵,政府等组织形态的影响机制丧失。而区块链具有的分布式的节点网络、大数据与算法、智能合约等优势,将使得区块链成为支持世界级共识的基础结构。(腾讯网)[2020/1/15]

这种审计的方法的优点是显而易见的,比如说速度很快,因为它就是对源码进行一个字符串的匹配。第二是它能够迅速地响应新的漏洞,因为这种审计方法大部分是以插件形式开发,比如出现了一个新的漏洞,我们就可以快速提交一些新的匹配模式。

动态 | 日本青森银行向SBI旗下区块链领域投资基金出资3亿日元:据日经新闻消息,日本青森银行已向AI及区块链领域投资基金“SBI AI&Blockchain Fund”出资3亿日元(约1860万元人民币),以发现有潜力的初创公司。SBI AI&Blockchain Fund由SBI全资子公司SBI Investment设立,目前基金已从投资机构及地方银行获得了总计600亿日元(约37亿元人民币)的资金。[2019/1/24]

那么它的缺点在哪里呢?我们所理解的现在的区块链都应该是公开透明的,但实际情况并不是这样,我们大概做了一个统计,目前在以太坊上其实有超过一半的智能合约是不开源的,只暴露一个OPCODE。

OPCODE的分析对于安全人员来说也面临着巨大的挑战,有些人费了十分大的力气,去逆向OPCODE,这就导致了它的适用范围极为有限。

美国联合健康集团和哈门那公司正在启动试点研究区块链技术追踪医疗服务提供者信息:据CNBC消息,美国联合健康集团(UnitedHealth Group)和美国哈门那公司(Humana,美国医疗健康服务的主要提供者)正在启动一项试点计划,以研究区块链技术是否有助于追踪医疗服务提供者(主要指为患者提供在线诊疗的医生)的信息。当前,更新和追踪医疗服务提供者信息的行政费用高达每年20多亿美元。另据美国联邦卫生官员统计,2016年有近一半的美国医疗保险优惠计划中的服务提供者信息不准确,包括地址和电话号码。[2018/4/2]

其次就是漏报率高。因为它的一些静态审计方法其实并不和传统的静态代码审计方法一致,传统的静态审计方法,比如说APP检测,会调用库里面,确定稳定的一些函数,来对它进行审计,但智能合约里面它的一些函数、它一些特征等等,还是变化性比较多的,所以说它的漏报率会比较高。

2)基于形式化验证的自动化审计

使用形式化验证来审计智能合约安全,将EVM编译后的一些OPCODE,通过特定描述语言转化成了一个形式化的model,然后通过形式化model的验证来去判断它代码中的逻辑是否存在问题。

3)基于符号执行、符号抽象的自动化审计

基于符号执行、符号抽象的自动化审计检测出来的数据还是需要人工进行二次确认,这个工作其实是非常繁琐。

PART02-一个出色的智能合约自动化审计系统该满足什么条件?

1)自动化

要求对智能合约的安全审计,要全自动,或者至少是半自动的,即上传合约源代码或提供智能合约的token地址,即可由系统,自动化进行合约的安全扫描。并且能够按需要配置为周期调度自动进行调度审计。

2)准确性

要求对智能合约的安全审计,误报率低。

3)高效率

要求对智能合约的安全审计必须是高效的,即要求审计的时间不能太长,越快越好。

4)无风险

要求对智能合约的安全审计不会破坏或修改原有的合约的功能。

只有做到了以上4点,才是一个基本合格的智能合约自动化审计系统。

除此之外,如果要做得更加的专业,更出色,还需要满足下面的四个需求:

第一、系统具有智能合约的当前标准规范管理;这样一来,使用者可以在系统上传,下载标准规范进行参考。如果说审计出来的安全问题,能与标准规范相对应,并定位到标准规范是最好的,但是当对智能合约安全审计的标准规范不细或缺乏,做到这一点太难了。

第二、系统的使用操作体验要好;简单举例:

可以采用向导式,引导用户熟悉系统的功能操作。

具备用户自定义合约的行业分类以及所属厂商分类等。

审计出来的安全问题,能定位到行列,并至少能提供此安全问题的修正安全,当然,有自动化修正更好,具备自动化修正功能,相应提供保留原内容的版本,以便可进行回退和比较。

第三、易扩展;当前,区块链的平台技术以及安全专家针对区块链智能合约发现的安全问题的checklist是不断演进的,系统应很好的解决这方面的需求,就需要系统有一个很好的易扩展的设计要求。

第四、对安全审计结果报告展现丰富;能导出PDF,EXCEL,WORD,HTML格式是必需的,报告的展现应有图表,表格元素的体现,当然,要做好这点,需要你对系统的使用方有更多的了解,针对用户做些定制他们关注的报告就更出彩了;报告出彩的功能还可以是报告中有审计历史对比趋势分析等。

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

金星链

[0:15ms0-1:43ms