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 ! 
Read More
Offer running on EduRev: Apply code STAYHOME200 to get INR 200 off on our premium plan EduRev Infinity!

Content Category

Related Searches

video lectures

,

study material

,

Sample Paper

,

Important questions

,

shortcuts and tricks

,

Extra Questions

,

Viva Questions

,

MCQs

,

Objective type Questions

,

Anonymizers

,

practice quizzes

,

ppt

,

mock tests for examination

,

Previous Year Questions with Solutions

,

Class 11 Class 11 Notes | EduRev

,

Class 11 Class 11 Notes | EduRev

,

Class 11 Class 11 Notes | EduRev

,

Anonymizers

,

pdf

,

Free

,

Summary

,

Exam

,

past year papers

,

Anonymizers

,

Semester Notes

;