Certik ICO

Verification
Pending

Sale Date

Pre Sale Start - End:
Unknown
Public Sale Start - End:
Unknown

Description

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.

Short Term Investment

More information needed...

Long Term Investment

More information needed...

8.6 Total Score

PROS
  • World-class formal verification experts with a technical background
  • Huge community
  • High demand to the ICO
  • All-star Partnerships
  • Both the current and future market size is significant
CONS
  • No advisors mentioned
  • The roadmap does not go any further than June 2018
User Rating: No Ratings Yet!
  • Team
  • Video
    • Prof. Ronghui Gu
      CO-FOUNDER
    • Prof. Zhong Shao
      CO-FOUNDER
    • Dr. Vilhelm Sjöberg
      RESEARCH SCIENTIST
We will be happy to hear your thoughts

Leave a reply

Register New Account
Reset Password