CertiK

CertiK

Created using Figma
Created using Figma
Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.
Jun, 2018
Jul, 2018
100% completed
Raised funds - no Data
past
Token Details
Ticker
CTK

About 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.

Activity

Members:
40 958
VERY HIGH
Alexa
Rank:
454 242
LOW
Delta:
-741 642
Videos:
4
VERY LOW
Subscribers:
232
VERY LOW
Views:
2 684
VERY LOW
Likes:
22
VERY LOW
Dislikes:
1
MEDIUM

Team

Verified 0%

Attention. There is a risk that unverified members are not actually members of the team

N/A

5.0 17
ICO Profile Vision Activity Potential Product Team

Blocklancer Reviews

OhHeyMatty
84
Havent Found Any Yet
Read More
ICO Pantera
S
Advantages.
1. At least in the ico market, there are few competitors in the field of code audit. It is a blue ocean and is better than a quantstamp.
2. It is one of the few projects that Binance initially invested in. NGC also invested.
3. A strong team based on Yale and a very fast roadmap
A complementary point
1. No specific schedule or token matrix has been published yet.
2. There is a need to gather code audit groups.
Read More
ICO Drops
Read More
Crypto Calibur
75
cCertiK is a formal verification framework for building fully trustworthy smart contracts and blockchain ecosystems, which was founded in Silicon Valley. The platform’s aim is to help people construct bug-free and hacker-resistant smart contracts and blockchain ecosystems. CertiK’s founders are world-class formal verification experts from Yale University and Columbia University, and the senior software engineers have worked for companies such as Google, Facebook, and FreeWheel. If the team can execute their roadmap, they will be massive competition for the likes of Quantstamp and Zeppelin. Recently CertiK’s Telegram channel has also ballooned in size, and substantial interest from several cryptocurrency communities is present. We believe CertiK should have no problem reaching their hard cap and having unmet demand once the crowdsale finalzies. We believe this is a promising investment, especially for the medium-to-long run.
Read More
  • Because there may be time differences in information updates, accurate information about each ICO project should be verified through its official website or other communication channels.
  • This information is not a suggestion or advice on investing in ICO funding. Please thoroughly investigate the relevant information yourself and decide on ICO participation.
  • If you think there are issues or problems to be corrected on this content, or if you would like to submit your own ICO project to be listed, Please email us.
Please read the disclaimer and risk warning. Show disclaimer and risk warning.