En el capítulo 10 de HAC (10.4.2) , vemos el conocido protocolo de identificación Feige-Fiat-Shamir basado en una prueba de conocimiento cero que utiliza la (presunta) dificultad de extraer el módulo de raíces cuadradas de un compuesto que es difícil de factorizar. Daré el esquema en mis propias...
Estoy tratando de entender el protocolo bitcoin en el contexto de la seguridad criptográfica computacional. La pregunta es una solicitud de referencia a fundamentos de artículos de criptografía sobre bitcoin. Mi primera pregunta es ¿qué protocolo criptográfico abstracto está intentando...
Algunos antecedentes: Estoy interesado en encontrar límites inferiores "menos conocidos" (o resultados de dureza) para el problema de Aprendizaje con errores (LWE) y generalizaciones de los mismos como Aprender con errores sobre anillos. Para definiciones específicas, etc., aquí hay una buena...
Cuando pienso en un software inseguro, creo que es "demasiado útil" y que un atacante puede abusar de él. Entonces, en cierto sentido, asegurar el software es el proceso de hacer que el software sea menos útil. En informática teórica no estás trabajando con el mundo real. Entonces, ¿hay problemas...
En 1975, Miller mostró cómo reducir la factorización del número entero para encontrar el período r de una función f ( x ) = a xNNNrrr tal que f ( x + r ) = f ( x ) con algunos elegidos al azar a < N . Es bien sabido que el algoritmo de Shor puede encontrar r eficientemente en una computadora...
La matriz tiene dimensión n × n ( n - 1 ) . Queremos llenar A utilizando números enteros entre 1 y n , ambos inclusive.UNAAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)UNAAA111nortenn Requisitos: Cada columna de es una permutación de 1 , ... , n .UNAAA1 , ... , n1,…,n1, \dots, n Cualquier submatriz...
La seguridad SHA-1 se ha discutido desde que se publicó por primera vez un algoritmo para encontrar colisiones en CRYPTO 2004 y posteriormente se ha mejorado. Wikipedia enumera un par de referencias , sin embargo, parece que la última investigación publicada (y luego retirada) sobre este tema fue...
¿Algún organismo conoce alguna buena referencia para el significado de la simulabilidad en línea recta? Actualmente estoy profundamente inmerso en el marco de Universal Composability (UC) de Canetti, pero no puedo encontrar ninguna buena referencia para el significado de la simulabilidad en línea...
Tengo algunas preguntas sobre engañar a los circuitos de profundidad constante. Se sabe que la independencia de es necesaria para engañar a los circuitos A C 0 de profundidad d , donde n es el tamaño de la entrada. ¿Cómo se puede probar esto?Iniciar sesiónO ( d)( n )logO(d)(n)\log^{O(d)}(n)A C0...
Mi pregunta es acerca de la equivalencia de la seguridad de varias funciones unidireccionales candidatas que pueden construirse en función de la dureza del factoring. Asumiendo el problema de FACTORIZACIÓN: [Dado para primos aleatorios P , Q < 2 n , encuentre P , Q. ]norte= PQN=PQN = PQPAG,...
Los generadores invulnerables se definen de la siguiente manera: Sea una relación NP y M una máquina que acepte L ( R ) . Informalmente, un programa es un generador invulnerable si, en la entrada 1 n , produce pares de instancia-testigo ( x , w ) ∈ R , con | x | = n , de acuerdo con una...
Deje que π: { 0 , 1 }∗→ { 0 , 1 }∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* sea una permutación. Tenga en cuenta que mientras ππ\pi actúa en un dominio infinito, su descripción puede ser finita. Por descripción , me refiero a un programa que describe la funcionalidad de ππ\pi . (Como en...
En Universal Blind Quantum Computation, los autores describen un protocolo basado en mediciones que permite a un usuario casi clásico realizar cálculos arbitrarios en un servidor cuántico sin revelar casi nada sobre el contenido de la computación. En la descripción del protocolo, los autores...
Esta pregunta está en la misma línea que la charla inspiradora para los alumnos de último año de secundaria . Mi doctorado El asesor me pidió que diera una charla inspiradora para el nuevo M.Sc. estudiantes El tema es la base de la criptografía , que se ilustra mejor con el libro de Goldreich . La...
Deje ser una constante fija. Dado un número entero , queremos construir una permutación tal que:n σ ∈ S nk > 0k>0 0k>0nortenortenσ∈ Snorteσ∈Snorte\sigma \in S_n La construcción utiliza tiempo y espacio constantes (es decir, el preprocesamiento requiere tiempo y espacio constantes). Podemos...
Si existen OWF, entonces es posible un compromiso de bits estadísticamente vinculante. [1] ¿Se sabe que si existen OWFs, entonces es posible un compromiso de bits perfectamente vinculante? Si no, ¿existe una separación de caja negra conocida entre ellos? [1]
Katz y Lindell mencionan en su libro que LFSR ha sido horrible como base para generadores pseudoaleatorios, y defienden que ya no se usan (bueno, también recomiendan que las personas usen cifrados de bloque en lugar de cifrados de flujo). Pero veo, por ejemplo, que uno de los cifrados en la cartera...
recientemente, Craig Gentry publicó el primer esquema de cifrado de clave pública (sobre espacio de texto plano {0,1}) que es completamente homomórfico, lo que significa que uno puede evaluar de manera eficiente y compacta AND y XOR en textos cifrados sin conocer la clave de descifrado secreta. Me...
Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] introdujo el problema de Aprendizaje con errores (LWE), una generalización del problema de Paridad de aprendizaje con error. La suposición de la dureza de este problema para ciertas opciones de parámetros ahora...
Es bien sabido que la existencia de funciones unidireccionales es necesaria y suficiente para gran parte de la criptografía (firmas digitales, generadores pseudoaleatorios, cifrado de clave privada, etc.). Mi pregunta es: ¿Cuáles son las consecuencias teóricas de la complejidad de la existencia de...