CertiK

CertiK

ICO Ended
10,762 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
AITrading
AITrading is a revolutionary trading ecosystem, which simplifies experience both for experienced traders as well as for newcomers. It gives tens millions traders the ability to live normal life while AI works for them. AITrading combines AI and Blockchain technologies with trading community capabilities on a single platform.
Pre-Sale
Planport
The current supply chain industry is a $64 trillion market that employs millions around the world. Planport is building a decentralized business-to-business platform for the supply chain industry and our initial product focuses on procurement and its components. Procurement is one of the core sectors of the supply chain industry. It involves buying of goods and services that enable organizations to carry out their day-to-day operations. Someone involved in procurement may be responsible for sourcing raw materials from suppliers globally and bringing them into an organization by working with C-level executives, finance and engineering as well as external suppliers. While procurement is a vital aspect of operations, the process has critical problems that are costly for all businesses from small companies to big corporations. The obstacles include legacy systems with inefficient and closed networks that are expensive, risky and time-consuming, cash flow problems that take weeks or months, contractual nightmares, poor supplier management and closed and centralized access to goods and services. A company spends 30 to 70% of its revenue on outsourced goods and services, yet many still underinvest. The Planport Platform powered by the PORT token aims to solve these problems by unifying the entire procurement process end-to-end and empowering enterprises and suppliers using a decentralized business-to-business network in the supply chain industry. Buyers and sellers can use the platform for procurement, auctions, payments, and contract management. At the end of the supplier and buyer interaction, our invoice marketplace enables suppliers to push invoices to a network of global investors where they can access a diverse range of funders. This marketplace is built on the Blockchain distributed technology allowing participants to have a secure and efficient way to settle trade finance assets in the $3 trillion factoring industry. Planport, as part of Planport Platform, has built and is building the following products: Planport RFX - a procurement product for buyers and sellers. Planport Supplier Manager - a product for enterprises to communicate with and assess suppliers. Planport Auctions - a product for performing reverse auctions with multiple suppliers. Planport Payment Systems - a payment system empowered by the PORT token for business-to-business payments. Planport Contracts - a full contract management product for creation, storage, and discovery of contracts. Planport Experts Networks - an on-demand network of supply chain experts for enterprises. Plnaport Invoice Marketplace - a trade finance network for suppliers. Planport will revolutionise the supply chain industry by building a platform that streamlines the processes and is built on trust, mutual benefit and user-centric as part of the Web 3.0 by using the Blockchain technology.
Upcoming
ReverseDAO
ReverseDAO is a solution to all of the problems above; it is a platform that connects the Metaverse with real-world assets. Fiat and economic units that are bound with world assets can now be represented, stored, and transferred onto the blockchain just as easily as cryptocurrencies.
Active
BERTINITY
BERTINITY is a disruptive innovation and a fully anonymous and No KYC blockchain financial ecosystem.
Upcoming
Escrowblock
The aim of the project is to create an EscrowBlock platform for the Ethereum network blockchain. Such a platform can work as an independent environment, or be integrated into other Smart contracts, to provide escrow services as part of any other projects. The team will start the project on Mainnet Ethereum blockchain and then make a fork for providing an independent service.
Upcoming
CARE Token
CARE Token is an ethereum blockchain cryptocurrency project that based on senior health care services. The project have backing of a known health care company in Nigeria called A&A Elderly Care Services.The project aim to provide solutions to the threat posing a challenge towards the care of the seniors through our DApp Platform.