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

[2021-01-29 09:26:07] 来源：编辑：wangjia 点击量：

评论 点击收藏

导读： 免责声明：本文不构成任何投资建议【快讯】猎豹区块链研究中心专家：智能合约自动化审计存在3大问题据36kr报道，近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约安全问题时表示，最好的

免责声明：本文不构成任何投资建议

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