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.ioCertiK Headquarters Location
1001 Ave of Americas, New York, NY 10018