1. 首页
  2. 行情

成都链安推出全球首个Fabric链码自动形式化验证工具–Beosin-VaaS for Fabric

近日,成都链安推出全球首个Fabric链码自动形式化验证工具–Beosin-VaaS for Fabric,为链码提供“军事级”的安全验证。

近日,成都链安推出全球首个Fabric链码自动形式化验证工具–Beosin-VaaS for Fabric,为链码提供“军事级”的安全验证。

什么是Fabric?

Hyperledger Fabric是Linux基金会旗下的开源区块链平台,也是目前针对产业应用落地最多的链平台,得到了国内外众多公司的支持。IBM 、AWS、SAP、Oracle、蚂蚁金服、腾讯、百度、华为等企业均推出了基于Fabric的区块链解决方案。

智能合约在Fabric中被称为链码(Chaincode),链码与运行在EVM和WASM虚拟机上的智能合约一样,面临着代码存在漏洞、权限设置不当和业务逻辑实现错误等问题。

由于区块链的分布式特性,如果链码存在安全问题将直接导致企业遭受损失。链码的更新和维护均需要较大成本,如果链码因为安全问题需要更新,也将使企业花费较大的人力和物力。

Beosin-VaaS for Fabric

为帮助链平台规避风险,有效减少企业损失,成都链安推出了全球首个Fabric链码自动形式化验证工具。

成都链安推出全球首个Fabric链码自动形式化验证工具–Beosin-VaaS for Fabric

Fabric-VaaS针对Hyperledger Fabric?智能合约,利用形式化验证对合约源码进行检测,可以验证20余种人工难以察觉的风险,这一技术已经在ethereum、ontology、eos等公链以及蚂蚁baas等联盟链上有成熟的应用。

Fabric-VaaS针对Hyperledger Fabric?智能合约,能够对fabric合约系统进行建模,枚举真实在链上的所有可能,并通过安全规则库验证是否存在安全风险,同时,VaaS的安全规则库也在不断的强化完善,持续集成更多的安全漏洞规则,为区块链全生态安全保驾护航。

Fabric-VaaS还通过API和插件等方式对外提供服务,方便用户集成,让用户使用更自由,开发合约更快捷、更安全、更高效。

全球首个Fabric链码自动形式化验证工具–Beosin-VaaS for Fabric的推出,为链码提供“军事级”的安全验证。有效检测Fabric链码常规安全漏洞,并向用户提供漏洞修复建议,为区块链落地应用安全护航。

—-

编译者/作者:成都链安科技

玩币族申明:我们将尊重作者/译者/网站的版权,促进行业健康发展,如有错误或不完整之处请与我们联系。

联系我们

17805983018

在线咨询:点击这里给我发消息

邮件:943663009@qq.com

工作时间:周一至周五,9:30-18:30,节假日休息

QR code