Protocolli Crittografici Commitment Commitment

Lancio di una moneta
Protocolli Crittografici
Lancio di una moneta
…
Oblivious Transfer
ssuntina
Blind Signature
Moneta Elettronica
Elezioni
iagio
E’ uscito testa/croce
E’ uscito testa/croce
Time Stamping
1
Lancio di una moneta
protocollo naive
ssuntina
Time Stamping
2
Lancio di una moneta
iagio
ssuntina
iagio
Scegli bit b
x←commitment(b)
Lancio moneta
testa
x
b´
Scegli bit b´
rivela b
E’ uscito testa
E’ uscito testa
Time Stamping
3
Commitment
Time Stamping
4
Commitment
x←commitment(b)
x←commitment(b)
b = predicato_difficile (x)
Equivalente digitale di una busta
“Facile” da calcolare
Dato x è “difficile” calcolare b
“Facile” mostrare che x = commitment(b)
“Difficile” mostrare che x = commitment(1-b)
Time Stamping
E’ uscito b⊕b´
E’ uscito b⊕b´
e
C = M mod n
Esempio
paritàn,e(C) = bit meno significativo di M
halfn,e(C) =
5
0 se M < n/2
1 se M > n/2
Time Stamping
6
1
Crittografia probabilistica
Testo in chiaro
Testo cifrato
M = M1 M2 M3 …
C = C1 C2 C3 …
Mi = predicato_difficile (Ci)
Time Stamping
7
2