Industrial-grade prime とは

素数が証明されていない(すなわち、厳密に証明されている)整数であるが、Miller-Rabin素数検定のような可能性が高い素数検定を受けている。無視できる、失敗率、またはBaillie-PSW素数試験であり、複合材は通過しないことが知られている。
ユーザーが大きな素数を生成する必要があるRSA暗号化などのアルゴリズムでは、工業用グレードの素数が保証された素数の代わりに使用されることがあります。たとえば、100桁を超える大数の素数を証明することは、工業グレードの素数であることを証明するよりもはるかに困難です。後者は、故障率が非常に低いため、ほとんど瞬時に実行でき、実際には失敗する可能性は非常に低くなります。換言すれば、その数は非常に高いが、絶対的な信頼ではないと主張される。