%0 Electronic Article
%A Yusuke Sakai
%A Nuttapong Attrapadung
%A Goichiro Hanaoka
%K NP language
%K bilinear map
%K Groth-Sahai proof systems
%K algebraic equations
%K Karp reduction
%K Boolean circuit
%K practical attribute-based signature schemes
%K Groth-Ostrovsky-Sahai proof systems
%K circuit satisfiability
%K unbounded depth
%K cryptographic assumptions
%K number-of-gates
%K cryptographic primitive
%X Attribute-based signatures allow us to sign anonymously, in such a way that the signature proves that the signer's attributes satisfy some predicate, but it hides any other information on the signer's attributes beyond that fact. As well as any cryptographic primitive, one of the important goals of the research on this primitive is to construct a scheme that is expressive (supports a wide class of predicates), is practically efficient, and is based on well-studied cryptographic assumptions. The authors construct attribute-based signature schemes that support any Boolean circuit of unbounded depth and number of gates, are practically efficient, from the symmetric bilinear Diffie–Hellman assumption. Toward this end, they combine the Groth–Sahai proof system, which serve as an efficient proof system for algebraic equations, and the Groth–Ostrovsky–Sahai proof system, which are still inefficient, but can prove any NP language via a Karp reduction to circuit satisfiability.
%@ 1751-8709
%T Practical attribute-based signature schemes for circuits from bilinear map
%B IET Information Security
%D May 2018
%V 12
%N 3
%P 184-193
%I Institution of Engineering and Technology
%U https://digital-library.theiet.org/;jsessionid=5amg77ma0l057.x-iet-live-01content/journals/10.1049/iet-ifs.2017.0029
%G EN