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

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

>>阅读原文<<