Paper 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.

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.