funções pseudorandomicas oblíquas verificáveis round-ótimas a partir de reticulados ideais

Resumo

Funções pseudorandomicas oblíquas verificáveis (VOPRFs) são protocolos que permitem que um cliente aprenda avaliações de funções pseudorandomicas verificáveis (PRF) em entradas de sua escolha. As avaliações de PRF são computadas por um servidor usando sua própria chave secreta. A segurança do protocolo impede que o servidor aprenda algo sobre a entrada do cliente e, da mesma forma, impede que o cliente aprenda algo sobre a chave do servidor. VOPRFs têm muitas aplicações, incluindo autenticação baseada em senha, compartilhamento de segredos, autenticação anônima e interseção privada eficiente. Neste trabalho, construímos o primeiro protocolo VOPRF round-óptimo (online) que mantém a segurança a partir de bem-conhecidas suposições de dureza de reticulado subexponencial. Nosso protocolo requer construções de argumentos de conhecimento de zero-conhecimento não interativos (NIZKAoK). Usando desenvolvimentos recentes na área de argumentos de conhecimento de zero-conhecimento pós-quântico, mostramos que nosso VOPRF pode ser instantiado de forma segura no modelo de oráculo aleatório quântico. Construímos tais argumentos como extensões de trabalhos anteriores na área de sistemas de prova de zero-conhecimento baseados em reticulado.