BTC $ 38,308.28 -0.138315%
ETH $ 2,751.54 0.461085%
MARKET CAP $ 0%
ICOs 8,117

CertiK

ICO Ended
9,494 Views
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. That is also why these are called certified blockchain ecosystems.
7.2
TOTAL SCORE
4.6
ICO PROFILE

(weight: 45%)

9
SOCIAL ACTIVITY

(weight: 35%)

10
TEAM PROOF

(weight: 20%)

Get widget
General
Website: Visit
ICO Time: 23 Oct 2020 - 08 Nov 2020
Token info
Ticker: CTK
Platform: Ethereum
Token Type: ERC-20
Total supply: 100,000,000.00 CTK
Ronghui Gu
Co-Founder
Takes part in this project only
Zhong Shao
Co-Founder
Takes part in this project only
Vilhelm Sj¨oberg
Research Scientist
Takes part in this project only

Advisors (0)

HEIGHT - 0px
WIDTH - 0px
PUT THIS CODE TO YOUR WEBSITE
ICO List
Other Interesting ICOs
Active
TamaDoge
TamaDoge is coming out the gate barking, becoming one of the biggest hyped meme coins of all time and pushing the boundaries of the Play-to-Earn space, in order to provide a game that people will be climbing over each other to use. TamaDoge (TAMA) is the gateway token of the Tamaverse - where you'll be able to mint, breed and battle your own Tamadoge pet in the metaverse. TamaDoge will give everyone the ability to mint the doge’s they want to, and will allow users to breed, train and battle their TamaDoge NFTs to top the leaderboard every single month. Over time the Play-to-Earn opportunities will be expanding to include augmented reality experiences, allowing your NFT to play with its friends in the Tamaverse. TamaDoge isn’t just the future of the Doge ecosystem, it’s the future of Play-to-Earn.
Upcoming
2022token
The 2022COIN platform is designed to change how we perceive decentralized mobile applications by end consumers. The global adoption of the product with no limitations helps earn a handsome income through holding while maintaining privacy and security for users’ autonomy all in one place! The team at 2022COIN has created this ecosystem based on sound monetary policies which include a solid foundation put together so you can expect nothing less than excellence from them – even if your expectations may be high already since they always strive towards perfection as well.
Upcoming
Authtrail
Authtrail is a unified gateway to Web3 ecosystems empowering developers and enterprises to build on Polkadot parachains. Through standard API connections, users can harness the development power of different use cases in one spot to build and implement dapps and Web3 solutions in everyday business. Easily, reliably, fast.
Active
Blockchain Of Things
Blockchain Of Things has an extended function that allows businesses and individuals to create Blockchain-based applications with the idea of having products and services with access, security, data storage, management and communication between Internet of Things (IoT) applications. BOTSCHAIN is a Blockchain database cloud project aimed at creating a secure basic infrastructure platform for Blockchain. The project will provide a decentralized cloud database technology to perform complex decentralized applications and support the efficient operation of trillions of blockchain, with high scalability, durability and performance.
Upcoming
Shercoin
The SherCoin team has realized that the best way to create a good cryptocurrency that will achieve mass adoption is by creating a multi-functional token that has more than one utility. Most of the altcoins are Ethereum-based coins that only offer one application. SherCoin features five different related applications in one. The ecosystem has a theme: User provide valuable economic services for businesses such: as checking market place for counterfeits, reporting fake or suspicious products; filling out surveys and giving information, feedback, and data, so business can make informed decisions; giving the users an easy way to manage the cryptos the earned; and then giving them outlets to spend/exchange their tokens.
Upcoming
DINNGO
The first exchange to enable simple two step verification with mobile device and cold wallet. Dinngo is revolutionising the way we trade digital currencies. Our cold wallet integrates seamlessly with the Dinngo exchange, providing the secure, fast and convenient asset trading service the market needs.