A short set of data that proves the primality of a number. A certificate can, in general, be checked much more quickly than the time required to generate the certificate. Varieties of primality certificates include the Pratt certificate and Atkin-Goldwasser-kilian-morain certificate.