近日，火币集团与知名网络安全公司成都链安科技签署战略合作协议，共同提升火币平台数字资产的安全水平，链安科技正式加入火币安全“火伴”计划。
加入火币安全“火伴”后，成都链安科技将参与对火币Pro已上线的智能合约进行代码复审。对于申请上线火币平台的项目，链安科技也会参与做出审计报告。为投资者的资产安全保驾护航。
链安科技是一家知名的区块链安全技术服务商，致力于利用形式化验证理论和方法，提高区块链平台和智能合约的安全性和功能性。
此外，Themis（GET）团队宣布与成都链安科技就区块链安全验证，智能合约的开发、审计、安全验证等达成战略合作关系。
Themis致力于打造数字资产多中心托管基础设施，应用范围包括数字资产场外交易、数字资产电商和数字资产基金托管等。
链安科技接下来将会与上述提到的合作伙伴一起，共同打造全球形式化验证安全社区。未来，成都链安科技的VaaS验证平台，将会为更多的合作伙伴提供专业的区块链平台和智能合约的安全性、功能正确性形式化验证服务。