On the Feasibility of Unleveled Fully-Homomorphic Signatures

ePrint Report: On the Feasibility of Unleveled Fully-Homomorphic Signatures

Romain Gay, Bogdan Ursu

We build the first unleveled fully homomorphic signature scheme in the standard model. Our scheme is not constrained by any a-priori bound on the depth of the functions that can be homomorphically evaluated, and relies on subexponentially-secure indistinguishability obfuscation, fully-homomorphic encryption and a non-interactive zero-knowledge (NIZK) proof system with composable zero-knowledge. Our scheme is also the first to satisfy the strong security notion of context-hiding for an …

build eprint report functions obfuscation report romain signature signatures standard