Certik

Certik is a blockchain security technology company driving research and development in the field.

It advances security by applying formal verification to smart contracts and blockchains, ensuring correctness and reducing risk.

The company also employs artificial intelligence to continuously monitor and defend blockchain protocols and their contracts from potential threats.

Founded in 2018 by professors from Yale University and Columbia University, Certik aims to strengthen trust and safety across the Web3 ecosystem.