素性證明

一組簡短的資料，用於證明一個數的素性。通常，驗證證書的速度比生成證書所需的時間快得多。素性證明的種類包括 Pratt 證書 和 Atkin-Goldwasser-kilian-morain 證書。