CertiK

CertiK

ICO Ended
10,558 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
Tachyon Protocol
Tachyon Protocol is a decentralized internet protocol built on the V SYSTEMS blockchain that aims to create a trusted, stable, fast and reliable decentralized information network. By implementing techniques from DHT, blockchain, UDP and encryption, Tachyon Protocol is committed to building the next generation TCP/IP that can provide a self-sufficient internet environment with high security, untraceability and maximum network speed. As the first application running on V SYSTEMS, Tachyon is powered by X-VPN, which has proven technologies and 50 million existing global users to bring blockchain technology into the mainstream. IPX token is the native cryptocurrency of the Tachyon network that resides on the V SYSTEMS blockchain. The token provides easy and affordable means of sharing spare bandwidth among users, promotes positive development of the network, solves major problems with the organization of the decentralized network and serves as proxy valuation of the overall system.
Upcoming
DenCity
DenCity is an AI and Blockchain powered platform that provides you an engaging and immersive VR experience and lets you make a world of your own. A user will not only be able to explore, learn and create a life of his/her choice in accordance with the real world rules but also earn tokens that can be used to buy real life goods and services in the real world.
Upcoming
Feniks
Feniks.Finance is a new financial blockchain based system, created on a fundamentally new concept, capable of scaling its speed as needed and adding new functionality. Feniks.Finance can be used as an international banking system for information transfer and payment execution. The first version of Feniks.Finance will be able to handle payments and storage of users' funds. Namely, the banking transactions labeled in the SWIFT system with MT103 as payment sent and MT202 as a receipt and crediting of the payment to the account. The next step in the development of the system will be a 700 group of SWIFT operations, namely documentary transactions better known as guarantees and letters of credit. The introduction of the 500 group, that is, the operation with securities, suggests that an exchange will appear in our network.
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.
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.
Active
BitMinutes
BitMinutes is the first prepaid airtime token to provide low-cost financial services to the world's two billion unbanked consumers. BitMinutes serve as the universal cryptocurrency for enabling global telecommunications providers, retail merchants and a network of trusted agents to offer free money transfer and guaranteed loans to six billion cellphone users. The primary goal of Bitminutes ICO is to provide access to key financial services for over two billion unbanked worldwide.