CertiK

CertiK is a formal verification framework for Smart Contracts and Blockchain Ecosystems.

The native digital fuel of CertiK Platform (“CTK”) is a major component of the ecosystem on the CertiK Platform. CTK is a non-refundable functional utility fuel which will be used as the unit of exchange between participants on the CertiK Platform, as well as the economic incentives which will be consumed to encourage participants to contribute and maintain the ecosystem on the CertiK Platform. CTK is an integral and indispensable part of the CertiK Platform, because in the absence of CTK, there would be no common unit of exchange to reward users to incentivize them for work done on the CertiK Platform, thus rendering the ecosystem on the CertiK Platform unsustainable.

CTK may only be utilized on the CertiK Platform, and ownership of CTK carries no rights, express or implied, other than the right to use CTK as a means to enable usage of and interaction with the CertiK Platform.

CertiK team plans to create a new layered-based verification framework that is suitable to reason about blockchain ecosystems.