United States
$2B
$300M
Insight Partners, Lightspeed Venture Partners
CertiK, the largest Web3 security service provider, uses AI and formal verification to protect and monitor smart contracts and protocols, securing the Web3 ecosystem.