ICO review of Certik (): valuation, analysis, tokencost | Digital Rating Agency
Overview
Certik

Certik

CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. To scale the verification, CertiK developed a layer-based approach to decompose such an otherwise prohibitive proof task into smaller ones. These smaller proof obligations can be encoded in the CertiK transactions and will then be proved and validated by the participants in a decentralized style. Thus, the CertiK ledgers work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts and verified blockchain ecosystems, making them entirely trustworthy.

Place est.:
-
Category:
Ticker:
Platform:
Status:
Unknown
Links:
Website:

RATING

No rating

SWOT

No SWOT

QUALITY

No quality

EXPECTED ROI

No ROI

ICO details
Date start
Date end
Status
Unknown
Pre-ICO date start
Pre-ICO date end
Bonuses
Bounty
Inactive
Softcap
-
Hardcap
-
ICO Price
Token details
Token distribution
Team
Prof. Ronghui
Prof. Ronghui

Co-Founder

Prof. Zhong
Prof. Zhong

Co-Founder

Dr. Vilhelm
Dr. Vilhelm

Research Scientist