디지털 서명용 양자 토큰

디지털 서명용 양자 토큰

샬레브 벤-데이비드1또는 Sattath2

1워털루 대학교, David R. Cheriton School of Computer Science
2네게브의 벤 구리온 대학교, 컴퓨터 공학과

이 논문이 흥미 롭거나 토론하고 싶습니까? SciRate에 댓글을 달거나 댓글 남기기.

추상

어부가 양자어를 잡았다. "어부님, 저를 보내주세요"라고 물고기에게 간청했습니다. "그러면 세 가지 소원을 들어주겠소." 어부는 동의했습니다. 물고기는 어부에게 양자 컴퓨터, 세 개의 양자 서명 토큰 및 그의 고전적인 공개 키를 제공했습니다. 물고기는 "당신의 세 가지 소원에 서명하려면 이 양자 컴퓨터에서 토큰화된 서명 체계를 사용한 다음 나에게 호의를 베풀고 있는 왕에게 당신의 유효한 서명을 보여주세요"라고 설명했습니다.
어부는 서명 토큰 중 하나를 사용하여 "나에게 성을 줘!"라는 문서에 서명했습니다. 그리고 황궁으로 달려갔다. 왕은 물고기의 공개 키를 사용하여 고전적인 검증 알고리즘을 실행했고 그것이 유효했기 때문에 왕은 따랐습니다.
어부의 아내는 남은 서명 토큰 두 개를 사용하여 열 가지 소원에 서명하기를 원했습니다. 어부는 속이고 싶지 않았고 비밀리에 물고기를 만나러 항해했습니다. "물고기야, 내 아내가 XNUMX가지 소원에 더 서명하고 싶어해." 그러나 물고기는 걱정하지 않았다. 서명하는 동안 양자 토큰이 소비됩니다. 당신의 다항식 아내는 내가 준 세 개의 서명 토큰으로 네 가지 소원에 서명조차 할 수 없습니다.”
"어떻게 작동합니까?" 어부는 궁금해했다. “양자화폐라고 들어보셨나요? 이들은 쉽게 확인할 수 있지만 복사하기 어려운 양자 상태입니다. 이 토큰화된 양자 서명 체계는 Aaronson과 Christiano의 양자 화폐 체계를 확장하므로 서명 토큰을 복사할 수 없습니다.”
"귀하의 계획에 추가 멋진 속성이 있습니까?" 어부가 물었다. “예, 이 계획에는 철회 가능성, 테스트 가능성 및 영원한 보안과 같은 다른 보안 보장이 있습니다. 게다가 당신이 바다에 있고 당신의 퀀텀 폰이 고전적인 수신만 한다면, 당신은 이 체계를 사용하여 퀀텀 머니의 가치를 해안으로 옮길 수 있습니다.

[포함 된 콘텐츠]

► BibTeX 데이터

► 참고 문헌

[1] S. 아론슨. 퀀텀 복사 방지 및 퀀텀 머니. 24년 2009월 15-18일, 프랑스 파리, CCC 2009, 229년 242월 2009-XNUMX일, XNUMX-XNUMX페이지, 계산 복잡성에 관한 XNUMX차 연례 IEEE 회의 절차에서.
https : / /doi.org/10.1109/CCC.2009.42

[2] Y. Aharonov, J. Anandan 및 L. Vaidman. 파동 함수의 의미. 물리학 A, 47:4616–4626, 1993.
https : / /doi.org/10.1103/ PhysRevA.47.4616

[3] S. Aaronson 및 P. Christiano. 숨겨진 하위 공간의 양자 화폐. 44년 2012월 19~22일, 미국 뉴욕주 뉴욕에서 개최된 STOC 2012, 컴퓨팅 이론에 관한 제41회 심포지엄 회의록, 60년 2012~XNUMX페이지.
https : / /doi.org/ 10.1145 / 2213977.2213983

[4] S. Aaronson 및 P. Christiano. 숨겨진 하위 공간의 양자 화폐. 컴퓨팅 이론, 9:349–401, 2013.
https : / /doi.org/ 10.4086 / toc.2013.v009a009

[5] R. Amos, M. Georgiou, A. Kiayias 및 M. Zhandry. 하이브리드 양자/클래식 인증에 대한 원샷 서명 및 애플리케이션. K. Makarychev, Y. Makarychev, M. Tulsiani, G. Kamath 및 J. Chuzhoy, 편집자, 컴퓨팅 이론에 관한 연례 ACM SIGACT 심포지엄 절차, 255–268페이지. ACM, 2020, Cryptology ePrint 아카이브: 보고서 2020/ 107.
https : / /doi.org/ 10.1145 / 3357713.3384304

[6] Y. Aharonov 및 L. Vaidman. 단일 입자의 슈뢰딩거 파동 측정. Physics Letters A, 178(1):38 – 42, 1993.
https:/​/​doi.org/​10.1016/​0375-9601(93)90724-E

[7] B. 바락. 희망, 두려움, 소프트웨어 난독화. 공동. ACM, 59(3):88–96, 2016.
https : / /doi.org/ 10.1145 / 2757276

[8] CH Bennett, G. Brassard, S. Breidbart 및 S. Wiesner. 양자 암호화 또는 위조할 수 없는 지하철 토큰. 암호학의 발전, 267–275페이지. 스프링거, 1983.
https:/​/​doi.org/​10.1007/​978-1-4757-0602-4_26

[9] N. Bitansky, Z. Brakerski 및 YT Kalai. 건설적인 양자 후 감소. In Y. Dodis 및 T. Shrimpton, 편집자, Advances in Cryptology – CRYPTO 2022 – 42차 연례 국제 암호화 컨퍼런스, CRYPTO 2022, 미국 캘리포니아주 산타바바라, 15년 18월 2022-13509일, 절차, 654부, 강의 683권 Computer Science의 노트, 2022–XNUMX페이지. 스프링거, XNUMX.
https:/​/​doi.org/​10.1007/​978-3-031-15982-4_22

[10] N. Bitansky, R. Canetti, H. Cohn, S. Goldwasser, YT Kalai, O. Paneth 및 A. Rosen. 보조 입력 또는 범용 시뮬레이터를 통한 난독화의 불가능성. In JA Garay 및 R. Gennaro, 편집자, Advances in Cryptology – CRYPTO 2014 – 34th Annual Cryptology Conference, Santa Barbara, CA, USA, 17년 21월 2014-8617일, Proceedings, Part II, 컴퓨터 과학 강의 노트 71권, 89~2014쪽. 스프링거, XNUMX.
https:/​/​doi.org/​10.1007/​978-3-662-44381-1_5

[11] B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, SP Vadhan 및 K. Yang. 난독화 프로그램의 (불)가능성에 대해. J. ACM, 59(2):6, 2012.
https : / /doi.org/ 10.1145 / 2160158.2160159

[12] H. 봄빈. 코드 변형에 의한 Clifford 게이트. New Journal of Physics, 13(4):043005, 2011.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​4/​043005
http:/​/​stacks.iop.org/​1367-2630/​13/​i=4/​a=043005

[13] G. 브라사드. 양자 전화번호부 검색. Science, 275(5300):627–628, 1997.
https : / /doi.org/10.1126/ science.275.5300.627

[14] A. Behera, O. Sattath 및 U. Shinar. 2021년 MAC용 잡음 내성 양자 토큰.
https://​/​doi.org/​10.48550/​ARXIV.2105.05016

[15] D. Boneh 및 M. Zhandry. 양자 보안 메시지 인증 코드. In T. Johansson and PQ Nguyen, 편집자, Advances in Cryptology – EUROCRYPT 2013, 제32회 연례 국제 컨퍼런스 on the Theory and Applications of Cryptographic Techniques, 그리스 아테네, 26년 30월 2013-7881일. 절차, 592권 컴퓨터 강의 노트 과학, 608~2013쪽. 스프링거, XNUMX.
https:/​/​doi.org/​10.1007/​978-3-642-38348-9_35

[16] R. Cleve 및 D. Gottesman. 양자 오류 수정을 위한 효율적인 인코딩 계산. 물리학 A, 56:76–82, 1997년 XNUMX월.
https : / /doi.org/10.1103/ PhysRevA.56.76

[17] K. Chung, M. Georgiou, C. Lai 및 V. Zikas. 일회용 백도어를 사용한 암호화. Cryptogr., 3(3):22, 2019, Cryptology ePrint 아카이브: 보고서 2018/ 352.
https : / / doi.org/ 10.3390 / cryptography3030022

[18] P. 크리스티아노. 개인적인 커뮤니케이션, 2015.

[19] A. Coladangelo, J. Liu, Q. Liu 및 M. Zhandry. Unclonable Cryptography에 숨겨진 Cosets 및 응용 프로그램, 2021, arXiv: 2107.05692.
arXiv : 2107.05692

[20] S. Chakraborty, J. Radhakrishnan 및 N. Raghunathan. 소수의 양자 쿼리로 오류 감소의 한계. 근사, 무작위화 및 조합 최적화, 알고리즘 및 기법, 조합 최적화 문제에 대한 근사 알고리즘에 관한 제8회 국제 워크샵, APPROX 2005 및 RANDOM 2005, 미국 캘리포니아주 버클리, 22년 24월 2005-245일, 절차, 256-2005페이지, XNUMX년 .
https : / /dodo.org/ 10.1007 / 11538462_21

[21] R. Canetti, GN Rothblum 및 M. Varia. 초평면 회원의 난독화. D. Micciancio, 편집자, Theory of Cryptography, 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, 9년 11월 2010-5978일. 절차, 컴퓨터 과학 강의 노트의 72권, 89-2010페이지. 스프링거, XNUMX.
https:/​/​doi.org/​10.1007/​978-3-642-11799-2_5

[22] W. Diffie와 ME Hellman. 암호화의 새로운 방향. IEEE 트랜스. 정보 이론, 22(6):644–654, 1976.
https : / //doi.org/10.1109/TIT.1976.1055638

[23] YZ Ding과 MO Rabin. 하이퍼 암호화 및 영원한 보안. In H. Alt and A. Ferreira, editors, STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes – Juan les Pins, France, March 14-16, 2002, Proceedings, 2285권 of Lecture Notes in Computer Science, 1–26페이지. 스프링거, 2002.
https:/​/​doi.org/​10.1007/​3-540-45841-7_1

[24] E. Farhi, D. Gosset, A. Hassidim, A. Lutomirski, D. Nagaj 및 P. Shor. 해밀턴의 기저 상태에 대한 양자 상태 복원 및 단일 복사 단층 촬영. 물리학 Lett., 105:190503, 2010년 XNUMX월.
https : / /doi.org/10.1103/ PhysRevLett.105.190503

[25] E. Farhi, D. Gosset, A. Hassidim, A. Lutomirski 및 P. Shor. 매듭의 양자 돈. 이론 컴퓨터 과학 컨퍼런스의 제3차 혁신 절차, 276–289페이지. ACM, 2012.
https : / /doi.org/ 10.1145 / 2090236.2090260

[26] D. Gavinsky. 고전적 검증을 통한 양자 화폐. 컴퓨팅 복잡성에 관한 IEEE 27차 연례 회의, 42–52페이지. IEEE, 2012.
https : / /doi.org/10.1109/CCC.2012.10

[27] S. Goldwasser 및 YT Kalai. 보조 입력을 통한 난독화의 불가능성에 관하여. 46년 2005월 23-25일, 미국 펜실베이니아주 피츠버그에서 개최된 제2005회 컴퓨터 과학 기초에 관한 IEEE 연례 심포지엄(FOCS 553), 절차, 562-2005페이지, XNUMX년.
https : / /doi.org/10.1109/ SFCS.2005.60

[28] M. Georgiou 및 I. Kerenidis. 퀀텀 머니를 위한 새로운 구조. In S. Beigi and R. König, editors, 10th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2015, 20년 22월 2015-44일, 벨기에 브뤼셀, LIPICS 92권, 110-2015페이지. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, XNUMX.
https : / //doi.org/10.4230/LIPIcs.TQC.2015.92

[29] O. Goldreich. 암호화의 기초 – Vol. 2, 기본 응용 프로그램. 케임브리지 대학 출판부, 2004.

[30] M. Grassl, M. Rötteler 및 T. Beth. 비Qubit 양자 오류 수정 코드를 위한 효율적인 양자 회로. 국제 J. 찾았다. 컴퓨팅 Sci., 14(5):757–776, 2003.
https : / /doi.org/ 10.1142 / S0129054103002011

[31] J. Katz와 Y. Lindell. 현대 암호화 소개, 제 2014 판. CRC Press, XNUMX.

[32] NA 린치. 분산 알고리즘. 모건 카우프만, 1996.

[33] M. Mosca 및 D. Stebila. Quantum 동전, Contemp의 523권. Math., 35~47쪽. 아메르. 수학. 사회, 2010.

[34] MC Pena, RD Díaz, J. Faugère, LH Encinas 및 L. Perret. Aaronson-Christiano의 Quantum Money Scheme의 시끄러운 버전의 비양자 암호 분석. IET 정보 보안, 13(4):362–366, 2019.
https:/ / doi.org/ 10.1049/ iet-ifs.2018.5307

[35] MC Pena, J. Faugère 및 L. Perret. Quantum Money Scheme의 대수적 암호 분석 잡음 없는 경우. J. Katz, 편집자, Public-Key Cryptography – PKC 2015 – 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, 30년 1월 2015일 – 9020월 194일, 절차, 강의 노트 213권 컴퓨터 과학, 2015–XNUMX페이지. 스프링거, XNUMX.
https:/​/​doi.org/​10.1007/​978-3-662-46447-2_9

[36] A. 프라사드. 유한 벡터 공간의 부분 공간 계산 — 1. Resonance, 15(11):977–987, 2010.
https:/​/​doi.org/​10.1007/​s12045-010-0114-5

[37] F. Pastawski, NY Yao, L. Jiang, MD Lukin 및 JI Cirac. 위조할 수 없는 노이즈 내성 양자 토큰. 국립 과학 아카데미 회보, 109(40):16079–16082, 2012.
https : / /doi.org/ 10.1073 / pnas.1203552109

[38] R. Radian 및 O. Sattath. 세미 퀀텀 머니. In Advances in Financial Technologies, AFT 1, 스위스 취리히, 2019년 21월 23-2019일, 132-146페이지. ACM, 2019, arXiv: 1908.08889.
https : / /doi.org/ 10.1145 / 3318041.3355462
arXiv : 1908.08889

[39] R. Radian 및 O. Sattath. 반양자화폐. Journal of Cryptology, 35(2), 2022년 1908.08889월, arXiv: XNUMX.
https:/​/​doi.org/​10.1007/​s00145-021-09418-8
arXiv : 1908.08889

[40] O. 사타트. 2022년 비트코인 ​​애플리케이션과의 양자 신중한 계약.
https://​/​doi.org/​10.48550/​ARXIV.2204.12806

[41] O. 사타트. 복제 불가능한 암호화, 2022.
https://​/​doi.org/​10.48550/​ARXIV.2210.14265

[42] O. 슈무엘리. 고전적인 은행이 있는 공개 키 양자 화폐. S. Leonardi 및 A. Gupta, 편집자, STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 – 24, 2022, 790–803페이지. ACM, 2022.
https : / /doi.org/ 10.1145 / 3519935.3519952

[43] O. 슈무엘리. 반 양자 토큰화 서명. In Y. Dodis 및 T. Shrimpton, 편집자, Advances in Cryptology – CRYPTO 2022 – 42차 연례 국제 암호화 컨퍼런스, CRYPTO 2022, 미국 캘리포니아주 산타바바라, 15년 18월 2022-13507일, 절차, 296부, 강의 319권 Computer Science의 노트, 2022–XNUMX페이지. 스프링거, XNUMX.
https:/​/​doi.org/​10.1007/​978-3-031-15802-5_11

[44] T. Tulsi, LK Grover 및 A. Patel. 고정 소수점 양자 검색을 위한 새로운 알고리즘입니다. 양자 정보 및 계산, 6(6):483–494, 2006.
http:/ / portal.acm.org/ citation.cfm?id=2011693

[45] Y. Tokunaga, T. Okamoto 및 N. Imoto. 익명의 양자 현금. 양자 정보 과학에 관한 ERATO 회의, 2003년.

[46] D. 언루. 취소 가능한 Quantum Timed-Release 암호화. J. ACM, 62(6):49:1–49:76, 2015.
https : / /doi.org/ 10.1145 / 2817206

[47] D. 언루. 영원한 다자간 계산. J. Cryptol., 31(4):965–1011, 2018.
https : / /doi.org/ 10.1007 / s00145-018-9278-z

[48] 위스너 컨쥬 게이트 코딩. ACM Sigact News, 15 (1) : 78–88, 1983.
https : / /doi.org/ 10.1145 / 1008908.1008920

[49] WK 우터스와 WH 주렉. 단일 양자는 복제할 수 없습니다. Nature, 299(5886):802–803, 1982.

[50] M. Zhong, MP Hedges, RL Ahlefeldt, JG Bartholomew, SE Beavan, SM Wittig, JJ Longdell 및 MJ Sellars. 결맞음 시간이 517시간인 고체에서 광학적으로 주소 지정이 가능한 핵 스핀. Nature, 7533(177):180–2015, XNUMX년 XNUMX월.
https : / /doi.org/ 10.1038 / nature14025

[51] M.잔드리. 양자 번개는 결코 같은 상태를 두 번 공격하지 않습니다, 2017, arXiv: 1711.02276.
arXiv : 1711.02276

[52] M. Zhandry. 양자 번개는 같은 상태를 두 번 공격하지 않습니다. 또는: 암호화 가정의 양자 화폐. J. Cryptol., 34(1):6, 2021, arXiv: 1711.02276.
https : / /doi.org/ 10.1007 / s00145-020-09372-x
arXiv : 1711.02276

인용

[1] S. Pirandola, UL Andersen, L. Banchi, M. Berta, D. Bunandar, R. Colbeck, D. Englund, T. Gehring, C. Lupo, C. Ottaviani, JL Pereira, M. Razavi, J . Shamsul Shaari, M. Tomamichel, VC Usenko, G. Vallone, P. Villoresi 및 P. Wallden, "양자 암호화의 발전", 광학 및 포토닉스의 발전 12 4, 1012 (2020).

[2] Douglas Scott, "과학 스푸핑, 물리학 장난 및 천문 익살", arXiv : 2103.17057.

[3] 토마스 비딕과 티나 장,“양자 지식의 전형적인 증거”, arXiv : 2005.01691.

[4] 또는 Sattath, "Bitcoin 응용 프로그램과 양자 신중한 계약", arXiv : 2204.12806.

[5] Scott Aaronson, Jiahui Liu, Qipeng Liu, Mark Zhandry 및 Ruizhe Zhang, "양자 복제 방지를 위한 새로운 접근 방식", arXiv : 2004.09674.

[6] Roy Radian 및 Or Sattath, "반양자 화폐", arXiv : 1908.08889.

[7] Andrea Coladangelo, Shafi Goldwasser, Umesh Vazirani, "거부 가능한 암호화 in a Quantum World", arXiv : 2112.14988.

[8] Prabhanjan Ananth 및 Rolando L. La Placa, "보안 소프트웨어 임대", arXiv : 2005.05289.

[9] 또는 Sattath 및 Shai Wyborski, "양자 복제 방지의 복제 불가능한 암호 해독기", arXiv : 2203.05866.

[10] Andrea Coladangelo 및 Or Sattath, "블록체인 확장성 문제에 대한 양자 화폐 솔루션", arXiv : 2002.11998.

[11] Jiahui Liu, Hart Montgomery 및 Mark Zhandry, "양자 돈을 깨고 만드는 또 다른 라운드: 격자에서 그것을 구축하지 않는 방법 등", arXiv : 2211.11994.

[12] Andrea Coladangelo, Jiahui Liu, Qipeng Liu 및 Mark Zhandry, "Hidden Cosets and Applications to Unclonable Cryptography", arXiv : 2107.05692.

[13] 또는 Sattath, "Uncloneable Cryptography", arXiv : 2210.14265.

[14] Amit Behera 및 Or Sattath, "거의 공공 양자 동전", arXiv : 2002.12438.

[15] Anne Broadbent, Sevag Gharibian 및 Hong-Sheng Zhou, "상태 비저장 하드웨어의 양자 일회성 메모리를 향하여", arXiv : 1810.05226.

[16] Niraj Kumar, "고전적 검증을 통한 실질적으로 실현 가능한 강력한 양자 화폐", arXiv : 1908.04114.

[17] 또는 Sattath 및 Uriel Shinar, "Quantum Amnesia Leaves Cryptographic Mementos: A Note On Quantum Skepticism", arXiv : 2212.08750.

[18] Nir Bitansky, Zvika Brakerski 및 Yael Tauman Kalai, "건설적인 양자 후 감소", arXiv : 2203.02314.

위의 인용은 SAO / NASA ADS (마지막으로 성공적으로 업데이트 됨 2023-01-20 14:01:05). 모든 출판사가 적절하고 완전한 인용 데이터를 제공하지는 않기 때문에 목록이 불완전 할 수 있습니다.

On Crossref의 인용 서비스 인용 작품에 대한 데이터가 없습니다 (최종 시도 2023-01-20 14:01:00).

타임 스탬프 :

더보기 양자 저널