CertiK

CertiK

ICO Ended
10,501 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.
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
Aimedis
Aimedis is an AI backed, blockchain and smart contract supported medical ecosystem, that changes the way patients, doctors, and hospitals communicate, connect and handle information. Using the Aimedis platform, users can store, secure and share their medical information only with the people they want to share it with by using the Aimedis right management system. Beside the records, AImedis offers videochat and communication with other patients and doctors, online prescriptions, online appointments, learning content, the inclusion of fitness trackers and devices like ECG or bloodpressure monitors into the system, while all transactions inside the system are backed by our porprietary private AIMChain blockchain, while the token is bound to a public blockchain (Aimedis dual-blockchain model). AIMSocial will be the new incentivised and decentralized medical social network where patients can help other patients and get rewarded for it, while the system is supported by AI.
Upcoming
Emrify Health Passport
Emrify is launching a decentralized Personal Health Record platform on top of the Ethereum public blockchain to deliver trusted health information to the right hands at the right time anywhere in the world. With years of building consumer engagement mobile apps, Emrify is laser focused on collecting and locking up data for each person for complete ownership and control to freely share their data. Our top priority is to create attractive cryptoeconomics models to incentivize health data sharing for all parties. With strategic US partnerships with hospitals and doctors, Emrify is building on top of established prototypes to accelerate the launch of production interfaces to firmly establish the Utility Token in healthcare.
Upcoming
Pharmeum
Pharmeum is the world's first blockchain-based prescription platform with AI health analytics, which is currently working alongside the National Health Service (NHS) in England. The Pharmeum platform is an inter-operable, decentralised, digital prescription platform running over an intelligent neural network. Empowering patients’ ownership of their medication history, and enabling affordable access to healthcare globally. Medical errors and late diagnoses are minimised by using a permissioned blockchain integrated with artificial intelligence. Pharmeum is an advanced, digitised, health eco-system.The Pharmeum blockchain will improve medicine affordability, minimise errors, and create frictionless, quality care for patients.
Upcoming
SISHUB
The SISHUB project is developing an anonymous messenger and a decentralized system for sharing data through the utilization blockchain technologies. Does Not Log IP Address. Only complex identifiers and tunnels for data transfer will be used, which will change every 10 minutes. Absence of information collection, control over users and collection of geodata. SISHUB uses triple encryption of its own design, based on AES CBC, DSA, HMAC, when most use Curve25519, RSA 2048. All data is hashed using the SHA-2 protocol (64-bit architecture).