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

前言

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

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

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

Wework创始人新项目Flowcarbon公布其区块链市场基础设施合作伙伴:8月23日消息,Wework 创始人创立的区块链碳信用交易平台 Flowcarbon 公布了其关键区块链市场基础设施合作伙伴,包括去中心化交易平台和自动化做市商协议 Ubeswap、交易路由器和软件开发工具包 (SDK) Node Finance、移动钱包 Valora 以及 dapp Flywallet,它们将在 Celo 区块链上使用 Flowcarbon 的 Token 化碳信用创建基础设施。

此前报道,Flowcarbon 于今年五月完成 7000 万美元融资,a16z 领投。(businesswire)[2022/8/23 12:43:33]

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

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

历史上的今天丨全国首张区块链交通类财政票据开出:2019年11月14日,从深圳市财政局获悉,全国首张交通罚款区块链财政电子票据近日在市交警局开具,这也是深圳市首张区块链财政电子票据。作为市财政局积极推动区块链技术在民生领域应用的创新举措,后续将在医疗卫生等领域继续实现深度探索。下一步,深圳市财政局将在医疗卫生领域继续探索推动区块链财政电子票据应用,深化“最多跑一次”改革,为人民群众提供更加智能、便捷、安全的服务。[2020/11/14 20:50:07]

1)特征代码匹配

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

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

姚前:央行可利用区块链整合分布式运营,更好实现对CBDC的中心化管控:今日,国务院参事室研究员、前中国人民银行数字货币研究所所长姚前发文《姚前:区块链与央行数字货币》指出:目前大多数国家的央行数字货币实验都是基于区块链技术展开的。但时至今日,CBDC是否采用区块链技术依然存有争议,一种典型的观点是区块链的去中心化与中央银行的集中管理存在冲突,因此不建议CBDC采用该技术。笔者认为,虽然区块链的技术特点是不依赖中心机构,但不代表其不能纳入到现有中心机构的体系内,只要通过合理的设计,中央银行恰恰可以利用区块链将分布式运营有效整合起来,更好地实现对CBDC的中心化管控,两者并不存在必然冲突。(第一财经)[2020/4/2]

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

声音 | Bigbang Angels CEO:区块链的核心价值就是资产的无国界流动:金色财经现场报道,12月20日,Bigbang Angels CEO Byeongseon Hwang在由金色财经主办的金色沙龙韩国站现场进行主题演讲时表示,传统的股份无法解决资产的流动性问题,而数字资产能够很好的解决这一问题。他说,区块链的核心价值就是无论什么资产都能超越国界进行流动。[2018/12/20]

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

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

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

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

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

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

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

1)自动化

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

2)准确性

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

3)高效率

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

4)无风险

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

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

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

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

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

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

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

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

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

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

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

水星链

[0:15ms0-1:17ms