Kvanttimoniratkaisu Bernoulli-haku sovelluksilla Bitcoinin post-kvanttiturvallisuuteen

Julkaissut Platon

seuraajia: 0

Alexandru Cojocaru¹, Juan Garay², Aggelos Kiayias³, Fang Song⁴ja Petros Wallden⁵

¹Marylandin yliopisto
²Texas A&M -yliopisto
³Edinburghin yliopisto ja IOHK
⁴Portlandin osavaltion yliopisto
⁵Edinburghin yliopisto

Onko tämä artikkeli mielenkiintoinen vai haluatko keskustella? Scite tai jätä kommentti SciRate.

Abstrakti

Todistus työstä (PoW) on tärkeä kryptografinen rakennelma, jonka avulla osapuoli voi vakuuttaa muut, että he ovat panostaneet laskentatehtävän ratkaisemiseen. Epäilemättä sen suurin vaikutus on ollut kryptovaluuttojen, kuten Bitcoinin ja sen taustalla olevan lohkoketjuprotokollan asettamisessa, joka on saanut viime vuosina merkittävää huomiota, koska se tarjoaa mahdollisuuksia erilaisiin sovelluksiin sekä hajautetun laskennan peruskysymysten ratkaisemiseen uusissa uhkamalleissa. PoW:t mahdollistavat lohkojen linkittämisen lohkoketjun tietorakenteessa ja siten kiinnostava ongelma on tällaisten todisteiden sekvenssin (ketjun) hankkimisen toteutettavuus. Tässä työssä tutkimme sellaisen PoW-ketjun löytämisen vaikeutta kvanttistrategioita vastaan. Osoitamme, että PoWs-ongelman ketju pelkistyy ongelmaksi, jota kutsumme moniratkaisu Bernoulli-hauksi, jolle määritämme sen kvanttikyselyn monimutkaisuuden. Käytännössä tämä on suoran kynnystulolauseen laajennus keskimääräiseen strukturoimattomaan hakuongelmaan. Todisteemme, joka lisää viimeaikaisia aktiivisia ponnisteluja, yksinkertaistaa ja yleistää Zhandryn (Crypto'19) tallennustekniikkaa. Sovelluksena tarkastelemme uudelleen Bitcoin-konsensusprotokollan ytimen, Bitcoin-rungon (Eurocrypt'15) turvallisuuden muodollista käsittelyä kvanttivastustajia vastaan, kun taas rehelliset osapuolet ovat klassisia ja osoittavat, että protokollan turvallisuus pätee protokollan kvanttianalogin alla. klassinen "rehellisen enemmistön" oletus. Analyysimme osoittaa, että Bitcoin-runkoverkon turvallisuus on taattu, jos kontradiktoristen kvanttikyselyiden määrä on rajoitettu siten, että jokainen kvanttikysely on $O(p^{-1/2})$ klassisen arvoinen, missä $p$ on menestys yhden klassisen kyselyn todennäköisyys protokollan taustalla olevaan hash-funktioon. Hieman yllättäen turvallisen ratkaisun odotusaika kvanttivastustajien tapauksessa vastaa turvallisen ratkaisun aikaa klassisessa tapauksessa.

Quantum Multi-Solution Bernoulli Search sovelluksilla Bitcoinin Post-Quantum Security PlatoBlockchain Data Intelligencelle. Pystysuuntainen haku. Ai.

Suosittu yhteenveto

Kvanttitietokoneet tarjoavat laskennallisia nopeuksia, joissa tarkka nopeus riippuu tutkittavasta tehtävästä. Ongelmien luokittelu vaikeisiin/helppoihin, samoin kuin laskennallisen tehtävän ratkaisemiseen tarvittavat tarkat kustannukset, muuttuvat, kun kvanttilaskentalaitteiden koko ja laatu kasvaa. On tunnettua, että tämä vaikuttaa salaukseen tekemällä yleisimmin käytetyistä salaus- ja allekirjoitusmenetelmistä turvattomiksi. Vähemmän tutkittu on kvanttialgoritmien vaikutus muihin salaustehtäviin. Monet suuret lohkoketjut ja kryptovaluutat, kuten bitcoin, tukeutuvat "Proof of Work" (PoW) -konseptiin, jossa osallistujat/kaivostyöntekijät osoittavat, että he käyttävät jonkin verran laskennallista aikaa yrittääkseen ratkaista ongelman ja saada siitä palkinnon. Ydinmatemaattinen ongelma, johon lohkoketjun turvallisuus ja pysyvyys riippuvat, on kyky tuottaa tällaisten PoW-ketjujen ketjuja.
Tutkimuksessamme tutkimme, kuinka kvanttivastustaja voi ratkaista tämän matemaattisen ongelman, PoW-ketjun, ja asettaa rajat heidän kyvyilleen. Tämän tuloksen perusteella tarkastelemme uudelleen Bitcoin-runkoprotokollan turvallisuutta (matemaattinen abstraktio, joka vangitsee Bitcoin-protokollan avainelementit) ympäristössä, jossa kaikki rehelliset osapuolet ovat klassisia ja kvanttivastustaja on yksi (joka hallitsee kaikkea kvanttia). haitallisten osapuolten laskentaresurssit). Analyysimme osoittaa, että turvallisuus voitaisiin säilyttää, jos rehellisten osapuolten klassinen kokonaislaskentateho kyselyissä/operaatioissa on erittäin suuri (mutta vakio) luku suurempi kuin kontradiktorinen kvanttilaskentateho. Tämä on ensimmäinen askel kohti bitcoinin täydellistä analyysiä kvanttiaikakaudella, jolloin kaikilla osapuolilla olisi kvanttilaskentakyky.

► BibTeX-tiedot

@article{Cojocaru2023quantummulti, doi = {10.22331/q-2023-03-09-944}, url = {https://doi.org/10.22331/q-2023-03-09-944}, otsikko = {Quantum M}moniratkaisu {B}ernoulli {S}haku {A}sovelluksilla {B}itcoinin {P}ost-{Q}uantum {S}turvaan}, kirjoittaja = {Cojocaru, Alexandru ja Garay, Juan ja Kiayias, Aggelos ja Song, Fang ja Wallden, Petros}, Journal = {{Quantum}}, issn = {2521-327X}, kustantaja = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, määrä = {7}, sivut = {944}, kuukausi = maaliskuu, vuosi = {2023} }

► Viitteet

[1] Cynthia Dwork ja Moni Naor. "Hinnoittelu roskapostin käsittelyn tai torjunnan kautta". In Advances in Cryptology – CRYPTO '92, 12th Annual International Cryptology Conference, Santa Barbara, Kalifornia, USA, 16.-20, Proceedings. Tietojenkäsittelytieteen luentomuistiinpanojen osa 1992, sivut 740–139. Springer (147).
https://doi.org/10.1007/3-540-48071-4_10

[2] Satoshi Nakamoto. "P2p-valuutan avoimen lähdekoodin bitcoin-toteutus". (2009). http:///p2pfoundation.ning.com/forum/topics/bitcoin-open-source.
http:///p2pfoundation.ning.com/forum/topics/bitcoin-open-source

[3] Juan A. Garay, Aggelos Kiayias ja Nikos Leonardos. "Bitcoinin runkoprotokolla: analyysi ja sovellukset". Julkaisussa Elisabeth Oswald ja Marc Fischlin, toimittajat, Advances in Cryptology – EUROCRYPT 2015. Sivut 281–310. Berliini, Heidelberg (2015). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-662-46803-6_10

[4] Rafael Pass, Lior Seeman ja Abhi Shelat. "Blockchain-protokollan analyysi asynkronisissa verkoissa". Teoksessa Jean-Sébastien Coron ja Jesper Buus Nielsen, toimittajat, Advances in Cryptology – EUROCRYPT 2017. Volume 10211 of Lecture Notes in Computer Science. (2017).
https://doi.org/10.1007/978-3-319-56614-6_22

[5] Juan Garay, Aggelos Kiayias ja Nikos Leonardos. "Bitcoin-runkoprotokolla vaihtelevan vaikeusasteen ketjuilla". Julkaisussa Jonathan Katz ja Hovav Shacham, toimittajat, Advances in Cryptology – CRYPTO 2017. Sivut 291–323. Cham (2017). Springer International Publishing.
https://doi.org/10.1007/978-3-319-63688-7_10

[6] Christian Badertscher, Ueli Maurer, Daniel Tschudi ja Vassilis Zikas. "Bitcoin tapahtumareskontrana: koostettava käsittely". Julkaisussa Jonathan Katz ja Hovav Shacham, toimittajat, Advances in Cryptology – CRYPTO 2017. Sivut 324–356. Cham (2017). Springer International Publishing.
https://doi.org/10.1007/978-3-319-63688-7_11

[7] Mihir Bellare ja Phillip Rogaway. "Satunnaiset oraakkelit ovat käytännöllisiä: Paradigma tehokkaiden protokollien suunnitteluun". Vuonna CCS '93. Sivut 62-73. (1993).
https: / / doi.org/ 10.1145 / +168588.168596

[8] Peter W. Shor. "Polynomiaikaiset algoritmit alkutekijöihin ja diskreeteille logaritmeille kvanttitietokoneessa". SIAM J. Comput. 26, 1484-1509 (1997).
https: / / doi.org/ 10.1137 / S0097539795293172

[9] Marc Kaplan, Gaëtan Leurent, Anthony Leverrier ja María Naya-Plasencia. "Symmetristen kryptojärjestelmien rikkominen kvanttijaksolöydön avulla". Teoksessa Matthew Robshaw ja Jonathan Katz, toimittajat, Advances in Cryptology – CRYPTO 2016. Sivut 207–237. Berliini, Heidelberg (2016). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-662-53008-5_8

[10] Thomas Santoli ja Christian Schaffner. "Simonin algoritmin käyttäminen symmetrisen avaimen salausprimitiivien hyökkäämiseen". Quantum Information and Computation 17, 65–78 (2017).
https: / / doi.org/ 10.26421 / qic17.1-2-4

[11] Jeroen Van De Graaf. "Kohti kvanttiprotokollien turvallisuuden muodollista määritelmää". Tohtorin väitöskirja. Montrealin yliopisto. CAN (1998).

[12] John Watrous. "Nollatietoa kvanttihyökkäyksiä vastaan". Proceedings of Thirty-296th Annual ACM Symposium on Theory of Computing. Sivut 305–06. STOC '2006 New York, NY, USA (XNUMX). Tietotekniikan liitto.
https: / / doi.org/ 10.1145 / +1132516.1132560

[13] Dominique Unruh. "Tiedon kvanttitodisteet". Julkaisussa David Pointcheval ja Thomas Johansson, toimittajat, Advances in Cryptology – EUROCRYPT 2012. Sivut 135–152. Berliini, Heidelberg (2012). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-642-29011-4_10

[14] Sean Hallgren, Adam Smith ja Fang Song. "Klassiset kryptografiset protokollat kvanttimaailmassa". Teoksessa Phillip Rogaway, toimittaja, Advances in Cryptology – CRYPTO 2011. Sivut 411–428. Berliini, Heidelberg (2011). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-642-22792-9_23

[15] Gorjan Alagic, Tommaso Gagliardoni ja Christian Majenz. "Väärentämätön kvanttisalaus". Teoksessa Jesper Buus Nielsen ja Vincent Rijmen, toimittajat, Advances in Cryptology – EUROCRYPT 2018. Sivut 489–519. Cham (2018). Springer International Publishing.
https://doi.org/10.1007/978-3-319-78372-7_16

[16] Dan Boneh ja Mark Zhandry. "Kvanttisuojatut viestien todennuskoodit". Teoksessa Thomas Johansson ja Phong Q. Nguyen, toimittajat, Advances in Cryptology – EUROCRYPT 2013. Sivut 592–608. Berliini, Heidelberg (2013). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-642-38348-9_35

[17] Dan Boneh, Özgür Dagdelen, Marc Fischlin, Anja Lehmann, Christian Schaffner ja Mark Zhandry. "Satunnaiset oraakkelit kvanttimaailmassa". Teoksessa Dong Hoon Lee ja Xiaoyun Wang, toimittajat, Advances in Cryptology – ASIACRYPT 2011. Sivut 41–69. Berliini, Heidelberg (2011). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-642-25385-0_3

[18] Mark Zhandry. "Kuinka tallentaa kvanttikyselyjä ja sovelluksia kvanttiriippumattomuuteen". Julkaisussa Alexandra Boldyreva ja Daniele Micciancio, toimittajat, Advances in Cryptology – CRYPTO 2019. Sivut 239–268. Cham (2019). Springer International Publishing.
https://doi.org/10.1007/978-3-030-26951-7_9

[19] Troy Lee ja Jérémie Roland. "Vahva suoratuloteoreema kvanttikyselyn monimutkaisuuteen". laskennallinen monimutkaisuus 22, 429–462 (2013).
https://doi.org/10.1007/s00037-013-0066-8

[20] Gorjan Alagic, Christian Majenz, Alexander Russell ja Fang Song. "Kvanttiturvallinen viestin todennus sokean väärentämättömyyden kautta". In Advances in Cryptology – EUROCRYPT 2020. Springer (2020).
https://doi.org/10.1007/978-3-030-45727-3_27

[21] Yassine Hamoudi ja Frédéric Magniez. "Kvantti-aika-avaruus kompromissi useiden törmäysparien löytämiseksi". Teoksessa Min-Hsiu Hsieh, toimittaja, 16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021). Leibniz International Proceedings in Informatics (LIPIcs) osa 197, sivut 1:1–1:21. Dagstuhl, Saksa (2021). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2021.1

[22] Qipeng Liu ja Mark Zhandry. "Kvanttimultitörmäysten löytämisestä". Teoksessa Yuval Ishai ja Vincent Rijmen, toimittajat, Advances in Cryptology – EUROCRYPT 2019. Sivut 189–218. Cham (2019). Springer International Publishing.
https://doi.org/10.1007/978-3-030-17659-4_7

[23] Falk Unger. "Todennäköisyys epäyhtälö sovellusten kanssa suorien tulolauseiden kynnysarvoon". Vuonna 2009 50. vuotuinen IEEE-symposium tietojenkäsittelytieteen perusteista. Sivut 221-229. IEEE (2009).
https: / / doi.org/ 10.1109 / FOCS.2009.62

[24] H. Klauck, R. de Wolf ja R. Špalek. "Kvantti- ja klassiset vahvat suoratuloteoreemat ja optimaaliset aika-avaruuden kompromissit". Vuonna 2013 IEEE 54th Annual Symposium on Foundations of Computer Science. Sivut 12-21. Los Alamitos, CA, USA (2004). IEEE Computer Society.
https: / / doi.org/ 10.1109 / FOCS.2004.52

[25] Aleksanteri A Shertov. "Vahvat suoratuotelauseet kvanttiviestintään ja kyselyn monimutkaisuuteen". SIAM Journal on Computing 41, 1122–1165 (2012).
https: / / doi.org/ 10.1137 / +110842661

[26] Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca ja Ronald de Wolf. "Kvanttialarajat polynomilla". J. ACM 48, 778–797 (2001).
https: / / doi.org/ 10.1145 / +502090.502097

[27] Andris Ambainis. "Kvanttiargumenttien kvanttialarajat". J. Comput. Syst. Sci. 64, 750–767 (2002).
https: / / doi.org/ 10.1006 / jcss.2002.1826

[28] Christof Zalka. "Groverin kvanttihakualgoritmi on optimaalinen". Phys. Rev. A 60, 2746–2751 (1999).
https: / / doi.org/ 10.1103 / PhysRevA.60.2746

[29] Michel Boyer, Gilles Brassard, Peter Høyer ja Alain Tapp. "Kvanttihaun tiukat rajat". Fortschritte der Physik 46, 493-505 (1998).
<a href="https://doi.org/10.1002/(sici)1521-3978(199806)46:4/53.0.co;2-p”>https://doi.org/10.1002/(sici)1521-3978(199806)46:4/5<493::aid-prop493>3.0.co;2-p

[30] Andris Ambainis, Robert Špalek ja Ronald de Wolf. "Uusi kvanttialarajamenetelmä, jossa on sovelluksia suoraan tuloteoreemoihin ja aika-avaruuden kompromisseihin". Algorithmica 55, 422–461 (2009).
https://doi.org/10.1007/s00453-007-9022-9

[31] Andris Ambainis. "Uusi kvanttialarajamenetelmä, jossa on sovellus vahvaan kvanttihaun suoratuloteoreemaan". Theory of Computing 6, 1–25 (2010).
https: / / doi.org/ 10.4086 / toc.2010.v006a001

[32] Juan A. Garay, Aggelos Kiayias, Nikos Leonardos ja Giorgos Panagiotakos. "Blockchainin käynnistys, konsensussovelluksia ja nopea pki-asetus". Julkaisussa Michel Abdalla ja Ricardo Dahab, toimittajat, Public-Key Cryptography – PKC 2018. Sivut 465–495. Cham (2018). Springer International Publishing.
https://doi.org/10.1007/978-3-319-76581-5_16

[33] Juan A. Garay, Aggelos Kiayias ja Giorgos Panagiotakos. "Iteroidut hakuongelmat ja lohkoketjun suojaus väärennettävillä oletuksilla". Cryptology ePrint -arkisto, raportti 2019/315 (2019). https:///eprint.iacr.org/2019/315.
https: / / eprint.iacr.org/ 2019/315

[34] Ittay Eyal ja Emin Gün Sirer. "Enemmistö ei riitä: Bitcoinin louhinta on haavoittuvaa". Teoksessa Nicolas Christin ja Reihaneh Safavi-Naini, toimittajat, Financial Cryptography and Data Security – 18th International Conference, FC 2014, Christ Church, Barbados, 3.-7, Revised Selected Papers. Tietojenkäsittelytieteen luentomuistiinpanojen osa 2014, sivut 8437–436. Springer (454).
https://doi.org/10.1007/978-3-662-45472-5_28

[35] Divesh Aggarwal, Gavin Brennen, Troy Lee, Miklos Santha ja Marco Tomamichel. "Kvanttihyökkäykset bitcoineja vastaan ja kuinka suojautua niiltä". Pääkirja 3 (2018).
https:///doi.org/10.5195/ledger.2018.127

[36] Troy Lee, Maharshi Ray ja Miklos Santha. "Strategiat kvanttikilpailuille". Teoksessa Avrim Blum, toimittaja, 10. Innovations in Theoretical Computer Science Conference (ITCS 2019). Leibniz International Proceedings in Informatics (LIPIcs), nide 124, sivut 51:1–51:21. Dagstuhl, Saksa (2018). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
https: / / doi.org/ 10.4230 / LIPIcs.ITCS.2019.51

[37] Tai Sattath. "Kvanttibitcoinin louhinnan turvattomuudesta". Int. J. Inf. Turvallinen. 19, 291–302 (2020).
https://doi.org/10.1007/s10207-020-00493-9

[38] Andrea Coladangelo ja Or Sattath. "Kvanttiraharatkaisu lohkoketjun skaalautuvuusongelmaan". Quantum 4, 297 (2020).
https://doi.org/10.22331/q-2020-07-16-297

[39] Mark Zhandry. "Kuinka rakennetaan kvanttisatunnaisfunktioita". Vuonna 2012 IEEE:n 53. vuotuinen symposium tietojenkäsittelytieteen perusteista. Sivut 679-687. (2012).
https: / / doi.org/ 10.1109 / FOCS.2012.37

[40] Mark Zhandry. "Suojattu identiteettiin perustuva salaus kvantti-satunnaisessa oraakkelimallissa". Reihaneh Safavi-Naini ja Ran Canetti, toimittajat, Advances in Cryptology – CRYPTO 2012. Sivut 758–775. Berliini, Heidelberg (2012). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-642-32009-5_44

[41] Fang Song ja Aaram Yun. "NMAC:n ja siihen liittyvien rakenteiden kvanttiturvallisuus – PRF-alueen laajennus kvanttihyökkäyksiä vastaan". Jonathan Katz ja Hovav Shacham, toimittajat, Advances in Cryptology – CRYPTO 2017 – 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, 20.-24, Proceedings, Part II. Tietojenkäsittelytieteen luentomuistiinpanojen osa 2017, sivut 10402–283. Springer (309).
https://doi.org/10.1007/978-3-319-63715-0_10

[42] Edward Eaton ja Fang Song. "Eksistentiaalisten väärentämättömien allekirjoitusten tekeminen vahvasti väärentämättömiksi kvantti-satunnais-oraakkelimallissa". julkaisussa Salman Beigi ja Robert König, toimittajat, 10th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2015, 20.-22, Bryssel, Belgia. LIPIcsin osa 2015, sivut 44–147. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (162).
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2015.147

[43] Dominique Unruh. "Ei-interaktiiviset nollatiedon todisteet kvantti-satunnaisessa oraakkelimallissa". Julkaisussa Elisabeth Oswald ja Marc Fischlin, toimittajat, Advances in Cryptology – EUROCRYPT 2015. Sivut 755–784. Berliini, Heidelberg (2015). Springer Berlin Heidelberg.
https://doi.org/10.1007/978-3-662-46803-6_25

[44] Andreas Hülsing, Joost Rijneveld ja Fang Song. "Monen kohteen hyökkäysten lieventäminen hash-pohjaisissa allekirjoituksissa". Proceedings, osa I, 19th IACR International Conference on Public-Key Cryptography – PKC 2016 – Volume 9614. Sivut 387–416. Berliini, Heidelberg (2016). Springer-Verlag.
https://doi.org/10.1007/978-3-662-49384-7_15

[45] Marko Balogh, Edward Eaton ja Fang Song. "Kvanttitörmäysten etsintä epäyhtenäisissä satunnaisfunktioissa". Teoksessa Tanja Lange ja Rainer Steinwandt, toimittajat, Post-Quantum Cryptography. Sivut 467-486. Cham (2018). Springer International Publishing.
https://doi.org/10.1007/978-3-319-79063-3_22

[46] Ben Hamlin ja Fang Song. "Hash-funktioiden kvanttiturvallisuus ja iteroidun hajautustoiminnon ominaisuuden säilyttäminen". Jintai Ding ja Rainer Steinwandt, toimittajat, Post-Quantum Cryptography. Sivut 329-349. Cham (2019). Springer International Publishing.
https://doi.org/10.1007/978-3-030-25510-7_18

[47] Dennis Hofheinz, Kathrin Hövelmanns ja Eike Kiltz. "Fujisaki-okamoto-muunnoksen modulaarinen analyysi". Julkaisussa Yael Kalai ja Leonid Reyzin, toimittajat, Theory of Cryptography. Sivut 341-371. Cham (2017). Springer International Publishing.
https://doi.org/10.1007/978-3-319-70500-2_12

[48] Tsunekazu Saito, Keita Xagawa ja Takashi Yamakawa. "Tiukasti turvallinen avaimen kapselointimekanismi kvantti-satunnaisessa oraakkelimallissa". Teoksessa Jesper Buus Nielsen ja Vincent Rijmen, toimittajat, Advances in Cryptology – EUROCRYPT 2018. Sivut 520–551. Cham (2018). Springer International Publishing.
https://doi.org/10.1007/978-3-319-78372-7_17

[49] Andris Ambainis, Mike Hamburg ja Dominique Unruh. "Kvanttiturvatodisteet puoliklassisten oraakkelien avulla". Julkaisussa Alexandra Boldyreva ja Daniele Micciancio, toimittajat, Advances in Cryptology – CRYPTO 2019. Sivut 269–295. Cham (2019). Springer International Publishing.
https://doi.org/10.1007/978-3-030-26951-7_10

[50] Qipeng Liu ja Mark Zhandry. "Kvantti-fiat-shamirin jälkeinen uudelleenkäynti". Julkaisussa Alexandra Boldyreva ja Daniele Micciancio, toimittajat, Advances in Cryptology – CRYPTO 2019. Sivut 326–355. Cham (2019). Springer International Publishing.
https://doi.org/10.1007/978-3-030-26951-7_12

[51] Jelle Don, Serge Fehr, Christian Majenz ja Christian Schaffner. "Fiat-shamir-muunnoksen turvallisuus kvantti-satunnais-oraakkelimallissa". Julkaisussa Alexandra Boldyreva ja Daniele Micciancio, toimittajat, Advances in Cryptology – CRYPTO 2019. Sivut 356–383. Cham (2019). Springer International Publishing.
https://doi.org/10.1007/978-3-030-26951-7_13

[52] Veronika Kuchta, Amin Sakzad, Damien Stehlé, Ron Steinfeld ja Shi-Feng Sun. "Mittaa-kelaa-mitta: Tiukemmat kvantti-satunnaiset oraakkelimallivedokset yksisuuntaiseen piiloutumiseen ja noin turvallisuuteen". Vuosittaisessa kansainvälisessä konferenssissa kryptografisten tekniikoiden teoriasta ja sovelluksista. Sivut 703–728. Springer (2020).
https://doi.org/10.1007/978-3-030-45727-3_24

[53] Kai-Min Chung, Siyao Guo, Qipeng Liu ja Luowen Qian. "Tiukat kvantti-aika-avaruuden kompromissit funktion inversiolle". Vuonna 2020 IEEE:n 61. vuotuinen symposiumi tietojenkäsittelytieteen perusteista (FOCS). Sivut 673-684. IEEE (2020).
https: / / doi.org/ 10.1109 / FOCS46700.2020.00068

[54] Shuichi Katsumata, Kris Kwiatkowski, Federico Pintore ja Thomas Prest. "Skaalautuvat salatekstin pakkaustekniikat postkvanttikemiin ja niiden sovelluksiin". Kansainvälisessä konferenssissa kryptologian ja tietoturvan teoriasta ja soveltamisesta. Sivut 289–320. Springer (2020).
https://doi.org/10.1007/978-3-030-64837-4_10

[55] Jan Czajkowski. "Sha-3:n kvanttiriippumattomuus". Cryptology ePrint Archive, raportti 2021/192 (2021). https:///ia.cr/2021/192.
https:///ia.cr/2021/192

[56] Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang ja Tai-Ning Liao. "Pakattu-oraakkelitekniikasta ja peräkkäisen työn todisteiden kvanttiturvallisuudesta". Teoksessa Anne Canteaut ja François-Xavier Standaert, toimittajat, Advances in Cryptology – EUROCRYPT 2021. Sivut 598–629. Cham (2021). Springer International Publishing.
https://doi.org/10.1007/978-3-030-77886-6_21

[57] Jeremiah Blocki, Seunghoon Lee ja Samson Zhou. "Jaksottaisen työn todisteiden turvallisuudesta post-kvanttimaailmassa". Teoksessa Stefano Tessaro, toimittaja, 2nd Conference on Information-Theoretic Cryptography (ITC 2021). Leibniz International Proceedings in Informatics (LIPIcs) osa 199, sivut 22:1–22:27. Dagstuhl, Saksa (2021). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.ITC.2021.22

[58] Dominique Unruh. "Pakatut permutaatiooraakkelit (ja sienen/sha3:n törmäyskestävyys)". Cryptology ePrint Archive, raportti 2021/062 (2021). https:///eprint.iacr.org/2021/062.
https: / / eprint.iacr.org/ 2021/062

[59] Alexandru Cojocaru, Juan Garay, Aggelos Kiayias, Fang Song ja Petros Wallden. "Bitcoinin runkoprotokolla kvanttivastustajia vastaan". Cryptology ePrint -arkisto, paperi 2019/1150 (2019). https:///eprint.iacr.org/2019/1150.
https: / / eprint.iacr.org/ 2019/1150

[60] Ran Canetti. "Moniosapuolen salausprotokollien turvallisuus ja koostumus". J. Cryptology 13, 143-202 (2000).
https: / / doi.org/ 10.1007 / s001459910006

[61] Ran Canetti. "Universaalisesti koottava tietoturva: uusi paradigma salausprotokolliin". 42. vuotuisessa symposiumissa tietojenkäsittelytieteen perusteista, FOCS 2001, 14.-17. lokakuuta 2001, Las Vegas, Nevada, USA. Sivut 136-145. IEEE Computer Society (2001).
https: / / doi.org/ 10.1109 / SFCS.2001.959888

Viitattu

[1] Marcos Allende, Diego López León, Sergio Cerón, Antonio Leal, Adrián Pareja, Marcelo Da Silva, Alejandro Pardo, Duncan Jones, David Worrall, Ben Merriman, Jonathan Gilmore, Nick Kitchener ja Salvador E. Venegas-Andraca, Kvanttiresistanssi lohkoketjuverkoissa”, arXiv: 2106.06640, (2021).

[2] Robert R. Nerem ja Daya R. Gaur, Conditions for Advantageous Quantum Bitcoin Mining, arXiv: 2110.00878, (2021).

Yllä olevat sitaatit ovat peräisin SAO: n ja NASA: n mainokset (viimeksi päivitetty onnistuneesti 2023-03-09 15:10:32). Lista voi olla puutteellinen, koska kaikki julkaisijat eivät tarjoa sopivia ja täydellisiä viittaustietoja.

Ei voitu noutaa Crossref siteeratut tiedot viimeisen yrityksen aikana 2023-03-09 15:10:29: Ei voitu noutaa viittauksia 10.22331 / q-2023-03-09-944 mainittuihin tietoihin Crossrefiltä. Tämä on normaalia, jos DOI rekisteröitiin äskettäin.

Tämä kirja on julkaistu Quantum - lehdessä Creative Commons Nimeäminen 4.0 Kansainvälinen (CC BY 4.0) lisenssin. Tekijänoikeudet säilyvät alkuperäisillä tekijänoikeuksien haltijoilla, kuten tekijöillä tai heidän instituutioillaan.

SEO-pohjainen sisällön ja PR-jakelu. Vahvista jo tänään.
Platoblockchain. Web3 Metaverse Intelligence. Tietoa laajennettu. Pääsy tästä.
Lähde: https://quantum-journal.org/papers/q-2023-03-09-944/

Aikaleima: Maaliskuussa 9, 2023

Aikaleima: Syyskuu 22, 2022

Julkaissut Platon

Klassiset varjot perustuvat paikallisesti sotkeutuviin mittoihin

Qudit Pauli -ryhmä: ei-työmatkaparit, ei-työmatkajoukot ja rakennelauseet

Kvanttietu käyttämällä korkeadimensionaalisia kierrettyjä fotoneja kvanttifiniittisinä automaateina

Tehokkaat algoritmit kvanttiinformaation pullonkaulaan

Erittäin tarkka Hamiltonin oppiminen siirrettyjen kvanttitilakehitysten kautta

Kokeellinen kietoutumisen luominen kvanttiavaimen jakelulle yli 1 Gbit/s

Vikasietoisen oireyhtymän erottaminen ja kissan tilan valmistelu vähemmillä kubiteilla

Ympäristöulottuvuuden todistaminen ajallisten korrelaatioiden kautta

Satunnaistranslaatioinvariantit Hamiltonilaiset ja niiden spektriraot

Kvanttitukivektorikoneiden monimutkaisuus

XP:n stabilisaattorin formalismi: yleistys Paulin stabilisaattorin formalismista mielivaltaisilla vaiheilla

Tietoa meistä

Pystysuuntainen haku ja Ai

foorumi

Pysy yhteydessä

Tili