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

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

Pascal Lafourcade, Gael Marcadet, Léo Robert

The verification of computations performed by an untrusted server
is a cornerstone for delegated computations, especially in multi-
clients setting where inputs are provided by different parties. As-
suming 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 …

client computation eprint report protocol version