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.


  • Name
  • Position
  • Links
  • Ronghui Gu
  • Zhong Shao
  • Vilhelm Sjöberg
Trade Token on Bitcratic


Token CTK
Platform Ethereum
Whitelist/KYCWhitelist & KYC
Restricted areas China, USA
Category CryptoCurrency
Total Supply 100,000,000
Latest News

Leave a Reply

Your email address will not be published. Required fields are marked *