CertiK

CertiK

ICO Ended
10,557 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
Sponsy
Sponsy is disrupting the sponsorship industry. It is a one-stop online solution for sponsors and sponsees to conduct sponsorship deals. By tokenizing sponsorship assets and decentralizing decision-making, we do not only reduce costs, but also provide sponsees with a wider choice of sponsorship opportunities and make sponsorships available to every business.
Active
Zillios
Zillios is the next generation international real estate platform, revolutionary and highly innovative. Zillios completely changes the way the real estate market operates providing a state of the art scalable infrastructure to all key stakeholders, including smart contract based features to tackle current inefficiencies in rental and buying processes. Blockchain-based property transfer is foreseen in Zillios´ technology providing a future-proof infrastructure.
Upcoming
Collectible
Collectible is the exclusive NFT + Physical Item online platform out there. It’s one of a kind. Just like its items. With different unannounced drops happening every week ranging from sport memorabilia to long century old art brought back to life through our NFT creating process making it relevant again. Through our top-notch blockchain technology and NFT creating service we provide a level of authenticity to users that hasn't been seen since the beginning of the internet.
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
Coolomat
Coolomat Market will change the online e-commerce grocery sector with an innovative approach connecting customers and producers, big and small, over a new innovative online platform utilizing blockchain technology and open source software. A big “game changer” is the connection to physical click & collect pick up point devices – Coolomats. Our devices present the first and the only worldwide network of such kind.
Upcoming
Quarteria
Our mission is to create the first international decentralized residential and commercial real estate listings database controlled by both Buyers and Sellers. Real Estate Brokers and self-represented Sellers will be able to upload their listings and eventually, transfer title of properties, all paid for via the PROQ token.