<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Mok-Kong has this note at the end of the protocol:<br>
<br>
   Note that after step (2) Alice cannot innocently refuse to perform<br>
   step (3), since the pair (X,Y) stems from her. In other words, after<br>
   step (2) the contract is de facto completed.<br>
<br>
To me, it appears that "de facto completed" means there's an escape valve. If the protocol says that Alice does X, Bob does Y, and Alice is supposed to do Z, but if she doesn't, tough -- then the protocol terminates.<br>
<br>
Of course, this might be unsatisfactory on some level and there may need to be software duct tape and chicken wire to make it work. But it sounds to me like there's the escape clause here.<br>
<br>
Am I right or not?<br></blockquote><div><br></div><div>The protocol does not define a verification procedure that can be used to tell if the contract is valid or not, and without this, it is impossible to say what affect an "escape clause" would have, if in fact there is one.  Until the protocol is completed by formally defining a contract verification procedure, it looks to me like any effort to analyze is an exercise in guesses and assumptions.<br></div></div></div></div>