Zero-knowledge proofs and isogeny-based cryptosystems

• Autores: Javier Silva Velón
• Directores de la Tesis: Carla Ràfols Salvador (dir. tes.)
• Lectura: En la Universitat Pompeu Fabra ( España ) en 2021
• Idioma: español
• Tribunal Calificador de la Tesis: Jorge Luis Villar Santos (presid.), Damien Vergnaud (secret.), Geoffroy Couteau (voc.)
• Programa de doctorado: Programa de Doctorado en Tecnologías de la Información y las Comunicaciones por la Universidad Pompeu Fabra
• Materias:
  • Matemáticas
  • Ciencias tecnológicas
    • Tecnología de las telecomunicaciones
• Texto completo no disponible (Saber más ...)
• Resumen

  • En esta tesis, presentamos algunos esquemas criptográficos de clave pública. El trabajo está dividido en dos mitades. La primera mitad se centra en pruebas zero-knowledge en el contexto clásico, y bajo hipótesis falseables. En particular, mejoramos la eficiencia de un argumento para ecuaciones lineales, y presentamos una prueba de evaluación correcta de un circuito que es logarítmica en la profundidad del circuito. En la segunda mitad, introducimos un esquema de firmas, un esquema de cifrado y un grupo Trapdoor DDH basados en isogenias de curvas elípticas supersingulares. Los esquemas de firmas y cifrado son seguros contra adversarios cuánticos.