• bitcoin
  • ethereum
  • bitcoin
  • ethereum
  • Certik

    CryptoPotato score


    Certik ICO

    CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant.
    The project has developed modular verification techniques to break down the formidable proof task into smaller ones, that can subsequently be solved automatically in a more decentralized way. The various proof objects can be built and encoded into the CertiK platform’s transactions and then be validated by participants. As a result, the CertiK platform’s blockchain is intended to work as certificates to exhibit the end-to-end veracity and security of the smart contracts, dApp libraries, and the blockchain implementations, and operate as a certified blockchain ecosystem.
    Token is a non-refundable functional utility ‘fuel’ which will be used as the unit of exchange between participants on the CertiK Platform.

    Public Sale Starts At

    Unknown date

    Hardcap is unknown

    Token: CTK

    Token type: ERC-20

    Finite token number: 100,000,000 CTK

    Availability: China and USA are Exempted.

    Status: Whitepaper is ready.

    Accepted currencies: ETH


    Twitter 0 followers

    Telegram 22,636 members

    Team Members

    Ronghui Gu


    Zhong Shao


    vilhelm Sjöberg

    Research Scientist

    Scroll to top