I read that CERTIK audits smart contracts across every major protocols and program languages, so it really can show us smart contract safety of the project
basically CERTIK is a security platform that secures blockchain and provides safety verification to blockchain users, so it is very important part to any project