Submit ICO / Airdrop ★ Get Promotion
ProjectsDeFiAirdropsSTOsPromotionMarks newsWatchlist ()
0
CertiK

CertiK

ICO Ended
10,514 Views
Visit Website
Last screenshot taken on
27 May 2020 .
Add to Watchlist
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.
Platform
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
Financial
Social media
Links: Bitcointalk
Twitter
Telegram
Github
Medium
Discord
Youtube
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)

HORIZONTAL
SQUARE
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.
Active
Zwoop
Using AI and blockchain, Zwoop’s unique find engine helps shoppers find the products they want from any website, at the best available price with a single click checkout. Shoppers will be able to pay for products using cryptocurrency and ZWP tokens.
Active
KardiaChain
KardiaChain is the blockchain of blockchains. A scalable and interoperable blockchain platform for decentralized applications. Our Vision: We believe Blockchain can create equal opportunities for people, a world where people have access to opportunity to invest, to start a business, to work and to be socially mobile. Our technology empowers mass adoption, expand use-cases and lay foundation of the blockchain ecosystem. We are building a blockchain platform for decentralised applications helping to create a blockchain ecosystem that allows for scaling and connecting disparate blockchains. Our Core Technology is: - Dual Node - Elastic Sharding With Incentive Mechanism (ESWIM) - Kardia Smart Contract Markup Language (KSML) Our Use cases are: - Supply Chain Management - Fully Decentralised Cross-chain Exchange - Smart City
Upcoming
Digital Ticks
A First ever Commodity - Crypto Exchange well designed by traders for traders. Digital Ticks Exchange (DTX) is just not another crypto to crypto exchange but is also a semi-algorithm platform provider in its own. DTX plans to cater to all types of crypto assets as well as commodity to crypto assets. DTX would be power packed by a lot of advanced features including all the basic features of an exchange required by a novice trader to a professional trader as well as for a high frequency trader. In terms of security DTX is taking extra precautionary measures to avoid any kind of hacks like DDoS attacks, phishing attempts and by also performing vulnerability assessments and penetration testing. DTX has installed robust technologies behind the scene that could handle heavy volatility of the crypto markets as well as commodity markets which can handle upto 1,000,000 orders per second. Digital Ticks Exchange team believes into robust technology, ahead of industry standards in terms of providing customer service to its stakeholders as well as traders. Digital Ticks Exchange team ensures all its traders to have a smooth and user friendly trading experience. Digital Ticks Exchange would not levy any transaction charges for first few months of inception thereby giving traders to trade on zero transaction charges. DTX would give volume-based incentive for high frequency trader (HFT) which would give them scope for retaining higher profitability in the trade.
Upcoming
Fan360
The first sports community for fans, that covers the complete fan experience. Follow your favourite sports star, club or brand and get rewarded for engaging.
Upcoming
FinanceX
The FinanceX exchange platform enables users to trade using the local currency from a range of countries. This makes trading faster and easier as users can buy/sell cryptocurrencies directly instead of a slower and more difficult method using an intermediate, such as BTC or ETH. It also means that users can trade from many different countries with no added difficulty, setting us apart from other exchanges.