Proving UTXO set inclusion in zero-knowledge

Correct, but fixing this should be doable:

A simple (naive?) solution could be to publish a hash of the private key along with the proof, and include in the proof that it corresponds to the non-blinded public key.

I’m sure there are better ways.