Description：CertiK is a blockchain security company founded in 2018. The company uses formal verification and AI technology collaboration to provide end-to-end blockchain security audit services. In addition, the company has developed "CertiK Chain", a blockchain focused on security designed to enhance the security of smart contracts.