CertiK

CertiK

ICO Ended
10,542 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
Burency
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The platform is designed to address key challenges that prevent widespread adoption within the cryptocurrency and Blockchain ecosystem such as exchange’s lack of liquidity and security, unsustainable mining, unawareness of Blockchain applications to businesses. The Burency Exchange is a regulated exchange platform that addresses key challenges including security, liquidity, fiat to crypto transactions and vise versa, and more. The exchange is one of the world’s fully insured platforms, with coverage provided from LIoyd’s of London through the Nebbex Protocol. The Burency Mining facility answers some of the challenges associated with crypto mining such as mining destruction to environment and excessive mining power expenses by creating a sustainable facility powered by renewable hydropower. Burency provides a streamlined platform for the generation of cryptocurrency via purchased timeshare slots within the mining facilities using the BUY token. Additionally, computational power can also be purchased via the BUY token which governs purchases across the Burency ecosystem. The Burency Blockchain Development Center is dedicated mainly for advising enterprises on Blockchain applications and helping them operate on the blockchain for more efficient operation and business transactions execution. In particular, the center focuses on the creation of smart contracts that enable businesses to trade with entities across geographical and jurisdiction boundaries.
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
GoRecruit
GoRecruit is an AI recruitment system based on blockchain technology, which offers a new way of evaluating job applicants. The AI system, being a convenient online service, enables making HR decisions based on the analysis of data from social networks and publicly available sources. To select applicants for an interview, one does not need to spend several hours for processing and analyzing the data: one will acquire the detailed information with recommendations immediately after the authorization of a candidate in the GoRecruit system. This approach will make access to vacancies more open, eliminate human error in hiring, as well as reduce the cost of HR service by optimizing routine work.
Upcoming
Collectible
Collectible is the exclusive NFT + Physical Item online platform out there. It’s one of a kind. Just like its items. With different unannounced drops happening every week ranging from sport memorabilia to long century old art brought back to life through our NFT creating process making it relevant again. Through our top-notch blockchain technology and NFT creating service we provide a level of authenticity to users that hasn't been seen since the beginning of the internet.
Upcoming
Talao
Talao is the first Ethereum-based DAO for Talent, which introduces a unique way for users to own their data thanks to a secure digital vault storing their certificates on the blockchain. Talao provides a decentralized marketplace, governed by Talent, on which neither intermediaries nor commissions apply.