CertiK

CertiK

ICO Ended
10,570 Views
The CertiK platform is envisaged to be a formal verification framework for building fully trustworthy smart contacts and blockchain ecosystems. Different from the traditional testing approaches to detect bugs, the CertiK platform attempts to mathematically prove that blockchain ecosystems are bug-free. The Foundation has developed modular verification techniques to decompose such an otherwise prohibitive proof task into smaller ones that can be automatically solved in a decentralized style. These proof objects can be built and encoded in the CertiK platform’s transactions and will then be validated by other participants. Thus, the CertiK platform’s blockchain is intended to work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts, libraries of decentralized applications (DApp), and the implementations of the blockchain itself. That is also why these are called certified blockchain ecosystems.
7.2
TOTAL SCORE
4.6
ICO PROFILE

(weight: 45%)

10
TEAM PROOF

(weight: 20%)

Get widget
General
Website: Visit
ICO Time: 23 Oct 2020 - 08 Nov 2020
Token info
Ticker: CTK
Platform: Ethereum
Token Type: ERC-20
Total supply: 100,000,000 CTK
Ronghui Gu
Co-Founder
Participates in a number of projects
Zhong Shao
Co-Founder
Participates in a number of projects
Vilhelm Sj¨oberg
Research Scientist
Participates in a number of projects

Advisors (0)

HEIGHT - 0px
WIDTH - 0px
PUT THIS CODE TO YOUR WEBSITE
ICO List
Other Interesting ICOs
Upcoming
Crypto Potential
Crypto badges. Simple. Rewarding. Transparent. Incentivizing achievements through dedicated crypto badges. Blockchain projects are evaluated and tested for specific parameters and awarded with badges according to their achievements and contribution. The badges stand for credibility and transparency and serve to incentivize qualified projects with QCP token. The Crypto-Potential community will have access to a selection of projects with verified information and their achievements. The mission is to empower projects to achieve more. The vision is to create a more transparent crypto space.
Upcoming
GoRecruit
GoRecruit is an AI recruitment system based on blockchain technology, which offers a new way of evaluating job applicants. The AI system, being a convenient online service, enables making HR decisions based on the analysis of data from social networks and publicly available sources. To select applicants for an interview, one does not need to spend several hours for processing and analyzing the data: one will acquire the detailed information with recommendations immediately after the authorization of a candidate in the GoRecruit system. This approach will make access to vacancies more open, eliminate human error in hiring, as well as reduce the cost of HR service by optimizing routine work.
Pre-Sale
Crypto Stake
Crypto Stake eco system is a decentralised gambling platform giving players all over the world an opportunity to place bets on sports, book events from every corner of the globe. We believe that people should be able to place bets using crypto currencies without limitations of what they can choose to bet on. Any player using our eco system can use any top 100 crypto currency and exchange it for our exclusive token Crypto Stake Token, this will give our users enhanced odds on any wager they choose to place on any event be it Horse Racing, Football, Boxing, MMA ,Grey Hound Racing, Baseball, American Football ,Basketball and many many more making us the biggest and best gambling eco system online eclipsing any other platforms available for crypto betting giving our punters the best returns for their stake. Crypto Stake will also offer users the ability to play Casino Games like Roulette, Black Jack, Poker, Jackpot Slots, Baccarat, plus several others. Any of our casino style games using Random Number generation (RGN) will all be Blockchain Technology giving transparency, Security and trust when playing any of the forementioned casino games, and using Crypto Stake Token will again enhance any winning returns. Players will be able to easily exchange their crypto currencies that are currently in the top 100 Coin Market Cap list for the exclusive Crypto Stake Token using our on platform exchange which will be cost effective efficient and simple. Any users that do not have crypto currencies will be able to exchange their native fiat currencies for Crypto Stake Token also enabling them to benefit from the enhanced betting odds. All players will have their own secure private wallets and can transfer any crypto currency they hold to a wallet of their choice.
Upcoming
Ultrain
Ultrain Technology Limited is the next generation public-blockchain technology venture that focuses on building a high performance decentralized blockchain platform through its programmable tech-infrastructure. Ultrain is committed to construct a responsible and sustainable commercial ecosystem that enables all industrial applications. With its groundbreaking innovations in cryptography and based upon a complete decentralized public network, Ultrain is able to provide multi-folds more advanced technical performance to fundamentally solve the performance and scalability issues comparing to other traditional public blockchain platforms.
Upcoming
Data Choice
Take control of your personal data. Your data is used virtually every second you are online, to target you with ads. Data Choice will allow you to take control of what you share, what you keep private, control of the ads you see, and reward you for your data being used.
Upcoming
Connecty.io
Connecty is looking to streamline the relationship between businesses and research house by serving as the missing link between holders of knowledge and those responsible for transforming knowledge into innovation. This knowledge ecosystem is setting out to accommodate all scenarios on the spectrum: from a short request for an expert’s opinion to a comprehensive research study that may stretch over a considerable period of time. It is intended this will be open to all areas of knowledge and all fields of study ranging from physics, engineering and IT systems to ecology, environment and society plus everything in between.