Quantum Money with Classical Verification

被引:36
|
作者
Gavinsky, Dmitry [1 ]
机构
[1] NEC Labs Amer Inc, Princeton, NJ USA
关键词
D O I
10.1109/CCC.2012.10
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification. Our scheme is secure against adaptive adversaries - this property is not directly related to the possibility of classical verification, nevertheless none of the earlier quantum money constructions is known to possess it.
引用
收藏
页码:42 / 52
页数:11
相关论文
共 50 条
  • [1] Quantum Money with Classical Verification
    Gavinsky, Dmitry
    ELEVENTH INTERNATIONAL CONFERENCE ON QUANTUM COMMUNICATION, MEASUREMENT AND COMPUTATION (QCMC), 2014, 1633 : 135 - 140
  • [2] Practically Feasible Robust Quantum Money with Classical Verification
    Kumar, Niraj
    CRYPTOGRAPHY, 2019, 3 (04) : 1 - 24
  • [3] CLASSICAL VERIFICATION OF QUANTUM COMPUTATIONS
    Mahadev U.
    SIAM Journal on Computing, 2022, 51 (04) : 1172 - 1229
  • [4] Classical Verification of Quantum Learning
    Caro, Matthias C.
    Hinsche, Marcel
    Ioannou, Marios
    Nietner, Alexander
    Sweke, Ryan
    15TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE, ITCS 2024, 2024,
  • [5] Classical Verification of Quantum Computations
    Mahadev, Urmila
    2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 259 - 267
  • [6] Classical Verification of Quantum Proofs
    Ji, Zhengfeng
    THEORY OF COMPUTING, 2019, 15
  • [7] Classical Verification of Quantum Proofs
    Ji, Zhengfeng
    STOC'16: PROCEEDINGS OF THE 48TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2016, : 885 - 898
  • [8] CLASSICAL VERIFICATION OF QUANTUM COMPUTATIONS
    Mahadev U.
    SIAM Journal on Optimization, 2022, 32 (03) : 1172 - 1229
  • [9] Experimental preparation and verification of quantum money
    Guan, Jian-Yu
    Arrazola, Juan Miguel
    Amiri, Ryan
    Zhang, Weijun
    Li, Hao
    You, Lixing
    Wang, Zhen
    Zhang, Qiang
    Pan, Jian-Wei
    PHYSICAL REVIEW A, 2018, 97 (03)
  • [10] Succinct Classical Verification of Quantum Computation
    Bartusek, James
    Kalai, Yael Tauman
    Lombardi, Alex
    Ma, Fermi
    Malavolta, Giulio
    Vaikuntanathan, Vinod
    Vidick, Thomas
    Yang, Lisa
    ADVANCES IN CRYPTOLOGY - CRYPTO 2022, PT II, 2022, 13508 : 195 - 211