CertiK launches AI Auditor to enhance real-time web3 security, focusing on early risk detection and smart contract vulnerabilities.