形式化验证公司CertiK已确认加入火币的“安全火伴计划”，将与火币安全团队一起致力于保护平台投资者的资产安全，对平台上的智能合约代码进行安全审核。据悉，火币“安全火伴计划”着力于解决近期频繁出现的智能合约漏洞。