An alternative: OP_CAT & OP_CHECKSIGFROMSTACK



Summary:

The discussion centers around the use of OP_COSHV and the suggestion to replace it with a more RISC-y approach by adding transaction reflection primitives, starting with OP_NUMINPUTS and OP_PUSHOUTPUTSHASH. The proposal for OP_CHECK_TXID_TEMPLATE_DATA is also discussed, which allows for a variable number of inputs to be allowed and fixes potential bugs around TXID malleability for lightning-like setups. The idea of implementing an alternative CISC-style taproot leaf type that directly provides a conjunction of various popular common policies is also suggested. The benefits and drawbacks of OP_CHECKSIGFROMSTACKVERIFY are discussed, with concerns raised about its potential recursive covenant and negative interaction with future opcodes. Overall, there is a preference for OP_COSHV due to its simplicity and lower per-block bandwidth usage. The possibility of implementing it as a multi-byte pushdata opcode or with template optimization is also mentioned. Finally, the safety and efficiency of using OP_LEFT over OP_CAT is noted.


Updated on: 2023-06-13T19:00:13.480345+00:00