Provocado por uma pergunta que Greg Kuperberg me perguntou, estou me perguntando se existem documentos que definam e estudem classes de complexidade de idiomas que admitem vários tipos de provas de conhecimento . Classes como SZK e NISZK são extremamente naturais do ponto de vista da complexidade,...
No capítulo 10 do HAC (10.4.2) , vemos o conhecido protocolo de identificação Feige-Fiat-Shamir com base em uma prova de zero conhecimento, usando a dificuldade (presumida) de extrair raízes quadradas do módulo de raízes quadradas de um composto que é difícil de fatorar. Darei o esquema com minhas...
A prova de Goldreich et al. De que três cores têm zero provas de conhecimento usa pouco comprometimento para uma coloração inteira do gráfico em cada rodada [1]. Se um gráfico possui vértices e e arestas, um hash seguro possui b bits e buscamos a probabilidade de erro p , o custo total da...
Existe uma maneira de um provador convencer um verificador de que alguma expressão HORN-SAT é satisfatória? Claro que isso pode parecer bobagem, já que existem algoritmos de tempo lineares para o HORN-SAT. Por outro lado, HORN-SAT é P-completo, o que significa que não possui algoritmos de espaço...
Provas simultâneas de zero conhecimento com complexidade redonda logarítmica Os números das páginas são do próprio papel e não do pdf. Na página 3, "Diz-se que um sistema interativo de prova é zero de caixa preta (computacional) se houver uma máquina de oráculo de tempo polinomial...