CertiK

CertiK

ICO Ended
10,518 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
ORCA Alliance
Control your money, savings and crypto assets from one application. Benefit from simple and intuitive user interface to manage your cash flows. ORCA Platform merges a variety of financial service providers. Access payment cards, lending services, make instant transactions to crypto wallets, exchanges and bank accounts.
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.
Upcoming
Bithemoth
Here at Bithemoth, we strive for excellence and the development of the blockchain world. Through a vigorous and highly intensive process, we selected strong and innovative leaders to become apart of the Bithemoth family and project. Our team stretches across the globe and with a diversity of strengths we will be able to make a huge impact in the blockchain world. Our ecosystem will include: 1. A Decentralized Digital Asset Exchange
 2. Enhanced and Revolutionary Security and Features
 3. A complete Marketplace and Trading Platform
 4. Fully supported ICO incubator
 5. Dedicated Support Systems and Infrastructure
 6. The Development of Brick and Mortar Locations

Upcoming
Fan Controlled Football League
Expected to kick off in 2018, the Fan-Controlled Football League (FCFL) reimagines American football – and the experience of being a die-hard fan – for the digital age. The FCFL will seek to deliver a compelling football product that captivates a broader digital audience. It will feature fast-paced, high-scoring action that embraces the spread-football evolution of the NCAA football and NFL games while enabling a diverse set of styles and strategies on both offense and defense ─ all controlled by the fans. Player personnel and real-time play calling decisions are all made by fans via the league’s blockchain platform, making fans the coach and general manager for their team. Fans will no longer be just viewers; rather, they will be active contributors to the games they are watching. This is a transformational shift in the way sports fans engage and interact: no more sitting back and passively watching as a team’s roster takes shape or a game unfolds. They will be essential to the league’s product both on the field and off. This is the democratization of sports, and it’s about to be realized through the most innovative sports league ever created, thanks to decentralized blockchain technology.
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.