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
Hardcap is unknown
Token type: ERC-20
Finite token number: 100,000,000 CTK
Availability: China and USA are Exempted.
Status: Whitepaper is ready.
Accepted currencies: ETH