CertiK

CertiK

ICO Ended
10,782 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%)

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 CTK
Ronghui Gu
Co-Founder
Participates in a number of projects
Zhong Shao
Co-Founder
Participates in a number of projects
Vilhelm Sj¨oberg
Research Scientist
Participates in a number of projects

Advisors (0)

HEIGHT - 0px
WIDTH - 0px
PUT THIS CODE TO YOUR WEBSITE
ICO List
Other Interesting ICOs
Upcoming
Blackfol.io
Blackfolio is the smartest social trading platform to manage your crypto wealth. Connected, supporting main exchanges and assisted by our artificial intelligence, we are building your futur every-day companion app. Accessible from desktop or mobile, you earn time and get a clear view of your profit & loss.
Upcoming
Constellation
The Constellation protocol implements a horizontally scalable blockchain architecture known as Extended Trust Chain with a peer to peer layer known as a gossip protocol that can be deployed on a mobile device. Constellation approaches smart contracts with a microservice architecture allowing for highly available services to be chained and composed into distributed applications with just an understanding of each microservice’s SLA (service level agreement) and/or type signature. This architecture ensures high transaction throughput, allowing for consumer grade distributed applications to be built on Constellation.
Active
Dether
Dether provides a decentralized peer-to-peer ether network that enables anyone on Earth to buy ether with cash and spend it at physical stores nearby. No bank account is needed, just a mobile phone with internet access. Our belief is that the beauty and power of the Ethereum technology should be easily accessible to all. We’ve decided to put all of our energy and that of the Ethereum community into helping us build the first trustless solution that will allow anyone to be able to interact with the Ethereum blockchain no matter who you are, where you are, and without the need for a middleman.
Active
Armacoin
Our Armacoin GZM coin is specially designed for advertising companies, various media, various greetings registered on the basis of blockchain. Each new message will not be overwritten by the previous one, but will be supplemented. These advertisers can be quite a lot and each of them will receive a payment for their advertising message. The cost of this one message will be 1 GZM. A specific function and variable were added in this coin. The function «Set-Messange» and the global variable «Messange» that is permanently stored in the blockchain. The «SetMessange» function adds a line to the «Messange» function and the 1 GZM is removed from the account of the one who calls this function and transfers this 1 GZM to the advertiser's account. This coin is like a prototype of a Billboard, where the owners of this token, that is, advertisers, can place a message in the contract line for only 1 GZM. The advertiser can place this message on the billboards in different cities, on websites and all visitors will see what is specified in the global parameter of the messange. This coin was created on the ERC-20 contract. The total number of issued and coins for mining does not exceeds 1 billion. The mining of this coin is also unique because it allows to generate GZM tokens with low power renewable energy. This leaves most of the green energy to use for the network, while the miner can use the opportunity to acquire new tokens. We are also developing applications for this smart contract and will give the opportunity to mine these tokens using renewable energy sources, various gadgets with installed pedometers apps, electric vehicles, fitness bracelets and much more. Everything will be done for environmentally friendly and safe mining, as well as for the stimulation of a healthy lifestyle of the people living on our planet. We will encourage everyone who cares about the purity and ecology of our planet.
Upcoming
AGATE
Agate is the world's most comprehensive decentralized blockchain platform for instant payment without volatility risk to mainstream crypto adoption.
Upcoming
Eloncity
ELONCITY decentralizes our power infrastructure into millions of self sufficient microgrids. Locally produced energy is available 24/7 and directly competitive to utilities. Energy price becomes transparent to all. People use Eloncity's open technologies to make electricity virtually free so that we can electrify the world with clean energy.