Succinct proof technique used in Bulletproofs to verify commitments efficiently.