Proving UTXO set inclusion in zero-knowledge

[1440000bytes]

@halseth

Proving time and proof size

The tool is very much a rough draft at this point. On my laptop (Apple M1 Max, 32GB), proving time is around 6 min, and the result is a proof of UTXO ownership of 1.4 MB. Verification is much quicker at around 300 ms. Both timings assuming the UTXO set is already loaded into memory as a Utreexo data structure.

How does this compare with aut-ct?