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

前言

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

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

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

湖南股交所获批中国证监会“区块链建设试点”资格:12月6日消息,近日,中国证监会发布《关于原则同意天津等12家区域性股权市场开展区块链建设试点工作的函》(证监办函[2021]869号),湖南股交所获批“区块链建设试点”资格,标志着湖南区域性股权市场打造地方金融基础设施数字化平台迎来新征程。区域性股权市场作为地方重要的金融基础设施,建设服务中小微企业规范、融资的区块链服务平台,将成为湖南省政府打造“区块链+大金融”的典型应用示范工程。(新浪网)[2021/12/6 12:53:02]

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

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

1)特征代码匹配

声音 | 宜信创始人唐宁:区块链技术带来新的商业模式:据企业观察报消息,宜信公司创始人兼首席执行官唐宁表示,区块链技术带来的应是新的商业模式,通过不同的金融机构、行业上中下游各方一起利用区块链技术,形成全新的合作模式,创造更多的商业机会,大幅地提升效率、降低风险、降低成本。[2019/11/10]

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

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

动态 | 俄罗斯萨拉托夫州4万人参与区块链选举:据cointelegraph报道,根据12月18日的新闻稿,俄罗斯南部地区的萨拉托夫州已经成功举办了区块链选举,共有4万人参加。参与者通过由卡巴斯基实验室于2017年开发的区块链驱动的电子投票系统Polys投票选举当地青年议会成员。根据新闻稿,分散的网络部署在110个投票站,选举持续了7个小时。[2018/12/19]

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

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

声音 | 重庆大学齐爱民:政府需加强对区块链电商的研究:据中国青年报报道,《电子商务法》实施在即,业界呼吁尽快出台司法解释,以保证电商法的实施效力。重庆大学网络与大数据战略研究院院长齐爱民表示,要特别留意区块链电商的兴起。齐爱民指出,未来,区块链技术与电子商务的结合,将使得电子商务交易模式、平台运营呈现出新的形态,需要政府加强对区块链电商的研究,尤其是区块链电商平台与传统电子商务平台在法律责任承担上的异同。[2018/9/11]

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

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

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

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

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

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

1)自动化

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

2)准确性

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

3)高效率

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

4)无风险

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

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

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

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

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

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

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

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

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

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

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

大币网

[0:15ms0-7:17ms