Certik

Category: Platform

About

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. CertiK ledgers work as certificates to exhibit the end-to-end correctness and security of verified smart contracts and verified blockchain ecosystems, making them entirely trustworthy.

Contacts

Certik

United States
info@certik.org

Milestones

  • 2017 December
    Proof of concept of CertiK techniques and community
  • 2018 January
    Early supporters starts
  • 2018 January
    Alpha version of CertiK labels and verification techniques
  • 2018 February
    Alpha version of CertiK smart labeling
  • 2018 February
    CertiK community open for registration
  • 2018 February
    Private sale starts
  • 2018 April
    Launch CertiK beta version
  • 2018 May
    Reach 10 Business Partners
  • 2018 June
    Launch CertiK 1.0
  • 2018 June
    Reach 30 Business Partners

Team

Board of directors

Zhong Shao
Co-Founder
Ronghui Gu
Co-Founder

Team

Vilhelm Sjöberg
Research Scientist

ICO information

ICO starts (UTC)
TBA
ICO ends (UTC)
TBA
Whitelist
Yes
KYC
Yes
Product status
Beta
Est. product launch
6 months
Main competitors
Not specified
Payments
Ethereum
Social media

Token information

Symbol
CTK
Platform
Ethereum
Unsold tokens
Not specified
Token lock time
Not specified
Soft cap
Not specified
Hard cap
Not specified
Circulating supply
Not specified
Total supply
100 000 000 CTK
Max bonus/discount
Not specified
Token value
Not specified
Token issue
Not specified

Ratings and reviews

TokenDesk rating
10.0
Reviewed and rated by
0 experts|0 members
Scanner
10
Scanner
10

No reviews yet. Be the first!

Add comment

You must be logged in to write a review.

Write a review

You must be logged in to write a review.

Certik

Category: Platform
TokenDesk rating
10.0
Reviewed and rated by
0 experts|0 members
Scanner
10
Scanner
10
Platform
Ethereum
Token
CTK
Token value
Not specified
Hard cap
Not specified
Payments
Ethereum

Write a review

You must be logged in to write a review.