A secure and efficient proof of integer in an interval range

  • Authors:
  • Kun Peng

  • Affiliations:
  • Institute For Inforcomm Research, Singapore

  • Venue:
  • IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

A new range proof scheme is proposed in this paper. We study a related technique, range test, and show how its idea can be used to design a more advanced range proof technique. The main advantage of the new range proof technique over the existing solutions is that it achieves the best trade-off between soundness, privacy and efficiency. Is achieves information-theoretic and absolutely precise soundness and thus is more secure than those range proof schemes with conditional soundness. It achieves formally provable zero knowledge in privacy and thus is more secure than those range proof schemes without formally proven zero knowledge. It only needs a small constant number of computations and employs normal-length parameters and thus is more efficient than those range proof schemes needing super-linear cost or extra large integers.