- Conference Article
218
- 10.1145/12130.12162
Almost all primes can be quickly certified
- Jan 01, 1986
- S Goldwasser + 1 more +1
This paper presents a new probabilistie primality test. Upon termination the test outputs "composite" or "prime", along with a short proof of correctness, which can be verified in deterministic polynomial time. The test is different from the tests of Miller [M], Solovay-Strassen [SSI, and Rabin [R] in that its assertions of primality are certain, rather than being correct with high probability or dependent on an unproven assumption.
Read more