How Pedersen Commitments Work

In Monero, Pedersen Commitments are a core component to hide transaction amounts while still allowing for cryptographic verification that no coins are created or destroyed in a transaction.

A Pedersen Commitment to a value v (the amount) with a random blinding factor r is:

C = v ⋅ H + r ⋅ G

C: The commitment

G, H: Generator points on the elliptic curve (with H unrelated to G)

v: The amount (hidden)

r: A random blinding factor (also hidden)

This commitment is:

Hiding: You can’t determine v from C without knowing r

Binding: You can't change v later without altering the commitment

Reply to this note

Please Login to reply.

Discussion

I always explain Pedersons or even zkp like when you see a really smart kid work out a solution and the teacher was like “you didn’t show your work” but the kid has the same exact answer as the teachers answer key

But the observer is like a kid whose never done a math equation a day in their life

So could this be used to prove that a person owns and can spend a spendable UTXO at block height X without revealing which UTXO it is, just that he has the ability to spend it?