Cryptography CS 555. Topic 23: Zero-Knowledge Proof and Cryptographic Commitment. Outline and Readings. Outline Zero-knowledge proof Fiat-Shamir protocol Schnorr protocol Commitment schemes Pedersen commitment schemes Oblivious commitment based envelope Readings: Barak’s notes on ZK.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
CryptographyCS 555
Topic 23: Zero-Knowledge Proof and Cryptographic Commitment
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
1. P: picks random y, s in [1..q], sends d = gyhs mod p
2. V: sends random challenge e in [1..q]
3. P: sends u=y+ex, v=s+er (mod q)
4. V: accepts if guhv = dce (mod p)
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
Topic 23
California Driver License
Expired: 04-11-06
Name: Bear Boy
DoB: 12-01-96
Address:
206 Sweet Rd
Sex: M
HT: 20”
WT: 75
Signed by PMV
California Driver License
Expired: 04-11-06
Name: com (Bear Boy)
DoB: com(12-01-96)
Address:
com(206 Sweet Rd)
Name: ■■■■■■
DoB: ■■■■■■
Address:
■■■■■■■■■
Sex: com(M)
HT: com(20”)
WT: com(75)
Sex: ■■■
HT: ■■■
WT: ■■■
Signed by PMV
X.509 Certificate
OACerts
Topic 23
Topic 23
c
Receiver
Sender
Message:
Policy: Pred
Case 1:
Case 2:
Oblivious Commitment-Based Envelope (OCBE)
Topic 23
chooses commit
chooses r
CA
chooses
chooses Mchooses Pred
Interaction
If
outputs M
Receiver
Sender
Topic 23
run steup
picks
chooses Pred, M
Pred
Adversary Sender
Challenger Receiver
Interaction
b’
Adversary wins if b=b’
Topic 23
run steup
picks
chooses M1,M2, Pred, s.t.
Pred, M1, M2
Adversary Receiver
Challenger Sender
Interaction
b’
Adversary wins if b=b’
Topic 23
Topic 23
Topic 23