CertiK

CertiK

ICO Ended
10,772 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
RewardsToken
Rewards.com is introducing a global marketplace that brings together over 100,000,000 products and 7,000 merchants, including restaurants, travel, entertainment and retail. This marketplace will allow customers to earn and redeem, what we call RWRD tokens, at any participating merchant or be traded on the exchanges. We believe this solution will transform loyalty by taking cryptocurrency mainstream, building a healthy and strong token economy and restoring true value to the consumer reward.
Upcoming
LOHN
Lohn is a widely spread contractual form in various industrial fields of international cooperation relations, especially in the industry of clothing, footwear, leather, furniture, software and hardware, pharmaceutical, metal working, metallurgical, machine tools, automotive, automation, machine building industry, electronics and appliance industry, food and beverage industry, petrochemical industry. The lohn (processing economy) has been and will be a solution to produce goods at reasonable and high-quality prices through the efficient use of labor and cheap raw materials in emerging economies. It is also a business model that creates economic and social progress across the world bringing together markets with productive resources and capabilities. The trading platform developed by the lohncontrol project will create global opportunities for small and medium-sized businesses that are responsible for generating 60% of GDP. It will give them a visibility that they do not have at this time and will encourage the development of direct business between them. This means low manufacturing costs and greater adaptation to market demands. Those who will win at the end of this interaction will be consumers who will get good products at realistic prices.
Upcoming
Talentchain
TalentChain, powered by Blockchain, bridges the prevalent trust deficit among students, universities, employees, recruiters and govt bodies, and serves as a single source of truth for all the stakeholders. It enables considerable and tangible cost reduction in qualifying learning and education admissions, recruitment and related statutory processes. Talentchain is a unique presentation of the knowledge asset that is securely verifiable and endorsable across various stakeholders.
Upcoming
Apillon
Apillon is a Web3 development platform empowering developers to build in the Polkadot ecosystem. Through standard API connections, it provides the complete technology stack of connected services for creating NFT, GameFi, DeFi, and other Web3 products easily, reliably, and fast.
Upcoming
Data Choice
Take control of your personal data. Your data is used virtually every second you are online, to target you with ads. Data Choice will allow you to take control of what you share, what you keep private, control of the ads you see, and reward you for your data being used.
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.