Domande taggate «zero-knowledge»

Classi di complessità per prove di conoscenza

Spinto da una domanda che Greg Kuperberg mi ha posto, mi chiedo se ci sono articoli che definiscono e studiano classi di complessità di lingue che ammettono vari tipi di prove della conoscenza . Classi come SZK e NISZK sono estremamente naturali dal punto di vista della complessità, anche se …

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

Perché Feige-Fiat-Shamir non è Zero Conoscenza senza bit di segno?

Nel capitolo 10 di HAC (10.4.2) , vediamo il noto protocollo di identificazione Feige-Fiat-Shamir basato su una prova a conoscenza zero che utilizza la (presunta) difficoltà di estrarre radici quadrate da un modulo che è difficile da considerare. Darò lo schema con le mie stesse parole (e spero di farlo …

12 cr.crypto-security proofs zero-knowledge

Costo minimo di comunicazione per zero prove di conoscenza di tre colorabilità

La dimostrazione di Goldreich et al. Che tre colorabilità ha zero prove di conoscenza usa l'impegno bit per un'intera colorazione del grafico in ogni round [1]. Se un grafico ha vertici ed bordi, un hash sicuro ha bit e cerchiamo la probabilità di errore , il costo totale della comunicazione …

11 communication-complexity zero-knowledge

Prova interattiva per HORN-SAT?

C'è un modo in cui un prover può convincere un verificatore che alcune espressioni HORN-SAT sono soddisfacenti? Naturalmente questo potrebbe sembrare sciocco, poiché esistono algoritmi di tempo lineari per HORN-SAT. D'altra parte, HORN-SAT è P-complete, il che significa che non ha algoritmi di spazio log a meno che P = …

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

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.