講演抄録/キーワード |
講演名 |
2013-10-18 15:50
Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers
-- Preliminary Report -- ○Marcos Villagra・Tomoyuki Yamakami(Univ. of Fukui) COMP2013-36 |
抄録 |
(和) |
(まだ登録されていません) |
(英) |
We discuss the notion of quantum zero-knowledge proof systems whose memory-limited verifiers
receive a stream of classical input symbols. We model such verifiers as one-way quantum finite automata working on input strings. Our proof systems require the recognition zero-knowledge property of Dwork and Stockmeyer [JACM, 1992]. Here, we report a preliminary set of fundamental properties of such proof systems. With the use of one-way quantum finite automata as verifiers, all proofs of the properties do not rely on any unproven complexity-theoretical assumptions. |
キーワード |
(和) |
/ / / / / / / |
(英) |
interactive proof system / zero knowledge / quantum automata / reversible automata / regular language / / / |
文献情報 |
信学技報, vol. 113, no. 252, COMP2013-36, pp. 23-24, 2013年10月. |
資料番号 |
COMP2013-36 |
発行日 |
2013-10-11 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2013-36 |