Re: Can someone give me an example of this type of problem?



A certificate for primeness of an odd prime P
could include all the prime factors of P-1
together with the certificates of their primality
together with with an r in 1..P-1 such that
r**k != 1 mod P for any k in 1..P-2 .
The above factors can be used to verify the validity of r.
Finding a certificate for an even
prime is left as an exercise.

.



Relevant Pages