Founded in 2017 by professors from Columbia and Yale, CertiK is a New York-based leader in Web3 security.