KANDO id: 6808094
Bookmark

Token information

Also known as
CTK
Affiliations
Certik
Digital asset type
Formal verification platform for blockchain ecosystems.

Overview

CertiK is a company that provides smart contract verification and security services for blockchain-based systems. It was founded in 2017 by a team of researchers from Yale and Columbia Universities, and it is based in New York City. CertiK uses formal verification technology to analyze and verify the security of smart contracts and other blockchain-based systems. Formal verification is a mathematical technique that is used to prove the correctness of software and hardware systems, and it allows CertiK to provide a high level of assurance that the systems it verifies are secure and free of vulnerabilities. In addition to providing smart contract verification services, CertiK also offers a range of other security-related services, including audit and consulting services, security training, and software development. The company's services are designed to help businesses and organisations build secure and reliable blockchain-based systems, and it has worked with a number of leading companies and organisations in the blockchain space. Overall, CertiK is a leading provider of smart contract verification and security services for blockchain-based systems, and it is committed to helping businesses and organizations build secure and reliable systems using blockchain technology.

Current team

Investors

List of the current and past investors into CertiK with their respective financial instruments.

Profile Country Phone Round
Binance Labs Blockchain technology incubator, focusing on pre-ICO projects and teams. Hong Kong SAR China N/A
Kenetic Capital Venture capital fund investing in equity of Series A / B blockchain technology companies. Hong Kong SAR China +852 3890-7000 N/A
Kosmos Capital Crypto VC firm. Australia N/A
NGC Fund I Crypto focused venture capital fund. N/A
Part One Capital Venture capital firm that seeks to invest in Defi, NFTs, projects building on Polkadot and protocols and cryptocurrency sectors. N/A
Signum Capital Management Pte Ltd Investment firm focused on distributed ledger technologies and crypto assets. Singapore N/A