You are looking at a specific version 20210507:132830 of this paper. See the latest version.

Paper 2021/127

Cuproof: A Novel Range Proof with Constant Size

Cong Deng and Xianghong Tang and Lin You and Gengran Hu and Shuhong Gao

Abstract

Zero-knowledge proof is widely used in blockchains. For example, zk-SNARK is used by Zcash as its core technology in identifying transactions. Up to now, various range proofs have been proposed, and their efficiency and range-flexibility are enhanced. Bootle et al. used inner product method and recursion to make an efficient zero-knowledge proof. Then, Benediky Bünz et al. came up with an efficient zero-knowledge proof scheme called Bulletproofs which can convince the verifier that a secret number lies in $[0,2^{\kappa}-1]$. By combining inner-product and Lagrange's four-square theorem, we structure a range proof scheme which is called Cuproof. The scheme of Cuproof would make a range proof to prove that a secret number $v \in [a,b]$ without exposing redundant information of $v$. In Cuproof, all the communication cost, the proving time and the verification time are constant. When the interval of the range proof is large, our Cuproof would show much better.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Preprint. MINOR revision.
Keywords
BlockchainZero-Knowledge proofRange proofInner-productBulletproofs.
Contact author(s)
mryoulin @ gmail com
History
2021-05-07: revised
2021-02-05: received
See all versions
Short URL
https://ia.cr/2021/127
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.