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!