Cryptology ePrint Archive: Report 2018/599

CHQS: Publicly Verifiable Homomorphic Signatures Beyond the Linear Case

Lucas Schabhüser and Denis Butin and Johannes Buchmann

Abstract: Sensitive data is often outsourced to cloud servers, with the server performing computation on the data. Computational correctness must be efficiently verifiable by a third party while the input data remains confidential. This paper introduces CHQS, a homomorphic signature scheme from bilinear groups fulfilling these requirements. CHQS is the first such scheme to be both context hiding and publicly verifiable for arithmetic circuits of degree two. It also achieves amortized efficiency: after a precomputation, verification can be faster than the evaluation of the circuit itself.

Category / Keywords: public-key cryptography / Delegated Computation, Homomorphic Signatures, Context-Hiding

Original Publication (with major differences): ISPEC 2018

Date: received 11 Jun 2018

Contact author: lschabhueser at cdc informatik tu-darmstadt de

Available format(s): PDF | BibTeX Citation

Version: 20180618:191615 (All versions of this report)

Short URL: ia.cr/2018/599


[ Cryptology ePrint archive ]