Cryptology ePrint Archive: Report 2015/320

Hybrid Publicly Verifiable Computation

James Alderman and Christian Janson and Carlos Cid and Jason Crampton

Abstract: Publicly Verifiable Outsourced Computation (PVC) allows weak devices to delegate computations to more powerful servers, and to verify the correctness of results. Delegation and verification rely only on public parameters, and thus PVC lends itself to large multi-user systems where entities need not be registered. In such settings, individual user requirements may be diverse and cannot be realised with current PVC solutions. In this paper, we introduce Hybrid PVC (HPVC) which, with a single setup stage, provides a flexible solution to outsourced computation supporting multiple modes: (i) standard PVC, (ii) PVC with cryptographically enforced access control policies restricting the servers that may perform a given computation, and (iii) a reversed model of PVC which we call Verifiable Delegable Computation (VDC) where data is held remotely by servers. Entities may dynamically play the role of delegators or servers as required.

Category / Keywords: cryptographic protocols / Publicly Verifiable Computation, Outsourced Computation, Dual-Policy Attribute-based Encryption, Revocation, Access Control

Original Publication (with major differences): Topics in Cryptology - CT-RSA 2016

Date: received 8 Apr 2015, last revised 12 Feb 2018

Contact author: Christian Janson 2012 at live rhul ac uk

Available format(s): PDF | BibTeX Citation

Version: 20180212:202501 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]