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