Courses

# Anonymizers, Class 11 Class 11 Notes | EduRev

## Class 11 : Anonymizers, Class 11 Class 11 Notes | EduRev

``` Page 1

CIS-5374:  5.April.2012
1
Class 11
Anonymizers
Page 2

CIS-5374:  5.April.2012
1
Class 11
Anonymizers
CIS-5374:  5.April.2012
2
? Homework 2 due now
? Homework 3 is out
? Due next week, Thu. April 12 before class
? Same thing as now
Announcement
Page 3

CIS-5374:  5.April.2012
1
Class 11
Anonymizers
CIS-5374:  5.April.2012
2
? Homework 2 due now
? Homework 3 is out
? Due next week, Thu. April 12 before class
? Same thing as now
Announcement
CIS-5374:  5.April.2012
3
? Prove that the Guillou-Quisquater ZK proof of identity is
sound
Homework 2: Problem 2
Page 4

CIS-5374:  5.April.2012
1
Class 11
Anonymizers
CIS-5374:  5.April.2012
2
? Homework 2 due now
? Homework 3 is out
? Due next week, Thu. April 12 before class
? Same thing as now
Announcement
CIS-5374:  5.April.2012
3
? Prove that the Guillou-Quisquater ZK proof of identity is
sound
Homework 2: Problem 2
CIS-5374:  5.April.2012
4
? Completeness
? If the statement is true, the honest verifier (that is, one
following the protocol properly) will be convinced of
this fact by an honest prover.
? Soundness
? If the statement is false, no cheating prover can
convince the honest verifier that it is true, except with
some small probability.
? Zero-knowledge
? If the statement is true, no cheating verifier learns
anything other than this fact
ZK Proofs: Properties
Page 5

CIS-5374:  5.April.2012
1
Class 11
Anonymizers
CIS-5374:  5.April.2012
2
? Homework 2 due now
? Homework 3 is out
? Due next week, Thu. April 12 before class
? Same thing as now
Announcement
CIS-5374:  5.April.2012
3
? Prove that the Guillou-Quisquater ZK proof of identity is
sound
Homework 2: Problem 2
CIS-5374:  5.April.2012
4
? Completeness
? If the statement is true, the honest verifier (that is, one
following the protocol properly) will be convinced of
this fact by an honest prover.
? Soundness
? If the statement is false, no cheating prover can
convince the honest verifier that it is true, except with
some small probability.
? Zero-knowledge
? If the statement is true, no cheating verifier learns
anything other than this fact
ZK Proofs: Properties
CIS-5374:  5.April.2012
5
Guillou-Quisquater: ZK Proof of Identity
Victor
Peggy
public key:
v, n=pq
p, q - primes
Identity J:
H(name, validity, bank #, â€¦)
J
1
Pick random 1 < r < n-1
2
Pick random 0 < d < v-1
4
private key = primes p, q &
B:
J B
v
= 1 mod n
T = r
v
mod n
3
d
5
D = rB
d
mod n
6
Tâ€™ = D
v
J
d
mod n
7
if Tâ€™ = T success !
```
Offer running on EduRev: Apply code STAYHOME200 to get INR 200 off on our premium plan EduRev Infinity!

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

;