funciones pseudorandomas verificables y obliviosas óptimas en número de rondas a partir de retículos ideales

Resumen

Las funciones pseudorandomas verificables y obliviosas (VOPRFs) son protocolos que permiten a un cliente aprender evaluaciones verificables de la función pseudorandoma (PRF) sobre entradas de su elección. Las evaluaciones de PRF se calculan mediante un servidor utilizando su propia clave secreta. La seguridad del protocolo evita que tanto el servidor como el cliente aprendan algo sobre la entrada del cliente y la clave del servidor, respectivamente. Las VOPRFs tienen muchas aplicaciones, incluyendo la autenticación basada en contraseñas, el intercambio de secretos, la autenticación anónima y la intersección privada eficiente. En este trabajo, construimos el primer protocolo VOPRF óptimo en número de rondas (en línea) que mantiene la seguridad a partir de suposiciones de dureza subexponencial de retículos bien conocidas. Nuestro protocolo requiere construcciones de argumentos de conocimiento de cero conocimiento no interactivos (NIZKAoK). Utilizando desarrollos recientes en el área de argumentos de conocimiento de cero conocimiento post-cuánticos, mostramos que nuestra VOPRF puede ser instantiada de manera segura en el modelo de oráculo aleatorio cuántico. Construimos dichos argumentos como extensiones de trabajos previos en el área de sistemas de prueba de cero conocimiento basados en retículos.