CertiK is a Web3 security company that specializes in blockchain and smart contract security audits. It utilizes formal verification and AI technology to detect and improve vulnerabilities in DeFi and NFT projects. It provides audit reports, a real-time monitoring tool “Skynet”, and a fraud detection/warning function “KYC”. We have also audited many major projects, contributing to improvements in reliability and transparency. It is widely used as a security infrastructure in the Web3 industry.