CertiK

CertiK

ICO Ended
10,737 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
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).
Upcoming
MeconCash
We intend to develop MeconCash into a platform that allows user’s assets to be transferred and traded between different types of services by integrating point reward systems, contents purchase, and settlement, which are currently operated separately between existing services and those under development. To that end, we will build the reward and settlement system, develop the API to connect it with other services, and build an ecosystem that can be used in the on- and off-line real economy. All this will ensure the usability, connectivity, and sustainability of MeconCash. We will develop a variety of mobile-based applications, games, and contents on the platform and link it with such services as online marketplaces where users can purchase products. The reward system used by a service generally invalidates the rewards owned by users when the service is terminated. MeconCash, however, can transform the rewards obtained from using our services into valuable assets. As such, users will be able to fulfill the demand for new services with MeconCash even when the services they use are terminated, make transactions between them, and use the assets in the real economy. We will stabilize the MeconCash ecosystem by developing new blockchain-based businesses and linking it with external services which already exists. Additionally, MeconCash will be available in 70% of ATMs in Korea so that users can directly withdraw MeconCash to fiat money.
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.
Active
BitMinutes
BitMinutes is the first prepaid airtime token to provide low-cost financial services to the world's two billion unbanked consumers. BitMinutes serve as the universal cryptocurrency for enabling global telecommunications providers, retail merchants and a network of trusted agents to offer free money transfer and guaranteed loans to six billion cellphone users. The primary goal of Bitminutes ICO is to provide access to key financial services for over two billion unbanked worldwide.
Upcoming
Minerva
Minerva is the world's first reverse merchant processor. We pay transaction fees to approved businesses integrated within the Minerva economy, we don't charge them. Minerva is a platform designed to incentivize the adoption of its OWL token with a new and disruptive economic model.
Upcoming
TillBilly
TillBilly aims to bring blockchain to the mainstream retail. TillBilly is a Stellar based digital payments network with a unique point of sale hardware terminal that empowers everyday shoppers to make contactless payments, automatically get digital receipts (tax invoices) and collect loyalty reward points, without the complexity or price volatility associated with cryptocurrencies TillBilly bypasses the middlemen Merchant Services providers (card processing companies, payment gateways) who charge high processing fees per transaction (1.5% - 3.5%) and provides an ultra low fee payments network, so the shopper pays less, and the merchant gets more Protects both shoppers and merchants against any cryptocurrency price volatility. Provides a seamless way of funding wallets within app, and making payments through our proprietary tap-and-go (NFC) payment terminals. Complexities of blockchain and cryptocurrencies are hidden from shoppers and merchants.