Interactive Proofs and Zero-Knowledge
x∈L
YES !
∀x∈L Pr( [A,B](x)=YES ) ≈ 1
|
Interactive Proofs and Zero-Knowledge |
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
x∈L |
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
|||||||||||||||||||||
|
YES ! |
|||||||||||||||||||||
|
∀x∈L Pr( [A,B](x)=YES ) ≈ 1 |
|||||||||||||||||||||