PANews 12月25日消息，近日，成都鏈安推出全球首個Fabric鏈碼自動形式化驗證工具--Beosin-VaaS for Fabric，為鏈碼提供“軍事級”的安全驗證。 Fabric-VaaS針對Hyperledger Fabric 智能合約，利用形式化驗證對合約源碼進行檢測，可以驗證20餘種人工難以察覺的風險、能夠對fabric合約系統進行建模，並通過安全規則庫驗證是否存在安全風險、並通過API和插件等方式對外提供服務，更快捷、更安全、更高效。全球首個Fabric鏈碼自動形式化驗證工具--Beosin-VaaS for Fabric的推出，為鏈碼提供“軍事級”的安全驗證。有效檢測Fabric鏈碼常規安全漏洞，並向用戶提供漏洞修復建議，為區塊鏈落地應用安全護航。