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 200 - 500 employees

Raised

$300,200,000.00

Public

No

Acquired

No

CEO

Convoy logoRonghui Gu

Founders

Convoy logo
Zhong Shao