CertiK - Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.
Specify what kind of collaboration you are conducting with this strategic partner?
The main mission of the certik project is security.
They check smart contracts so that hackers cannot crack them.