该论文提出了一种名为 Sharp 的新型短宽松范围证明（short relaxed range proof）协议。范围证明允许证明者向验证者证明一个秘密值落在指定区间内，而不泄露具体数值，是零知识证明和隐私保护应用中的核心原语。传统的范围证明（如 Bulletproofs）尽管已实现对数级通信复杂度，但在需要处理大范围或高精度数值时，证明尺寸仍可能较大。Sharp 协议通过引入“宽松”概念——即允许证明者证明某个值乘以一个小的公开因子后落在目标区间内，从而显著缩短证明长度。与 Bulletproofs 相比，Sharp 将证明的通信复杂度从原来的 2log(n) + 9 个群元素降低至 log(n) + 7 个群元素（n 为区间上界），同时保持对数级验证复杂度。论文详细描述了协议的数学构造，包括基于 Pedersen 承诺、内积论证和一种新的“松弛区间”编码技术。实验结果表明，在典型参数下（如 64 位区间），Sharp 的证明尺寸较 Bulletproofs 减少了约 40%，验证时间基本持平。该工作适用于区块链隐私交易、匿名凭证、数字身份验证等需要高效证明整数范围的场景，尤其适合资源受限的移动端或链上验证。本摘要基于论文 abstract 撰写，未获取全文技术细节。