Back

DISCLAIMER: This is not financial advice! None of the members of ICOPools.io are licensed financial advisors, hence you are urged to do your own due diligence and take your own decisions. (read more)

CertiK

CertiK

Platforms: site twitter telegram
Active Pools Min cap Bonus Commission Raised Rating Language Access Created

Активный Пул

Min cap

-

Bonus

-

Commission

-

Raised

184 / 350 ETH

7709

Rating

8

Language

EN

Access

Created

01.08.17

Активный Пул

Min cap

-

Bonus

-

Commission

1%

Raised

No data / 500 ETH

1031

Rating

7

Language

EN

Access

Created

01.02.18

Активный Пул

Min cap

10 ETH

Bonus

-

Commission

5%

Raised

407 / 1005 ETH

257

Rating

-

Language

EN

Access

Created

07.12.17

Last ICO deals

Min cap

-

Bonus

-

Commission

2%

Raised

821 ETH

Active

18.03.2019

One month lockup after listing, then 33% every month

Finished successfully

21.03.2019

Min cap

-

Bonus

50%

Commission

-

Raised

2000 / 2000 ETH

Active

22.03.2019

Finished successfully

23.03.2019

Min cap

-

Bonus

-

Commission

-

Raised

No data

Active

24.06.2019

Finished successfully

24.06.2019

Min cap

0.15 ETH

Bonus

-

Commission

2.5%

Raised

16 / 102 ETH

Active

20.10.2018

Finished successfully

22.10.2018

Min cap

0.1 ETH

Bonus

5%

Commission

5.5%

Raised

219 / 219 ETH

Active

01.07.2018

Finished successfully

03.07.2018

Min cap

0.15 ETH

Bonus

-

Commission

2.5%

Raised

16 / 102 ETH

Active

20.10.2018

Finished successfully

22.10.2018

Analytics

Category: Verification, Cybersecurity                                                Country of incorporation: Singapore    Date: 19.07.2018

 

 

INTRO

Certik - is a framework for automated verification/audit of smart contracts/dApps for building fully trustworthy smart contracts and blockchain ecosystems.

 

 

 

TOKENOMICS

Metrics

  • ICO Time: No data
  • Token: CTK
  • Token type: ERC-20
  • Hard cap: $ 30-40M
  • Price: $ 3,05 (not official)
  • Minimum investment: 0.1 ETH
  • Bonus: 5%
  • Bounty: No
  • Accepting: ETH
  • Сan't participate: China, USA

 

Note:

  • Price is not official;
  • Current allocation is unknown, but estimated token sale allocation  - 40%;
  • With this allocation estimated Hardcap is $ 120M!!!

 

Tokens distribution

No data

 

 

Protective measures against the tokens depreciation

Lock up:

  • 1/3 release before exchange;
  • 1/3 release 1 month after exchange;
  • 1/3 release 2 month after exchange.

 

 

 

PRODUCT

The relevance of market problems solved by the project

Smart contracts and dApps are needed an automated verification/ audit system, that will help to build trustworthy blockchain ecosystems.

 

 

The description of key products and project technology

To solve this, CertiK developed a layer-based approach to decompose such tasks into smaller ones and smart label them for the specification. 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. For their work participants will be rewarded in CTK tokens.

 

Decomposed proof obligations are much easier to untangle and can even be solved by some automatic verifiers (e.g., SMT solvers).

 

CertiK Platform offers a series of certified libraries

and plug-ins to the integrated development environment (IDE) for building more trustworthy DApps.

 

CertiK Platform intends to provide customized certification services. In this case, verification experts will help specify/verify the programs and generate a detailed, comprehensive report.

 

The CertiK Platform constructs mechanized proof objects (or counterexamples) such that these proofs can be quickly checked by anyone using their own machine. These proof objects can be viewed as the “certificates” to the verified programs.

 

By the team was developed Proo-of-Proof scheme, that unifies 5 roles for platform participants:

 

  • Customers can submit programs/systems that need verification or any proof obligations to the CertiK Platform’s network. This is done by initiating and broadcasting a special “proof request” transaction associated with some CTK incentives offered for anyone who constructs the proofs.
  • Bounty hunters are the ones who aim for CTK incentives and would like to share their computation resources. They will construct and broadcast the proof objects, and then wait for the proofs to be validated. Due to the significant importance of this role, only users who possess a certain amount of CTKs are allowed to take this role.
  • Checkers can get CTK incentives by recording regular transactions or check the submitted proof objects. Bounty hunters can only receive their incentives once their proofs are validated and checkers can also get a small portion of these incentives.
  • Sages are the ones who plug in their proof engines via the CertiK Platform’s open protocol. Their engines may be randomly used by bounty hunters and will be evaluated through A/B testing. They can also get some CTK incentives depending on the evaluation result of their engines.
  • Users can subscribe to all CertiK Platform’s certified libraries and IDE plug-ins to build their own DApps/systems with some CTKs.

 

These five roles will balance, guard, and improve the CertiK Platform. Value of CTK is generated by posing and solving proof obligations, validating proof objects, and creating advanced proof engines.

 

 

The stage progress and milestones of the project development (Roadmap)

The Roadmap provides a good technical overview of the development, yet there is no date of release of the final product. The project is developing according to the Roadmap.

 

No Github.


There is a demo video of the MVP.

 

 

The importance of blockchain in the project

Role of the blockchain in the project is not specified, but it can be assumed, that Ethereum blockchain will be used to store and perform transactions with CTK.

 

 

 

TEAM AND PARTNERS

Experience and the team achievements

The team consists of 3 employees, who are experienced in research in the tech field, engineering, verification, software development, system development, and cybersecurity. Members with experience in the blockchain development are not found.

 

Ronghui Gu, Co-Founder – He is a tenure-track Assistant Professor of Computer Science at Columbia University. He obtained his Ph.D. in Computer Science from Yale University in 2016, where his dissertation won the Distinction Dissertation Award at Yale and was nominated for the ACM Dissertation Award. He obtained his B.S. from Tsinghua University in 2011. Prof. Gu is an expert in formal verification of system software. He was the primary designer and developer of CertiKOS, the world's first fully verified concurrent OS kernel. His OSDI16 paper on CertiKOS has been nominated and selected for publication in the Research Highlights section of the CACM.

 

Zhong Shao, Co-Founder – He is Thomas L. Kempner Professor and Department Chair in the Department of Computer Science at Yale University. He earned his Ph.D. in Computer Science from Princeton University in 1994. During his early career, he was a key developer of the SML/NJ compiler and the main architect of its FLINT certifying infrastructure. In recent years, Shao has been a leading figure working on the highly visible research fields on cybersecurity, programming languages, operating systems, and certified software. He and his FLINT group at Yale have developed the world's first hacker-resistant concurrent operating system CertiKOS---a major milestone toward building cyber-physical systems that are probably free from software vulnerabilities. Shao is the author or co-author of 90 articles in top scientific journals and conferences


Vilhelm Sjoberg, Co-Founder - He is an associate research scientist at Yale University. He received his Ph.D. in Computer Science from the University of Pennsylvania in 2015. He is an expert in software verification, programming languages, and type systems. His thesis research focused on making dependent type systems more attractive for general purpose programming languages by making it optional to prove that functions terminate, and by incorporating automatic theorem proving via congruence closure. Currently, he is interested in language support for layered verified systems like CertiKOS. Dr. Sjöberg is the winner of 2016 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.

 

 

Advisory board

No data.

 

 

Strategic partners

Confirmed: IoTeX, Ontology, Nebulas, Ink, IOStoken.


Team plans to reach 30 partnerships by the end of July 2018.

 

 

Large investors and investment funds

Confirmed: NEO Global Capital, DHVC, Binance Labs, Continue Capital, Jenga Solutions, Arrington XRP Capital, Blue Hill.

 

Not confirmed: FBG Capital, Bitmain

 

 

 

MARKET

Competitive environment

According to the market research by the team, smart contracts/ dApps verification market can be as large as one trillion dollars.

 

Direct competitors in the blockchain space:

  • Quantstamp - raised $31,3M, capitalization – $ 48,8M, ROI USD - 1,1x;
  • Zeppelin – wasn’t held, capitalization – not available.

 

Projects Quantstamp and Zeppelin are very human intensive and do not involve much automation, so they are far less scaleable than CertiK. Furthermore, libraries provided by OpenZeppelin are either not verified or do not offer mechanized proof objects.

 

Companies Solidified and Security can only be used to check/verify a list of fixed properties rather than the functional correctness.

 

Runtime Verification – work of this company still remains at the research stage and it is an unknown how their techniques can be applied to industry-grade systems.

 

 

The project advantages

  • Strong team;
  • Support of large investors;
  • Already established strategic partnerships;
  • There is a video demo of the MVP;
  • Well-developed infrastructure;
  • There are only a few companies on the market, who are working in the same niche, but team points out advantages of their project over the competitors;

 

 

 

SOCIAL ACTIVITY

The project popularity in the social networks and discussion forums

The project is detected on the radar of the next influencers: ICO Pantera, OhHeyMatty.

 

Youtube: 206 subscribers, average number of views per video is 140, average number of comments under each video is 2, user activity is low.

Medium: 635 followers, the average number of likes per post is 70, without any discussion in the comment section, user activity is low.
Telegram: 39,2k members, admins on the Telegram-channel are responding quickly, user activity is high.

 

 

 

Fraud risk - low. Community interest - high. 

Product - 8.5
Team and partners - 9.5
Market - 9.5
Average score - 8.7

DISCLAIMER: This is not financial advice! None of the members of ICOPools.io are licensed financial advisors, hence you are urged to do your own due diligence and take your own decisions. (read more)