合成性证书

合成性证书是一段信息，它保证给定的数 是 合数。可能的证书包括一个数的 因子（一般来说，通过直接除法检查比最初确定要快得多），或者确定以下任一情况：

（即， 违反 费马小定理），或

满足任一性质的量 被称为 是合数的见证。