saving peace in europe
DESCRIPTION
Saving peace in Europe. Using MPC. Carsten Baum Aarhus University. After the first half of the 20th century, we Europeans had enough…. Enough of these wars! Let‘s all be peaceful and happy. Approach #1. Футбол , fútbol , Fußball , fodbold , ποδόσφαιρο , calcio , …. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/1.jpg)
Saving peace in Europe
Using MPC
Carsten Baum Aarhus University
![Page 2: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/2.jpg)
After the first half of the 20th century, we Europeans had enough…
Enough of these wars! Let‘s all be peaceful and happy.
![Page 3: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/3.jpg)
Approach #1
Футбол, fútbol, Fußball, fodbold, ποδόσφαιρο, calcio, …
![Page 4: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/4.jpg)
Well, that did not work…
![Page 5: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/5.jpg)
Approach #2: Let‘s all sing!
![Page 6: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/6.jpg)
What is Eurovision?
• Big TV event (this Saturday!!)
• How it works:1. Every country is allowed to
send someone to present a song
![Page 7: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/7.jpg)
What is Eurovision?
• Big TV event (this Saturday!!)
• How it works:1. Every country is allowed to
send someone to present a song
2. Big Europe-wide vote afterwards to determine who won
![Page 8: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/8.jpg)
Vote you say??• 21st century approach: Online
voting!
![Page 9: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/9.jpg)
Vote you say??• 21st century approach: Online
voting!
• Using MPC for voting gives advantages in some scenarios (see paper)
![Page 10: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/10.jpg)
Vote you say??• 21st century approach: Online
voting!
• Using MPC for voting gives advantages in some scenarios (see paper)
• For example, use a fast online protocol (SPDZ) to obtain the answer very quickly
![Page 11: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/11.jpg)
MPC needs Audit
Because…do you really trust any of the participating countries???
![Page 12: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/12.jpg)
Publicly Auditable MPC – the model
• Clients: Provide input and will obtain output
• Workers: Do the actual computation
• The Auditor: Checks whether the computation was correct
![Page 13: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/13.jpg)
Publicly Auditable MPC – the model
Downside:• If every party is corrupted, privacy is lost
![Page 14: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/14.jpg)
Publicly Auditable MPC – the model
Downside:• If every party is corrupted, privacy is lost
BUT:• The Auditor (anyone!) can establish correctness (by
looking at the π-transcript) even if every Worker is corrupted
![Page 15: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/15.jpg)
Publicly Auditable MPC – the model
Downside:• If every party is corrupted, privacy is lost
BUT:• The Auditor (anyone!) can establish correctness (by
looking at the π-transcript) even if every Worker is corrupted
• If at least one Worker is honest, then we obtain both privacy and correctness
![Page 16: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/16.jpg)
Publicly Auditable MPC – the model
• We model this by assuming the existence of an uncorruptible party
• This party does not participate during the π-execution
![Page 17: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/17.jpg)
Publicly Auditable MPC – the model
• We model this by assuming the existence of an uncorruptible party
• This party does not participate during the π-execution
• In fact, it must not even exist until π was executed
![Page 18: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/18.jpg)
Publicly Auditable MPC – the model
• We model this by assuming the existence of an uncorruptible party
• This party does not participate during the π-execution
• In fact, it must not even exist until π was executed
• This is a generalization of „public verifiability“ for online voting, but here for general MPC
![Page 19: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/19.jpg)
Publicly Auditable MPC as a SPDZ extension
• Extension of the SPDZ online phase – but (almost) no heavy crypto required
• Extend the SPDZ preprocessing as well (must also be auditable, and indeed is)
• (optional) Audit phase if you doubt that the result is correct
![Page 20: Saving peace in Europe](https://reader036.vdocuments.us/reader036/viewer/2022062315/568160c7550346895dcff673/html5/thumbnails/20.jpg)
eprint 2014/075More details:
„Publicly Auditable Secure Multi-Party Computation“
(joint work with Ivan Damgård and Claudio Orlandi)