熱點 | 獵豹楊文玉：智慧合約自動化審計存在三大問題

摘要： 近日獵豹區塊鏈研究中心安全專家楊文玉在關於如何有效保障海量智慧合約的安全的問題時表示，最好的方法是降低人工審計複雜度，採用智慧合約自動化審計。即主要通過特徵程式碼匹配、基於形式化驗證的自動化審計方法、基於符號執行和符號抽象自動化審計這三類方法。 此外，她也指出，現在自動化審計方法...

近日獵豹區塊鏈研究中心安全專家楊文玉在關於如何有效保障海量智慧合約的安全的問題時表示，最好的方法是降低人工審計複雜度，採用智慧合約自動化審計。即主要通過特徵程式碼匹配、基於形式化驗證的自動化審計方法、基於符號執行和符號抽象自動化審計這三類方法。

此外，她也指出，現在自動化審計方法處於一個很不成熟的階段，主要面臨三大問題：誤報率高，自動化程度低、依賴人工二次審計，審計時間比較長。

QBD編輯 | 南柯

優質專案“融資首發綠色通道”：創業者請加微信F2358974923，務必註明專案名稱；或傳送BP至[email protected]。

如需轉載文章請聯絡鉛筆道微信客服號鉛筆道小鉛筆（微訊號：qianbidao2018）獲取授權資質，否則我們將依法追究相關責任。