"You do them without a UTXO commitment by instead committing to the input block and offset that the input came from. Then fraud can be proven by simply showing whatever is at that location, if its not the thing its supposed to be."
Ahh ok. You include the proof that the output actually exists as part of the transaction.
It does mean that you need commitments though. You have to include commitments for every input in the block.