Speedy covenants (OP_CAT2)



Summary:

In a message to Russell, ZmnSCPxj shared some insights regarding the use of OP_CAT in tapscript. While OP_CAT by itself does not enable covenants, non-recursive covenants can be enabled with it. However, it is unknown whether recursive covenants can be enabled or not. Poelstra has suggested that it might be possible to hijack the ECDSA checksig operation from a parallel, legacy input, in order to perform the calculations for this tweaking but so far, no one has been able to achieve this feat. Recursive covenants are inevitable for programmable money and given all the considerations already discussed regarding them, it makes sense to embrace them. Additionally, ZmnSCPxj mentioned that this also works with OP_SUBSTR by validating that the concatenation is correct rather than concatenating it ourselves.


Updated on: 2023-06-15T20:34:29.025004+00:00