CertiK

CertiK

ICO Ended
10,504 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
World Mobile Token
World Mobile is going the extra mile to open a new world. With nearly 4 billion people left offline, digital exclusion is a significant problem. Unlike traditional mobile networks, World Mobile is based on the sharing economy, selling affordable network nodes to local business owners, and so they have the power to connect themselves and others while sharing the rewards. The World Mobile Token (WMT) is a digital token that is issued with the purpose of allowing the participants to provide a service on the network and be rewarded accordingly for it. The primary role of WMT is to incentivise both token holders that want to support the operation of the network by way of delegating their WMT stake to a node operator (stakers) as well as node operators that operate their own node. WMT is the utility token at the heart of World Mobile Chain, a solution developed in partnership between Input Output Global and World Mobile to democratize access to digital, financial and social services in Africa, the first of its kind to go the extra mile and connect the unconnected. The sharing economy enabled by WMT provides the foundation for affordable network nodes, based on the Cardano blockchain infrastructure. These network nodes act as local relays for internet connectivity. Subscribers to these networks will be able to access Input Output’s digital identity solution, Atala PRISM, which will allow them to use services such as digital banking, healthcare and education.
Active
Zwoop
Using AI and blockchain, Zwoop’s unique find engine helps shoppers find the products they want from any website, at the best available price with a single click checkout. Shoppers will be able to pay for products using cryptocurrency and ZWP tokens.
Upcoming
Mind AI
Mind AI is an artificial intelligence engine that is capable of human-like abstract reasoning without the need for big data or supercomputers. With its ability to contextualize information and reason, Mind AI is able to generalize knowledge, a feat that no other AI today is capable of. By being able to learn on its own, Mind AI will be able to formulate its own hypotheses and models of how things work, augmenting human intelligence.
Upcoming
Verity
Verity makes it easy for people to get paid for reporting on real-time events and information around them, while developers can get any data they want in a cheap, fast and secure data feed. It uses sub-ms network to process data with wisdom of the crowd approach and uses blockchain‑as‑a‑court‑system on Ethereum network to guarantee security and fairness.
Upcoming
MetaShooter
Metashooter is the first decentralized blockchain-based hunting metaverse that joins millions of hunting enthusiasts in a community where they can: Experience real hunting: Play in tournaments, multiplayer, and with stunning visuals with VR compatibility; Hunt & Earn: Receive token rewards by hunting trophies, wining tournaments, and more; Customize & Upgrade: Buy, upgrade hunting equipment and customize your hunter; Develop: Buy hunting lands, build towers, breed NFT dogs, and earn passive income; Explore the open World: Experience various environments, stunning visuals and realistic dynamics.