猎豹区快链研究中心专家：智能合约自动化审计存在三大问题
据36kr报道，近日猎豹区快链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示，最好的方法是降低人工审计复杂度，采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。
此外，她也指出，现在自动化审计方法处于一个很不成熟的阶段，主要面临三大问题：误报率高，自动化程度低、依赖人工二次审计，审计时间比较长。
打赏
猎豹区快链研究中心专家：智能合约自动化审计存在三大问题猎豹区快链研究中心专家：智能合约自动化审计存在三大问题
据36kr报道，近日猎豹区快链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示，最好的方法是降低人工审计复杂度，采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。
此外，她也指出，现在自动化审计方法处于一个很不成熟的阶段，主要面临三大问题：误报率高，自动化程度低、依赖人工二次审计，审计时间比较长。 打赏 报告显示基于区快链的自治性保险正在出现 将颠覆传统保险业根据ResearchAndMarkets.com 发布的最新Peer2Peer Insurance Global 2018中显示区快链技术和点对点（P2P）保险模式正在重塑保险领域。该研究指出，最近出现阿联酋将批准一项ICO监管计划 将视其为证券阿联酋证券和商品管理局(SCA)主席兼经济部长周日表示，该局已批准了一项计划，对首次硬币发行(ICOs)进行监管，并将其视为证券。在此之前，SCA审查了一项关于最佳国际惯例的更多> 同类区快链圈
更多> 最新资讯
|