Bitcoin'in Kuantum Sonrası Güvenliğine Uygulamalar ile Kuantum Çoklu Çözüm Bernoulli Araması

Bitcoin'in Kuantum Sonrası Güvenliğine Uygulamalar ile Kuantum Çoklu Çözüm Bernoulli Araması

Alexandru Cojocaru1, Juan Garay2, Aggelos Kiayas3, diş şarkısı4, ve Petros Wallden5

1Maryland Üniversitesi
2Teksas A & M Üniversitesi
3Edinburgh Üniversitesi ve IOHK
4Portland Eyalet Üniversitesi
5University of Edinburgh

Bu makaleyi ilginç mi buldunuz yoksa tartışmak mı istiyorsunuz? SciRate'e çığlık at veya yorum bırak.

Özet

İş kanıtı (PoW), bir tarafın başkalarını hesaplamalı bir görevi çözmek için biraz çaba sarf ettiklerine ikna etmesini sağlayan önemli bir kriptografik yapıdır. Muhtemelen, ana etkisi, çeşitli uygulamalara yönelik potansiyeli ve yeni tehdit modellerinde temel dağıtılmış bilgi işlem sorularını çözme potansiyeli nedeniyle son yıllarda önemli ilgi gören Bitcoin ve onun temelindeki blok zinciri protokolü gibi kripto para birimleri ortamında olmuştur. PoW'lar, blok zinciri veri yapısındaki blokların birbirine bağlanmasını sağlar ve bu nedenle ilgilenilen problem, bu tür kanıtların bir dizisini (zincirini) elde etmenin fizibilitesidir. Bu çalışmada, kuantum stratejilerine karşı bu tür PoW zincirlerini bulmanın zorluğunu inceliyoruz. PoWs zinciri probleminin, kuantum sorgu karmaşıklığını oluşturduğumuz çok çözümlü Bernoulli araması dediğimiz bir probleme indirgendiğini kanıtladık. Etkili olarak, bu, bir eşik doğrudan çarpım teoreminin bir ortalama durum yapılandırılmamış arama problemine bir uzantısıdır. Kanıtımız, son zamanlardaki aktif çabalara ek olarak, Zhandry'nin (Crypto'19) kayıt tekniğini basitleştiriyor ve genelleştiriyor. Bir uygulama olarak, Bitcoin konsensüs protokolünün çekirdeği olan Bitcoin omurgasının (Eurocrypt'15) kuantum düşmanlarına karşı güvenliğinin resmi tedavisini yeniden ele alırken, dürüst taraflar klasiktir ve protokolün güvenliğinin kuantum analoğu altında tutulduğunu gösterir. Klasik “dürüst çoğunluk” varsayımı. Analizimiz, Bitcoin omurgasının güvenliğinin, rakip kuantum sorgularının sayısının, her bir kuantum sorgusunun klasik $O(p^{-1/2})$ değerinde olacak şekilde sınırlanması koşuluyla garanti edildiğini gösteriyor; burada $p$ başarıdır. protokolün altında yatan hash işlevine yönelik tek bir klasik sorgu olasılığı. Biraz şaşırtıcı bir şekilde, kuantum düşmanları durumunda güvenli çözüm için bekleme süresi, klasik durumdaki güvenli çözüm süresiyle eşleşir.

Kuantum bilgisayarlar, tam hızlanmanın incelenen göreve bağlı olduğu hesaplamalı hızlanmalar sunar. Sorunların zor/kolay olarak sınıflandırılmasının yanı sıra hesaplamalı bir görevi çözmek için gereken tam maliyet, kuantum bilgi işlem cihazları boyut ve kalite açısından ölçeklendiğinde değişecektir. Bunun en yaygın kullanılan şifreleme ve imza şemalarını güvensiz hale getirerek kriptografiyi etkilediği iyi bilinmektedir. Daha az keşfedilen şey, kuantum algoritmalarının diğer kriptografik görevlerde sahip olduğu etkidir. Bitcoin gibi birçok büyük blok zinciri ve kripto para birimi, katılımcıların/madencilerin bir sorunu çözmeye ve bunun için bir ödül almaya çalışırken biraz hesaplama zamanı harcadıklarını gösterdikleri "İş Kanıtı" (PoW) kavramına dayanır. Blok zincirinin güvenliğinin ve kalıcılığının dayandığı temel matematiksel problem, bu tür PoW'ların zincirlerini üretme yeteneğidir.
Makalemizde, bu matematiksel problemin, PoW zincirinin, kuantum bir rakip tarafından nasıl çözülebileceğini ve yetenekleri için sınırlar sağlayabileceğini inceleyeceğiz. Bu sonuca dayanarak, tüm dürüst tarafların klasik olduğu ve tek bir kuantum rakibinin (tüm kuantumu kötü niyetli tarafların hesaplama kaynakları). Analizimiz, dürüst tarafların sorgular/işlemler açısından toplam klasik hesaplama gücünün, rakip kuantum hesaplama gücünden çok büyük (ancak sabit) bir sayı olması durumunda güvenliğin sağlanabileceğini göstermektedir. Bu, tüm tarafların kuantum hesaplama yeteneklerine sahip olacağı kuantum çağında bitcoin'in tam analizine yönelik ilk adımdır.

► BibTeX verileri

► Referanslar

[1] Cynthia Dwork ve Moni Naor. "Gereksiz posta işleme veya bunlarla mücadele yoluyla fiyatlandırma". In Advances in Cryptology – CRYPTO '92, 12. Yıllık Uluslararası Kriptoloji Konferansı, Santa Barbara, California, ABD, 16-20 Ağustos 1992, Bildiriler Kitabı. Bilgisayar Bilimi Ders Notları Cilt 740, sayfalar 139-147. Baharcı (1992).
https:/​/​doi.org/​10.1007/​3-540-48071-4_10

[2] Satoshi Nakamoto'dur. "P2p para biriminin Bitcoin açık kaynak uygulaması". (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 ve Nikos Leonardos. "Bitcoin Omurga Protokolü: Analiz ve Uygulamalar". Editörler Elisabeth Oswald ve Marc Fischlin'de, Advances in Cryptology – EUROCRYPT 2015. Sayfa 281–310. Berlin, Heidelberg (2015). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-662-46803-6_10

[4] Rafael Geçidi, Lior Seeman ve Abhi Shelat. "Eşzamansız ağlarda blockchain protokolünün analizi". Jean-Sébastien Coron ve Jesper Buus Nielsen, editörler, Advances in Cryptology – EUROCRYPT 2017. Cilt 10211, Bilgisayar Bilimi Ders Notları. (2017).
https:/​/​doi.org/​10.1007/​978-3-319-56614-6_22

[5] Juan Garay, Aggelos Kiayias ve Nikos Leonardos. "Değişken zorluk zincirlerine sahip bitcoin omurga protokolü". Editörler Jonathan Katz ve Hovav Shacham'da, Advances in Cryptology – CRYPTO 2017. Sayfa 291–323. Çam (2017). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-63688-7_10

[6] Christian Badertscher, Ueli Maurer, Daniel Tschudi ve Vassilis Zikas. "Bir işlem defteri olarak Bitcoin: Şekillendirilebilir bir tedavi". Editörler Jonathan Katz ve Hovav Shacham'da, Advances in Cryptology – CRYPTO 2017. Sayfa 324–356. Çam (2017). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-63688-7_11

[7] Mihir Bellare ve Phillip Rogaway. "Rastgele kehanetler pratiktir: Verimli protokoller tasarlamak için bir paradigma". CCS '93'te. Sayfalar 62–73. (1993).
https: / / doi.org/ 10.1145 / 168588.168596

[8] Peter W. Shor. "Bir kuantum bilgisayarda asal çarpanlara ayırma ve ayrık logaritmalar için polinom zamanlı algoritmalar". SIAM J. Bilişim. 26, 1484–1509 (1997).
https: / / doi.org/ 10.1137 / S0097539795293172

[9] Marc Kaplan, Gaëtan Leurent, Anthony Leverrier ve María Naya-Plasencia. "Kuantum periyodu bulmayı kullanarak simetrik şifreleme sistemlerini kırma". Editörler Matthew Robshaw ve Jonathan Katz'da, Advances in Cryptology – CRYPTO 2016. Sayfa 207–237. Berlin, Heidelberg (2016). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-662-53008-5_8

[10] Thomas Santoli ve Christian Schaffner. "Simetrik anahtarlı kriptografik ilkellere saldırmak için Simon'ın algoritmasını kullanma". Quantum Information and Computation 17, 65–78 (2017).
https: / / doi.org/ 10.26421 / qic17.1-2-4

[11] Jeroen Van De Graaf. "Kuantum protokolleri için resmi bir güvenlik tanımına doğru". Doktora tezi. Montreal Üniversitesi. CAN (1998).

[12] John Watros. “Kuantum saldırılarına karşı sıfır bilgi”. Hesaplama Teorisi üzerine Otuz Sekizinci Yıllık ACM Sempozyumu Bildiri Kitabında. Sayfa 296–305. STOC '06New York, NY, ABD (2006). Bilgisayar Makineleri Derneği.
https: / / doi.org/ 10.1145 / 1132516.1132560

[13] Dominique Unruh. "Bilginin Kuantum Kanıtları". Editörler David Pointcheval ve Thomas Johansson'da, Advances in Cryptology – EUROCRYPT 2012. Sayfa 135–152. Berlin, Heidelberg (2012). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-642-29011-4_10

[14] Sean Hallgren, Adam Smith ve Fang Song. "Kuantum dünyasında klasik kriptografik protokoller". Phillip Rogaway'de, editör, Advances in Cryptology – CRYPTO 2011. Sayfa 411–428. Berlin, Heidelberg (2011). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-642-22792-9_23

[15] Gorjan Alagic, Tommaso Gagliardoni ve Christian Majenz. "Unutulmaz kuantum şifreleme". Editörler Jesper Buus Nielsen ve Vincent Rijmen'de, Advances in Cryptology – EUROCRYPT 2018. Sayfa 489–519. Çam (2018). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-78372-7_16

[16] Dan Boneh ve Mark Zhandry. "Kuantum güvenli mesaj kimlik doğrulama kodları". Thomas Johansson ve Phong Q. Nguyen'de, editörler, Advances in Cryptology – EUROCRYPT 2013. Sayfa 592–608. Berlin, Heidelberg (2013). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-642-38348-9_35

[17] Dan Boneh, Özgür Dağdelen, Marc Fischlin, Anja Lehmann, Christian Schaffner ve Mark Zhandry. "Kuantum dünyasında rastgele kehanetler". Dong Hoon Lee ve Xiaoyun Wang, editörler, Advances in Cryptology – ASIACRYPT 2011. Sayfa 41–69. Berlin, Heidelberg (2011). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-642-25385-0_3

[18] Mark Zhandry. "Kuantum sorguları nasıl kaydedilir ve kuantum ayırt edilemezliğine yönelik uygulamalar". Alexandra Boldyreva ve Daniele Micciancio, editörler, Advances in Cryptology – CRYPTO 2019. Sayfa 239–268. Çam (2019). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-26951-7_9

[19] Troy Lee ve Jérémie Roland. "Kuantum sorgu karmaşıklığı için güçlü bir doğrudan çarpım teoremi". hesaplama karmaşıklığı 22, 429–462 (2013).
https:/​/​doi.org/​10.1007/​s00037-013-0066-8

[20] Gorjan Alagic, Christian Majenz, Alexander Russell ve Fang Song. "Görmeden taklit edilemezlik yoluyla kuantum güvenli mesaj kimlik doğrulaması". Kriptolojideki Gelişmelerde – EUROCRYPT 2020. Springer (2020).
https:/​/​doi.org/​10.1007/​978-3-030-45727-3_27

[21] Yassine Hamoudi ve Frédéric Magniez. "Birden Çok Çarpışma Çifti Bulmak İçin Kuantum Zaman-Uzay Dengeleme". Min-Hsiu Hsieh'de, editör, 16. Kuantum Hesaplama, İletişim ve Kriptografi Teorisi Konferansı (TQC 2021). Leibniz International Proceedings in Informatics (LIPIcs) Cilt 197, sayfalar 1:1–1:21. Dagstuhl, Almanya (2021). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2021.1

[22] Qipeng Liu ve Mark Zhandry. "Kuantum çoklu çarpışmalarını bulma üzerine". Editörler Yuval Ishai ve Vincent Rijmen'de, Advances in Cryptology – EUROCRYPT 2019. Sayfa 189–218. Çam (2019). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-17659-4_7

[23] Falk Unger. "Doğrudan çarpım teoremlerini eşikleme uygulamalarıyla olasılıksal bir eşitsizlik". 2009'da 50. Yıllık IEEE Bilgisayar Biliminin Temelleri Sempozyumu. Sayfalar 221–229. IEEE (2009).
https: / / doi.org/ 10.1109 / FOCS.2009.62

[24] H. Klauck, R. de Wolf ve R. Špalek. "Kuantum ve klasik güçlü doğrudan çarpım teoremleri ve optimal zaman-uzay değiş tokuşları". 2013 yılında IEEE 54. Yıllık Bilgisayar Bilimlerinin Temelleri Sempozyumu. Sayfa 12–21. Los Alamitos, CA, ABD (2004). IEEE Bilgisayar Topluluğu.
https: / / doi.org/ 10.1109 / FOCS.2004.52

[25] Alexander A Sherstov. "Kuantum iletişimi ve sorgu karmaşıklığı için güçlü doğrudan çarpım teoremleri". SIAM Journal on Computing 41, 1122–1165 (2012).
https: / / doi.org/ 10.1137 / 110842661

[26] Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca ve Ronald de Wolf. "Polinomlarla kuantum alt sınırları". J. ACM 48, 778–797 (2001).
https: / / doi.org/ 10.1145 / 502090.502097

[27] Andris Ambainis. "Kuantum argümanlarıyla kuantum alt sınırları". J. Bilgisayar. Sist. bilim 64, 750–767 (2002).
https: / / doi.org/ 10.1006 / jcss.2002.1826

[28] Christof Zalka. "Grover'ın kuantum arama algoritması en uygunudur". fizik Rev. A 60, 2746–2751 (1999).
https: / / doi.org/ 10.1103 / PhysRevA.60.2746

[29] Michel Boyer, Gilles Brassard, Peter Høyer ve Alain Tapp. "Kuantum aramada sıkı sınırlar". 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 ve Ronald de Wolf. "Doğrudan çarpım teoremleri ve zaman-uzay değiş tokuşlarına yönelik uygulamalarla yeni bir kuantum alt sınır yöntemi". Algoritmik 55, 422–461 (2009).
https:/​/​doi.org/​10.1007/​s00453-007-9022-9

[31] Andris Ambainis. "Kuantum arama için güçlü bir doğrudan çarpım teoremine bir uygulama ile yeni bir kuantum alt sınır yöntemi". Hesaplama Teorisi 6, 1–25 (2010).
https: / / doi.org/ 10.4086 / toc.2010.v006a001

[32] Juan A. Garay, Aggelos Kiayias, Nikos Leonardos ve Giorgos Panagiotakos. "Konsensüs uygulamaları ve hızlı pki kurulumu ile blok zincirini önyükleme". Michel Abdalla ve Ricardo Dahab'da, editörler, Public-Key Cryptography – PKC 2018. Sayfa 465–495. Çam (2018). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-76581-5_16

[33] Juan A. Garay, Aggelos Kiayias ve Giorgos Panagiotakos. "Yanlışlanabilir varsayımlar altında yinelenen arama sorunları ve blockchain güvenliği". Cryptology ePrint Arşivi, Rapor 2019/​315 (2019). https://​/​eprint.iacr.org/​2019/​315.
https: / / eprint.iacr.org/ 2019/315

[34] Ittay Eyal ve Emin Gün Sirer. “Çoğunluk yeterli değil: Bitcoin madenciliği savunmasız”. Nicolas Christin ve Reihaneh Safavi-Naini, editörler, Financial Cryptography and Data Security – 18th International Conference, FC 2014, Christ Church, Barbados, 3-7 Mart 2014, Gözden Geçirilmiş Seçilmiş Makaleler. Bilgisayar Bilimi Ders Notları Cilt 8437, sayfalar 436–454. Baharcı (2014).
https:/​/​doi.org/​10.1007/​978-3-662-45472-5_28

[35] Divesh Aggarwal, Gavin Brennen, Troy Lee, Miklos Santha ve Marco Tomamichel. "Bitcoin'e kuantum saldırıları ve bunlara karşı nasıl korunulacağı". Defter 3 (2018).
https://​/​doi.org/​10.5195/​ledger.2018.127

[36] Troy Lee, Maharshi Ray ve Miklos Santha. "Kuantum Yarışları için Stratejiler". Avrim Blum, editör, 10th Innovations in Theorical Computer Science Konferansı'nda (ITCS 2019). Leibniz International Proceedings in Informatics (LIPIcs) kitabının 124. cildi, sayfa 51:1–51:21. Dagstuhl, Almanya (2018). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
https: / / doi.org/ 10.4230 / LIPIcs.ITCS.2019.51

[37] Veya Sattath. "Kuantum bitcoin madenciliğinin güvensizliği üzerine". Int. J. Inf. Güvenli. 19, 291–302 (2020).
https:/​/​doi.org/​10.1007/​s10207-020-00493-9

[38] Andrea Codangelo ve Or Sattath. "Blockchain Ölçeklenebilirlik Sorununa Kuantum Para Çözümü". Kuantum 4, 297 (2020).
https:/​/​doi.org/​10.22331/​q-2020-07-16-297

[39] Mark Zhandry. "Kuantum rasgele fonksiyonları nasıl oluşturulur". 2012'de IEEE 53. Bilgisayar Biliminin Temelleri Üzerine Yıllık Sempozyumu. Sayfalar 679–687. (2012).
https: / / doi.org/ 10.1109 / FOCS.2012.37

[40] Mark Zhandry. "Kuantum rastgele oracle modelinde güvenli kimlik tabanlı şifreleme". Reihaneh Safavi-Naini ve Ran Canetti, editörler, Advances in Cryptology – CRYPTO 2012. Sayfa 758–775. Berlin, Heidelberg (2012). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-642-32009-5_44

[41] Fang Song ve Aaram Yun. "NMAC ve ilgili yapıların kuantum güvenliği - kuantum saldırılarına karşı PRF etki alanı uzantısı". Jonathan Katz ve Hovav Shacham, editörler, Advances in Cryptology – CRYPTO 2017 – 37th Annual International Cryptology Conference, Santa Barbara, CA, ABD, 20-24 Ağustos 2017, Proceedings, Part II. Bilgisayar Bilimi Ders Notları Cilt 10402, sayfa 283–309. Baharcı (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63715-0_10

[42] Edward Eaton ve Fang Song. "Kuantum rastgele kehanet modelinde varoluşsal-taklit edilemez imzaları kesinlikle taklit edilemez kılmak". Salman Beigi ve Robert König, editörler, 10th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2015, 20-22 Mayıs 2015, Brüksel, Belçika. LIPIcs Cilt 44, sayfa 147–162. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015).
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2015.147

[43] Dominique Unruh. "Kuantum rastgele kehanet modelinde etkileşimli olmayan sıfır bilgi kanıtları". Editörler Elisabeth Oswald ve Marc Fischlin'de, Advances in Cryptology – EUROCRYPT 2015. Sayfa 755–784. Berlin, Heidelberg (2015). Springer Berlin Heidelberg.
https:/​/​doi.org/​10.1007/​978-3-662-46803-6_25

[44] Andreas Hülsing, Joost Rijneveld ve Fang Song. "Karma tabanlı imzalarda çok hedefli saldırıları azaltma". 19. IACR Uluslararası Açık Anahtarlı Kriptografi Konferansı - PKC 2016 - Cilt 9614. Sayfa 387–416. Berlin, Heidelberg (2016). Springer-Verlag.
https:/​/​doi.org/​10.1007/​978-3-662-49384-7_15

[45] Marko Balogh, Edward Eaton ve Fang Song. "Düzgün olmayan rasgele fonksiyonlarda kuantum çarpışma bulma". Tanja Lange ve Rainer Steinwandt'ta, editörler, Post-Quantum Cryptography. Sayfalar 467–486. Çam (2018). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-79063-3_22

[46] Ben Hamlin ve Fang Song. "Hash işlevlerinin kuantum güvenliği ve yinelenen karma işlemin mülkiyet koruması". Jintai Ding ve Rainer Steinwandt'ta, editörler, Post-Quantum Cryptography. Sayfalar 329–349. Çam (2019). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-25510-7_18

[47] Dennis Hofheinz, Kathrin Hövelmanns ve Eike Kiltz. "Fujisaki-okamoto dönüşümünün modüler bir analizi". Yael Kalai ve Leonid Reyzin, editörler, Theory of Cryptography'de. Sayfalar 341–371. Çam (2017). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-70500-2_12

[48] Tsunekazu Saito, Keita Xagawa ve Takashi Yamakawa. "Kuantum rastgele kehanet modelinde sıkı bir şekilde güvenli anahtar kapsülleme mekanizması". Editörler Jesper Buus Nielsen ve Vincent Rijmen'de, Advances in Cryptology – EUROCRYPT 2018. Sayfa 520–551. Çam (2018). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-319-78372-7_17

[49] Andris Ambainis, Mike Hamburg ve Dominique Unruh. "Yarı klasik kahinler kullanan kuantum güvenlik kanıtları". Alexandra Boldyreva ve Daniele Micciancio, editörler, Advances in Cryptology – CRYPTO 2019. Sayfa 269–295. Çam (2019). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-26951-7_10

[50] Qipeng Liu ve Mark Zhandry. "Kuantum sonrası fiat-shamir'i yeniden ziyaret etmek". Alexandra Boldyreva ve Daniele Micciancio, editörler, Advances in Cryptology – CRYPTO 2019. Sayfa 326–355. Çam (2019). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-26951-7_12

[51] Jelle Don, Serge Fehr, Christian Majenz ve Christian Schaffner. "Kuantum rastgele kehanet modelinde fiat-shamir dönüşümünün güvenliği". Alexandra Boldyreva ve Daniele Micciancio, editörler, Advances in Cryptology – CRYPTO 2019. Sayfa 356–383. Çam (2019). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-26951-7_13

[52] Veronika Kuchta, Amin Sakzad, Damien Stehlé, Ron Steinfeld ve Shi-Feng Sun. "Measure-rewind-measure: Tek yönlü gizleme ve cca güvenliği için daha sıkı kuantum rasgele kehanet modeli kanıtları". Kriptografik Tekniklerin Teorisi ve Uygulamaları Üzerine Yıllık Uluslararası Konferansta. Sayfalar 703–728. Baharcı (2020).
https:/​/​doi.org/​10.1007/​978-3-030-45727-3_24

[53] Kai-Min Chung, Siyao Guo, Qipeng Liu ve Luowen Qian. "Fonksiyonun tersine çevrilmesi için sıkı kuantum zaman-uzay değiş tokuşları". 2020'de IEEE 61. Yıllık Bilgisayar Bilimlerinin Temelleri Sempozyumu (FOCS). Sayfalar 673–684. IEEE (2020).
https://​/​doi.org/​10.1109/​FOCS46700.2020.00068

[54] Shuichi Katsumata, Kris Kwiatkowski, Federico Pintore ve Thomas Prest. "Kuantum sonrası kemler ve uygulamaları için ölçeklenebilir şifreli metin sıkıştırma teknikleri". Uluslararası Kriptoloji ve Bilgi Güvenliği Teorisi ve Uygulaması Konferansında. Sayfalar 289–320. Baharcı (2020).
https:/​/​doi.org/​10.1007/​978-3-030-64837-4_10

[55] Jan Czajkowski. "Sha-3'ün kuantum kayıtsızlığı". Cryptology ePrint Arşivi, Rapor 2021/​192 (2021). https://​/​ia.cr/​2021/​192.
https://​/​ia.cr/​2021/​192

[56] Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang ve Tai-Ning Liao. "Sıkıştırılmış kehanet tekniği ve sıralı çalışmanın kanıtlarının kuantum sonrası güvenliği üzerine". Editörler Anne Canteaut ve François-Xavier Standaert'te, Advances in Cryptology – EUROCRYPT 2021. Sayfa 598–629. Çam (2021). Springer Uluslararası Yayıncılık.
https:/​/​doi.org/​10.1007/​978-3-030-77886-6_21

[57] Jeremiah Blocki, Seunghoon Lee ve Samson Zhou. "Kuantum Sonrası Bir Dünyada Ardışık Çalışma Kanıtlarının Güvenliği Üzerine". Stefano Tessaro'da, editör, 2. Bilgi Teorik Kriptografi Konferansı (ITC 2021). Leibniz International Proceedings in Informatics (LIPIcs) Cilt 199, sayfa 22:1–22:27. Dagstuhl, Almanya (2021). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
https://​/​doi.org/​10.4230/​LIPIcs.ITC.2021.22

[58] Dominique Unruh. "Sıkıştırılmış permütasyon kehanetleri (ve sünger/sha3'ün çarpışma direnci)". Cryptology ePrint Arşivi, Rapor 2021/062 (2021). https://​/​eprint.iacr.org/​2021/​062.
https: / / eprint.iacr.org/ 2021/062

[59] Alexandru Cojocaru, Juan Garay, Aggelos Kiayias, Fang Song ve Petros Wallden. “Kuantum rakiplerine karşı bitcoin omurga protokolü”. Cryptology ePrint Arşivi, Kağıt 2019/​1150 (2019). https://​/​eprint.iacr.org/​2019/​1150.
https: / / eprint.iacr.org/ 2019/1150

[60] Canetti'yi koştu. "Çok taraflı kriptografik protokollerin güvenliği ve bileşimi". J. Cryptology 13, 143–202 (2000).
https: / / doi.org/ 10.1007 / s001459910006

[61] Canetti'yi koştu. "Evrensel olarak birleştirilebilir güvenlik: Kriptografik protokoller için yeni bir paradigma". 42. Yıllık Sempozyumda Bilgisayar Bilimlerinin Temelleri, FOCS 2001, 14-17 Ekim 2001, Las Vegas, Nevada, ABD. Sayfalar 136–145. IEEE Bilgisayar Topluluğu (2001).
https: / / doi.org/ 10.1109 / SFCS.2001.959888

Alıntılama

[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 ve Salvador E. Venegas-Andraca, “ Blockchain ağlarında kuantum direnci”, arXiv: 2106.06640, (2021).

[2] Robert R. Nerem ve Daya R. Gaur, “Avantajlı Kuantum Bitcoin Madenciliği İçin Koşullar”, arXiv: 2110.00878, (2021).

Yukarıdaki alıntılar SAO / NASA REKLAMLARI (son başarıyla 2023-03-09 15:10:32) güncellendi. Tüm yayıncılar uygun ve eksiksiz alıntı verisi sağlamadığından liste eksik olabilir.

Getirilemedi Alıntılanan veriler son girişim sırasında 2023-03-09 15:10:29: Crossref'ten 10.22331 / q-2023-03-09-944 için belirtilen veriler getirilemedi. DOI yakın zamanda kaydedildiyse bu normaldir.

Zaman Damgası:

Den fazla Kuantum Günlüğü