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.ioCompany Details
Founded
- 2017
Employees
- Between 100 - 500 employees
Raised
- $300,200,000
Headquarters Location
- New York, NY
Public
- No
Acquired
- No
Founders
- Yi LuRonghui GuZhong Shao
Company Collections
These are collections CertiK is a part of. Click on the collection name to view similar companies.