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

来源链接