Sigma protocol for Pedersen commitment

[seresistvanandras]

Quite similar to Schnorr ZKPs, so would be quite easy to implement and add it.
A prover can convince a verifier that she indeed knows the committed value in zero-knowledge.

See, for instance here: https://www.cs.jhu.edu/~susan/600.641/scribes/lecture10.pdf