CertiK

CertiK

ICO Ended
10,661 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
TrigID
TrigID is the first and only Internet-based way to show that a real-world human is who they say they are. It enforces "one person, one identity" and you can verify that real-world identity with real-world identifiers like driver's license numbers, SSN's, addresses, phone numbers... All without giving anyone those identifiers.
Active
BERTINITY
BERTINITY is a disruptive innovation and a fully anonymous and No KYC blockchain financial ecosystem.
Upcoming
Ispolink
Ispolink is cutting-edge automated matchmaking job board platform that leverages Blockchain and Artificial Intelligence (AI) technology to address one of the most fundamental challenges that exist nowadays – sourcing and attracting qualified personnel. We strive to empower companies operating in the blockchain and IT domain to fill their positions by providing them a full spectrum of tools to conduct and manage in-house the entire recruitment process efficiently - ranging from candidate sourcing, screening, through the various stages of interviews until the final offer, eliminating the need of intermediaries such as HR agencies. As per the job seekers, the platform is tailored to improve their overall experience by reducing the prolonged job searching, the endless waiting for feedback, coupled with convenience to receive the best offers with only a few clicks. Ispolink’s blockchain based product facilitates the processes for filling roles by providing a full cycle recruitment system. The platform will make the entire recruitment process more transparent, optimized, automated and also to help organizations to enhance their internal communication which will result in substantial cost and time reductions
Pre-Sale
NOBAR
Forget fragmented marketplaces! NOBAR is creating the first ever "Unified Crypto Commerce" to provide a holistic solution to the purchasing problem with cryptocurrency and crypto token. Our two robust functions - "Crypto Commerce" and "Shop-App" will facilitate all possible commercial activities.
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.
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.