a universal mpc machine
play

A universal MPC machine* Drago Rotaru University of Bristol, KU - PowerPoint PPT Presentation

Jan 24, 2024 •187 likes •685 views

DIMACS Workshop 2019 A universal MPC machine* Drago Rotaru University of Bristol, KU Leuven *MArBled Circuits: Mixing Arithmetic and Boolean Circuits with Active Security; Joint work with Tim Wood. https://ia.cr/2019/207 Drago

  1. DIMACS Workshop 2019 A universal MPC machine* Dragoș Rotaru University of Bristol, KU Leuven *MArBled Circuits: Mixing Arithmetic and Boolean Circuits with Active Security; • Joint work with Tim Wood. • https://ia.cr/2019/207 Dragoș Rotaru 1 imec-Cosic, Dept. Electrical Engineering

  2. What is multiparty computation? a c b Goal : Compute F(a, b, c) Dragos Rotaru 2 Dragoș Rotaru 2 imec-Cosic, Dept. Electrical Engineering

  3. How can we achieve MPC? Secret Sharing Garbled Circuits Fast networks (LAN) Slow Networks (WAN) Arithmetic/Boolean circuits Boolean circuits Low depth, many AND gates Large depth, few AND gates Dragoș Rotaru 3 imec-Cosic, Dept. Electrical Engineering

  4. Can we switch between? A (GMW mod 2 𝑙 ) Yao GC – mod 2 B (GMW mod 2) ABY [DMZ’15] Dragoș Rotaru 4 imec-Cosic, Dept. Electrical Engineering

  5. Can we switch between? A (GMW mod 2 𝑙 ) Yao GC – mod 2 B (GMW mod 2) ABY [DMZ’15] ABY3 [MR’18] Dragoș Rotaru 5 imec-Cosic, Dept. Electrical Engineering

  6. Can we switch between? A (GMW mod 2 𝑙 ) Yao GC – mod 2 B (GMW mod 2) ABY [DMZ’15] ABY3 [MR’18] Dragoș Rotaru 6 imec-Cosic, Dept. Electrical Engineering

  7. What about dishonest majority? Dragoș Rotaru 7 imec-Cosic, Dept. Electrical Engineering

  8. What about dishonest majority? SPDZ SPDZ-BMR Dragoș Rotaru 8 imec-Cosic, Dept. Electrical Engineering

  9. What about dishonest majority? Naive >110K ANDs SPDZ SPDZ-BMR Dragoș Rotaru 9 imec-Cosic, Dept. Electrical Engineering

  10. What about dishonest majority? Naive >110K ANDs SPDZ SPDZ-BMR >110K ANDs Dragoș Rotaru 10 imec-Cosic, Dept. Electrical Engineering

  11. What about dishonest majority? Naive <1K ANDs SPDZ SPDZ-BMR 0 ANDs Dragoș Rotaru 11 imec-Cosic, Dept. Electrical Engineering

  12. How general is this? 𝐆 𝑞 SPDZ SPDZ-BMR WRK’17 𝐚 2 𝑙 HSS’17 SPDZ Dragoș Rotaru 12 imec-Cosic, Dept. Electrical Engineering

  13. How general is this? 𝐆 𝑞 SPDZ SPDZ-BMR WRK’17 𝐚 2 𝑙 HSS’17 SPDZ Dragoș Rotaru 13 imec-Cosic, Dept. Electrical Engineering

  14. How general is this? 𝐆 𝑞 SPDZ SPDZ-BMR WRK’17 𝐚 2 𝑙 HSS’17 SPDZ Dragoș Rotaru 14 imec-Cosic, Dept. Electrical Engineering

  15. How general is this? 𝐆 𝑞 SPDZ SPDZ-BMR WRK’17 𝐚 2 𝑙 HSS’17 SPDZ Any honest majority protocol Dragoș Rotaru 15 imec-Cosic, Dept. Electrical Engineering

  16. Our focus 𝐆 𝑞 SPDZ SPDZ-BMR WRK’17 𝐚 2 𝑙 HSS’17 SPDZ Dragoș Rotaru 16 imec-Cosic, Dept. Electrical Engineering

  17. Malicious MPC protocols Preprocessing Online phase phase PKC Inputs SPDZ, TinyOT, BDOZa , MASCOT, WRK’17, HSS’17, … Dragoș Rotaru 17 imec-Cosic, Dept. Electrical Engineering

  18. Let’s talk about 𝐆 𝑞 SPDZ Dragoș Rotaru 18 imec-Cosic, Dept. Electrical Engineering

  19. SPDZ online phase 𝐆 𝑞 SPDZ α 1 α 2 + α 3 + α = 𝑦 3 𝑦 1 𝑦 2 𝑦 + + = γ(𝑦) 1 γ(𝑦) 2 + + γ(𝑦) 3 α 𝑦 = Dragoș Rotaru 19 imec-Cosic, Dept. Electrical Engineering

  20. SPDZ online phase 𝐆 𝑞 SPDZ α 1 α 2 + α 3 + α = 𝑦 1 + 𝑧 1 𝑦 2 + 𝑧 2 𝑦 + 𝑧 𝑦 3 + 𝑧 3 + + = γ x 1 + γ y 1 γ x 2 + γ y 2 + γ x 3 + γ y 3 + α ( 𝑦 + 𝑧) = Dragoș Rotaru 20 imec-Cosic, Dept. Electrical Engineering

  21. SPDZ online phase 𝐆 𝑞 SPDZ ← X 𝐵 X 𝐵 Retrieve a random mask Input Dragoș Rotaru 21 imec-Cosic, Dept. Electrical Engineering

  22. SPDZ online phase 𝐆 𝑞 SPDZ ← X 𝐵 X 𝐵 Input Dragoș Rotaru 22 imec-Cosic, Dept. Electrical Engineering

  23. SPDZ online phase 𝐆 𝑞 SPDZ ← X 𝐵 X 𝐵 Input ← x x Open Dragoș Rotaru 23 imec-Cosic, Dept. Electrical Engineering

  24. SPDZ online phase 𝐆 𝑞 SPDZ ← X 𝐵 X 𝐵 Input ← x x Open MAC Check Dragoș Rotaru 24 imec-Cosic, Dept. Electrical Engineering

  25. SPDZ online phase 𝐆 𝑞 SPDZ ← X 𝐵 X 𝐵 Input ← x x Open  ← XOR Retrieve a Beaver triple z x y Dragoș Rotaru 25 imec-Cosic, Dept. Electrical Engineering

  26. SPDZ online phase 𝐆 𝑞 SPDZ ← X 𝐵 X 𝐵 Input ← x x Open MAC Check  ← XOR z x y Dragoș Rotaru 26 imec-Cosic, Dept. Electrical Engineering

  27. Let’s talk about 𝐆 2 SPDZ-BMR Dragoș Rotaru 27 imec-Cosic, Dept. Electrical Engineering

  28. SPDZ online phase 𝐆 2 SPDZ-BMR A B AND AND C A B C Dragoș Rotaru 28 imec-Cosic, Dept. Electrical Engineering

  29. SPDZ online phase 𝐆 2 SPDZ-BMR A B AND AND C MAC Check Λ 𝑑 ←C + λ 𝑑 Λ 𝐵 ← A + λ 𝑏 Λ 𝐶 ← B + λ 𝑐 Dragoș Rotaru 29 imec-Cosic, Dept. Electrical Engineering

  30. SPDZ online phase 𝐆 2 SPDZ-BMR A B AND AND C MAC Check Λ 𝑑 ←C + λ 𝑑 Λ 𝐵 ← A + λ 𝑏 Λ 𝐶 ← B + λ 𝑐 Inputs - cheap XOR - free Mod p arithmetic - some AND gates Dragoș Rotaru 30 imec-Cosic, Dept. Electrical Engineering

  31. Main idea: 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR x x x Dragoș Rotaru 31 imec-Cosic, Dept. Electrical Engineering

  32. Main idea: 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR x x x r Dragoș Rotaru 32 imec-Cosic, Dept. Electrical Engineering

  33. Main idea: 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR x x - x-r x r Open SPDZ – MAC Check Dragoș Rotaru 33 imec-Cosic, Dept. Electrical Engineering

  34. Main idea: 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR x x - + r x x-r x r Dragoș Rotaru 34 imec-Cosic, Dept. Electrical Engineering

  35. Introducing daBits Dragoș Rotaru 35 imec-Cosic, Dept. Electrical Engineering

  36. Introducing daBits 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR 𝒄 𝑩 𝒄 𝑪 𝒄 𝑫 Dragoș Rotaru 36 imec-Cosic, Dept. Electrical Engineering

  37. Introducing daBits 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR SPDZ Input SPDZ-BMR Input 𝒄 𝑩 𝒄 𝑪 𝒄 𝑫 Dragoș Rotaru 37 imec-Cosic, Dept. Electrical Engineering

  38. Introducing daBits 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR SPDZ Input SPDZ-BMR Input 𝒄 𝑩 𝒄 𝑩 𝒄 𝑪 𝒄 𝑪 𝒄 𝑫 𝒄 𝑫 Dragoș Rotaru 38 imec-Cosic, Dept. Electrical Engineering

  39. Introducing daBits 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR SPDZ Open SPDZ-BMR Open 𝒄 𝑩 𝒄 𝑩 𝒄 𝑪 𝒄 𝑪 𝒄 𝑫 𝒄 𝑫 Dragoș Rotaru 39 imec-Cosic, Dept. Electrical Engineering

  40. Introducing daBits 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR SPDZ XOR SPDZ-BMR XOR 𝒄 𝑩  𝒄 𝑪  𝒄 𝑫 𝒄 𝑩  𝒄 𝑪  𝒄 𝑫 Dragoș Rotaru 40 imec-Cosic, Dept. Electrical Engineering

  41. Introducing daBits 𝐆 𝑞 𝐆 2 SPDZ SPDZ-BMR SPDZ Open SPDZ-BMR Open 𝒄 𝑩  𝒄 𝑪  𝒄 𝑫 𝒄 𝑩  𝒄 𝑪  𝒄 𝑫 Dragoș Rotaru 41 imec-Cosic, Dept. Electrical Engineering

  42. daBit cost SPDZ-BMR SPDZ Dragoș Rotaru 42 imec-Cosic, Dept. Electrical Engineering

  43. Preprocessing cost per conversion Dragoș Rotaru 43 imec-Cosic, Dept. Electrical Engineering

  44. Example code in MP-SPDZ Dragoș Rotaru 44 imec-Cosic, Dept. Electrical Engineering

  45. Online cost per conversion 8X overhead than using ABY Dragoș Rotaru 45 imec-Cosic, Dept. Electrical Engineering

  46. Online cost per conversion 8X overhead than using ABY Dragoș Rotaru 46 imec-Cosic, Dept. Electrical Engineering

  47. What’s next? • SCALE- MAMBA has WRK’17. • It also has all preprocessing phases connected – ideal candidate for daBits in a more realistic system. • Moral: Stitch your work together so it would be easier to build more efficient protocols on top of them. Dragoș Rotaru 47 imec-Cosic, Dept. Electrical Engineering

  48. Thank you! Dragoș Rotaru 48 imec-Cosic, Dept. Electrical Engineering

  49. Thank you! • Questions? • https://ia.cr/2019/207 Dragoș Rotaru 49 imec-Cosic, Dept. Electrical Engineering

Recommend

A Universal Computer A Universal Computer memory. A Turing machine has a finite state machine

A Universal Computer A Universal Computer memory. A Turing machine has a finite state machine

One-Slide Summary The Turing machine is a fundamental model of computation. It models input, output, processing and A Universal Computer A Universal Computer memory. A Turing machine has a finite state machine controller as well as an

136 views • 9 slides
Universal Turing Machine Lecture 20 1 Turing Machine move the head left or right by one

Universal Turing Machine Lecture 20 1 Turing Machine move the head left or right by one

Universal Turing Machine Lecture 20 1 Turing Machine move the head left or right by one cell sequentially accessed read write infinite memory finite memory (state) next- action look-up table CS 374 Variants dont change which

1.08k views • 27 slides
TURING MACHINE VARIATIONS ENCODING TURING MACHINES UNIVERSAL TURING MACHINE Your Questions?

TURING MACHINE VARIATIONS ENCODING TURING MACHINES UNIVERSAL TURING MACHINE Your Questions?

5/7/2018 Variations: Multiple tracks Multiple tapes Non-deterministic TURING MACHINE VARIATIONS ENCODING TURING MACHINES UNIVERSAL TURING MACHINE Your Questions? Previous class days' material Reading Assignments HW 14b

542 views • 26 slides
Soio IoT Universal Solution Soio Concepto Raw IoT Data UNIVERSAL GUARANTEED SERVICE

Soio IoT Universal Solution Soio Concepto Raw IoT Data UNIVERSAL GUARANTEED SERVICE

Soio IoT Universal Solution Soio Concepto Raw IoT Data UNIVERSAL GUARANTEED SERVICE Physical-chemical, biological, machine, Instant accessibility and lossless User complete abstraction of any or object (IoT) calibrated Raw Data,

599 views • 17 slides
Si-Fo The Universal Signs Follower Izhar Shaikh Intelligent Machine Design Lab EEL

Si-Fo The Universal Signs Follower Izhar Shaikh Intelligent Machine Design Lab EEL

Formal Proposal (Special Sensor) [NOTE: Jump to Experimental Layout &amp; Result Section] Si-Fo The Universal Signs Follower Izhar Shaikh Intelligent Machine Design Lab EEL 4665, Fall 2015 Professors: Dr. A. Antonio Arroyo, Dr.

520 views • 22 slides
MA/CSSE 474 Theory of Computation TM Variations Encoding a TM (Universal Turing Machine) Your

MA/CSSE 474 Theory of Computation TM Variations Encoding a TM (Universal Turing Machine) Your

MA/CSSE 474 Theory of Computation TM Variations Encoding a TM (Universal Turing Machine) Your Questions? HW 14b problems Previous class days' material Tuesday's exam Reading Assignments Anything else Two Flavors of

533 views • 34 slides
Universal Credit Universal Credit Universal Credit is for working-age people aged over 18 and

Universal Credit Universal Credit Universal Credit is for working-age people aged over 18 and

Universal Credit Universal Credit Universal Credit is for working-age people aged over 18 and under State Pension age. Universal Credit will replace a number of current benefits: income-based Jobseekers Allowance (JSA);

332 views • 14 slides
Universal Language in the 17th Century Our examination of the history of machine translation

Universal Language in the 17th Century Our examination of the history of machine translation

Universal Language in the 17th Century Our examination of the history of machine translation begins in 17th century Europe. For the scholars of that era, the search for meaning in language was intimately tied with two accounts found early in the

642 views • 13 slides
Universal Acceptance Quick Guide What Does Universal Acceptance Mean? ACCEPT Universal

Universal Acceptance Quick Guide What Does Universal Acceptance Mean? ACCEPT Universal

Universal Acceptance Quick Guide What Does Universal Acceptance Mean? ACCEPT Universal Acceptance (UA) is the state where all valid domain names and email addresses are accepted, validated, stored, processed and displayed correctly and

122 views • 8 slides
Neural Machine Translation with Universal Visual Representation ICLR 2020, Addis Ababa, Ethiopia

Neural Machine Translation with Universal Visual Representation ICLR 2020, Addis Ababa, Ethiopia

Neural Machine Translation with Universal Visual Representation ICLR 2020, Addis Ababa, Ethiopia Zhuosheng Zhang , Kehai Chen , Rui Wang , * , Masao Utiyama , Eiichiro Sumita , Zuchao Li , Hai Zhao , * Shanghai Jiao

338 views • 11 slides
Turing machine recap A Turing machine TM is a tuple M = ( , Q , ) where : set of symbols

Turing machine recap A Turing machine TM is a tuple M = ( , Q , ) where : set of symbols

Turing machine recap A Turing machine TM is a tuple M = ( , Q , ) where : set of symbols that TM s tapes can contain. Universal Turing Machines and Undecidability Q : possible states TM can be in. q start : the TM starts in this state

391 views • 6 slides
A Universal Machine for Biform Theory Graphs Michael Kohlhase Felix Mance Florian Rabe Computer

A Universal Machine for Biform Theory Graphs Michael Kohlhase Felix Mance Florian Rabe Computer

A Universal Machine for Biform Theory Graphs Michael Kohlhase Felix Mance Florian Rabe Computer Science, Jacobs University Bremen Calculemus, CICM, July 2013 1 Mathematical Knowledge Representation Three aspects of mechanized

353 views • 23 slides
MA/CSSE 474 Theory of Computation Delayed due dates for HWs 12-14. See updated schedule page.

MA/CSSE 474 Theory of Computation Delayed due dates for HWs 12-14. See updated schedule page.

MA/CSSE 474 Theory of Computation Delayed due dates for HWs 12-14. See updated schedule page. No class meeting on Thursday. Universal Turing Machine Church-Turing Thesis Recap: The Universal Turing Machine Problem : All our machines so far

450 views • 15 slides
Tech Day: Universal Acceptance Mark van rek Universal Acceptance Todays Objectives

Tech Day: Universal Acceptance Mark van rek Universal Acceptance Todays Objectives

Tech Day: Universal Acceptance Mark van rek Universal Acceptance Todays Objectives Definition of Universal Acceptance Universal Acceptance Steering Group Challenges BiDi Stuff Conclusion 2 Definition of Universal

665 views • 27 slides
1 Universal Turing Machines Here is an encoding to represent an arbitrary Turing machine over an

1 Universal Turing Machines Here is an encoding to represent an arbitrary Turing machine over an

1 Universal Turing Machines Here is an encoding to represent an arbitrary Turing machine over an arbitrary alphabet as a string over a fixed alphabet. state q followed by an i digit binary number symbol in a followed by a j digit binary

139 views • 3 slides
A Universal Language A Universal Language Scheme. It contains terms and rules describing

A Universal Language A Universal Language Scheme. It contains terms and rules describing

One-Slide Summary The lambda calculus is a universal, fundamental model of computation. You can view it as the essence of A Universal Language A Universal Language Scheme. It contains terms and rules describing variables, function

497 views • 10 slides
A Universal Language A Universal Language Scheme. It contains terms and rules describing

A Universal Language A Universal Language Scheme. It contains terms and rules describing

One-Slide Summary The lambda calculus is a universal, fundamental model of computation. You can view it as the essence of A Universal Language A Universal Language Scheme. It contains terms and rules describing variables, function

82 views • 7 slides
Universal Artificial Intelligence Marcus Hutter Canberra, ACT, 0200, Australia ANU RSISE NICTA

Universal Artificial Intelligence Marcus Hutter Canberra, ACT, 0200, Australia ANU RSISE NICTA

Marcus Hutter - 1 - Foundations of Machine Learning Universal Artificial Intelligence Marcus Hutter Canberra, ACT, 0200, Australia ANU RSISE NICTA Machine Learning Summer School MLSS-2009, 26 Janurary 6 February, Canberra Marcus

987 views • 80 slides
Universal Usability Ethical, good business, the law SWEN-444 Topics Universal usability and

Universal Usability Ethical, good business, the law SWEN-444 Topics Universal usability and

Universal Usability Ethical, good business, the law SWEN-444 Topics Universal usability and software ethics Visually impaired Deaf and hard of hearing Dexterity and mobility impairments Section 508 the law Universal

593 views • 33 slides
Accessibility and Universal Design Webinar May 31, 2017 11:00am Accessibility &amp; Universal

Accessibility and Universal Design Webinar May 31, 2017 11:00am Accessibility &amp; Universal

Accessibility and Universal Design Webinar May 31, 2017 11:00am Accessibility &amp; Universal Design Universal design principles for online learning environments are based on the idea that a broad range of human ability exists, and this is

467 views • 14 slides
@katjahofmann Legg, S., &amp; Hutter, M. (2007). Universal

@katjahofmann Legg, S., &amp; Hutter, M. (2007). Universal

@katjahofmann Legg, S., &amp; Hutter, M. (2007). Universal Intelligence: A Definition of Machine Intelligence. Minds and Machines, 17 (4), pages 391-444. 2

808 views • 34 slides
Universal Service, Mobile Broadband and Reverse Auctions (or, Universal Service in a 5G world)

Universal Service, Mobile Broadband and Reverse Auctions (or, Universal Service in a 5G world)

Universal Service, Mobile Broadband and Reverse Auctions (or, Universal Service in a 5G world) (or, or, what can we learn from MF-II challenge process) Agenda: Universal Service: What Needs to be Measured William Lehr Steve Bauer MIT MIT 9th

224 views • 7 slides
UNIVERSAL DESIGN FOR LEARNING (UDL) UNIVERSAL DESIGN FOR LEARNING (UDL) First defined by the

UNIVERSAL DESIGN FOR LEARNING (UDL) UNIVERSAL DESIGN FOR LEARNING (UDL) First defined by the

UNIVERSAL DESIGN FOR LEARNING (UDL) UNIVERSAL DESIGN FOR LEARNING (UDL) First defined by the Center for Applied Special Technology (CAST), UDL is a framework which promotes flexible instructional environments in order to accommodate a wide

609 views • 23 slides
UNIVERSAL ROBOTS RUC 2018 Universal Robots - Evolving the future UNIVERSAL ROBOTS SET THE

UNIVERSAL ROBOTS RUC 2018 Universal Robots - Evolving the future UNIVERSAL ROBOTS SET THE

UNIVERSAL ROBOTS RUC 2018 Universal Robots - Evolving the future UNIVERSAL ROBOTS SET THE STANDARD Fast Set-up Flexible Deployment Easy Programming Safe UNIVERSAL ROBOTS SET THE STANDARD Fast setup Fast Set-up Flexible

585 views • 24 slides

More recommend