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.ioThese are collections CertiK is a part of. Click on the collection name to view similar companies.
Series B
$60,000,000
Series B
$88,000,000
Series B
$80,000,000
Series B
$24,000,000
Series B
$37,000,000
Series A
$7,700,000
Seed
$3,500,000
0 out of 5 stars
Based on 0 reviews
Worked here? Share your experience. Help others decide if this company is right for them. Write a review on CertiK.