CertiK

CertiK

ICO Ended
10,573 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
Orion Protocol
ORION is a new kind of blockchain investment platform that combines the best features of exchanges, brokerages, and instant trading apps. The platform is built around a liquidity aggregator connected to all of the major crypto exchanges, as well as its own internal decentralized exchange, enabling users to gain the best price for their trades from a single portal. Along with powerful tools for portfolio management, ORION offers exceptional security, convenience, and flexibility. The platform is suitable for experienced traders, institutional investors, and newcomers alike.
Upcoming
Newcater
Newcater is the e-commerce platform for unique and eco-friendly products with a number of apps and solutions supporting payments, delivery and community connectivity. In Newcater Ecosystem, every user can interact, swap, share knowledge and skills, contribute ideas and receive feedbacks, which create a circle of connections, support, sharing, shopping and income generation.
Active
Innou
INNOU is a digital ecosystem, aiming to become the world’s first completely decentralized multimedia marketplace. Gaming, News Channel, Instant Messaging and the Integrated Wallet are just a few of the modules incorporated in the final mobile app, which we launch. With INNOU we want to bridge the gap between the fiat and digital money systems. Therefore, INNOU will be built as a hybrid model of blockchain technology and classical web services. INNOU will provide secure and transparent transactions, entertainment, messaging services, and an ‘on demand’ platform for content creators. Overall, we follow our strategy to include multiple sustainable features, such as planting trees in deforested areas through the game. The community will be able to create and discover economic niches and earn money while following their passion on a global scale. By implementing the largest cryptocurrencies into one single wallet, we will create a marketplace that is independent from any major currency and enables the users to list, sell and advertise their goods and services.
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
Innovasis Hotels
Blockchain Hotels will give the community of blockchain enthusiasts and digital nomands a great place to stay and a chance to capitalize on the current opportunities in the hospitality market. The business model employed by Blockchain Hotels allows our investors and guests to benefit from real estate profit-sharing as well as from the token model that is tradable on exchanges. Our system is designed to deliver both short and long term gains. The guest experience is designed to be entertaining, stimulating, and relaxing at the same time. The hotel facility and co-working spaces are designed to bring people together, and feature numerous attractions for guests to enjoy. Blockchain Hotels team prepared exclusive 4 video series where there is everything explained. Here you can watch it: http://bit.ly/videocampaign-blockchainhotels
Upcoming
Quarteria
Our mission is to create the first international decentralized residential and commercial real estate listings database controlled by both Buyers and Sellers. Real Estate Brokers and self-represented Sellers will be able to upload their listings and eventually, transfer title of properties, all paid for via the PROQ token.