声音 | 猎豹区块链安全专家:智能合约自动化审计存在三大难题

在9月5日P.O.D大会的安全论坛上,猎豹区块链安全实验室研究员杨文玉表示,智能合约现状:过去一个月每日新增合约数量1317个,区块链基础设施9.38%,游戏和VR 4.44%,商业和零售3.6%,社交媒体与通讯3.4%。 那么如何保障海量智能合约安全呢?目前主要采用的解决方案是智能合约自动化审计,包括特征代码匹配,基于形式化验证的自动化审计,基于符号执行以及符号抽象的自动化审计,不过,自动化审计也存在三个问题:误报率高,自动化程度低、依赖人工二次审计,审计时间长。

猎豹移动旗下的RatingToken已于6月30日推出了免费的合约检测模块,尝试攻克以上三大难题,致力于为行业提供安全、快速、稳定的智能合约检测的技术解决方案。