Are the millionaires able to trust each other's self-reporting?
This sounds a bit like mental poker.
This sounds a bit like mental poker.
"Even if one of the parties is dishonest and deviates from the protocol, that person cannot learn anything more than if x = y."
For example you can use fully homomorphic encryption to trivially solve this problem.