CertiK logo

CertiK

New York, NY

CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance. CertiK was founded by Computer Science professors of Yale University and Columbia University, securing over $30B in assets, including many of the world’s top projects.

certik.io

Company Details

Founded

2017

Employees

Between 5,000 - 10,000 employees

Raised

$300,200,000

Headquarters Location

New York, NY

Public

No

Acquired

No

Founders

Zhong Shao
Zhong Shao
Ronghui Gu
Ronghui Gu

Company Collections

These are collections CertiK is a part of. Click on the collection name to view similar companies.