3 ms·Certik is widely used in the blockchain industry for smart contract audit/verification.by gkanai 2y agoCertik is widely used in the blockchain industry for smart contract audit/verification.