C

CertiK

243 employees

CertiK leverages formal verification technology to mathematically ensure security in systems software.

Investor insights

Sectors invested in

E-Commerce1
Gaming1
Operating Systems1

Funding rounds participated in

$2M sweet spot round size

Most of their 1 investments are in rounds between $2M and $2M

Basic info

Industry

software development
computer and network security

Sectors

Cyber Security
Cybersecurity
Software
Smart Contract Audit
DeFi
Formal Verification
Infosec
Blockchain
Rust
Penetration Testing
Cryptocurrency
Web3
Crypto
Smart Contracts
Cybersec
Solidity
Incident Response

Date founded

2018

Investments made

P

Playbux raised $2M on April 21, 2023

Investors: MathWallet, TRON DAO, Binance Labs, IMO Ventures, Ankr, Old Fashion Research, Gate.io and CertiK

FAQ