Certik is widely used in the blockchain industry for smart contract audit/verification.