243 employees
CertiK leverages formal verification technology to mathematically ensure security in systems software.
$2M sweet spot round size
Most of their 1 investments are in rounds between $2M and $2M
2018
Playbux raised $2M on April 21, 2023
Investors: MathWallet, TRON DAO, Binance Labs, IMO Ventures, Ankr, Old Fashion Research, Gate.io and CertiK