CertiK




C
CertiK New York , NY
C
CertiK Remote ( Greater Syracuse-Auburn Area )

C
CertiK Remote ( San Francisco Bay Area )
C
CertiK New York , United States , North America
C
CertiK New York (NY), San Francisco (CA), Seattle (WA), US

CertiK is a cybersecurity company, using cutting-edge Formal Verification technology on smart contracts and blockchains.

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 $6B in assets, including many of the world鈥檚 top projects.