В математики та інформатики сертифікат простоти - це суворе доказ того, що число є простим. Наявність сертифіката простоти дозволяє перевірити, що число просте, не вдаючись до тестів простоти.

В теорії складності обчислень, як правило, мається на увазі, що розмір сертифіката, як і час, необхідний для його перевірки, полиномиально залежить від довжини записи числа, тобто, від кількості цифр в ньому.

Дізнатися більше: ru.wikipedia.org