Wikipedista:JozumBjada/Pískoviště 5
clanek o "blind quantum computing"
TODO: zjistit si správné překlady do češtiny
Kvantové počítání naslepo (anglicky blind quantum computing) je označení pro různé techniky z oblasti kvantového počítání, kdy klient nechá svoje vstupní data zpracovat vzdáleným kvantovým serverem a to tak, že server nemá z povahy výpočtů možnost určit, o jaký výpočet a vstupní data se jedná.
Typickým příkladem může být cloudové počítání, kdy klient s omezenými výpočetními možnosti nechá náročné výpočty provést serverem o velkém výpočetním výkonu. Protože mohou být součástí výpočtu citlivé údaje, je výpočet navržen tak, že server není ze zadaných instrukcí a dat schopen zjistit vstupní data, ale ani povahu instrukcí, které sám provádí.
Každý protokol patřící mezi kvantové počítání naslepo by měl splňovat následující tři podmínky:
- správnost (anglicky correctness) - pokud server nepodvádí, tak by výsledek výpočtu naslepo měl odpovídat standardnímu výsledku.
- slepota (anglicky blindness) - server by neměl mít možnost získat informace o prováděném výpočtu.
- ověřitelnost (anglicky verifiability) - pokud server podvádí, měl by být klient schopen toto podvádění odhalit.
Protokolů pro kvantové počítání naslepo existuje celá řada a některé z nich jsou popsány níže. Jedním z hlavních rozlišujících kritérií je přitom jak často musí klient během výpočtu se serverem komunikovat. Dalším kritériem je jaké zdroje má klient přesně k dispozici -- zda může provádět pouze čistě klasické operace či zda disponuje alespoň některými kvantovými zdroji a když, tak jakými. Důležitým kritériem je míra bezpečnosti -- daný protokol může být bezpodmínečně bezpečný či může být jeho bezpečnost založena na jistém výpočetním problému, o kterém se ví či předpokládá, že je výpočetně velmi náročný a prakticky neřešitelný...
Kvantové počítání naslepo je typem delegovaného kvantového počítání, kde je důraz kladen na bezpečnost výpočtů a dat před potenciálně nedůvěryhodným serverem.
Počítání naslepo má smysl jen v případě kvantového počítání. V případě klasického počítání totiž nelze smysluplně rozdělit úlohy splnitelné klientem od těch proveditelných serverem.... viz článek od Childse...
Historie[editovat | editovat zdroj]
Childs... [1]
samotné pojmenování se poprvé objevilo v článku [2]
universal BQC s pomoci MBQC
k roku 2023 stále není jasné, zda je vůbec takový protokol se zcela klasickým klientem možný...?
Protokoly[editovat | editovat zdroj]
Childs proposal[editovat | editovat zdroj]
prnví návrh, vysvětlen v pojmech kvantových obvodů
Morimae ... proposal[editovat | editovat zdroj]
Alice pouze provádí měření
experimentální realizace [5]
Varizani ... proposal[editovat | editovat zdroj]
zcela klasický klient a ne jeden, nýbrž dva kvantové servery, které spolu nekomunikují...
TODO
experimentální realizace [6]
UBQC proposal[editovat | editovat zdroj]
Tento návrh využívá odlišné architektury kvantového počítače, známé jako measurement-based quantum computing. Tato architektura se vyznačuje tím, že výpočet probíhá pouze pomocí lokálních kvantových měření na velkém kvantově-provázaném stavu. Samotný algoritmus se pak skládá z kvantové části, měření qubitů v klusteru, a části klasické, jejímž účelem je během výpočtu spočíst korekce, podle nichž je třeba upravit měření ještě nezměřených qubitů. ...
Podstatou UBQC je oddělení klasické a kvantové části. Tu první má na starosti klient, tu druhou server.
pro zvýšení bezpečnosti padding bits r...
experimentální realizace [9]
Aharonov et al. proposal...[editovat | editovat zdroj]
přečíst článek...
Podobné protokoly[editovat | editovat zdroj]
homomorphic computation (classical and quantum) [10] [11] a vylepšení [12]
dále pak [13]
classical blind computation...
Odkazy[editovat | editovat zdroj]
Poznámky[editovat | editovat zdroj]
Reference[editovat | editovat zdroj]
- ↑ a b Secure assisted quantum computation. Quantum Information and Computation. Roč. 5, čís. 6. DOI 10.26421/qic5.6.
- ↑ ARRIGHI, Pablo; SALVAIL, Louis. BLIND QUANTUM COMPUTATION. International Journal of Quantum Information. 2006-10, roč. 04, čís. 05, s. 883–898. Dostupné online [cit. 2023-09-01]. ISSN 0219-7499. DOI 10.1142/S0219749906002171. (anglicky)
- ↑ CHILDS, Andrew M. Secure assisted quantum computation. arxiv.org. 2001. Dostupné online [cit. 2023-07-27]. DOI 10.48550/ARXIV.QUANT-PH/0111046.
- ↑ MORIMAE, Tomoyuki; FUJII, Keisuke. Blind quantum computation protocol in which Alice only makes measurements. Physical Review A. 2013-05-13, roč. 87, čís. 5. Dostupné online [cit. 2023-07-27]. ISSN 1050-2947. DOI 10.1103/PhysRevA.87.050301. (anglicky)
- ↑ GREGANTI, Chiara; ROEHSNER, Marie-Christine; BARZ, Stefanie. Demonstration of measurement-only blind quantum computing. New Journal of Physics. 2016-01-08, roč. 18, čís. 1, s. 013020. Dostupné online [cit. 2023-07-27]. ISSN 1367-2630. DOI 10.1088/1367-2630/18/1/013020.
- ↑ HUANG, He-Liang; ZHAO, Qi; MA, Xiongfeng. Experimental Blind Quantum Computing for a Classical Client. Physical Review Letters. 2017-08-02, roč. 119, čís. 5. Dostupné online [cit. 2023-07-27]. ISSN 0031-9007. DOI 10.1103/PhysRevLett.119.050503. (anglicky)
- ↑ BROADBENT, Anne; FITZSIMONS, Joseph; KASHEFI, Elham. Universal Blind Quantum Computation. In: 2009 50th Annual IEEE Symposium on Foundations of Computer Science. [s.l.]: [s.n.], 2009-10. ISSN: 0272-5428. Dostupné online. DOI 10.1109/FOCS.2009.36. S. 517–526.
- ↑ BROADBENT, Anne; FITZSIMONS, Joseph; KASHEFI, Elham. Universal blind quantum computation. arxiv.org. 2008. Dostupné online [cit. 2023-07-27]. DOI 10.48550/ARXIV.0807.4154.
- ↑ BARZ, Stefanie; KASHEFI, Elham; BROADBENT, Anne. Demonstration of Blind Quantum Computing. Science. 2012-01-20, roč. 335, čís. 6066, s. 303–308. Dostupné online [cit. 2023-07-27]. ISSN 0036-8075. DOI 10.1126/science.1214707. (anglicky)
- ↑ MAHADEV, Urmila. Classical Homomorphic Encryption for Quantum Circuits. In: [s.l.]: IEEE, 2018-10. Dostupné online. ISBN 978-1-5386-4230-6. DOI 10.1109/FOCS.2018.00039. S. 332–338.
- ↑ MAHADEV, Urmila. Classical Homomorphic Encryption for Quantum Circuits. arxiv.org. 2017. Dostupné online [cit. 2023-07-27]. DOI 10.48550/ARXIV.1708.02130.
- ↑ BRAKERSKI, Zvika. Quantum FHE (Almost) As Secure As Classical. Cham: Springer International Publishing Dostupné online. ISBN 978-3-319-96877-3, ISBN 978-3-319-96878-0. S. 67–95.
- ↑ FISHER, K. A. G.; BROADBENT, A.; SHALM, L. K. Quantum computing on encrypted data. Nature Communications. 2014-01-21, roč. 5, čís. 1. Dostupné online [cit. 2023-07-27]. ISSN 2041-1723. DOI 10.1038/ncomms4074. (anglicky)
Literatura[editovat | editovat zdroj]
- FITZSIMONS, Joseph F. Private quantum computation: an introduction to blind quantum computing and related protocols. npj Quantum Information. 2017-06-15, roč. 3, čís. 1. Dostupné online [cit. 2023-07-27]. ISSN 2056-6387. DOI 10.1038/s41534-017-0025-3. (anglicky)
Související články[editovat | editovat zdroj]
Externí odkazy[editovat | editovat zdroj]