Secure Outsourcing of Computation Ron Rothblum MIT Outsourcing - - PowerPoint PPT Presentation

▶

Aug 30, 2022 316 likes •382 views

Secure Outsourcing of Computation Ron Rothblum MIT Outsourcing Computation Motivation: allow a computationally weak client to outsource its computation to an untrusted server. = () Main security concerns: 1. Correctness:

SLIDE 1

Secure Outsourcing of Computation

Ron Rothblum MIT

SLIDE 2

Outsourcing Computation

Motivation: allow a computationally weak client to

utsource its computation to an untrusted server.

𝑦 𝑧 = 𝑔(𝑦)

Main security concerns:

1. Correctness: 𝑧 = 𝑔 𝑦 ?
2. Privacy: cloud learns our secret data 𝑦.

SLIDE 3

Doubly Efficient Interactive Proofs

[GKR08] Double efficiency requirement:

1. The verifier should be super efficient.
2. The prover should be relatively efficient.

Also want to minimize the interaction.

SLIDE 4

Some Results

Linear-time constant-round verification for

𝑈𝐽𝑇𝑄(poly 𝑜 , 𝑜𝜗) with statistical soundness (together with Omer Reingold and Guy Rothblum).

Linear-time 1-round verification for P with

computational soundness, under cryptographic assumptions (together with Ran Raz and Yael Kalai).

Study of sub-linear time verification (joint works