論文の概要: Quantum Garbled Circuits
- arxiv url: http://arxiv.org/abs/2006.01085v2
- Date: Mon, 9 Nov 2020 17:02:22 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-17 11:19:20.062276
- Title: Quantum Garbled Circuits
- Title(参考訳): 量子ガーブル回路
- Authors: Zvika Brakerski, Henry Yuen
- Abstract要約: 我々は、与えられた量子回路と量子入力のエンコーディングの計算方法を示し、そこから計算の出力を導出することができる。
我々のプロトコルは、いわゆる$Sigma$フォーマットで、シングルビットチャレンジがあり、入力を最終ラウンドまで遅らせることができる。
- 参考スコア(独自算出の注目度): 9.937090317971313
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present a garbling scheme for quantum circuits, thus achieving a
decomposable randomized encoding scheme for quantum computation. Specifically,
we show how to compute an encoding of a given quantum circuit and quantum
input, from which it is possible to derive the output of the computation and
nothing else. In the classical setting, garbled circuits (and randomized
encodings in general) are a versatile cryptographic tool with many applications
such as secure multiparty computation, delegated computation, depth-reduction
of cryptographic primitives, complexity lower-bounds, and more. However, a
quantum analogue for garbling general circuits was not known prior to this
work. We hope that our quantum randomized encoding scheme can similarly be
useful for applications in quantum computing and cryptography.
To illustrate the usefulness of quantum randomized encoding, we use it to
design a conceptually-simple zero-knowledge (ZK) proof system for the
complexity class $\mathbf{QMA}$. Our protocol has the so-called $\Sigma$ format
with a single-bit challenge, and allows the inputs to be delayed to the last
round. The only previously-known ZK $\Sigma$-protocol for $\mathbf{QMA}$ is due
to Broadbent and Grilo (FOCS 2020), which does not have the aforementioned
properties.
- Abstract(参考訳): 本稿では,量子回路のガーリング方式を提案する。これにより,量子計算のための非可解なランダム化符号化方式を実現する。
具体的には、与えられた量子回路と量子入力のエンコードを計算する方法を示し、そこから計算の出力を導出することができる。
古典的な設定では、garbled回路(および一般にランダムエンコーディング)は、セキュアなマルチパーティ計算、デリゲート計算、暗号プリミティブの深さ還元、複雑性低バウンドなど、多くのアプリケーションで使用される多用途な暗号ツールである。
しかし、この研究以前には一般回路の量子アナログは知られていなかった。
我々は、量子ランダム化符号化スキームが量子コンピューティングや暗号の応用にも役立つことを望んでいる。
量子ランダム化符号化の有用性を説明するために、複雑性クラス $\mathbf{QMA}$ に対する概念的に単純なゼロ知識(ZK)証明システムを設計する。
私たちのプロトコルは、シングルビットチャレンジのいわゆる$\sigma$フォーマットを持ち、入力を最終ラウンドまで遅らせることができます。
以前に知られていたZK $\Sigma$-protocol for $\mathbf{QMA}$は、前述の性質を持たないBroadbent and Grilo (FOCS 2020)によるものである。
関連論文リスト
- Quantivine: A Visualization Approach for Large-scale Quantum Circuit
Representation and Analysis [31.203764035373677]
我々は量子回路の探索と理解のための対話型システムQuantivineを開発した。
一連の新しい回路視覚化は、キュービットの証明、並列性、絡み合いなどのコンテキストの詳細を明らかにするように設計されている。
Quantivineの有効性は、最大100キュービットの量子回路の2つの利用シナリオを通して示される。
論文 参考訳(メタデータ) (2023-07-18T04:51:28Z) - Homomorphic Encryption of the k=2 Bernstein-Vazirani Algorithm [0.4511923587827301]
代入量子計算に有用な重要な暗号技術である量子同相暗号(QHE)へのこのスキームの適用を見出した。
我々は,完全セキュリティ,$mathcalF$-homomorphism,サーバとクライアント間の相互作用のないQHEスキームを開発し,Mが回路内のゲート数$T$である場合,$O(M)$で束縛された準コンパクト性を示す。
論文 参考訳(メタデータ) (2023-03-30T14:49:15Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳(メタデータ) (2022-10-12T17:54:02Z) - Parametric Synthesis of Quantum Circuits for Training Perceptron Neural
Networks [0.0]
本稿では、知覚神経回路のトレーニングのための量子回路のパラメトリック合成法を紹介する。
回路は100量子ビットのIBM量子シミュレータ上で動作した。
論文 参考訳(メタデータ) (2022-09-20T06:16:17Z) - FABLE: Fast Approximate Quantum Circuits for Block-Encodings [0.0]
行列のブロック符号化のための近似量子回路を高速に生成するFABLEを提案する。
FABLE回路は単純な構造であり、1ビットと2ビットのゲートで直接定式化されている。
FABLE回路は圧縮・スパシファイド可能であることを示す。
論文 参考訳(メタデータ) (2022-04-29T21:06:07Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳(メタデータ) (2021-06-06T13:15:25Z) - Quantum randomized encoding, verification of quantum computing,
no-cloning, and blind quantum computing [0.0]
BB84状態生成の量子ランダム化符号化が$E$で可能であれば、古典的検証器で量子コンピューティングの2ラウンド検証が可能であることを示す。
古典的符号化演算を用いた量子ランダム化符号化は, あまりにも良い方法であることを示す。
論文 参考訳(メタデータ) (2020-11-05T23:51:25Z) - Quantum copy-protection of compute-and-compare programs in the quantum
random oracle model [74.52678585199014]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳(メタデータ) (2020-09-29T08:41:53Z) - Post-Quantum Multi-Party Computation [32.75732860329838]
我々は、悪質な時間量子敵に対するセキュリティを備えた古典的機能(平易なモデル)のマルチパーティ計算について研究する。
誤差付き学習における超ポリノミカル量子硬度(LWE)とLWEに基づく円形セキュリティ仮定の量子硬度を仮定する。
その過程で、私たちは独立した関心を持つ可能性のある暗号プリミティブを開発します。
論文 参考訳(メタデータ) (2020-05-23T00:42:52Z) - Succinct Blind Quantum Computation Using a Random Oracle [0.8702432681310399]
我々は新しい普遍的な盲点量子計算プロトコルを提供する。
プロトコルの最初のフェーズは簡潔であり、その複雑さは回路サイズとは無関係である。
論文 参考訳(メタデータ) (2020-04-27T07:47:11Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。
我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。
我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
論文 参考訳(メタデータ) (2020-04-14T11:05:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。