Certik ICO Review And CTK Token Analysis


Formal Verification Platform for Smart Contracts and Bloc...


6 months ago

Certik ICO About

Founded in Silicon Valley & NYC, CertiK is a formal verification framework for building fully trustworthy smart contracts and blockchain ecosystems.

The CertiK team consists of world-class formal verification experts who are professors from Yale University and Columbia University, as well as senior software engineers from Google, Facebook, and FreeWheel.

Certik ICO Review

Blockchain technologies provide a globally consistent ledger that does not rely on a centralized trusted authority. Consensus mechanisms such as Proof-of-Work (POW) or Proof-of-Stake (POS) set up theoretically unaffordable computational costs to prevent false transactions. As a result, the ledgers appear to be “trustable” and therefore, smart contracts and various decentralized applications (dApps) can be stored on the ledgers and form part of the blockchain ecosystems, whose source codes are entirely “transparent”.

However, blockchain ecosystems are not truly trustable. Due to their transparent policy and the potential benefits of performing a successful attack, these ecosystems are highly sensitive to attacks and are far more vulnerable than previously expected.

The CertiK platform aims to develop a formal verification framework for building fully trustworthy smart contacts and blockchain ecosystems. CertiK plans to differentiate itself by using alternative methods of bug detection approaches, and the CertiK platform mathematically proves that blockchain ecosystems are bug-free. The Foundation behind the project has developed modular verification techniques to break down the formidable proof task into smaller ones, that can subsequently be solved automatically in a more decentralized way. The various proof objects can be built and encoded into the CertiK platform’s transactions and then be validated by other participants. As a result, the CertiK platform’s blockchain is intended to work as certificates to exhibit the end-to-end veracity and security of the smart contracts, dApp libraries, and the blockchain implementations, and operate as a certified blockchain ecosystem.

Certik ICO Comments

Please log in to add comment
  • 6 months ago Hunter Levesque

    I like that the project is backed by a very intelligent and strong team composed of Yale University graduates. I also like that they are trying to solve a real problem within crypto security/verification.

  • 6 months ago Klay Thompson

    The low token supply at 100 million CTK tokens, a mathematically proven verification and its public release in Q3/4 of 2018 are things that are also worth taking note of

  • 6 months ago Steve Kerr

    What makes Certik different from other competitors?

  • 6 months ago Klay Thompson

    Many security-focused companies in market relies on manual code review and only provide limited automated property checking. It is inefficient, non-scalable, takes long time, and more importantly not as secure as our service. The project mainly focus on building the automatic and scalable formal verification platform to provide functional correctness proofs on smart contracts and blockchain ecosystems implementation and mathematically ensure that they are hack-resistant and bug free.

  • {{ comment.user.fullname }}

    {{ comment.message }}

    • {{ reply.user.fullname }}

      {{ reply.message }}

ICOPicker - Prof. Ronghui Gu
Prof. Ronghui Gu
ICOPicker - Prof. Zhong Shao
Prof. Zhong Shao
ICOPicker - Dr. Vilhelm Sjöberg
Dr. Vilhelm Sjöberg
Research Scientist

Token Info

  • Symbol/Ticker CTK
  • Platform
  • Type ERC20
  • Bonus

Presale Info

  • Presale Price null ETH
  • Presale Start Date 05/23/2018
  • Presale End Date 05/23/2018

Investment Info

  • Tokens for Sale 100000000
  • Total Token Supply 100000000
  • Price Per Token null USD
  • Soft Capital 0 USD
  • Hard Capital 0 USD
  • Accepting ETH


  • 80.0%
  • 0.0%
  • 0.0%
    Rating Sites
Rate This ICO
Copy this widget

6 months ago

  • Token CTK
  • Platform
  • Price null
  • Soft Capital 0
  • Hard Capital 0
  • Accepting
  • Country United States
  • Restrictions United States, China
  • Know Your Customer Yes
  • Whitelist Yes

Interesting ICOs you may check