Zero-Knowledge Proof

Zero-Knowledge Proof - Zero-Knowledge Proof About proving...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Zero-Knowledge Proof About proving somebody knows some secret without revealing it Interactive: between the P rover & V erifier ( P and V or P eggy & V ictor ) Does not give away any information about the secret (zero-knowledge) Does not allow the verifier to impersonate the prover
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
A very simple scenario Secret: the key to open the door (C) Uses cut-and-choose protocol Enough to prove to Victor Not enough to convince a third party (Carol) of proof’s validity A B C
Background image of page 2
Graph-Isomorphism Peggy knows the Isomorphism between two big Graphs G 1 and G 2 • Peggy generates graphs H 1 , H 2 , …. H n Victor asks Peggy to show isomorphism of H i with either G 1 or G 2 , but not both Why Zero-knowledge?
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Nearly Zero-Knowledge proof Peggy has a secret number s Peggy’s public key is < n , v > where n is product of two large primes & v = s 2 mod n • Peggy chooses random r 1 , r 2 , r 3 , …, r k and passes all r i 2 mod n to Victor • For each r i 2 mod n , Victor can ask either ( s*r i mod n ) or ( r i mod n ) Victor verifies the response from Peggy - for x = s*r i mod n , check x 2 v*r i 2 mod n - for y = r i mod n , check y 2 r i 2 mod n
Background image of page 4
Why does this work?? Finding
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/17/2012 for the course CIS 6930 taught by Professor Staff during the Fall '08 term at University of Florida.

Page1 / 15

Zero-Knowledge Proof - Zero-Knowledge Proof About proving...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online