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.

Overview

Token Sale Upcoming
Country United States of America
R
Ronghui Gu
CO-FOUNDER
Member of this ICO only
Z
Zhong Shao
CO-FOUNDER
Member of this ICO only
V
Vilhelm Sjöberg
RESEARCH SCIENTIST
Member of this ICO only

Overview

Token Sale Upcoming
Country United States of America

Financial information

Platform Ethereum
Whitelist/KYC Whitelist & KYC

Interest

Alexa rank 894,182 th
Telegram participants 36,446
Twitter followers 9,134
Promotional video views 2,482
Similar icos
Disclaimer

TrackICO does not encourage investing in any ICOs published on the platform. Make sure to do your own thorough research before putting money into Initial Coin Offerings. All content on TrackICO is meant to be used for information purposes only, and should not be taken as financial or investment advice.