Prover: Invalid Sums
Proves that a transaction spent more than allowed (i.e. sum of outputs > sum of inputs + fees).
A valid transaction proof, must be provided. The proof's witness must also be valid. The proof's data must also be valid.
- For the provided token ID, the sum of the inputs must be greater than the sum of the outputs plus fees.
- Fees for a transaction are calculated as the feerate
proof.fee
times the transaction leaf lengthproof.transaction.length
.
- Fees for a transaction are calculated as the feerate