Inspec keywords: cryptography; Boolean algebra; logic gates; digital signatures; logic circuits; theorem proving; computability; formal languages

Other keywords: NP language; bilinear map; Groth-Sahai proof systems; algebraic equations; Karp reduction; practical attribute-based signature schemes; Boolean circuit; Groth-Ostrovsky-Sahai proof systems; circuit satisfiability; unbounded depth; cryptographic assumptions; number-of-gates; cryptographic primitive

Subjects: Logic elements; Logic circuits; Algebra; Algebra; Formal languages and computational linguistics; Data security; Cryptography; Logic and switching circuits