Description：CertiK是一家成立于2018年的区块链安全公司。该公司利用正式化验证和AI技术合作提供端到端区块链安全审计服务。此外，该公司还开发了“CertiK Chain”，这是一个专注于安全的区块链，旨在增强智能合约的安全性。