simplicity icon indicating copy to clipboard operation
simplicity copied to clipboard
verified publisher icon ElementsProject

Update "STOP" code in the tech report

Open roconnor-blockstream opened this issue 2 years ago • 0 comments

We have never used it in practice, and now it is being used to encode a "unary" disconnect for reasoning about commitment-time Simplicity programs.

roconnor-blockstream avatar Jul 07 '23 16:07 roconnor-blockstream