Minimum Disclosure Proofs of Knowledge
Recognizing primes in random polynomial time