CertiK logo

CertiK Office Locations

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

CertiK Headquarters Location

1001 Ave of Americas, New York, NY 10018