【快訊】中國區塊鏈產業白皮書發佈 鏈安科技榜上有名

編輯：鉛筆盒

今日，工信部發布了《2018 中國區塊鏈產業白皮書》，在“區塊鏈安全保護”章節中，詳細介紹了成都鏈安科技有限公司研發的 VaaS 平臺。該平臺可對區塊鏈智能合約進行形式化驗證，目前已經支持以太坊和 EOS 等主流平臺，並與國內外 10 餘家區塊鏈企業進行了合作。VaaS 爲智能合約提供的高度自動化的形式化驗證工具，可極大地提高智能合約的安全性和可靠性，使其達到“軍事級”安全性要求。防止合約安全漏洞帶來的重大損失。

來源鏈接：chainb.com