CertiK

CertiK

ICO Ended
10,584 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
Libra Credit
CRED, formerly Libra Credit, is a decentralized lending ecosystem that facilitates open access to credit anywhere and anytime based on the Ethereum blockchain.
Upcoming
Candao
"People can, DAO's do. Candao mission is to create a platform where individuals with the same business and social goals can come together to inspire, engage and build values together. Candao unlock people’s superpowers and let them tokenize the value they create, liquefy assets, connect existing ones, bring people together in order to build joint ventures, distribute profits between all involved people and unlock the value of everyone who plays different roles in everyday life."
Upcoming
SID Token
SID (Share Internet Data) is a peer-to-multi-peer decentralized internet sharing system that allows sharing internet from one person's smartphone to another nearby in an automated manner. One of our key missions through the SID project : “To lift as many people as possible out of poverty by means of giving the less fortunate a way to access the Internet”. Certain users will be able to get free Internet access by obtaining tokens in exchange of consuming advertising. Such obtained tokens can then be used to consume internet megabytes from other nearby Users in exchange for tokens OR Users will simply trade some of their tokens directly with other SID Users. Those trades will be done simply through a secured blockchain, on a public exchange to ensure full transparency with the control of the tokens and the control of sharing internet or not fully decentralized, meaning solely under end-user’s control through their post ITO (Initial Token Offering) token Wallet inside the SID App.
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
Beyond Seen Screen
Beyond Seen Screen has created a platform that enables interactivity with video content. With Beyond Seen Screen watching video content is no longer a passive action, a one-way street. The platform enables content producers and content distribution companies to link additional information to the video content. Viewers will no longer only passively receive adverts, trailers and other video content but will have ability to interactively engage with them by using their mobile device.
Upcoming
Tachyon Protocol
Tachyon Protocol is a decentralized internet protocol built on the V SYSTEMS blockchain that aims to create a trusted, stable, fast and reliable decentralized information network. By implementing techniques from DHT, blockchain, UDP and encryption, Tachyon Protocol is committed to building the next generation TCP/IP that can provide a self-sufficient internet environment with high security, untraceability and maximum network speed. As the first application running on V SYSTEMS, Tachyon is powered by X-VPN, which has proven technologies and 50 million existing global users to bring blockchain technology into the mainstream. IPX token is the native cryptocurrency of the Tachyon network that resides on the V SYSTEMS blockchain. The token provides easy and affordable means of sharing spare bandwidth among users, promotes positive development of the network, solves major problems with the organization of the decentralized network and serves as proxy valuation of the overall system.