Pruebas, Argumentos y Conocimiento Cero

Esta monografía trata sobre la computación verificable (VC). VC se refiere a protocolos criptográficos llamados pruebas interactivas (IPs) y argumentos que permiten a un probador garantizar a un verificador que el probador realizó un cálculo solicitado correctamente. Esta monografía cubre diferentes nociones de pruebas matemáticas y sus aplicaciones en informática y criptografía. Informalmente, lo que entendemos por una prueba es cualquier cosa que convenza a alguien de que una afirmación es verdadera, y un "sistema de prueba" es cualquier procedimiento que decide qué es y qué no es una prueba convincente. Introducidos en la década de 1980, las IP y los argumentos representaron una gran expansión conceptual de lo que constituye una "prueba" de que una afirmación es verdadera. Tradicionalmente, una prueba es un objeto estático que se puede verificar fácilmente paso a paso para su corrección. En contraste, las IP permiten la interacción entre el probador y el verificador, así como una probabilidad minúscula pero no nula de que una prueba inválida pase la verificación. Los argumentos (pero no las IP) incluso permiten que haya "pruebas" de afirmaciones falsas, siempre que esas "pruebas" requieran una potencia computacional exorbitante para encontrarlas. Hasta cierto punto, estas nociones imitan las interacciones en persona que usan los matemáticos para convencerse mutuamente de que una afirmación es verdadera, sin pasar por el laborioso proceso de escribir y verificar una prueba estática tradicional. Resultados teóricos célebres de las décadas de 1980 y 1990, como IP = PSPACE y MIP = NEXP, mostraron que, en principio, se pueden verificar eficientemente afirmaciones sorprendentemente complicadas. Es más, cualquier argumento puede, en principio, transformarse en uno que sea de conocimiento cero, lo que significa que las pruebas no revelan información que no sea su propia validez. Los argumentos de conocimiento cero tienen una miríada de aplicaciones en criptografía. En la última década, los argumentos de conocimiento cero de propósito general han dado el salto de la teoría a la práctica. Esto ha abierto nuevas puertas en el diseño de sistemas criptográficos y ha generado conocimientos adicionales sobre el poder de las IP y los argumentos (de conocimiento cero o no). Ahora existen no menos de cinco enfoques prometedores para diseñar argumentos eficientes de conocimiento cero de propósito general. Esta monografía cubre estos enfoques de manera unificada, enfatizando los puntos en común entre ellos.

Autor: Justin Thaler
Editorial: Now Publishers
Publicado: 12/07/2022
Páginas: 566
Tipo de encuadernación: Tapa blanda
Peso: 1.72lbs
Tamaño: 9.21h x 6.14w x 1.15d
ISBN13: 9781638281245
ISBN10: 1638281246
Categorías BISAC:
- Informática | Seguridad | General