CertiK

CertiK

ICO Ended
10,555 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
Verity
Verity makes it easy for people to get paid for reporting on real-time events and information around them, while developers can get any data they want in a cheap, fast and secure data feed. It uses sub-ms network to process data with wisdom of the crowd approach and uses blockchain‑as‑a‑court‑system on Ethereum network to guarantee security and fairness.
Upcoming
Stealthcrypto
The StealthCrypto® utility token will be the native cryptocurrency of the StealthCrypto® system. Funds collected through the token sale will be used to develop as well as activate and purchase StealthCrypto Cloud® products and products in the StealthCrypto® ecosystem. The values of StealthCrypto® tokens are fully dependent upon the developments of Stealth Grid™ and market demand.
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
DexBerry
DexBerry is a next-generation decentralized ecosystem Mega-Application backed by a revolutionary smart contract technology. The Mission of DexBerry is to leverage ever-evolving blockchain technologies to provide users with an application that supports easy access to cross-chain liquidity and tools for fast, easy, and secure acquisition of digital assets without moving from one project feature to another. With DexBerry, users can Analyze, Advertise, Acquire, Create, Compete, Earn, Game, Launch, Swap & more without moving 1 INCH.
Upcoming
Verifier
Verifier is an innovative technology designed to verify identity, events, deals, and any other kind of data. This is a blockchain based solution that verifies data quickly, accurately, trustworthy, and securely.
Upcoming
Co-DEX Exchange
Co-DEX is a Decentralized trading platform for cryptocurrencies, built on vanguard security infrastructure and using a revolutionary system. Co-DEX is an exchange created by the community, for the community, thus Co-DEX will be the first exchange that will apply a NO FEES policy on transactions, the users being required to cover solely the transaction cost of the miners and/or validators that register the action on the blockchains. Experience direct peer-to-peer trading without the security risk of trusting a third party, thus having complete control of your assets at any time.