CertiK is the world's largest Web3 security services provider. Founded in 2018 by professors from Yale and Columbia University, the company applies formal verification and artifici