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
Rust
DeFi
Blockchain
Cybersecurity
Smart Contracts
Infosec
Incident Response
Smart Contract Audit
Crypto
Formal Verification
Solidity
Penetration Testing
Web3
Cybersec
Software
Cryptocurrency

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