TAPLEAF_UPDATE_VERIFY covenant opcode



Summary:

The safety of the control byte in Taproot is questioned due to various issues such as indicating the parity of X and the number of steps in the merkle path that are dropped. The TLUV script is used to control how spending scripts can change between the input and output sPK. Examples of TLUV scripts include keeping the current script, keeping all the steps in the merkle path, and adding a new step to the merkle path. However, there is concern about burning out path E beyond the 128 Taproot depth limit if this rule is recursively applied. While it may be possible to check the depth for E after adding F to prevent burning it out, there is no way to protect against this generically. The stability of C=4 across all state transitions is also questioned, especially when C and E are similar scripts and C adds some clauses F1, F2, F3. It is suggested that a NOREPLACE flag be added to prevent siblings from modifying a specific script.


Updated on: 2023-06-15T01:41:18.467860+00:00