主流自動化智能合約審計工具橫向對比測試

本文將成都鏈安科技有限公司開發的VaaS-ETH自動智能合約形式化驗證平臺精簡版與國際知名的類似產品，如SmartDec、Securify、QSP進行了橫向對比測試。測試結果表明，VaaS-ETH在安全檢測精確度、檢測能力、結果分析、用戶體驗等方面均存在較大優勢。 本文分爲兩個部分，使用兩個功能不同的案例合約，分別爲代幣合約和競拍合約。 智能合約安全檢測項：包括10大類，27小項 1 . ERC2

>>阅读原文<<