CertiK

CertiK

ICO Ended
10,571 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
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.
Upcoming
Quantler
Quantler is a blockchain for creating, analysing, sharing and running of decentralized structured investment products. Create structured products (such as an ETF) in equities or cryptocurrencies using themes. As there are a lot of the tokenized products being launched (currently over 1 900 available) the structured products for these assets are lacking behind (such as sector-based ETFs). Using Quantler’s blockchain anyone can create structured products (for regular assets such as Equities and cryptocurrencies) and run them on a decentralized network (much like smart contracts). Quantler also allows for regular assets, for this market Quantler’s solution is more flexible and has a lower costs base (targeted for exchanges, family offices and investment managers). The QUANT token’s intrinsic value is dependent on the AUM (asset under management) by the entire network. Quantler is like a Vanguard or BlackRock, but then in the form of a network.
Upcoming
Emrify Health Passport
Emrify is launching a decentralized Personal Health Record platform on top of the Ethereum public blockchain to deliver trusted health information to the right hands at the right time anywhere in the world. With years of building consumer engagement mobile apps, Emrify is laser focused on collecting and locking up data for each person for complete ownership and control to freely share their data. Our top priority is to create attractive cryptoeconomics models to incentivize health data sharing for all parties. With strategic US partnerships with hospitals and doctors, Emrify is building on top of established prototypes to accelerate the launch of production interfaces to firmly establish the Utility Token in healthcare.
Upcoming
Cryptocurrency Market
The sole aim of this Defi project is to bring trust and transparency to the blockchain and cryptocurrency space. Cryptocurrency Market is a platform that ensures trust for both service provider and procurement buyer. Cryptocurrency market provides a fundamental analysis of the crypto market in addition to tracking price, volume and market capitalization. Cryptocurrency Market is a professional marketplace powered by a Defi token, the project aimed at bringing absolute transparency and decentralization to the blockchain and cryptocurrency space, a professional platform that bears trust through a smart contract that allows both services providers and buyers to execute contracts without trust issues.
Active
Zwoop
Using AI and blockchain, Zwoop’s unique find engine helps shoppers find the products they want from any website, at the best available price with a single click checkout. Shoppers will be able to pay for products using cryptocurrency and ZWP tokens.
Upcoming
Mind AI
Mind AI is an artificial intelligence engine that is capable of human-like abstract reasoning without the need for big data or supercomputers. With its ability to contextualize information and reason, Mind AI is able to generalize knowledge, a feat that no other AI today is capable of. By being able to learn on its own, Mind AI will be able to formulate its own hypotheses and models of how things work, augmenting human intelligence.