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

2476 天前

09月10日，星期一 02:11

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

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

SOL跌破131美元，日内下跌 6.73%

火讯财经讯，6月22日消息，欧易OKX行情显示，SOL急剧下跌，目前已跌至130.87美元/枚，日内下跌6.73%。

1 分钟前
BTC跌破102000美元，日内下跌 1.61%

火讯财经讯，6月22日消息，欧易OKX行情显示，BTC刚刚跌破102000美元，现报101900.00美元/枚，日内下跌1.61%。

31 分钟前
ETH跌破2300美元，日内下跌 5.21%

火讯财经讯，6月22日消息，欧易OKX行情显示，ETH刚刚跌破2300美元，现报2297.30美元/枚，日内下跌5.21%。

31 分钟前
BTC跌破103000美元，日内下跌 0.58%

火讯财经讯，6月22日消息，欧易OKX行情显示，BTC刚刚跌破103000美元，现报102966.10美元/枚，日内下跌0.58%。

3 小时前
ETH跌破2400美元，日内下跌 0.98%

火讯财经讯，6月22日消息，欧易OKX行情显示，ETH刚刚跌破2400美元，现报2399.89美元/枚，日内下跌0.98%。

4 小时前

2476 天前

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

SOL跌破131美元，日内下跌 6.73%

BTC跌破102000美元，日内下跌 1.61%

ETH跌破2300美元，日内下跌 5.21%

BTC跌破103000美元，日内下跌 0.58%

ETH跌破2400美元，日内下跌 0.98%

友情链接：