Presentation is loading. Please wait.

Presentation is loading. Please wait.

Outsourcing Private RAM Computation Daniel Wichs Northeastern University with: Craig Gentry, Shai Halevi, Mariana Raykova.

Similar presentations


Presentation on theme: "Outsourcing Private RAM Computation Daniel Wichs Northeastern University with: Craig Gentry, Shai Halevi, Mariana Raykova."— Presentation transcript:

1 Outsourcing Private RAM Computation Daniel Wichs Northeastern University with: Craig Gentry, Shai Halevi, Mariana Raykova

2 Problem Overview Client Server …

3 Private outsourcing is possible using Fully Homomorphic Encryption (FHE). [RAD78,Gen09,…] But FHE works over circuits rather than RAM programs. I’m very efficient! Use FHE! Done?

4 Circuits vs. RAM

5 Goals Client Server …

6 Goals Client Server …

7 Goals Non-interactive solution: “reusable garbled RAM”. Client Server

8 Garbled Computation Garbled Circuits [Yao82] Reusable Garbled Circuits [GKPVZ 13a,b] Can garble many inputs per circuit. Efficiently outsource circuit comp. Extension to TM. Garbled RAM [LO13, GHLORW14] Reusable Garbled RAM This Talk! Can garble many inputs per program. Efficiently outsource RAM comp.

9 Main Results 1-time Garbled RAM Reusable Garbled RAM+ Reusable Garbled Circuits New security/efficiency requirements. Instantiate with iO or Functional Rnc.

10 Main Result 1-time Garbled RAM Reusable Garbled RAM+ Reusable Garbled Circuits Stronger security requirements. Instantiate with “strong diO” (heuristic obf) with persistent data

11 Without Persistent Data

12 1-Time Garbled RAM Definition Client Server secret: k without persistent data View can be simulated given y

13 Reusable Garbled RAM Definition Client Server secret: k without persistent data

14 Construct reusable garbled RAM by combining: – one-time garbled RAM (GProg1, GInput1, GEval1) – reusable garbled circuits

15 Construct reusable garbled RAM by combining: – one-time garbled RAM (GProg1, GInput1, GEval1) – reusable garbled circuits Problem: In reusable garbled circuits of [GKPVZ13], size of garbled input always exceeds size of circuit output. Unfortunately: This is inherent. Cannot do better if want simulation security.

16 Construct reusable garbled RAM by combining: – one-time garbled RAM (GProg1, GInput1, GEval1) – reusable garbled circuits Solution: – Show that we do not need simulation-security for reusable garbled-circuits. A weaker notion suffices. – Construct reusable garbled-circuits with weaker security notion but better efficiency needed in construction.

17 Distributional Indistinguishability

18

19 With Persistent Memory

20 1-time Garbled RAM Definition Client Server secret: k with persistent data

21 Reusable Garbled RAM Definition Client Server secret: k with persistent data

22

23 Correlated Distributional Indistinguishability

24 Theorem: Get reusable garbled RAM where: – Garble, evaluate program: O(RAM run-time P). – Garble input = O( input + output size). assuming “ind. obfuscation” + stat. sound NIZK. Theorem: Get reusable garbled RAM with persistent memory where: – garble data = O( data size) – garble program = O( description size P ) – garble input = O( input + output size) – evaluate = O( RAM run-time P) assuming “strong differing-inputs obfuscation” (heuristic).

25 Outsourcing via Reusable G-RAM Client Server

26 Client Server Outsourcing via Reusable G-RAM

27 Don’t turn me into a circuit! Thank You!


Download ppt "Outsourcing Private RAM Computation Daniel Wichs Northeastern University with: Craig Gentry, Shai Halevi, Mariana Raykova."

Similar presentations


Ads by Google