I am building a range proof to prove that a secret number x lies between a specific range a
prover commits to a values
prover generates a pedersen commitment to a value
prover generates a range proof to commitment that is commitment from 1 minus commitment from 2
prover sends range proof together with the opening of the commitment from 2
regarding step 3, how do I subtract one commitment from another? is there a better way?