Multi-Matrix Verifiable Computation

04/30/2021
by   Yan He, et al.
0

The problem of securely outsourcing computation to cloud servers has attracted a large amount of attention in recent years. The verifiable computation of Gennaro, Gentry, Parno (Crypto'10) allows a client to verify the server's computation of a function with substantially less time than performing the outsourced computation from scratch. In a multi-function model (Parno, Raykova, Vaikuntanathan; TCC'12) of verifiable computation, the process of encoding function and the process of preparing input are decoupled such that any client can freely submit a computation request on its input, without having to generate an encoding of the function in advance. In this paper, we propose a multi-matrix verifiable computation scheme that allows the secure outsourcing of the matrix functions over a finite field. Our scheme is outsourceable. When it is used to outsource m linear functions, the scheme is roughly m times faster and has less communication cost than the previously best known scheme by Fiore and Gennaro (CCS'12), both in the client-side computation and in the server-side computation. We also show the cost saving with detailed implementations.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

04/26/2021

Multi-Server Verifiable Delegation of Computations: Unconditional Security and Practical Efficiency

Outsourcing computation has gained significant popularity in recent year...
07/06/2020

Splintering with distributions: A stochastic decoy scheme for private computation

Performing computations while maintaining privacy is an important proble...
04/25/2021

Two-Server Verifiable Homomorphic Secret Sharing for High-Degree Polynomials

Homomorphic secret sharing (HSS) allows multiple input clients to secret...
03/26/2020

Corella: A Private Multi Server Learning Approach based on Correlated Queries

The emerging applications of machine learning algorithms on mobile devic...
09/04/2018

More is Less: Perfectly Secure Oblivious Algorithms in the Multi-Server Setting

The problem of Oblivious RAM (ORAM) has traditionally been studied in a ...
03/27/2018

Cloud-based MPC with Encrypted Data

This paper explores the privacy of cloud outsourced Model Predictive Con...
02/01/2021

On Secure Distributed Linearly Separable Computation

Distributed linearly separable computation, where a user asks some distr...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.