CertiK is a blockchain security company that provides auditing and verification services for smart contracts and blockchain protocols. The company's platform uses formal verification methods to ensure the correctness and security of blockchain applications. CertiK was founded in 2018 by computer science professors from Yale University and Columbia University and is headquartered in New York City.