CertiK

CertiK

ICO Ended
10,443 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
tokenforge
Tokenforge is a Germany-based infrastructure provider for the compliant tokenization of Real-World Assets (RWA). Since 2021, it has launched over 30 TokenSuite instances across five EU jurisdictions, fully aligned with MiCAR, eWpG, MiFID II, and national frameworks. The core product, TokenSuite, is API-first and modular, integrating KYC/KYB, e-signatures, custody, payments, and other regulated third-party services. Built under BaFin oversight, tokenforge integrates blockchain technology with traditional financial infrastructure. TokenSuite includes regulated services such as KYC, custody, payments, and registrar functions, ensuring compliance across different jurisdictions. The infrastructure will be expanded with EchoLayer, a decentralized network layer that enables cross-platform asset interaction, affiliate programs, and shared market access. Complementing this, IRIS is an AI-powered insights engine in development, designed to provide advanced analytics and decision support for asset structuring, placement, and lifecycle management within the ecosystem. At the core of tokenforge’s infrastructure is $TKFG, the native utility token. It enables issuers to access a 20% discount on service fees through staking and unlocks further benefits as the ecosystem evolves. tokenforge’s infrastructure is designed for institutional-grade scalability and positions itself as a foundational layer for the regulated digital asset industry in Europe.
Upcoming
LERN360
LERN360 is a blockchain-powered, AI-enhanced decentralized learning platform that offers multilingual, skill-based education and incentivizes learners and educators with tokenized rewards. The platform transforms global education through verifiable and accredited micro-credentials, smart learning, and learn-to-earn models.
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
RAVELOUS
Ravelous is the crypto ecommerce marketplace that lets users sell their stuff online for crypto. Sellers can accept many types of payments from buyers, and withdraw your balance in the token of their choosing. Buyers who do not have the currency the sellers prefer can exchange their coins for RAVE tokens which used for payment. The RAVE tokens can also be traded for other coins, and will have a value backed by the crypto-marketplace and the RAVE treasury that will increase over time as the treasury grows in value.
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.
Upcoming
Connecty.io
Connecty is looking to streamline the relationship between businesses and research house by serving as the missing link between holders of knowledge and those responsible for transforming knowledge into innovation. This knowledge ecosystem is setting out to accommodate all scenarios on the spectrum: from a short request for an expert’s opinion to a comprehensive research study that may stretch over a considerable period of time. It is intended this will be open to all areas of knowledge and all fields of study ranging from physics, engineering and IT systems to ecology, environment and society plus everything in between.