CertiK - Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.

Specify what kind of collaboration you are conducting with this strategic partner?