CertiK

CertiK

ICO Ended
10,521 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
Active
Rivalz
Rivalz is redefining AI infrastructure by creating an AI Intel Layer to unlock new agentic economies. Built on a dual-chain DePIN architecture using Dymension and Arbitrum, Rivalz addresses one of the biggest bottlenecks in AI today: access to AI-ready, verifiable, and secure data. As we envision the web3 space to become agentic and overtake humans in the amount of transactions over time, what Rivalz is building is key for enabling this future. The core challenge that Rivalz is addressing is the need for AI-ready, verifiable and accessible data and later on intelligence. Rivalz offers a hybrid solution combining decentralized storage and high-speed agent-centric connectivity networks that cater specifically to AI's demands, ushering in the era of the agentic economy.
Active
Origin Protocol
Origin is building a platform that enables the creation of many decentralized marketplaces, allowing buyers and sellers to connect and transact directly on the blockchain. The company is building a set of protocols, developer libraries, and a decentralized application using the Ethereum blockchain and IPFS, with an initial focus on disrupting sharing economy marketplaces. Origin's mission is to reduce or remove transaction fees, promote open and transparent commerce, redistribute value more fairly to buyers and sellers, and empower the 2 billion currently unbanked individuals around the world to participate in digital marketplaces.
Upcoming
Apillon
Apillon is a Web3 development platform empowering developers to build in the Polkadot ecosystem. Through standard API connections, it provides the complete technology stack of connected services for creating NFT, GameFi, DeFi, and other Web3 products easily, reliably, and fast.
Upcoming
Cure Cosplay
Cure WorldCosplay is the world’s largest Cosplay platform, supporting 12 languages where more than 720,000 members from more than 180 countries post their quality works - 6.5 million images and counting. Our official social media accounts are followed by more than 430,000 people across Facebook, Twitter, and Weibo. We have a strong emphasis on providing community service which is characterized by self-sustainability and development. Cosplayers have various motivations for their activity, some Cosplayer want to become professional, others want more fans, and yet others are looking to share their work with groups. Photographers and Props Makers working closely with Cosplayers also have some influence on the increasing diversity of motivations. COT will be used as a payment currency within the Cure WorldCosplay ecosystem, helping cosplayers without access to other online payment methods to be tipped for their services. Using the Cure Protocol, players will also be able to create and distribute their own personalised coin. This unique feature will bring power back to cosplayers, enabling them to monetize themselves as these coins can be used to tip players as well as purchase merchandise or event tickets. Player Coins will provide an accessible platform for cosplayers to promote their identity to the continuously growing 720,000 member-base of Cure WorldCosplay, as they will be directly attainable by fans. These coins will also allow cosplayers to develop deeper relationships with their communities, as users will be able to explicitly show their support while also gamifying their experience.
Upcoming
POWERCHAIN
Powerchain network is a new DAG based platform allows blockless security and high speed transactions without mining. Powerchain is preparing 4 products for users.Powerstack wallet,Powerpay and its payment tool Powercard and Powerexchange. Powerstack, the highly anticipated mobile wallet for Powerchain and its digital asset $PCX. Powerstack is launched on Beta on Android. Powerstack V1.0 release for Android and IOS will be rolled out with additional features added in the near future. PowerPay, the first fast and convenient, ready to use crypto debit card, which can be used for everyday purchases anytime, anywhere. Powerchain will come with its very own physical card that can be used at ATMs. Transactions will only work with your own pincode, so even if you lose your card, no worries, no one else wil be able to use your Powerpay card. Powerchain Network is studying on integrating Powerstack wallet to Powerpay that allows owner to send PCX coins from wallet to Powerpay credit card. Powerchain announces the plans to develop our own Asset Exchange as mentioned on roadmap, POWEREXCHANGE. This strategic decision will further grow Powerchain coin position in the cryptocurrency market with larger scale and volume; allowing sustainability by continues funding and organic growth; while rewarding the community with profit sharing also promotes giving back to the community members by ensuring that 70% of the exchange’s revenue goes back to holders of PCX tokens.
Upcoming
Host.Games
The Host.games is a platform that allows people to set up their own blockchain powered casino, create custom games and invite players! No costs, no complicated development required – Host a game and start generating profits! The Host.games is built on top of a Host Protocol – a next-generation blockchain protocol that supports unlimited scalability which in-turn enables and sustains millions of operating DApps. With Host protocol Host.Games can support viral growth without reaching the limit because of scalability issues!