CertiK

CertiK

ICO Ended
10,588 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
Nice 1
At its core, Nice 1 is a blockchain game development platform. When using Nice 1, a game developer can raise funds from public and private supporters. However, Nice 1 goes further than just mere fundraising. The Nice 1 blockchain provides users with access to an SDK library (and documentation) for Unreal Engine & Unity. Nice 1 is striving to create state-of-the-art gaming services for streamers and esports enthusiasts. Non-game developers can earn and support gamers and developers, by helping support the Nice 1 blockchain network. The primary goal of Nice 1, is to promote innovation in gaming worldwide. However, in the process, Nice 1 is also striving to tackle increasing censorship in gaming.
Upcoming
Orion Protocol
ORION is a new kind of blockchain investment platform that combines the best features of exchanges, brokerages, and instant trading apps. The platform is built around a liquidity aggregator connected to all of the major crypto exchanges, as well as its own internal decentralized exchange, enabling users to gain the best price for their trades from a single portal. Along with powerful tools for portfolio management, ORION offers exceptional security, convenience, and flexibility. The platform is suitable for experienced traders, institutional investors, and newcomers alike.
Upcoming
AllPublicArt
All Public Art (APA) provides a unique platform that contributes to the growth and sustainability of the global art community by supporting the art market, igniting artist-to-collector trading, and storing the provenance of art on the blockchain. With the AllPublicArt token and the creation of our API, we are deploying a new, convenient and effective way to trade art and track the history of artworks. All Public Art's implementation of blockchain technology will minimize counterfeit art, build trust within the art market, improve art trade services and increase economic and social benefits in the global art community. Thanks to blockchain technology, transparency is increased ensuring a more convenient and legitimate marketplace for trading art.
Upcoming
Apillon
Apillon is a Web3 development platform empowering developers to build in the Polkadot ecosystem. Through standard API connections, it provides the complete technology stack of connected services for creating NFT, GameFi, DeFi, and other Web3 products easily, reliably, and fast.
Upcoming
Xsure
Xsure is a decentralized risk management platform that facilitates real-time communication between insurance providers and the end customer. With the help of machine learning and blockchain trust-less governance technologies we have managed to eliminate third parties from the whole insurance life-cycle and turn it into a dynamic process instead of a static one.
Upcoming
Quantler
Quantler is a blockchain for creating, analysing, sharing and running of decentralized structured investment products. Create structured products (such as an ETF) in equities or cryptocurrencies using themes. As there are a lot of the tokenized products being launched (currently over 1 900 available) the structured products for these assets are lacking behind (such as sector-based ETFs). Using Quantler’s blockchain anyone can create structured products (for regular assets such as Equities and cryptocurrencies) and run them on a decentralized network (much like smart contracts). Quantler also allows for regular assets, for this market Quantler’s solution is more flexible and has a lower costs base (targeted for exchanges, family offices and investment managers). The QUANT token’s intrinsic value is dependent on the AUM (asset under management) by the entire network. Quantler is like a Vanguard or BlackRock, but then in the form of a network.