A Generic Zero-Knowledge Range Argument with Preprocessing

15 pages•Published: August 21, 2025

Yuki Sawai, Kyoichi Asano, Yohei Watanabe and Mitsugu Iwamoto

Abstract

Range arguments are a type of zero-knowledge proofs that aim to prove that a prover's committed value falls within a specified range for a verifier. Previously, most range arguments were constructed based on the DLOG assumption, and hence, exponentiation operation is required for proof generation and verification. In addition, it is generally known that splitting a zero-knowledge proof protocol into a preprocessing phase and an online phase makes computation after fixing the input efficient. Still, such protocol has yet to be known for range arguments. This paper proposes an efficient range arguments protocol with a preprocessing phase. Our proposal takes a new approach by using arithmetic circuits to express the constraints that the prover must prove. The prover (resp. verifier) can generate (resp. verify) a part of proof based on multiplication and addition operations instead of exponentiation operations. Our range argument is a generic construction that does not rely on any particular mathematical assumptions, which enables us to construct a post-quantum range argument. The implementation evaluation shows that the total computation time for the prover and verifier in the online phase is efficient compared to Bulletproofs, one of the state-of-the-art range proofs. Especially, the prover computation is efficient.

Keyphrases: commitment, vole based zkp, zero knowledge range argument

In: Akira Yamada, Huy Kang Kim, Yujue Wang and Tung-Tso Tsai (editors). Proceedings of the 20th Asia Joint Conference on Information Security, vol 106, pages 1-15.

Links:	https://easychair.org/publications/paper/xs8k1
	https://doi.org/10.29007/4v7f

BibTeX entry

@inproceedings{AsiaJCIS2025:Generic_Zero_Knowledge_Range,
  author    = {Yuki Sawai and Kyoichi Asano and Yohei Watanabe and Mitsugu Iwamoto},
  title     = {A Generic Zero-Knowledge Range Argument with Preprocessing},
  booktitle = {Proceedings of the 20th Asia Joint Conference on Information Security},
  editor    = {Akira Yamada and Huy Kang Kim and Yujue Wang and Tung-Tso Tsai},
  series    = {EPiC Series in Computing},
  volume    = {106},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xs8k1},
  doi       = {10.29007/4v7f},
  pages     = {1-15},
  year      = {2025}}

Download PDF Open PDF in browser