PANews 12月25日消息，近日，成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric，为链码提供“军事级”的安全验证。Fabric-VaaS针对Hyperledger Fabric 智能合约，利用形式化验证对合约源码进行检测，可以验证20余种人工难以察觉的风险、能够对fabric合约系统进行建模，并通过安全规则库验证是否存在安全风险、并通过API和插件等方式对外提供服务，更快捷、更安全、更高效。全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric的推出，为链码提供“军事级”的安全验证。有效检测Fabric链码常规安全漏洞，并向用户提供漏洞修复建议，为区块链落地应用安全护航。