CertiK

CertiK

ICO Ended
10,339 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
Pre-Sale
Shaft Foundation
SHAFT - 'Strategic Hub for AI-Focused Technology' is a team that has built ten-figure token projects, and some of the most widely used AI technologies. We are are already partnered with leaders in building AI agents for translation and accessibility. Speechlab is an initial partner part of AiFund Andrew Ngs incubator who founded Google Brain
Pre-Sale
OYOFI Finance
The Platform is one stop solution for integrated Crypto DeFi Ecosystem Viz–A-Viz staking, Swapping, Tokenisation of Real World Assets and use of crypto assets in real world through OYOFI debit and credit card.
Active
EASTER2025
$EASTER2025 is a vibrant, community-driven token designed to spread festive cheer across the crypto space. Celebrating every major holiday throughout the year, it unites investors and enthusiasts in a spirit of joy, innovation, and togetherness. Created by the community, for the community, EASTER2025 brings a unique seasonal twist to the world of digital assets, making every holiday a special occasion in the blockchain universe.
Active
Ozolio Token
Ozolio is a Live Streaming and Webcam Hosting platform that allows customers to broadcast their live content 24/7 to multiple locations, such as websites, social platforms, mobile apps etc. While customers focus on building community, trust, and brand awareness with their audience, Ozolio simplifies the complexities of live streaming and protects the customer’s live content. Ozolio is launching its ICO to fund the next evolution of live streaming, integrating AI-powered video analysis, real-time audience engagement, and blockchain-driven decentralization. Our platform enables businesses, content creators, and organizations to leverage high-quality, interactive, and monetizable live streams with unparalleled insights and automation. By investing in OZOT token, you gain access to exclusive benefits like discounted streaming services and premium features. With the global live streaming market expected to reach $520B by 2032, Ozolio is positioned to lead the industry’s transformation, creating new revenue opportunities for businesses while democratizing access to live content worldwide.
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
Pigzbe
Pigzbe uses the blockchain to make money transfers within families borderless, safe, and instant. By unlocking the potential of globalised families as micro-financing networks, Pigzbe teaches children about money in the 21st century.