CertiK

CertiK

ICO Ended
10,513 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
Feniks
Feniks.Finance is a new financial blockchain based system, created on a fundamentally new concept, capable of scaling its speed as needed and adding new functionality. Feniks.Finance can be used as an international banking system for information transfer and payment execution. The first version of Feniks.Finance will be able to handle payments and storage of users' funds. Namely, the banking transactions labeled in the SWIFT system with MT103 as payment sent and MT202 as a receipt and crediting of the payment to the account. The next step in the development of the system will be a 700 group of SWIFT operations, namely documentary transactions better known as guarantees and letters of credit. The introduction of the 500 group, that is, the operation with securities, suggests that an exchange will appear in our network.
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
Cryptelo
Cryptelo is a blockchain-based encryption technology company that provides data transfer, collaboration, versioning, and storage services. Cryptelo Platform technology combines encryption and blockchain based key management that allows for data mirroring. This means users can share data by giving access, without it ever leaving their hands, and no third party can access and read data without permission.
Upcoming
Co-DEX Exchange
Co-DEX is a Decentralized trading platform for cryptocurrencies, built on vanguard security infrastructure and using a revolutionary system. Co-DEX is an exchange created by the community, for the community, thus Co-DEX will be the first exchange that will apply a NO FEES policy on transactions, the users being required to cover solely the transaction cost of the miners and/or validators that register the action on the blockchains. Experience direct peer-to-peer trading without the security risk of trusting a third party, thus having complete control of your assets at any time.
Upcoming
Digiwills
Digiwills is a service based on a smart contract that aims to ensure that your digital assets are not lost or fall into the wrong hands. Thanks to the blockchain technology, with this innovative service it will be possible to safely leave all your digital assets. Such as: Access to Cryptographic Portfolios, Exchange, bank accounts, emails and passwords of your social networks and everything that only you have access to. With this service we can leave everything in order for our families to enjoy our digital assets. Decentralized The service will be based on an smart contract in the blockchain, this means that no entity or person will have access or control to the data of the users. Only the users themselves and the successors will have access, once the information is sent to them. Reliable The data will be stored in the blockchain, encrypted with the owner's key. Once in the blockchain there will be no way to alter or read them without the owner’s key. Safe Being a decentralized service, the data will be replicated throughout the network so losing them will be impossible. How it works On the platform, the user will be able to create an account where they can save sensitive data, such as: users and passwords, details of bank accounts or any information they wish to be grouped in blocks (Wills), in the blockchain in a secure way, to these blocks the user can assign successors which will receive the information contained in the block (Will). These blocks (Wills) will be encrypted using the unique key of each user, therefore only the owner will have access to said information and his assigned successors once he meets certain criteria. The service will consume an amount of the Digiwills Token (DGW) daily, as a condition to keep your data retained. If account run out of funds, the system will send the data to successors.