Yeah. The gents from zero sync are doing Utreexo with algebraic hash function, and looks like you can verify Merkle proofs inside a stark proving system.

My though was to make the proof and outpoint private inputs in the program, so it's privacy preserving.