0
$\begingroup$

Prover is going to convince verifier that 2 objects are distinct, do you know any Arthur-Merlin protocol for this problem?

$\endgroup$
  • $\begingroup$ Does the parties have a commitment to each object? $\:$ If no, what specifies the objects? $\;\;\;\;$ $\endgroup$ – user991 Jun 6 '15 at 9:57
  • $\begingroup$ To clarify, consider a blind person who is going to buy 2 dolls which are same except in colors.How the salesperson can convince the blind that their colors are diferent. $\endgroup$ – A.Soleimani Jun 6 '15 at 11:49
  • $\begingroup$ The zero knowledge proof is as follows.the blind randomly choses one of them and asks salesperson(prover) to determine the object, and reoeats this algorithm! $\endgroup$ – A.Soleimani Jun 6 '15 at 11:51
  • $\begingroup$ objects $\mapsto$ orbits $\:$ ? $\;\;\;\;$ $\endgroup$ – user991 Jun 6 '15 at 12:43
  • $\begingroup$ What you mean,orbits? $\endgroup$ – A.Soleimani Jun 6 '15 at 15:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.