RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version) - Université Clermont Auvergne
Communication Dans Un Congrès Année : 2023

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)

Résumé

The verification of computations performed by an untrusted server is a cornerstone for delegated computations, especially in multiclients setting where inputs are provided by different parties. Assuming a common secret between clients, a garbled circuit offers the attractive property to ensure the correctness of a result computed by the untrusted server while keeping the input and the function private. Yet, this verification can be guaranteed only once. Based on the notion of multi-key homomorphic encryption (MKHE), we propose RMC-PVC a multi-client verifiable computation protocol, able to verify the correctness of computations performed by an untrusted server for inputs (encoded for a garbled circuit) provided by multiple clients. Thanks to MKHE, the garbled circuit is reusable an arbitrary number of times. In addition, each client can verify the computation by its own. Compared to a single-key FHE scheme, the MKHE usage in RMC-PVC allows to reduce the workload of the server and thus the response delay for the client. It also enforce the privacy of inputs, which are provided by different clients.
Fichier principal
Vignette du fichier
main.pdf (577.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03909382 , version 1 (21-12-2022)

Identifiants

  • HAL Id : hal-03909382 , version 1

Citer

Pascal Lafourcade, Gael Marcadet, Léo Robert. RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version). ACM Symposium on Applied Computing, 2023, Tallinn, Estonia. ⟨hal-03909382⟩
80 Consultations
57 Téléchargements

Partager

More