bulletsproofs怎么证明基于椭圆曲线的pederson承诺范围？

看了一篇论文-A Blockchain-Based Sealed-Bid e-Auction Scheme with Smart Contract and Zero-Knowledge Proof。
里面有一个过程

c是投标价格p的pederson承诺，c=xG+rH

c*是中标人的那个承诺
为什么用承诺差值就能证明中标人的价格高？
bulletproofs是怎么证明的？