CertiK与QuarkChain达成深度战略合作

形式化验证公司CertiK近日与QuarkChain达成深度战略合作。CertiK作为QuarkChain首家签署的安全合作伙伴，将为QuarkChain及其公链上的智能合约提供全方位的安全验证与解决方案。今年六月，CertiK曾对QuarkChain上币完成形式化验证，为其代币QKC上线币进行了全面的安全排查。