# AM protocol for 2 distinct objects

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

• Does the parties have a commitment to each object? $\:$ If no, what specifies the objects? $\;\;\;\;$
– user991
Jun 6 '15 at 9:57
• 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. Jun 6 '15 at 11:49
• 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! Jun 6 '15 at 11:51
• objects $\mapsto$ orbits $\:$ ? $\;\;\;\;$
– user991
Jun 6 '15 at 12:43
• What you mean,orbits? Jun 6 '15 at 15:00