Oh then I misunderstood you, but a greater than proof is computationally equally expensive, so doesn't matter. What do you mean the user needs to register to a provider?