A simpler proof of zero-knowledge against quantum attacks using Grover's amplitude amplification
量子物理
2007-05-23 v1
摘要
Watrous had presented the first proof of zero-knowledge property of a proof system against a quantum verifier. The key of the proof is the construction of a quantum simulator. In the construction, the 'failure state' is rotated to the 'success' state by a tricky operation which is initially developped for the amplification of QMA proof systems. This manuscript presents a new and simpler construction of a simulator. In the construction, we simply amplify the success probability of a classical simulator using Grover's amplification.
引用
@article{arxiv.quant-ph/0602186,
title = {A simpler proof of zero-knowledge against quantum attacks using Grover's amplitude amplification},
author = {Keiji Matsumoto},
journal= {arXiv preprint arXiv:quant-ph/0602186},
year = {2007}
}
备注
Talk at TQC 2006 at NTT, Atsugi, Japan