Esta es una publicación cruzada de math.stackexchange. Deje que FACT denote el problema de factorización de enteros: dado encuentre los primos y los enteros modo quep i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},pagsyo∈ N ,pi∈N,p_i \in \mathbb{N},miyo∈ N ,ei∈N,e_i \in...
No se sabe que la factorización es NP-completa. Esta pregunta solicitó las consecuencias de que Factoring sea NP-completo. Curiosamente, nadie preguntó por las consecuencias de Factoring estar en P (tal vez porque esa pregunta es trivial). Entonces mis preguntas son: Cual seria el teorico...
La publicación de blog de Scott Aaronson hoy dio una lista de interesantes problemas / tareas abiertas en complejidad. Uno en particular me llamó la atención: Cree una biblioteca pública de instancias 3SAT, con la menor cantidad de variables y cláusulas posibles, que tendrían consecuencias...
(Lo siento si esto es bien conocido). Me gustaría darle algún artículo a uno de los agentes, para que el agente obtenga el artículo con probabilidad . ¿Existe una herramienta criptográfica (u otra) para que cada agente (e incluso cada observador) pueda convencerse de que el sorteo al azar fue...
He leído en varios artículos que la existencia de funciones unidireccionales se cree ampliamente. ¿Alguien puede arrojar luz sobre por qué este es el caso? ¿Qué argumentos tenemos para apoyar la existencia de funciones
Supongamos que y mañana aparece un algoritmo de tiempo lineal rápido para SAT. De repente, RSA es inseguro, gran parte de nuestro sistema de comunicación moderno está roto y necesitamos reconsiderar cómo mantener secretos entre nosotros.P=NPP=NPP = NP Pregunta: ¿Existe una buena referencia única...
Wikipedia define un segundo ataque de preimagen como: dado un mensaje fijo m1, busque un mensaje diferente m2 tal que hash (m2) = hash (m1). Wikipedia define un ataque de colisión como: encuentre dos mensajes diferentes arbitrarios m1 y m2 de manera que hash (m1) = hash (m2). La única...
Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos...
Esta pregunta se migró de Cross Validated porque se puede responder en el intercambio teórico de pila de informática. Migrado hace 8 años . Tengo un problema bastante único que resolver y espero que alguien aquí pueda darme una idea de cómo abordarlo mejor. Problema:...
Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 3 años . En el artículo de Ciencia de 2016 " Realización de un algoritmo Shor escalable " [ 1 ], los autores factorizan 15 con...
Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados): Gestión de derechos digitales...
Después de leer esta respuesta hace un tiempo, me interesé por el cifrado totalmente homomórfico. Después de leer la introducción de la tesis de Gentry, comencé a preguntarme si su esquema de cifrado podría usarse para la ejecución de código ajeno como se define en el tercer párrafo. En un esquema...
¿Qué diferencias interesantes hay entre la teoría y la práctica de la seguridad y la criptografía? Por supuesto, lo más interesante serán ejemplos que sugieran nuevas vías para la investigación teórica basada en la experiencia práctica :). Las respuestas pueden incluir (pero no están limitadas...
La aparente inutilidad de la minería de criptomonedas planteó la cuestión de alternativas útiles, vea estas preguntas en Bitcoin , CST , MO . Me pregunto si existe un algoritmo que pueda convertir prácticamente cualquier desafío computacional (cuya solución se puede verificar eficientemente) en...
Es bien sabido que la exponenciación modular (la parte principal de una operación RSA) es computacionalmente costosa, y hasta donde yo entiendo, la técnica de exponenciación modular de Montgomery es el método preferido. La exponenciación modular también se destaca en el algoritmo de factorización...
Hoy en Nueva York y en todo el mundo se celebra el cumpleaños de Christos Papadimitriou. Esta es una buena oportunidad para preguntar sobre las relaciones entre la clase de complejidad PPAD de Christos (y sus otras clases relacionadas) y las computadoras cuánticas. En su célebre artículo de 1994,...
¿Ha habido investigaciones sobre la implementación de construcciones de extractor de aleatoriedad? Parece que las pruebas de extractor utilizan Big-Oh, dejando la posibilidad de grandes constantes ocultas, lo que hace que las implementaciones programáticas sean potencialmente poco...
Esta pregunta se relaciona principalmente con un problema práctico de ingeniería de software, pero me gustaría saber si los teóricos podrían proporcionar más información al respecto. En pocas palabras, tengo una simulación de Monte Carlo que usa un generador de números pseudoaleatorio, y me...
¿Hay alguna referencia que proporcione detalles sobre los límites inferiores del circuito para problemas difíciles específicos que surgen en la criptografía, como la factorización de enteros, el problema de logaritmo discreto primario / compuesto y su variante sobre el grupo de puntos de curvas...
La computación reversible es un modelo computacional que solo permite operaciones termodinámicamente reversibles. De acuerdo con el principio de Landauer, que establece que borrar un poco de información libera julios de calor, esto excluye las funciones de transición que no son uno a uno (por...