Certik (CTK) ICO

updated 26 November 2018

Formal Verification Platform for Smart Contracts and Blockchain Ecosystems

Not verified

How do i get verified?
Status: upcoming
Public sale: TBA-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.