CertiK

CertiK

ICO Ended
10,511 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
Rivalz
Rivalz is redefining AI infrastructure by creating an AI Intel Layer to unlock new agentic economies. Built on a dual-chain DePIN architecture using Dymension and Arbitrum, Rivalz addresses one of the biggest bottlenecks in AI today: access to AI-ready, verifiable, and secure data. As we envision the web3 space to become agentic and overtake humans in the amount of transactions over time, what Rivalz is building is key for enabling this future. The core challenge that Rivalz is addressing is the need for AI-ready, verifiable and accessible data and later on intelligence. Rivalz offers a hybrid solution combining decentralized storage and high-speed agent-centric connectivity networks that cater specifically to AI's demands, ushering in the era of the agentic economy.
Upcoming
Gluon
Gluon’s platform establishes an interconnected network of vehicles where individuals and businesses can monitor, track, tune, and diagnose the issues in them. Not only can customers diagnose their vehicles themselves, order parts, and request bids on repairs, but they can schedule repairs, send/receive payments for services and goods. Consumers can tune their vehicles for optimal performance and/or regulate their use.Repair shops can diagnose vehicles more cost-effectively and accurately order the correct parts. Vehicle service record, repairs, diagnostics, smog tests are all stored in the Gluon secure blockchain based on the Stratis Platform.
Upcoming
Elements Estates
"Elements Estates is creating a Blockchain-based platform with underlying unique portfolio of real estate deriving from banks’ distressed assets. The platform will offer the ability to utilize ELES tokens through purchase or rent of real estate and other services, all primarily related to newly developed and modern properties in platform ownership. Elements Estates is giving you the opportunity to get involved in something that will enable growth of token value from unlocking the hidden value of the distressed assets deriving from non-performing bank portfolios, usually reserved for major players."
Upcoming
Bitindia
Bitindia is a cryptocurrency exchange and wallet for the streets of India. BitIndia will be bringing an open source platform which empowers the users to have secure transactions and hold the private keys of the cryptocurrencies on the Blockchain nodes. The BitIndia wallet will transform the current structure and concept of crypto wallets. While BitIndia wallets aims to make blockchain mainstream in India, the BitIndia exchange will let any layman to buy, sell and understand cryptocurrencies in the easiest and fastest scam free platform ever designed. The BitIndia wallet aspire to become an essential part of daily routine activities such as buying groceries, paying bills or dining at a restaurant; while using cryptocurrencies as a medium of exchange. BitIndia exchange will let its users to trade on essential cryptocurrencies with the Indian currency. This will not only promote various cryptocurrencies in India but also promote blockchain technology globally.
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
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.