Interactive Proofs and Zero-Knowledge
x∉L
NO !
∀x∉L ∀D Pr( [D,B](x)=YES ) ≈ 0
|
Interactive Proofs and Zero-Knowledge |
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
x∉L |
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
NO ! |
||||||||||||||||||||||||||||
|
∀x∉L ∀D Pr( [D,B](x)=YES ) ≈ 0 |
||||||||||||||||||||||||||||