關於形式化驗證兩大工具（VaaS & Mythril）測試對比報告

▼本文轉自『幣快報』 隨着以智能合約（Smart Contract）及區塊鏈應用（DApp）爲核心的區塊鏈2.0時代逐漸成爲主流，智能合約及區塊鏈應用的安全性也越發成爲業界備受關注的焦點。 尤其是，在經歷過諸如THE DAO、幣安被盜等事件，智能合約及區塊鏈應用的安全性究竟應該如何得到驗證和保障，業已成爲當前區塊鏈業界亟待解決的痛點。   筆者作過簡單統計，自17年9月到18年9月期間，智能合約及

>>阅读原文<<