Kod yönlendirme: konum doğrulamaya yeni bir saldırı

Kod yönlendirme: konum doğrulamaya yeni bir saldırı

Kod yönlendirme: konum doğrulamaya yönelik yeni bir saldırı PlatoBlockchain Veri Zekası. Dikey Arama. Ai.

Sevinç Cree ve Alex Mayıs

Stanford Üniversitesi

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

Özet

Konum doğrulamanın kriptografik görevi, kuantum bilgisi ve göreceli nedensellik üzerindeki kısıtlamalardan yararlanarak bir tarafın uzay-zamandaki konumunu doğrulamaya çalışır. $f$-yönlendirme olarak bilinen popüler bir doğrulama şeması, kanıtlayıcının $f$ Boolean fonksiyonunun değerine dayalı olarak bir kuantum sistemini yeniden yönlendirmesini gerektirir. $f$-yönlendirme planına yönelik hile stratejileri, kanıtlayıcının önceden paylaşılan dolaşıklığı kullanmasını gerektirir ve planın güvenliği, kanıtlayıcının ne kadar dolaşıklığı manipüle edebileceği hakkındaki varsayımlara dayanır. Burada, kuantum sisteminin bir sır paylaşım şemasına kodlandığı ve sır paylaşım şemasının yetkilendirme yapısından sistemi uygun şekilde yönlendirmek için yararlanıldığı yeni bir hile stratejisi veriyoruz. Bu strateji, $f$-yönlendirme görevini $O(SP_p(f))$ EPR çiftlerini kullanarak tamamlar; burada $SP_p(f)$, $mathbb{Z_p$ hesaplama $ alanı üzerindeki bir yayılma programının minimum boyutudur. f$. Bu, yerel ön işlemeye izin verdikten sonra, $f$ $text{Mod_ptext{L}$ karmaşıklık sınıfında olduğunda $f$ yönlendirme şemalarına etkili bir şekilde saldırabileceğimizi gösterir. Daha önceki en iyi yapı, kesinlikle $text{Mod_ptext{L}$'in içinde olduğuna inanılan L sınıfını elde etti. Ayrıca, $f_I$ gösterge fonksiyonuna sahip bir kuantum sır paylaşım şemasının boyutunun, $f_I$ fonksiyonu üzerinde $f$-yönlendirmenin üst sınırlarının dolaşma maliyetini de gösteriyoruz.

► BibTeX verileri

► Referanslar

[1] Nishanth Chandran, Vipul Goyal, Ryan Moriarty ve Rafail Ostrovsky. Konum bazlı kriptografi. Yıllık Uluslararası Kriptoloji Konferansında, sayfa 391–407. Springer, 2009. https://​/​doi.org/​10.1007/​978-3-642-03356-8_23.
https:/​/​doi.org/​10.1007/​978-3-642-03356-8_23

[2] Adrian Kent, William J. Munro ve Timothy P. Spiller. Kuantum etiketleme: Kuantum bilgisi ve göreli sinyal kısıtlamaları aracılığıyla konumun doğrulanması. Fiziksel İnceleme A, 84 (1): 012326, 2011. https://​/doi.org/​10.1103/​PhysRevA.84.012326.
https: / / doi.org/ 10.1103 / PhysRevA.84.012326

[3] Adrian Kent. Minkowski uzayında kuantum görevleri. Klasik ve Kuantum Yerçekimi, 29 (22): 224013, 2012. 10.1088/​0264-9381/​29/​22/​224013.
https:/​/​doi.org/​10.1088/​0264-9381/​29/​22/​224013

[4] William K Wootters ve Wojciech H Zurek. Tek bir kuantum klonlanamaz. Nature, 299 (5886): 802–803, 1982. https://​/​doi.org/​10.1038/​299802a0.
https: / / doi.org/ 10.1038 / 299802a0

[5] Adrian P Kent, William J Munro, Timothy P Spiller ve Raymond G Beausoleil. Etiketleme sistemleri, 11 Temmuz 2006. ABD Patenti 7,075,438.

[6] Robert A Malaney. Kuantum dolaşıklığı kullanan konuma bağlı iletişim. Fiziksel İnceleme A, 81 (4): 042319, 2010. https://​/doi.org/​10.1103/​PhysRevA.81.042319.
https: / / doi.org/ 10.1103 / PhysRevA.81.042319

[7] Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky ve Christian Schaffner. Konum tabanlı kuantum kriptografi: İmkansızlık ve yapılar. SIAM Journal on Computing, 43 (1): 150–178, 2014. https://​/doi.org/​10.1137/​130913687.
https: / / doi.org/ 10.1137 / 130913687

[8] Salman Beigi ve Robert König. Konum tabanlı kriptografi uygulamalarıyla basitleştirilmiş anlık yerel olmayan kuantum hesaplama. New Journal of Physics, 13 (9): 093036, 2011. 10.1088/​1367-2630/​13/​9/​093036.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​9/​093036

[9] Andreas Bluhm, Matthias Christandl ve Florian Speelman. Çoklu kübit saldırılarına karşı güvenli, tek kübitli konum doğrulama protokolü. Doğa Fiziği, sayfa 1–4, 2022. https://​/​doi.org/​10.1038/​s41567-022-01577-0.
https:/​/​doi.org/​10.1038/​s41567-022-01577-0

[10] Harry Buhrman, Serge Fehr, Christian Schaffner ve Florian Speelman. Bahçe hortumu modeli. Teorik Bilgisayar Biliminde Yenilikler konulu 4. konferansın Bildiri Kitabında, sayfa 145–158, 2013. https:///​doi.org/​10.1145/​2422436.2422455.
https: / / doi.org/ 10.1145 / 2422436.2422455

[11] Hartmut Klauck ve Supartha Podder. Bahçe hortumu modelinde yeni sınırlar. Yazılım Teknolojisinin Temelleri ve Teorik Bilgisayar Bilimi, 2014. 10.4230/​LIPIcs.FSTTCS.2014.481.
https://​/​doi.org/​10.4230/​LIPIcs.FSTTCS.2014.481

[12] Srinivasan Arunachalam ve Supartha Podder. İletişim hatırası: Hafızasız iletişim karmaşıklığı. 12. Teorik Bilgisayar Bilimleri Konferansında Yenilikler (ITCS 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021. 10.4230/​LIPIcs.ITCS.2021.61.
https: / / doi.org/ 10.4230 / LIPIcs.ITCS.2021.61

[13] Alex May. Holografide kuantum görevleri. Yüksek Enerji Fiziği Dergisi, 2019 (10): 1–39, 2019. https:///​doi.org/​10.1007/​JHEP10(2019)233.
https: / / doi.org/ 10.1007 / JHEP10 (2019) 233

[14] Alex May, Geoff Penington ve Jonathan Sorce. Holografik saçılma, bağlı bir dolaşıklık takozu gerektirir. Journal of High Energy Physics, 2020 (8): 1–34, 2020. https:///​doi.org/​10.1007/​JHEP08(2020)132.
https: / / doi.org/ 10.1007 / JHEP08 (2020) 132

[15] Alex Mayıs. Yerel olmayan hesaplama ve holografide karmaşıklık ve dolaşma. Quantum, 6: 864, Kasım 2022. ISSN 2521-327X. 10.22331/​q-2022-11-28-864. URL https://​/​doi.org/​10.22331/​q-2022-11-28-864.
https:/​/​doi.org/​10.22331/​q-2022-11-28-864

[16] Adam D Smith. Genel erişim yapıları için kuantum gizli paylaşımı. arXiv ön baskı quant-ph/​0001087, 2000. https://​/doi.org/​10.48550/​arXiv.quant-ph/​0001087.
https:/​/​doi.org/​10.48550/​arXiv.quant-ph/​0001087
arXiv: kuant-ph / 0001087

[17] Juan Maldacena. Süper uyumlu alan teorilerinin ve süper yerçekiminin büyük N sınırı. Uluslararası teorik fizik dergisi, 38 (4): 1113–1133, 1999. https:///​doi.org/​10.1023/​A:1026654312961.
https: / / doi.org/ 10.1023 / A: 1026654312961

[18] Edward Witten. Anti-de bakıcı alanı ve holografi. Advances in Theoretical and Mathematical Physics, 2: 253–291, 1998. 10.4310/​ATMP.1998.v2.n2.a2.
https:/​/​doi.org/​10.4310/​ATMP.1998.v2.n2.a2

[19] Daniel Gottesman. Kuantum sır paylaşımı teorisi. Fiziksel İnceleme A, 61 (4): 042311, 2000. https://​/doi.org/​10.1103/​PhysRevA.61.042311.
https: / / doi.org/ 10.1103 / PhysRevA.61.042311

[20] Benjamin Schumacher ve Michael A Nielsen. Kuantum veri işleme ve hata düzeltme. Fiziksel İnceleme A, 54 (4): 2629, 1996. https://​/​doi.org/​10.1103/​PhysRevA.54.2629.
https: / / doi.org/ 10.1103 / PhysRevA.54.2629

[21] Benjamin Schumacher ve Michael D. Westmoreland. Yaklaşık kuantum hatası düzeltmesi. Kuantum Bilgi İşleme, 1 (1): 5–12, 2002. https://​/​doi.org/​10.1023/​A:1019653202562.
https: / / doi.org/ 10.1023 / A: 1019653202562

[22] Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf ve Christoph Meinel. Logspace-mod sınıfının yapısı ve önemi. Matematiksel sistemler teorisi, 25 (3): 223–237, 1992. https://​/​doi.org/​10.1007/​BF01374526.
https: / / doi.org/ 10.1007 / BF01374526

[23] Mauricio Karchmer ve Avi Wigderson. Yayılma programlarında. [1993] Karmaşıklık Teorisinde Sekizinci Yıllık Yapı Konferansı Bildiriler Kitabı, sayfalar 102–111. IEEE, 1993. 10.1109/​SCT.1993.336536.
https://​/​doi.org/​10.1109/​SCT.1993.336536

[24] Neil D Jones, Y Edmund Lien ve William T Laaser. Belirleyici olmayan günlük alanı için yeni problemler tamamlandı. Matematiksel sistemler teorisi, 10 (1): 1–17, 1976. https://​/​doi.org/​10.1007/​BF01683259.
https: / / doi.org/ 10.1007 / BF01683259

[25] Klaus Reinhardt ve Eric Allender. Determinizmsizliği açık hale getirmek. SIAM Journal on Computing, 29 (4): 1118–1131, 2000. https://​/​doi.org/​10.1137/​S0097539798339041.
https: / / doi.org/ 10.1137 / S0097539798339041

[26] Eric Allender, Klaus Reinhardt ve Shiyu Zhou. Tek tip ve tekdüze olmayan üst sınırların izolasyonu, eşleştirilmesi ve sayılması. Bilgisayar ve Sistem Bilimleri Dergisi, 59 (2): 164–181, 1999. https://​/​doi.org/​10.1006/​jcss.1999.1646.
https: / / doi.org/ 10.1006 / jcss.1999.1646

[27] Eyal Kushilevitz. İletişim karmaşıklığı. Bilgisayarlarda Gelişmeler, cilt 44, sayfalar 331–360. Elsevier, 1997. https://​/​doi.org/​10.1016/​S0065-2458(08)60342-3.
https:/​/​doi.org/​10.1016/​S0065-2458(08)60342-3

[28] Noam Nisan. Eşik kapılarının iletişim karmaşıklığı. Kombinatorik, Paul Erdos Seksendir, 1: 301–315, 1993.

[29] Robert Robere, Toniann Pitassi, Benjamin Rossman ve Stephen A Cook. Monoton yayılma programları için üstel alt sınırlar. 2016'da IEEE 57. Yıllık Bilgisayar Biliminin Temelleri Sempozyumu (FOCS), sayfalar 406–415. IEEE, 2016. 10.1109/​FOCS.2016.51.
https: / / doi.org/ 10.1109 / FOCS.2016.51

[30] Florian Speelman. Düşük T Derinlikli Kuantum Devrelerinin Anlık Yerel Olmayan Hesaplaması. 11. Kuantum Hesaplama, İletişim ve Kriptografi Teorisi Konferansında (TQC 2016), Leibniz International Proceedings in Informatics (LIPIcs), cilt 61, sayfa 9:1–9:24, Dagstuhl, Almanya, 2016. Schloss Dagstuhl–Leibniz- Zentrum fuer Informatik. ISBN 978-3-95977-019-4. 10.4230/​LIPIcs.TQC.2016.9.
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2016.9

Alıntılama

[1] Alex May, “Yerel olmayan hesaplama ve holografide karmaşıklık ve dolaşma”, Kuantum 6, 864 (2022).

[2] Alex May, Jonathan Sorce ve Beni Yoshida, “Bağlantılı kama teoremi ve sonuçları”, Yüksek Enerji Fiziği Dergisi 2022 11, 153 (2022).

[3] Kfir Dolev ve Sam Cree, “Lokal olmayan kuantum hesaplaması için bir kaynak olarak holografi”, arXiv: 2210.13500, (2022).

[4] Kfir Dolev ve Sam Cree, “Küçük ışık konileriyle yerel olmayan kuantum devrelerinin hesaplanması”, arXiv: 2203.10106, (2022).

[5] Rene Allerstorfer, Harry Buhrman, Alex May, Florian Speelman ve Philip Verduyn Lunel, “Yerel olmayan kuantum hesaplamanın bilgi teorik kriptografiyle ilişkilendirilmesi”, arXiv: 2306.16462, (2023).

[6] Llorenç Escolà-Farràs ve Florian Speelman, "Dolanık saldırganlara karşı güvenli, tek kübitli kayıp toleranslı kuantum konumu doğrulama protokolü", arXiv: 2212.03674, (2022).

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

On Crossref'in alıntı yaptığı hizmet alıntı yapma çalışmaları ile ilgili veri bulunamadı (son deneme 2023-08-10 03:31:41).

Zaman Damgası:

Den fazla Kuantum Günlüğü