文献

J-GLOBAL ID：202202277071387082   整理番号：22A0984393

空間分離は量子世界におけるゼロ知識を意味する【JST・京大機械翻訳】

Spatial Isolation Implies Zero Knowledge Even in a Quantum World

著者 (4件)： Chiesa Alessandro (UC Berkeley and EPFL, USA and Switzerland, Berkeley, CA) ,  Forbes Michael A. (University of Illinois at Urbana-Champaign, Champaign, IL, USA) ,  Gur Tom (University of Warwick, Coventry, England, UK) ,  Spooner Nicholas (University of Warwick, Coventry, England, UK)
資料名： Journal of the ACM (Association for Computing Machinery)  (Journal of the ACM (Association for Computing Machinery))
巻： 69  号： 2  ページ： 1-44  発行年： 2022年 
JST資料番号： C0267A  ISSN： 0004-5411  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ゼロ知識は暗号と複雑性において中心的役割を果たす。Ben-Or et al.(STOC 1988)の精巧な仕事は,ゼロ知識がNEXPの任意の言語に対して無条件に達成され,もし証明者が空間的に分離されるならば,それらは独立した戦略を行うと仮定できる。しかし,量子力学は,空間的に分離した証明者が量子もつれ状態を共有し,非局所相関戦略を実現するので,この仮定は非現実的である。MIP*モデルはこの設定を捕捉した。本研究では,量子エンタングルメントの存在下でも,ゼロ知識を無条件に達成するために,Des空間隔離は,量子エンタングルメントの存在においてさえ,ゼロ知識を無条件に達成すること,すなわち,NEXPにおけるあらゆる言語が,もつれた証明者に対して音である2プロバーゼロ知識対話型証明を持つことを証明した。即ち,NEXP γ→ZK-MIP*である。この証明は,強い代数的構造によるゼロ知識対話型確率的チェック可能な証明を構築し,次にそれをMIP*モデルにリフティングすることから成る。このリフティングは,エンタングルメント戦略に対する低度試験の最近の進歩で構築する新しいフレームワークに依存し,古典的および量子ツールを明確に分離する。主な技術的貢献は,無条件ゼロ知識を得るための新しい代数技術の開発である。これは,多くの確率的証明システムにおける鍵構成ブロックである,精巧な和チェックプロトコルのゼロ知識変異体を含む。和チェックプロトコルのコア成分は新しい代数的コミットメント方式であり,その解析は代数的複雑性理論に依存する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  音響 ,  証明 ,  量子論 ,  *プロトコル ,  構成 ,  暗号 ,  *暗号理論 ,  量子もつれ
準シソーラス用語： コミットメント ,  対話型 ,  複雑性 ,  *ゼロ知識 , 【Automatic Indexing@JST】

著者キーワード (6件)： ゼロ知識 ,  マルチ証明対話型証明 ,  量子もつれ戦略 ,  対話型PCP ,  合計プロトコル ,  代数的複雑性

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 量子 ,  世界 ,  知識 ,  意味