File tree Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -129,6 +129,18 @@ Note that the ''deduct'' semantic does not allow to check the exact amount of it
129
129
a scheme similar to figure 3 or 4 above, amounts should be constrained either with a signature, or with future
130
130
introspection opcodes that allow fixing the amount. In lack of that, amounts would be malleable.
131
131
132
+ === Paying fees ===
133
+
134
+ Since the amount-checking semantics of <code>OP_CHECKCONTRACTVERIFY </code> are designed to preserve the entire input
135
+ amount across one or more outputs, transaction fees must be paid exogenously. This can be achieved by adding an extra
136
+ input to the transaction, by using an anchor output, or with other future mechanisms.
137
+
138
+ The ''ignore'' amount mode is not a safe mechanism for paying endogenous fees. An output checked with this mode has no
139
+ amount constraint, which would allow a miner to claim the entire value of that input. This mode is included for forward
140
+ compatibility with potential future soft forks that may introduce other amount-related logic that is compatible with
141
+ <code>OP_CHECKCONTRACTVERIFY </code>'s script checks.
142
+
143
+
132
144
== Specification ==
133
145
134
146
The tapscript opcode <code>OP_SUCCESS187 </code> (<code>0xbb </code>) is constrained with new rules to implement
You can’t perform that action at this time.
0 commit comments