Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... ·...
Transcript of Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... ·...
![Page 1: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/1.jpg)
Posi%on-‐Based Quantum Cryptography
Chris%an Schaffner ILLC, University of Amsterdam
Centrum Wiskunde & Informa%ca
Advances in Quantum Cryptography Workshop Ins9tut Henri Poincaré, Paris Tuesday, 24 March 2015
![Page 2: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/2.jpg)
2
1969: Man on the Moon
NASA
The Great Moon-‐Landing Hoax?
n How can you prove that you are at a specific loca%on? hPp://www.unmuseum.org/moonhoax.htm
![Page 3: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/3.jpg)
Posi%on-‐Based Cryptography
ongoing project with: Harry Buhrman Serge Fehr Nicolas Gisin Adrian Kent Florian Speelman Hugo Zbinden
Nishanth Chandran Ran Gelles Vipul Goyal Rafail Ostrovsky …
![Page 4: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/4.jpg)
4 Outline of the Talk
n Nota%on & Quantum Teleporta%on
n Posi%on-‐Based Cryptography
n No-‐Go Theorem
n Garden-‐Hose Model
![Page 5: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/5.jpg)
5 Quantum Mechanics
with prob. 1 yields 1 Measurements:
+ basis
£ basis
with prob. ½ yields 0
with prob. ½ yields 1
0/1
0/1
![Page 6: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/6.jpg)
6 No-‐Cloning Theorem
? ?
?
quantum opera%ons:
U
Proof: copying is a non-‐linear opera%on
![Page 7: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/7.jpg)
7 Quantum Teleporta%on [BenneP Brassard Crépeau Jozsa Peres WooPers 1993]
n does not contradict rela%vity theory n teleported state can only be recovered
once the classical informa%on ¾ arrives
?
[Bell]
? ?
![Page 8: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/8.jpg)
8 Port-‐Based Teleporta%on [Ishizaka Hiroshima 2008]
n no correc%on opera%on required n works only approximately n requires 2n EPR pairs for telepor%ng n qubits
?
?
![Page 9: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/9.jpg)
9 Outline of the Talk
ü Nota%on & Quantum Teleporta%on
n Posi%on-‐Based Cryptography
n No-‐Go Theorem
n Garden-‐Hose Model
![Page 10: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/10.jpg)
10
How to Convince Someone of Your Presence at a Loca%on
The Great Moon Landing Hoax
hPp://www.unmuseum.org/moonhoax.htm
![Page 11: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/11.jpg)
11 Basic Task: Posi%on Verifica%on
n Prove you are at a certain loca%on: n launching-‐missile command comes from within the
military headquarters n talking to the correct country n pizza delivery problem n …
n building block for advanced cryptographic tasks: n authen%ca%on, posi%on-‐based key-‐exchange n can only decipher message at specific loca%on
Can the geographical loca%on of a player be used as cryptographic creden%al ?
![Page 12: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/12.jpg)
12
Basic task: Posi%on Verifica%on
n Prover wants to convince verifiers that she is at a par%cular posi%on
n no coali%on of (fake) provers, i.e. not at the claimed posi%on, can convince verifiers
n assump%ons: n communica%on at speed of light n instantaneous computa%on n verifiers can coordinate
Verifier1 Verifier2 Prover
![Page 13: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/13.jpg)
13
Posi%on Verifica%on: First Try
Verifier1 Verifier2 Prover
%me
n distance bounding [Brands Chaum ‘93]
![Page 14: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/14.jpg)
14
Posi%on Verifica%on: Second Try
Verifier1 Verifier2 Prover
posi%on verifica%on is classically impossible ! [Chandran Goyal Moriarty Ostrovsky: CRYPTO ’09]
![Page 15: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/15.jpg)
15
Equivalent APacking Game
n independent messages mx and my n copying classical informa%on n this is impossible quantumly
![Page 16: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/16.jpg)
16
Posi%on Verifica%on: Quantum Try [Kent Munro Spiller 03/10]
n Let us study the aPacking game
?
?
?
![Page 17: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/17.jpg)
17
?
APacking Game
n impossible n but possible with entanglement!!
?? ?
?
![Page 18: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/18.jpg)
18
?
Entanglement aPack
n done if b=1
[Bell]
?
?
![Page 19: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/19.jpg)
19
?
Entanglement aPack
n the correct person can reconstruct the qubit in %me! n the scheme is completely broken
[Bell]
?
?[Bell]
![Page 20: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/20.jpg)
20 more complicated schemes?
n Different schemes proposed by n Chandran, Fehr, Gelles, Goyal, Ostrovsky [2010] n Malaney [2010] n Kent, Munro, Spiller [2010] n Lau, Lo [2010]
n Unfortunately they can all be broken! n general no-‐go theorem [Buhrman, Chandran, Fehr, Gelles, Goyal, Ostrovsky, S 2010]
![Page 21: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/21.jpg)
21
U
Most General Single-‐Round Scheme
n Let us study the aPacking game
![Page 22: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/22.jpg)
22
U
Distributed Q Computa%on in 1 Round
n tricky back-‐and-‐forth teleporta%on [Vaidman 03] n using a double exponen%al amount of EPR pairs, players succeed with probability arbitrarily close to 1
n improved to exponen%al in [Beigi König ‘11]
![Page 23: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/23.jpg)
23
Using Port-‐Based Teleporta%on
[Bell]
[Beigi König ‘11]
U U U U
![Page 24: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/24.jpg)
24
Using Port-‐Based Teleporta%on
output:
[Bell]
[Beigi König ‘11]
U U U U
![Page 25: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/25.jpg)
25 No-‐Go Theorem
n Any posi%on-‐verifica%on protocol can be broken n using a double-‐exponen%al number of EPR-‐pairs n reduced to single-‐exponen%al [Beigi, König‘11]
n Ques%on: is this op%mal? n Does there exist a protocol such that:
n any aPack requires many EPR-‐pairs n honest prover and verifiers efficient
![Page 26: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/26.jpg)
26
Single-‐Qubit Protocol: SQPf [Kent Munro Spiller 03/10]
if f(x,y)=0 ?
?
?
if f(x,y)=1
efficiently computable
![Page 27: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/27.jpg)
27
?
APacking Game for SQPf
n Define E( SQPf ) := minimum number of EPR pairs required for aPacking SQPf
? ?if f(x,y)=0 if f(x,y)=1
x y
![Page 28: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/28.jpg)
28 Outline of the Talk
ü Nota%on & Quantum Teleporta%on
ü Posi%on-‐Based Cryptography ü No-‐Go Theorem
n Garden-‐Hose Model
Buhrman, Fehr, S, Speelman: The Garden-‐Hose Model Innova%ons in Theore%cal Computer Science 2013, arXiv:1109.2563
![Page 29: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/29.jpg)
share s waterpipes
29 The Garden-‐Hose Model
![Page 30: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/30.jpg)
The Garden-‐Hose Model
n based on their inputs, players connect pipes with pieces of hose n Alice also connects a water tap
30
if water exits @ Alice if water exits @ Bob
![Page 31: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/31.jpg)
Garden-‐Hose complexity of f: GH(f) := minimum number of pipes needed to compute f
31
if water exits @ Alice if water exits @ Bob
The Garden-‐Hose Model
![Page 32: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/32.jpg)
Demonstra%on: Inequality on Two Bits 32
![Page 33: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/33.jpg)
n GH( Inequality ) · n demonstra%on: 3n n [Margalit Matsliah ‘12]: ~1.547n (using IBM’s SAT solver)
n ~1.536n, ~1.505n, ~1.457n [Dodson ‘12], ~1.448n n current world-‐record: ~1.359n [Chiu Szegedy et al 13]
n GH( Inequality ) ¸ n [Pietrzak ‘11]
n-‐Bit Inequality Puzzle 33
![Page 34: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/34.jpg)
Inequality with 4 Pipes and 6 Inputs 34
1
2
3
4
5 6
1,4,6
3,5
3
6
1
5
4 2
2
n Alice knows where water exits if x=y n yields 4 / log(6) ¼ 1.547 pipes per bit
![Page 35: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/35.jpg)
00… 0
2n+1 pipes
11… 1
x1x2…xn
connects iff f(00…0,y)=0
connects iff f(11…1,y)=0
connects iff f(x,y)=0
f(x,y)=1
Any f has GH(f)· 2n+1
x1x2…xn y1y2…yn
f(x,y)=0 f(x,y)=1
![Page 36: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/36.jpg)
00… 0
n
11… 1
n
x1x2…xn
connects iff f(00…0,y)=0
connects iff f(11…1,y)=0
connects iff f(x,y)=0
Any f has GH(f)· 2n+1
x1x2…xn y1y2…yn
2n+1 pipes
f(x,y)=0
f(x,y)=0 f(x,y)=1
![Page 37: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/37.jpg)
Rela%onship between E(SQPf) and GH(f)
![Page 38: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/38.jpg)
GH(f) ¸ E(SQPf) Garden-‐Hose APacking Game
teleport teleport teleport
teleport
?
![Page 39: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/39.jpg)
GH(f) ¸ E(SQPf) Garden-‐Hose APacking Game
teleport teleport teleport
teleport
?
y, Bob’s telep. keys
x, Alice’s telep. keys
n using x & y, can follow the water/qubit n correct water/qubit using all
measurement outcomes
![Page 40: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/40.jpg)
40
n last slide: GH(f) ¸ E(SQPf) n The two models are not equivalent:
n exists f such that GH(f) = n , but E(SQPf) · log(n) n Quantum garden-‐hose model:
n give Alice & Bob also entanglement n research ques%on: are the models now equivalent?
GH(f) = E(SQPf) ?
![Page 41: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/41.jpg)
41 Garden-‐Hose Complexity Theory n every f has GH(f) · 2n+1 n if f in logspace, then GH(f) · polynomial
n efficient f & no efficient aPack ) P≠ L n exist f with GH(f) exponen%al (coun%ng argument) n for g 2 {equality, IP, majority}: GH(g) ¸ n log(n)
n techniques from communica%on complexity
n Many open problems! n recent results by Klauck, Podder in arxiv:1412.4904
![Page 42: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/42.jpg)
42
What Have You Learned from this Talk? ü Port-‐Based Quantum Teleporta%on
ü Posi%on-‐Based Cryptography
?
![Page 43: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/43.jpg)
43
What Have You Learned from this Talk?
ü No-‐Go Theorem n Impossible uncondi%onally, but aPack requires unrealis%c amounts of resources
ü Garden-‐Hose Model n Restricted class of single-‐qubit schemes: SQPf n Easily implementable n Garden-‐hose model to study aPacks n Connec%ons to complexity theory
![Page 44: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/44.jpg)
44 Open Problems
n Is Quantum-‐GH(f) equivalent to E(SQPf)? n Find good lower bounds on E(SQPf) n Are there other posi%on-‐verifica%on schemes? Connec%on with non-‐local games
n Posi%on verifica%on in higher dimensions n Experimental problems: handle losses and measurement errors
n Can we achieve other posi%on-‐based primi%ves? n …
![Page 45: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/45.jpg)
45 EPR Pairs
prob. ½ : 0 prob. ½ : 1
prob. 1 : 0
[Einstein Podolsky Rosen 1935]
n “spukha~e Fernwirkung” (spooky ac%on at a distance) n EPR pairs do not allow to communicate
(no contradic%on to rela%vity theory) n can provide a shared random bit
(or other non-‐signaling correla%ons)
EPR magic!
![Page 46: Posi%on’Based, Quantum,Cryptographyhomepages.cwi.nl/~schaffne/mypresentations/Paris... · Posi%on’Based, Quantum,Cryptography, Chris%an,Schaffner, ILLC,,University,of,Amsterdam,](https://reader034.fdocuments.us/reader034/viewer/2022042921/5f6812a244336379e86b4577/html5/thumbnails/46.jpg)
Quantum Key Distribu%on (QKD) Alice
Bob
Eve n inf-‐theore%c security against unrestricted eavesdroppers:
n quantum states are unknown to Eve, she cannot copy them n honest players can check whether Eve interfered
n technically feasible: no quantum computa%on required, only quantum communica%on
[BenneP Brassard 84, Ekert 91]