CertiK

CertiK

ICO Ended
10,547 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
Libra Credit
CRED, formerly Libra Credit, is a decentralized lending ecosystem that facilitates open access to credit anywhere and anytime based on the Ethereum blockchain.
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
REPU
The REPU system (abbreviated from English – "reputation") is a revolutionary project that allows you to completely rethink the way social networks are perceived. REPU is a rating and feedback system based on decentralized blockchain technology. Technology allows you to completely replace the system of “likes” with the rating - both for users and for companies. The rating, subsequently, can be used as an assessment tool in various areas of the individual’s life - starting with professional skills, financial stability, and ending with all possible aspects of behavior and interaction with the public.
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
WinStars
Winstars is a decentralized gaming platform with a catalog of gambling resources, the core is built on Blockchain and smart contracts. We rely on simple and attractive games designed for anyone, not even a gambler, with transparent and guaranteed honest results. The goal of the project is to create an international, absolutely transparent gambling operator built on the basis of Ethereum, with the ability to check the history of each bet and game, with attractive affiliate program and the best opportunities to earn on the gambling market.