聲音|獵豹區塊鏈研究中心楊文玉：智慧合約自動化審計存在三大問題

耳朵財經9月10日訊，據36kr報道，近日獵豹區塊鏈研究中心安全專家楊文玉在關於如何有效保障海量智慧合約的安全的問題時表示，最好的方法是降低人工審計複雜度，採用智慧合約自動化審計。即主要通過特徵程式碼匹配、基於形式化驗證的自動化審計方法、基於符號執行和符號抽象自動化審計這三類方法。此外，她也指出，現在自動化審計方法處於一個很不成熟的階段，主要面臨三大問題：誤報率高，自動化程度低、依賴人工二次審計，審計時間比較長。