CertiK

CertiK

ICO Ended
10,752 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
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.
Upcoming
Retreeb
Founded in 2019 Retreeb is a sustainable fintech. We develop a decentralized, simple and sustainable mobile payment method. It is a free payment service for consumers and relies on a multi-local stablecoin network and Fantom's infrastructure. It allows its users to act in accordance with the universal values of ethics, sharing and solidarity.
Upcoming
Burency
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The platform is designed to address key challenges that prevent widespread adoption within the cryptocurrency and Blockchain ecosystem such as exchange’s lack of liquidity and security, unsustainable mining, unawareness of Blockchain applications to businesses. The Burency Exchange is a regulated exchange platform that addresses key challenges including security, liquidity, fiat to crypto transactions and vise versa, and more. The exchange is one of the world’s fully insured platforms, with coverage provided from LIoyd’s of London through the Nebbex Protocol. The Burency Mining facility answers some of the challenges associated with crypto mining such as mining destruction to environment and excessive mining power expenses by creating a sustainable facility powered by renewable hydropower. Burency provides a streamlined platform for the generation of cryptocurrency via purchased timeshare slots within the mining facilities using the BUY token. Additionally, computational power can also be purchased via the BUY token which governs purchases across the Burency ecosystem. The Burency Blockchain Development Center is dedicated mainly for advising enterprises on Blockchain applications and helping them operate on the blockchain for more efficient operation and business transactions execution. In particular, the center focuses on the creation of smart contracts that enable businesses to trade with entities across geographical and jurisdiction boundaries.
Upcoming
FinanceX
The FinanceX exchange platform enables users to trade using the local currency from a range of countries. This makes trading faster and easier as users can buy/sell cryptocurrencies directly instead of a slower and more difficult method using an intermediate, such as BTC or ETH. It also means that users can trade from many different countries with no added difficulty, setting us apart from other exchanges.
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
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.