Fugu-MT 論文翻訳(概要): Multi-theorem (Malicious) Designated-Verifier NIZK for QMA

論文の概要: Multi-theorem (Malicious) Designated-Verifier NIZK for QMA

arxiv url: http://arxiv.org/abs/2007.12923v1
Date: Sat, 25 Jul 2020 13:14:49 GMT
ステータス: 処理完了
システム内更新日: 2023-05-08 06:30:26.765535
Title: Multi-theorem (Malicious) Designated-Verifier NIZK for QMA
Title（参考訳）: qma用マルチセオリーム型指定検証器nizk
Authors: Omri Shmueli
Abstract要約: マルチセオラムセキュリティを備えたQMAのための非対話型ゼロ知識引数システムを提案する。我々の技術は古典的だが量子プロトコルに向いており、QMAのための再利用可能なMDV-NIZKの構築を可能にしている。
参考スコア（独自算出の注目度）: 4.264192013842096
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We present the first non-interactive zero-knowledge argument system for QMA with multi-theorem security. Our protocol setup constitutes an additional improvement and is constructed in the malicious designated-verifier (MDV-NIZK) model (Quach, Rothblum, and Wichs, EUROCRYPT 2019), where the setup consists of a trusted part that includes only a common uniformly random string and an untrusted part of classical public and secret verification keys, which even if sampled maliciously by the verifier, the zero knowledge property still holds. The security of our protocol is established under the Learning with Errors Assumption. Our main technical contribution is showing a general transformation that compiles any sigma protocol into a reusable MDV-NIZK protocol, using NIZK for NP. Our technique is classical but works for quantum protocols and allows the construction of a reusable MDV-NIZK for QMA.
Abstract（参考訳）: マルチセオラムセキュリティを備えたQMAのための非対話型ゼロ知識引数システムを提案する。我々のプロトコル設定は、さらに改良され、悪意のある指定検証器(MDV-NIZK)モデル(Quach, Rothblum, and Wichs, EUROCRYPT 2019)で構築される。プロトコルのセキュリティはLearning with Errors Assumptionの下で確立されます。我々の主な技術的貢献は、NPのNIZKを用いて、任意のシグマプロトコルを再利用可能なMDV-NIZKプロトコルにコンパイルする一般的な変換を示すことである。我々の技術は古典的だが量子プロトコルに向いており、QMAのための再利用可能なMDV-NIZKの構築を可能にしている。

関連論文リスト

Certified Randomness implies Secure Classical Position-Verification [1.5391321019692432]
我々は、量子性に基づく認証ランダム性プロトコルの1ラウンド証明を、セキュアな通信ベースの位置検証スキームに変換することのできる、新しい汎用コンパイラを提供する。我々は,Aaronson と Hung (STOC 23) が提案するランダム回路サンプリング (RCS) ベースのランダム性プロトコルを用いて,コンパイラをインスタンス化する。
論文参考訳（メタデータ） (2024-10-04T23:49:38Z)
Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
論文参考訳（メタデータ） (2024-05-24T17:33:10Z)
Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。 NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
論文参考訳（メタデータ） (2024-02-13T12:12:39Z)
Practical quantum secure direct communication with squeezed states [55.41644538483948]
CV-QSDCシステムの最初の実験実験を行い,その安全性について報告する。この実現は、将来的な脅威のない量子大都市圏ネットワークへの道を歩み、既存の高度な波長分割多重化(WDM)システムと互換性がある。
論文参考訳（メタデータ） (2023-06-25T19:23:42Z)
Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority [0.0]
本稿では,従来のSMPCを,構成可能かつ統計的に安全な方法で量子SMPCに引き上げるプロトコルを提案する。従来の量子SMPCプロトコルとは異なり、我々の提案は1つのパーティを除いて、非常に限られた量子リソースしか必要としない。
論文参考訳（メタデータ） (2023-03-15T18:33:18Z)
Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States [0.0]
従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
論文参考訳（メタデータ） (2023-03-02T18:38:15Z)
From Auditable Quantum Authentication to Best-of-Both-Worlds Multiparty Quantum Computation with Public Verifiable Identifiable Abort [0.5076419064097734]
我々は,MPQC-PVIAプロトコルを用いて,最初のセキュアなマルチパーティ量子計算を構築した。 MPQCはBest-of-Both-Worlds(BoBW)セキュリティを提供する最初の量子設定であり、正直なところ完全なセキュリティを実現している。
論文参考訳（メタデータ） (2022-11-03T09:12:48Z)
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文参考訳（メタデータ） (2022-07-08T14:19:36Z)
Scalable Mediated Semi-quantum Key Distribution [5.548873288570182]
半量子鍵分配(M-SQKD)により、2人の制限された「半量子」または「古典的」ユーザーが、第三者(TP)の助けを借りて秘密鍵を確立することができる。最近、複数のプロトコルが二者シナリオで研究されているが、M-SQKDを多者シナリオで検討する者はいない。
論文参考訳（メタデータ） (2022-05-13T09:21:12Z)
Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文参考訳（メタデータ） (2022-03-03T10:07:32Z)
Composably secure data processing for Gaussian-modulated continuous variable quantum key distribution [58.720142291102135]
連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
論文参考訳（メタデータ） (2021-03-30T18:02:55Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。