CertiK

CertiK

ICO Ended
10,506 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.
Pre-Sale
NOBAR
Forget fragmented marketplaces! NOBAR is creating the first ever "Unified Crypto Commerce" to provide a holistic solution to the purchasing problem with cryptocurrency and crypto token. Our two robust functions - "Crypto Commerce" and "Shop-App" will facilitate all possible commercial activities.
Upcoming
TrigID
TrigID is the first and only Internet-based way to show that a real-world human is who they say they are. It enforces "one person, one identity" and you can verify that real-world identity with real-world identifiers like driver's license numbers, SSN's, addresses, phone numbers... All without giving anyone those identifiers.
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
Upcoming
Nordcoin Mining
Cryptocurrencies, smart contracts and other blockchain technologies are experiencing a rapid surge in popularity. With a major share of the blockchain infrastructure today dependent on consensus protocols based on proof-of-work (PoW), an efficient and intelligent crypto-mining operation is well positioned to take advantage of the ongoing expansion. NordCoin Mining OÜ is based in the IT-friendly Estonia with operations foreseen across the Nordics. The Mobile Mining Container (MMC) technology developed by NordCoin is a self-sufficientself-contained, remote controlled crypto-mining solution designed to overcome the three most significant variables affecting the profitability of crypto-mining: effective hash rate, cost of energy, and cost of space. In total, 30 MMC's will be activated, with an estimated net profit of $45,000 worth of crypto per month per container.
Active
Zillios
Zillios is the next generation international real estate platform, revolutionary and highly innovative. Zillios completely changes the way the real estate market operates providing a state of the art scalable infrastructure to all key stakeholders, including smart contract based features to tackle current inefficiencies in rental and buying processes. Blockchain-based property transfer is foreseen in Zillios´ technology providing a future-proof infrastructure.