Proving UTXO set inclusion in zero-knowledge

The repo has been updated to do the schnorr signature verification in the ZK environment. This lets us avoid the blinding of the public key (since we are just proving that we have a valid signature for some public key that exists in the UTXO set, without revealing the key).

Together with an optimized library for schnorr signatures, this reduces proving time to ~50 sec on my machine: GitHub - halseth/utxozkp

1 Like