"Even if one of the parties is dishonest and deviates from the protocol, that person cannot learn anything more than if x = y."