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

  • $\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.Solei
    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.Solei
    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.Solei
    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.