<div dir="ltr"><br><div class="gmail_quote"><div dir="ltr">On Thu, Jun 30, 2016 at 10:30 AM mok-kong shen <<a href="mailto:mok-kong.shen@t-online.de">mok-kong.shen@t-online.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
> As you stated previously, Alice's "promise" is enforceable in court by<br>
> Bob, so as soon as Alice sends her promise, she is bound while Bob is<br>
> not, and therefore the protocol fails any reasonable definition of<br>
> "fairness".<br>
<br>
You clearly have misunderstood me. In step 1 Alice is bound to<br>
something but Bob to nothing. But that doesn't matter "at all" to<br>
my definition of fairness, which deals merely with (1) the (if<br>
exists, then clearly bad) hypothetical situation where a contract<br>
already comes into being (i.e. after step 3) "but" there is a (for<br>
argumentaton purposes temporarily "assumed" possible) finite time<br>
period in the contract processing during which one partner is fully<br>
committed while the other partner is not fully committed and (2)<br>
the consequential corresponding question of whether such an "assumed"<br>
case could "ever" happen in my scheme. I claim that such a hypothetical<br>
case clearly can't logically exist, which means that my protocol<br>
satisfies my definition. If you don't agree, then please point out<br>
at which location or locations of my protocol there is something<br>
wrong/impossible and therefore my scheme couldn't satisfy my definition.<br>
<br>
M. K. Shen</blockquote><div><br></div><div><br></div><div>It appears that your "fairness" is either vacuous or paradoxical.</div><div><br></div><div>In the execution of your protocol, after step 1, Alice is committed to sign the executed contract when Bob completes step 2. Either this is equivalent to Alice being committed when Bob is not, or it is not equivalent.</div><div><br></div><div>If the commitment to sign is equivalent to signing, the protocol isn't fair precisely because the scenario without this protocol isn't fair: Alice is committed where Bob isn't.</div><div><br></div><div>After step 2, Bob is committed to the contract. If Alice's commitment to sign is not equivalent to signing the contract, then Bob is committed and Alice is not, which is a violation of the fairness you've defined, with Alice and Bob's roles reversed.</div><div><br></div><div>I conclude: either "commitment to sign" is equivalent to signing, in which case your protocol is unfair to Alice, or it is not and it is unfair to Bob. Any other interpretation is of a property of the transaction so vague as to be meaningless.</div><div><br></div><div>This isn't a novel formulation - I quite liked the general impossibility result, which this is merely a specialization of to your protocol.</div><div><br></div><div>Judson</div></div></div>