CertiK

CertiK

ICO Ended
10,580 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
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
World Mobile Token
World Mobile is going the extra mile to open a new world. With nearly 4 billion people left offline, digital exclusion is a significant problem. Unlike traditional mobile networks, World Mobile is based on the sharing economy, selling affordable network nodes to local business owners, and so they have the power to connect themselves and others while sharing the rewards. The World Mobile Token (WMT) is a digital token that is issued with the purpose of allowing the participants to provide a service on the network and be rewarded accordingly for it. The primary role of WMT is to incentivise both token holders that want to support the operation of the network by way of delegating their WMT stake to a node operator (stakers) as well as node operators that operate their own node. WMT is the utility token at the heart of World Mobile Chain, a solution developed in partnership between Input Output Global and World Mobile to democratize access to digital, financial and social services in Africa, the first of its kind to go the extra mile and connect the unconnected. The sharing economy enabled by WMT provides the foundation for affordable network nodes, based on the Cardano blockchain infrastructure. These network nodes act as local relays for internet connectivity. Subscribers to these networks will be able to access Input Output’s digital identity solution, Atala PRISM, which will allow them to use services such as digital banking, healthcare and education.
Upcoming
Tokoin
Tokoin is a platform that establishes the digital business identity and reputation of micro, small & medium enterprises (MSME) as acceptable credibility scoring for suppliers and financial institutions. Tokoin aims to: - Build a digital business identity for MSME that represents a valid business reputation - Build a digital ledger for MSME that records real-time transaction data and provides opportunities to distribute the data to the relevant parties in the ecosystem, hence monetizing their data. - Build a digital ledger for MSME that records real-time transaction data and provides opportunities to distribute the data to the relevant parties in the ecosystem, hence monetizing their data. - Grow opportunities by lowering transaction costs, increasing buying power, and providing the previously inaccessibles access for business partnership - Suppress the financial inclusion barriers
Upcoming
SID Token
SID (Share Internet Data) is a peer-to-multi-peer decentralized internet sharing system that allows sharing internet from one person's smartphone to another nearby in an automated manner. One of our key missions through the SID project : “To lift as many people as possible out of poverty by means of giving the less fortunate a way to access the Internet”. Certain users will be able to get free Internet access by obtaining tokens in exchange of consuming advertising. Such obtained tokens can then be used to consume internet megabytes from other nearby Users in exchange for tokens OR Users will simply trade some of their tokens directly with other SID Users. Those trades will be done simply through a secured blockchain, on a public exchange to ensure full transparency with the control of the tokens and the control of sharing internet or not fully decentralized, meaning solely under end-user’s control through their post ITO (Initial Token Offering) token Wallet inside the SID App.
Upcoming
Safein
Safein is a blockchain-based single sign-on identity management platform ensuring security, comfort and trust for our customers. With Safein, users can easily demonstrate their true identity online where needed and control the extent of their personal data given out to various service providers.
Upcoming
Digital Ticks
A First ever Commodity - Crypto Exchange well designed by traders for traders. Digital Ticks Exchange (DTX) is just not another crypto to crypto exchange but is also a semi-algorithm platform provider in its own. DTX plans to cater to all types of crypto assets as well as commodity to crypto assets. DTX would be power packed by a lot of advanced features including all the basic features of an exchange required by a novice trader to a professional trader as well as for a high frequency trader. In terms of security DTX is taking extra precautionary measures to avoid any kind of hacks like DDoS attacks, phishing attempts and by also performing vulnerability assessments and penetration testing. DTX has installed robust technologies behind the scene that could handle heavy volatility of the crypto markets as well as commodity markets which can handle upto 1,000,000 orders per second. Digital Ticks Exchange team believes into robust technology, ahead of industry standards in terms of providing customer service to its stakeholders as well as traders. Digital Ticks Exchange team ensures all its traders to have a smooth and user friendly trading experience. Digital Ticks Exchange would not levy any transaction charges for first few months of inception thereby giving traders to trade on zero transaction charges. DTX would give volume-based incentive for high frequency trader (HFT) which would give them scope for retaining higher profitability in the trade.