成都链安推出针对 Fabric 链码的自动形式化验证工具，可验证 20 余种人工难以察觉的风险

区快洞察消息，区块链安全公司成都链安宣布推出针对「Fabric 链码」的自动形式化验证工具「Beosin-VaaS for Fabric」，链安表示这将会为链码提供「军事级」的安全验证。HyperLEDger Fabric 是 Linux 基金会旗下的开源区块链平台，IBM 、AWS、SAP、Oracle、蚂蚁金服、腾讯、百度、华为等企业均推出了基于 Fabric 的区块链解决方案。据成都链安介绍，智能合约在 Fabric 中被称为「链码」（Chaincode），由于区块链的分布式特性，如果链码存在安全问题将直接导致企业遭受损失，链码的更新和维护均需要较大成本，如果链码因为安全问题需要更新，也将使企业花费较大的人力和物力，所以成都链安推出了全球首个 Fabric 链码自动形式化验证工具。Fabric-VaaS 服务将针对 Hyperledger Fabric 智能合约，利用形式化验证对合约源码进行检测，可以验证 20 余种人工难以察觉的风险，这一技术已经在以太坊、本体、EOS 等公链以及蚂蚁 BaaS 等联盟链上有成熟的应用。