Almost all primes can be quickly certified, in [1 (1986)

by Shafi Goldwasser, Joe Kilian