请选择 进入手机版 | 继续访问电脑版
2018-9-11 09:16

猎豹区块链研究中心专家:智能合约自动化审计存在三大问题 ...

近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示,最好的方法是降低人工审计复杂度,采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。此外,她也指出,现在自动化审计方法处于一个很不成熟的阶段,主要面临三大问题:误报率高,自动化程度低、依赖人工二次审计,审计时间比较长。

发布者: 链链财经| 查看: 56| 评论: 0

返回顶部