|
|
|
|
|
|
by truth_machine
1733 days ago
|
|
|
> disagree with your stated claim on (6) which is that there is no accepting state for (M) after an arbitrary move in (5). No, this is not what I claim. I claim that if after the step 5 the new state is not an accepting state, 2PDA has to perform another step 5 and keep doing that until an accepting state is reached, and bitcoin script cannot do "perform the step 5 until a condition is met" bit. Could you please tell me how (in terms of opcode) the second part of the step 6 will look like, namely "Otherwise, S simulates another move of M in the same way."? |
|
|