Hispanopedia WikiEn teoría de números , un primo demostrable es un entero que se ha calculado como primo utilizando un algoritmo de prueba de primalidad . Las técnicas de arranque que utilizan la prueba de primalidad de Pocklington son las formas más comunes de generar primos demostrables para criptografía. [ 1 ] [ 2 ] Contrasta con un primo probable , que es probable (pero no seguro) que sea primo, basándose en el resultado de una prueba de primalidad probabilística .
En principio, se puede demostrar que todo número primo es primo en tiempo polinomial utilizando la prueba de primalidad AKS . Otros métodos que garantizan que su resultado es primo, pero que no funcionan para todos los primos, son útiles para la generación aleatoria de primos demostrables. [ 3 ]
También se han generado números primos demostrables en dispositivos integrados. [ 4 ]
Véase también
Referencias
- ↑ C. Couvreur y JJ Quisquater ( 1982), Una introducción a la generación rápida de números primos grandes , Philips Journal of Research, vol. 37, págs. 231–264
- ↑ Crandall, Richard; Pomerance, Carl (2005). Números primos: una perspectiva computacional . Springer. págs. 174–178 . ISBN 978-0387-25282-7.
- ↑ Mollin, Richard A. (2002), RSA y criptografía de clave pública , Matemáticas discretas y sus aplicaciones, CRC Press, págs. 124–125 , ISBN 9781420035247.
- ↑ Christophe, Clavier. "Generación eficiente de números primos demostrables en dispositivos integrados" (PDF) . La Asociación Internacional para la Investigación Criptológica .
- Talones de números
- Pruebas de primalidad
- Números primos
