Cryptology ePrint Archive: Report 2016/242

Attribute-Based Signatures for Circuits from Bilinear Map

Yusuke Sakai and Nuttapong Attrapadung and Goichiro Hanaoka

Abstract: In attribute-based signatures, each signer receives a signing key from the authority, which is associated with the signer's attribute, and using the signing key, the signer can issue a signature on any message under a predicate, if his attribute satisfies the predicate. One of the ultimate goals in this area is to support a wide class of predicates, such as the class of \emph{arbitrary circuits}, with \emph{practical efficiency} from \emph{a simple assumption}, since these three aspects determine the usefulness of the scheme. We present an attribute-based signature scheme which allows us to use an arbitrary circuit as the predicate with practical efficiency from the symmetric external Diffie-Hellman assumption. We achieve this by combining the efficiency of Groth-Sahai proofs, which allow us to prove algebraic equations efficiently, and the expressiveness of Groth-Ostrovsky-Sahai proofs, which allow us to prove any NP relation via circuit satisfiability.

Category / Keywords: public-key cryptography / attribute-based signatures, Groth-Sahai proofs, Groth-Ostrovsky-Sahai proofs

Original Publication (in the same form): IACR-PKC-2016

Date: received 4 Mar 2016

Contact author: yusuke sakai at aist go jp

Available format(s): PDF | BibTeX Citation

Version: 20160304:154411 (All versions of this report)

Short URL: ia.cr/2016/242

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]