Certik (CTK) ICO

updated 13 July 2018

Formal Verification Platform for Smart Contracts and Blockchain Ecosystems

Token sale info
Status: upcoming
Start: TBA
End: TBA
Cap: No info
Goal: No info
Find out more

About Certik

Even dough it might seem that blockchain ecosystems are completely transparent and safe, they are in fact highly vulnerable towards several types of cyber attacks.

Certic is a platform that aims to mathematically prove that smart contracts and blockchain ecosystems are free from bugs and entirely secured from cyber-attacks. A layer-based approach was created to divide such an unbearable task into smaller ones.

Certic ledgers act as certificates that validate the correctness and security of checked smart contracts and blockchain ecosystems to prove their complete trustworthiness.