Perguntas com a marcação «zero-knowledge»

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, mesmo se nos …

16 complexity-classes  cr.crypto-security  zero-knowledge 

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 próprias palavras …

12 cr.crypto-security  proofs  zero-knowledge 

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 , …

11 communication-complexity  zero-knowledge 

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 de log, a …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

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 probabilística tal que, para …

8 cr.crypto-security  concurrency  zero-knowledge