CertiK

CertiK

ICO Ended
10,537 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
Artcoin
The art world is traditionally anything but transparent, and that’s where ArtCoin, an investor-driven collective, creates real change for investors. Guiding users through transactions using cryptocurrencies, ArtCoin enables investors to benefit from the increased security and transparency of the Smart Contracts platforms. By pulling together information that everyday investors normally can’t access, ArtCoin democratizes the art market and acts as a direct liaison between investors and the art industry.
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
Unchainet
UNCHAINET connects underutilized server resources with clients who need them. Our blockchain protocols govern the network, align provider incentives with computing resource quality giving choices and transparency to the cloud client market.
Upcoming
Universal Recognition Token
Universal Recognition Token is the first blockchain-based corporate rewards marketplace where employees may sell and auction their gifts, rewards and prizes to the general public. URT is disrupting a $90 billion dollar annual spend market in the United States alone, according to the Incentive Federation.
Upcoming
Ispolink
Ispolink is cutting-edge automated matchmaking job board platform that leverages Blockchain and Artificial Intelligence (AI) technology to address one of the most fundamental challenges that exist nowadays – sourcing and attracting qualified personnel. We strive to empower companies operating in the blockchain and IT domain to fill their positions by providing them a full spectrum of tools to conduct and manage in-house the entire recruitment process efficiently - ranging from candidate sourcing, screening, through the various stages of interviews until the final offer, eliminating the need of intermediaries such as HR agencies. As per the job seekers, the platform is tailored to improve their overall experience by reducing the prolonged job searching, the endless waiting for feedback, coupled with convenience to receive the best offers with only a few clicks. Ispolink’s blockchain based product facilitates the processes for filling roles by providing a full cycle recruitment system. The platform will make the entire recruitment process more transparent, optimized, automated and also to help organizations to enhance their internal communication which will result in substantial cost and time reductions