CertiK

CertiK

ICO Ended
10,510 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.
Upcoming
Beyond Seen Screen
Beyond Seen Screen has created a platform that enables interactivity with video content. With Beyond Seen Screen watching video content is no longer a passive action, a one-way street. The platform enables content producers and content distribution companies to link additional information to the video content. Viewers will no longer only passively receive adverts, trailers and other video content but will have ability to interactively engage with them by using their mobile device.
Pre-Sale
UNIMOON
“You’ve got to start with the customer experience and work backwards to the technology. You can’t start with the technology and try to figure out where can I sell it.” -Steve Jobs UNIMOON is tokenizing on Polygon Matic. We are building a layer 1 solution building on substrate and auction for a Polkadot parachain. We will be the first interoperable decentralized social media network partnering with Storj for our decentralized cloud data storage needs. Enabling users to have full ownership and control of their personal information where it is displayed and how it is displayed utilizing blockchain technology for storage of key information. UNIMOON is bridging the gap between web2.0 to web3.0 solving the greatest issue of adoption for blockchain technology in the simplest way possible starting with the user experience.
Upcoming
LOHN
Lohn is a widely spread contractual form in various industrial fields of international cooperation relations, especially in the industry of clothing, footwear, leather, furniture, software and hardware, pharmaceutical, metal working, metallurgical, machine tools, automotive, automation, machine building industry, electronics and appliance industry, food and beverage industry, petrochemical industry. The lohn (processing economy) has been and will be a solution to produce goods at reasonable and high-quality prices through the efficient use of labor and cheap raw materials in emerging economies. It is also a business model that creates economic and social progress across the world bringing together markets with productive resources and capabilities. The trading platform developed by the lohncontrol project will create global opportunities for small and medium-sized businesses that are responsible for generating 60% of GDP. It will give them a visibility that they do not have at this time and will encourage the development of direct business between them. This means low manufacturing costs and greater adaptation to market demands. Those who will win at the end of this interaction will be consumers who will get good products at realistic prices.
Upcoming
Nordcoin Mining
Cryptocurrencies, smart contracts and other blockchain technologies are experiencing a rapid surge in popularity. With a major share of the blockchain infrastructure today dependent on consensus protocols based on proof-of-work (PoW), an efficient and intelligent crypto-mining operation is well positioned to take advantage of the ongoing expansion. NordCoin Mining OÜ is based in the IT-friendly Estonia with operations foreseen across the Nordics. The Mobile Mining Container (MMC) technology developed by NordCoin is a self-sufficientself-contained, remote controlled crypto-mining solution designed to overcome the three most significant variables affecting the profitability of crypto-mining: effective hash rate, cost of energy, and cost of space. In total, 30 MMC's will be activated, with an estimated net profit of $45,000 worth of crypto per month per container.
Upcoming
Ultrain
Ultrain Technology Limited is the next generation public-blockchain technology venture that focuses on building a high performance decentralized blockchain platform through its programmable tech-infrastructure. Ultrain is committed to construct a responsible and sustainable commercial ecosystem that enables all industrial applications. With its groundbreaking innovations in cryptography and based upon a complete decentralized public network, Ultrain is able to provide multi-folds more advanced technical performance to fundamentally solve the performance and scalability issues comparing to other traditional public blockchain platforms.