An alternative: OP_CAT & OP_CHECKSIGFROMSTACK



Summary:

In a recent discussion on the Bitcoin-dev mailing list, Anthony Towns suggested that a lack of tools rather than a lack of use may be responsible for the infrequent use of certain features in Bitcoin Script. He argued in favor of implementing a pure functional language which could be compiled down to SCRIPT and leveraged with OP_CHECKSIGFROMSTACK. This would require a proof-of-existence compiler targeting Liquid/Elements SCRIPT. Towns also mentioned his Smart Contracts Unchained technique as a way to implement Simplicity on top of Bitcoin, using a semi-trusted user-selected federation to enforce Simplicity execution. This would allow for actual use if it was possible to run this on Bitcoin.


Updated on: 2023-06-13T18:59:04.537337+00:00