Debido a una pregunta que me hizo Greg Kuperberg, me pregunto si hay documentos que definan y estudien clases complejas de idiomas que admitan varios tipos de pruebas de conocimiento . Las clases como SZK y NISZK son extremadamente natural desde un punto de vista la complejidad, incluso si nos...
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...
La prueba de Goldreich et al. De que tres colorabilidad tiene cero pruebas de conocimiento utiliza un poco de compromiso para una coloración completa del gráfico en cada ronda [1]. Si un gráfico tiene vértices y bordes e , un hash seguro tiene b bits, y buscamos la probabilidad de error p , el...
¿Hay alguna manera de que un probador pueda convencer a un verificador de que alguna expresión de HORN-SAT es satisfactoria? Por supuesto, esto puede parecer una tontería, ya que existen algoritmos de tiempo lineal para HORN-SAT. Por otro lado, HORN-SAT es P-completo, lo que significa que no tiene...
Pruebas simultáneas de conocimiento cero con complejidad redonda logarítmica Los números de página son del propio documento, y no del pdf. De la página 3, "Un sistema de prueba interactiva se dice que es negro-box (computacional) cero conocimiento si hay una máquina del tiempo oráculo...