I kinda wish Utreexo uses an algebraic hash function, but at the same time it's less efficient outside zk world, and people would probably use more outside zk proofs, so it's a tricky tradeoff
Discussion
Oh interesting thought, I see .. i haven't spent any time looking into utreexo but I wouldn't be surprised if you're on to something there.
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.