So you can prove that there were something indeed but not what that thing was specifically (like some specific Image) without the non-UTXO-set, right?
So you can prove that there were something indeed but not what that thing was specifically (like some specific Image) without the non-UTXO-set, right?