y ∈ QNRn
Check b'=b
∀y∈QNRn Pr( [A,B](y)=YES ) = 1
|
||||||||||||||||||||||||
|
|
|||||||||||||||||||||||
|
||||||||||||||||||||||||
|
y ∈ QNRn |
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
|
|||||||||||||||||||||||
|
||||||||||||||||||||||||
|
|
|||||||||||||||||||||||
|
||||||||||||||||||||||||
|
Check b'=b |
||||||||||||||||||||||||
|
∀y∈QNRn Pr( [A,B](y)=YES ) = 1 |
||||||||||||||||||||||||