Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Dimostrazione a conoscenza zero

Indice Dimostrazione a conoscenza zero

In crittografia una dimostrazione a conoscenza zero o protocollo a conoscenza zero è un metodo interattivo utilizzato da un soggetto per dimostrare ad un altro soggetto che una affermazione (solitamente matematica) è vera, senza rivelare nient'altro oltre alla veridicità della stessa.

20 relazioni: Alice e Bob, Aritmetica modulare, Autenticazione, Cammino hamiltoniano, Co-NP, Completezza (logica matematica), Concorrenza (informatica), Correttezza (logica matematica), Crittografia, Distanza (matematica), Grafo, Indipendenza stocastica, Internet, Macchina di Turing, NP (complessità), NP-completo, Residuo quadratico, Silvio Micali, Variabile casuale, 1985.

Alice e Bob

I nomi Alice e Bob sono molto usati come personaggi in campi come la crittografia, la teoria dei giochi e la fisica.

Nuovo!!: Dimostrazione a conoscenza zero e Alice e Bob · Mostra di più »

Aritmetica modulare

L'aritmetica modulare (a volte detta aritmetica dell'orologio poiché su tale principio si basa il calcolo delle ore a cicli di 12 o 24) rappresenta un importante ramo della matematica.

Nuovo!!: Dimostrazione a conoscenza zero e Aritmetica modulare · Mostra di più »

Autenticazione

L'autenticazione (dal greco: αὐθεντικός authentikos, "puro”, da αὐθέντης authentes, “autore”) è l'atto di confermare la verità di un attributo di una singola parte di dato o di una informazione sostenuto vero da un'entità.

Nuovo!!: Dimostrazione a conoscenza zero e Autenticazione · Mostra di più »

Cammino hamiltoniano

Nel campo matematico della teoria dei grafi, un cammino in un grafo (orientato o non orientato) è detto hamiltoniano se esso tocca tutti i vertici del grafo una e una sola volta.

Nuovo!!: Dimostrazione a conoscenza zero e Cammino hamiltoniano · Mostra di più »

Co-NP

Nella teoria della complessità computazionale, coNP è la classe di problemi complementari a quelli della classe NP.

Nuovo!!: Dimostrazione a conoscenza zero e Co-NP · Mostra di più »

Completezza (logica matematica)

Nella logica matematica il concetto di completezza esprime il fatto che un insieme di assiomi è sufficiente a dimostrare tutte le verità di una teoria e quindi a decidere della verità o falsità di qualunque enunciato formulabile nel linguaggio della teoria.

Nuovo!!: Dimostrazione a conoscenza zero e Completezza (logica matematica) · Mostra di più »

Concorrenza (informatica)

In informatica la concorrenza è una caratteristica dei sistemi di elaborazione nei quali può verificarsi che un insieme di processi o sottoprocessi (thread) computazionali sia in esecuzione nello stesso istante.

Nuovo!!: Dimostrazione a conoscenza zero e Concorrenza (informatica) · Mostra di più »

Correttezza (logica matematica)

In logica matematica, la correttezza o validità (in inglese soundness) è una proprietà fondamentale delle regole logiche e dei calcoli logici.

Nuovo!!: Dimostrazione a conoscenza zero e Correttezza (logica matematica) · Mostra di più »

Crittografia

La crittografia (dall'unione di due parole greche: κρυπτóς che significa "nascosto", e γραφία che significa "scrittura") è la branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio "offuscato" in modo da non essere comprensibile/intelligibile a persone non autorizzate a leggerlo.

Nuovo!!: Dimostrazione a conoscenza zero e Crittografia · Mostra di più »

Distanza (matematica)

L'accezione matematica del termine distanza ha un significato analogo a quello dell'uso comune, cioè quello della misura della "lontananza" tra due punti di un insieme al quale si possa attribuire qualche carattere spaziale.

Nuovo!!: Dimostrazione a conoscenza zero e Distanza (matematica) · Mostra di più »

Grafo

Grafo (non orientato) con 6 nodi e 5 archi I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi.

Nuovo!!: Dimostrazione a conoscenza zero e Grafo · Mostra di più »

Indipendenza stocastica

Nell'ambito del calcolo delle probabilità, l'indipendenza stocastica di due eventi A e B si ha quando il verificarsi di uno non modifica la probabilità di verificarsi dell'altro, ovvero quando la probabilità condizionata \mathbb(A|B) oppure \mathbb(B|A) è pari rispettivamente a \mathbb(A) e \mathbb(B) queste due condizioni si possono sintetizzare con la formula.

Nuovo!!: Dimostrazione a conoscenza zero e Indipendenza stocastica · Mostra di più »

Internet

Internet è una rete ad accesso pubblico che connette vari dispositivi o terminali in tutto il mondo.

Nuovo!!: Dimostrazione a conoscenza zero e Internet · Mostra di più »

Macchina di Turing

In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.

Nuovo!!: Dimostrazione a conoscenza zero e Macchina di Turing · Mostra di più »

NP (complessità)

La classe di problemi NP comprende tutti quei problemi decisionali che, per trovare una soluzione su una macchina di Turing non deterministica, impiegano un tempo polinomiale.

Nuovo!!: Dimostrazione a conoscenza zero e NP (complessità) · Mostra di più »

NP-completo

Nella teoria della complessità computazionale i problemi NP-completi sono i più difficili problemi nella classe NP ("problemi non deterministici in tempo polinomiale") nel senso che, se si trovasse un algoritmo in grado di risolvere "velocemente" (nel senso di utilizzare tempo polinomiale) un qualsiasi problema NP-completo, allora si potrebbe usarlo per risolvere "velocemente" ogni problema in NP.

Nuovo!!: Dimostrazione a conoscenza zero e NP-completo · Mostra di più »

Residuo quadratico

In teoria dei numeri, un numero intero q è chiamato residuo quadratico modulo p se esiste un intero x tale che: In caso contrario, q è detto essere un non-residuo quadratico.

Nuovo!!: Dimostrazione a conoscenza zero e Residuo quadratico · Mostra di più »

Silvio Micali

Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica.

Nuovo!!: Dimostrazione a conoscenza zero e Silvio Micali · Mostra di più »

Variabile casuale

In matematica, e in particolare nella teoria della probabilità, una variabile casuale (detta anche variabile aleatoria o variabile stocastica) è una variabile che può assumere valori diversi in dipendenza da qualche fenomeno aleatorio.

Nuovo!!: Dimostrazione a conoscenza zero e Variabile casuale · Mostra di più »

1985

Nessuna descrizione.

Nuovo!!: Dimostrazione a conoscenza zero e 1985 · Mostra di più »

Riorienta qui:

Protocollo a conoscenza zero.

UscenteArrivo
Ehi! Siamo su Facebook ora! »