No abstract

Inner product arguments allow a prover to prove that the inner product of two committed vectors equals a public scalar. They are used to reduce the complexity of many cryptographic primitives, such as range proofs. Range proofs are deployed in numerous applications to prove that a committed value lies in a certain range. As core building blocks, their complexity largely determines the performance of corresponding applications. In this paper, we have optimised the inner product argument with statement including two vector commitments (IPA tvc ) and range proof of Daza et al. (PKC'20), the inner product argument with statement including only one vector commitment (IPA ovc ) of Bünz et al. (S&P 0 18). For IPA tvc , we reduce the concrete communication complexity by 2 log 2 n field elements, where n is the vector dimension. For range proofs, we reduce the concrete communication and prover complexities by about 2 log 2 m field elements and 11m field multiplications, respectively, where m is the bit length of range. For IPA ovc , we exponentially reduce the asymptotic verifier complexity from linear to logarithmic. Due to the asymptotic characteristics, our protocols are highly competitive when the vector dimension or bit length of range is large.