CertiK

CertiK

ICO Ended
10,586 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
DINO
In blockchain world, there is a huge knowledge gulf between non-computer professionals from different industries and smart contract development. The DINO Platform aims to address this problem with its proprietary technology, a cloud-based Graphical User Interface (GUI) smart contract Integrated Development Environment (IDE). Leveraging the technology of the DINO Platform, users can build their smart contracts with visualised logic flows. More than just a smart contract IDE, the DINO Platform is intended to build a smart contract ecosystem together with developers all over the world. In the smart contract market, developers may build and design smart contract templates and sell them to the general public.
Upcoming
EZ Exchange
EZ Exchange has brought together the best talent across a number of disciplines to create an exchange like no other. EZ Exchange’s unique platform puts traders first, ensuring that users never deal with substandard security or a poor user experience when trading cryptocurrency. EZ Exchange is committed to making cryptocurrency accessible and secure for all. Traders will have access to a comprehensive suite of training and support options to answer any questions or concerns they may have. And the EZ Exchange team is working with regulators to be fully compliant with recognized global security standards. With a simple and intuitive interface, robust customer support and industry-leading security, EZ Exchange is removing the barriers to entry for new traders and paving the way for cryptocurrency mass adoption.
Upcoming
Burency
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The platform is designed to address key challenges that prevent widespread adoption within the cryptocurrency and Blockchain ecosystem such as exchange’s lack of liquidity and security, unsustainable mining, unawareness of Blockchain applications to businesses. The Burency Exchange is a regulated exchange platform that addresses key challenges including security, liquidity, fiat to crypto transactions and vise versa, and more. The exchange is one of the world’s fully insured platforms, with coverage provided from LIoyd’s of London through the Nebbex Protocol. The Burency Mining facility answers some of the challenges associated with crypto mining such as mining destruction to environment and excessive mining power expenses by creating a sustainable facility powered by renewable hydropower. Burency provides a streamlined platform for the generation of cryptocurrency via purchased timeshare slots within the mining facilities using the BUY token. Additionally, computational power can also be purchased via the BUY token which governs purchases across the Burency ecosystem. The Burency Blockchain Development Center is dedicated mainly for advising enterprises on Blockchain applications and helping them operate on the blockchain for more efficient operation and business transactions execution. In particular, the center focuses on the creation of smart contracts that enable businesses to trade with entities across geographical and jurisdiction boundaries.
Upcoming
MediLOT
MediLOT is a health data protocol that aims to solve the concerns of Electronic Health Records (EHR). Current EHR systems are fragmented, centralised and lack patient ownership. Through a dual blockchain solution, MediLOT incorporates Artificial Intelligence capabilities onboard its control and data layers which allows the equitable sharing of health data. The MediLOT ecosystem will consist of patients, healthcare providers, researchers and commercial companies.
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
ReverseDAO
ReverseDAO is a solution to all of the problems above; it is a platform that connects the Metaverse with real-world assets. Fiat and economic units that are bound with world assets can now be represented, stored, and transferred onto the blockchain just as easily as cryptocurrencies.