CertiK

CertiK

ICO Ended
10,565 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
Squeezer
Squeezer is a platform that helps software developers build apps easily without tackling the entire blockchain infrastructure. It is also a powerful tool for providing high-quality blockchain software components to large enterprise organizations. Squeezer uses world-class microservices platforms, such as AWS Lambda, Google Functions, and Azure Functions.
Upcoming
TrigID
TrigID is the first and only Internet-based way to show that a real-world human is who they say they are. It enforces "one person, one identity" and you can verify that real-world identity with real-world identifiers like driver's license numbers, SSN's, addresses, phone numbers... All without giving anyone those identifiers.
Upcoming
Data Choice
Take control of your personal data. Your data is used virtually every second you are online, to target you with ads. Data Choice will allow you to take control of what you share, what you keep private, control of the ads you see, and reward you for your data being used.
Upcoming
Talentchain
TalentChain, powered by Blockchain, bridges the prevalent trust deficit among students, universities, employees, recruiters and govt bodies, and serves as a single source of truth for all the stakeholders. It enables considerable and tangible cost reduction in qualifying learning and education admissions, recruitment and related statutory processes. Talentchain is a unique presentation of the knowledge asset that is securely verifiable and endorsable across various stakeholders.
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
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.