Cryptology ePrint Archive: Report 2016/483

A Concrete Procedure of the Sigma-protocol on Monotone Predicates

Hiroaki Anada and Seiko Arita and Kouichi Sakurai

Abstract: We propose a concrete procedure of the sigma-protocol proposed by Cramer, Damgård and Schoenmakers at CRYPTO '94, which is for proving knowledge that a set of witnesses satisfies a monotone predicate in witness-indistinguishable way. We provide the concrete procedure by extending the so-called OR-proof.

Category / Keywords: proof system, sigma-protocol, OR-proof

Original Publication (with minor differences): Proceedings of the 2nd ACM ASIA Public-Key Cryptography Workshop - ASIAPKC 2014, pp. 49-58
DOI:
10.1145/2600694.2600696

Date: received 19 May 2016, last revised 10 Jan 2018

Contact author: anada at sun ac jp

Available format(s): PDF | BibTeX Citation

Note: The title was changed to indicate the previous work proposed by Cramer, Damgård and Schoenmakers at CRYPTO '94. The content and the contribution was focused into our procedure of the sigma protocol. It was mentioned that the claim (which was stated in the related paper in the proceedings of ASIAPKC 2014) that we had constructed a pairing-free ABID scheme possessing attribute privacy and a pairing-free ABS scheme possessing attribute privacy was retracted.

Version: 20180111:030240 (All versions of this report)

Short URL: ia.cr/2016/483

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]