[Resource Topic] 2016/483: Proofs of Knowledge on Monotone Predicates and its Application to Attribute-Based Identifications and Signatures

Welcome to the resource topic for 2016/483

Title:
Proofs of Knowledge on Monotone Predicates and its Application to Attribute-Based Identifications and Signatures

Authors: Hiroaki Anada, Seiko Arita, Kouichi Sakurai

Abstract:

We propose a concrete procedure of the \Sigma-protocol introduced 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; that is, hiding the assignment of truth in the predicate. We provide a detailed procedure by extending the so-called OR-proof.

ePrint: https://eprint.iacr.org/2016/483

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .