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
Type ICO
R
Ronghui Gu
CO-FOUNDER
NOT VERIFIED
Member of this ICO only
Z
Zhong Shao
CO-FOUNDER
NOT VERIFIED
Member of this ICO only
V
Vilhelm Sjöberg
RESEARCH SCIENTIST
NOT VERIFIED
Member of this ICO only

Overview

Token Sale Upcoming
Country United States of America
Type ICO

Financial information

Platform Ethereum
Whitelist/KYC Whitelist & KYC

Interest

Alexa rank 1,098,296 th
Telegram participants 35,662
Twitter followers 10,372
Promotional video views 3,827
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.