Upload
others
View
4
Download
0
Embed Size (px)
Citation preview
CMU 15-251
Interactive proofs
Teachers:
Anil Ada
Ariel Procaccia (this time)
Our protagonists
2
NP, revisited
3
𝑥 ∈ 𝐴
NP, revisited
•
• ¬
•
o
o
4
Coke vs. Pepsi
5
IP for Coke vs. Pepsi
6
Graph nonisomorphism
• 𝐺0 = (𝑉0, 𝐸0) 𝐺1 =𝑉1, 𝐸1
𝜋: 𝑉0 → 𝑉1𝑢, 𝑣 ∈ 𝐸0 ⇔ 𝜋 𝑢 , 𝜋 𝑣 ∈ 𝐸1
7
1 2
3 4
5 6
7 8
1 2
3 4
5 6
7 8
Graph nonisomorphism
• 𝐺0 𝐺1𝐺1 𝐺2 𝐺0
𝐺2•
•
•
8
IP for Graph nonisomorphism
9
𝑏 ∈ {0,1}𝜋
𝜋(𝐺𝑏)
𝑏′
𝑏 = 𝑏′
IP for Graph nonisomorphism
10
𝐺0:
𝐺1:
𝐺0: 𝜋(𝐺0):
0
1 2
3 4
1 2
3 4
IP for Graph nonisomorphism
•
1. 1 1/𝑛!
2. 1 1/2
3. 1/2 1/𝑛!
4. 1/2 1/2
11
𝑏 ∈ {0,1} 𝜋𝜋(𝐺𝑏)
𝑏′𝑏 = 𝑏′
Interactive proofs
• 𝐿
𝑃𝑉
o :
∀𝑥 ∈ 𝐿, Pr 𝑉 ↔ 𝑃 𝑥 = 1
o :
∀𝑥 ∉ 𝐿, ∀𝑃′, Pr 𝑉 ↔ 𝑃′ 𝑥 ≤ 1/2
12
Interactive proofs
•
13
½
Interactive proofs
•
⊂
⊂
=
14
Zero knowledge proofs
•
•
•
15
Why do we need ZKPs?
16
Intuition for ZKPs
17
ZKP for graph isomorphism
18
𝑏 ∈ {0,1} 𝜋𝐻 = 𝜋(𝐺𝑏)
𝑏′
𝜋′
𝐻 = 𝜋′ 𝐺𝑏′
ZKP for graph isomorphism
19
𝑏 ∈ {0,1} 𝜋𝐻 = 𝜋(𝐺𝑏)
𝑏′𝜋′
𝐻 = 𝜋′ 𝐺𝑏′
•
o
o
•
ZKP for 3-coloring
•
•
•
20
ZKP for 3-coloring
21
𝜋 𝑅, 𝐺, 𝐵
𝜋 𝛾 𝑣 𝑣 ∈ 𝑉
𝑢, 𝑣 ∈ 𝐸
𝑎 = 𝜋 𝛾 𝑢
𝑏 = 𝜋(𝛾 𝑣 )
𝑎 ≠ 𝑏
ZKP for 3-coloring
22
𝑐 𝑑
𝑒
𝑏
𝑎
𝛾(𝐺)
𝑐 𝑑
𝑐 𝑑
• 𝐺0 𝐺1(𝐻, 𝑏′, 𝜋′)
𝐻 = 𝜋′ 𝐺𝑏′
3. 1 −1
3!
4. 1 −1
𝐸
ZKP for 3-coloring
23
𝜋 𝑅, 𝐺, 𝐵
𝜋 𝛾 𝑣 𝑣 ∈ 𝑉
𝑢, 𝑣 ∈ 𝐸
𝑎 = 𝜋 𝛾 𝑢 𝑏 = 𝜋(𝛾 𝑣 )
𝑎 ≠ 𝑏
• 𝐺
1. 1 −1
2
2. 1 −1
𝑛!
ZKP for 3-coloring
•
•
24
𝜋 𝑅, 𝐺, 𝐵
𝜋 𝛾 𝑣 𝑣 ∈ 𝑉
𝑢, 𝑣 ∈ 𝐸
𝑎 = 𝜋 𝛾 𝑢 𝑏 = 𝜋(𝛾 𝑣 )
𝑎 ≠ 𝑏
More generally
•
•
25
What you need to know
26