.png){kind=icon}
返回
Succinct Hash-Based Arbitrary-Range Proofs
.png){kind=icon}
PRE
AI
DOI：10.1109/TIFS.2024.3497806.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
-Zero-knowledge range proof (ZKRP) asserts that a committed integer V lies in a given range like [0, 2n - 1] without other leakages of V . It is vital in various privacy-preserving systems. Moving forward, the quest for post-quantum security is still in its infancy; the proof size of state-of-the-art lattice-based ZKRP (Lyubashevsky et al., CCS 20 and Couteau et al., Eurocrypt 21) remains linear in n , directly impacting the long-term sustainability in applications such as immutable ledgers. Confronting this unresolved impasse, we propose SHARP-PQ, i.e., succinct hash-based arbitrary-range proof with post-quantum security. SHARP-PQ offers proof size poly-logarithmic to n , optimized batch proofs, and versatile (new) capabilities. Its success stems from the improved inner product argument and exploitation of homomorphism. Empirically, SHARP-PQ features at least 10x smaller proof size for multiple ranges over lattice- based ZKRPs while maintaining competitive prover and verifier times. SHARP-PQ also outperforms ZKRPs directly constructed from hash-based generic zero-knowledge proofs at most 10x.
Keyword:
Lattices
Security
Sustainable development
Zero-knowledge range proof
post-quantum
inner product argument
hash-based proofs
期刊
IF:
8
论文数:
5.3K
被引数:
2.3W
机构
引用论文
A new pathway to heteroleptic double-decker (phthalocyaninato)(porphyrinato)europium(III) complexes.png)
Polyhedron
PolyhedronIF0
PREAI
分享收藏
Stereochemie der Metall‐Metall‐Bindung. Die Strukturen dreier Komplexe des Typs [L
2
MPR
2
]
2
PREAI
分享收藏Three old and one new: protein import into red algal-derived plastids surrounded by four membranesProtoplasma
ProtoplasmaIF0
PREAI
分享收藏分享收藏
查看更多内容