Subnostr

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

waxwing 2y ago

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.

Reply to this note

Please Login to reply.

Discussion

Erik 2y ago

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.