Top tier smart contract auditing companies include Hacken, Trail of Bits and OpenZepplin