CertiK - Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.
Specify what kind of collaboration you are conducting with this strategic partner?
Partnership with CertiK will secure Cocos-BCX community.
You can be sure to use the Cocos-BCX smart contract. I am not a developer, but I am sure that professionals work in the Cocos team