Fugu-MT 論文翻訳(概要): Verifying the First Nonzero Term: Physical ZKPs for ABC End View, Goishi Hiroi, and Toichika

論文の概要: Verifying the First Nonzero Term: Physical ZKPs for ABC End View, Goishi Hiroi, and Toichika

arxiv url: http://arxiv.org/abs/2304.12388v4
Date: Fri, 16 Aug 2024 13:31:55 GMT
ステータス: 処理完了
システム内更新日: 2024-08-19 21:16:11.742678
Title: Verifying the First Nonzero Term: Physical ZKPs for ABC End View, Goishi Hiroi, and Toichika
Title（参考訳）: 非ゼロ用語の検証:ABC End View, Goishi Hiroi, Toichikaの物理ZKP
Authors: Suthee Ruangwises,
Abstract要約: このプロトコルは、証明者が与えられたシーケンスの第1のゼロ項の値を検証者に提示する。また,ABC End View, Goishi Hiroi, Toichikaの3つの有名な論理パズルに対するゼロ知識証明プロトコルを構築するために,本プロトコルを適用した。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In this paper, we propose a physical protocol to verify the first nonzero term of a sequence using a deck of cards. The protocol lets a prover show the value of the first nonzero term of a given sequence to a verifier without revealing which term it is. Our protocol uses $\Theta(1)$ shuffles, which is asymptotically lower than that of an existing protocol of Fukusawa and Manabe which uses $\Theta(n)$ shuffles, where $n$ is the length of the sequence. We also apply our protocol to construct zero-knowledge proof protocols for three well-known logic puzzles: ABC End View, Goishi Hiroi, and Toichika. These protocols enables a prover to physically show that he/she know solutions of the puzzles without revealing them.
Abstract（参考訳）: 本稿では,カードのデッキを用いてシーケンスの最初のゼロ項を検証するための物理プロトコルを提案する。このプロトコルは、証明者が与えられたシーケンスの第1のゼロ項の値を検証者に提示する。我々のプロトコルは$\Theta(1)$シャッフルを使用するが、これは福沢と真鍋の既存のプロトコルよりも漸近的に低く、$\Theta(n)$シャッフルを使用する。また,ABC End View, Goishi Hiroi, Toichikaの3つの有名な論理パズルに対するゼロ知識証明プロトコルを構築するために,本プロトコルを適用した。これらのプロトコルにより、証明者がパズルの解法を知っていることを物理的に示すことができる。

関連論文リスト

Perfect cheating is impossible for single-qubit position verification [0.9208007322096533]
量子位置検証において、証明者は、量子計算を実行し、結果を信頼された検証者集合に返すことによって、その位置を認証する。量子位置検証のための最初のプロトコルの一つが提案された(Kent, Munro, Spiller 2011)。元のKMS測定プロトコルに対して,完全な有限次元の不正処理戦略が存在しないことを示す。
論文参考訳（メタデータ） (2024-06-28T16:13:38Z)
Improving device-independent weak coin flipping protocols [0.08192907805418585]
弱いコインフリップは、アリスとボブが遠隔でコインをひっくり返すが、反対の結果を求める暗号的なタスクである。最高のプロトコルは10年以上前にSilman, Chailloux, Aharon, Kerenidis, Pironio, Massarによって考案された。我々は、$n-1$を$n$デバイスからテストする方法を示し、残りのデバイスの性能を、後からプロトコルで使用するために見積もる。
論文参考訳（メタデータ） (2024-04-25T23:17:37Z)
Private Vector Mean Estimation in the Shuffle Model: Optimal Rates Require Many Messages [63.366380571397]
本稿では,プライバシのシャッフルモデルにおけるプライベートベクトル平均推定の問題について検討する。我々は,$tildemathcalOleft(min(nvarepsilon2,d)right)$ message per users を用いて,最適なエラーを実現する新しいマルチメッセージプロトコルを提案する。
論文参考訳（メタデータ） (2024-04-16T00:56:36Z)
A Quantum Detectable Byzantine Agreement Protocol using only EPR pairs [0.0]
本稿では,検出可能ビザンチン合意のための新しい量子プロトコルを提案する。 EPRペアのみを使用し、特に$Psi + $ペアを使用する。
論文参考訳（メタデータ） (2023-06-19T10:15:17Z)
Trade-offs between Entanglement and Communication [5.88864611435337]
我々は,$tildeTheta(k5 log3 n)$ qubits of tanglementの量子同時プロトコルが,$O(k)$ qubits of tanglementの2方向ランダム化プロトコルよりも指数関数的に優れていることを示す。私たちの研究以前には、リレーショナルな分離のみが知られていました。
論文参考訳（メタデータ） (2023-06-02T01:49:39Z)
Bounding the quantum value of compiled nonlocal games: from CHSH to BQP verification [2.298932494750101]
Kalaiらは、非ローカルゲームに適用されるブラックボックス暗号コンパイル手順を定義した。単一プロデューサプロトコルの量子値の完全な理解に向けて前進する。我々は,BQPに対して単一プロプライエタリな古典的検証プロトコルを提供し,CHSH剛性解析を用いてその健全性を証明した。
論文参考訳（メタデータ） (2023-03-02T19:20:59Z)
Compression for Qubit Clocks [55.38708484314286]
クォービットクロックの同じ準備状態に対して$n$の圧縮プロトコルを提案する。このプロトコルは、状態を$(1/2)log n$ qubitsと$(1/2)log n$ classical bitsに忠実にエンコードする。
論文参考訳（メタデータ） (2022-09-14T09:45:53Z)
Geometry of Banach spaces: a new route towards Position Based Cryptography [65.51757376525798]
我々は幾何学的機能解析の観点から位置ベース量子暗号(PBQC)について検討し,その量子ゲームとの関係について考察した。私たちが関心を持っている主な質問は、PBQCプロトコルのセキュリティを損なうために、攻撃者の連合が共有しなければならない、最適な絡み合いの量を求めることです。より複雑なバナッハ空間の型プロパティの理解は、仮定を捨て、我々のプロトコルを攻撃するのに使用されるリソースに条件のない低い境界をもたらすことを示します。
論文参考訳（メタデータ） (2021-03-30T13:55:11Z)
On Distributed Differential Privacy and Counting Distinct Elements [52.701425652208734]
我々は、$n$ユーザのそれぞれが離散集合から要素を保持する設定について研究する。目標は、すべてのユーザーに対して異なる要素の数を数えることだ。
論文参考訳（メタデータ） (2020-09-21T04:13:34Z)
Quantum Differentially Private Sparse Regression Learning [132.1981461292324]
我々は、スパース回帰問題を解くために、効率的な量子微分プライベート(QDP)ラッソ推定器を考案する。最後に、QDP Lasso はプライバシー保証付きで $tildeO(N-2/3)$ に近い最適ユーティリティを実現していることを示す。
論文参考訳（メタデータ） (2020-07-23T10:50:42Z)
Capacity of Quantum Private Information Retrieval with Colluding Servers [71.78056556634196]
量子プライベート情報検索(Quantum Private Information Search、QPIR)は、ユーザーが非通信サーバから複数のファイルの1つを検索するプロトコルである。より強力なセキュリティ要件を持つQPIRの変種として、対称QPIRは、ターゲットファイル以外のファイルがユーザにリークされないプロトコルである。安定化器の定式化によりキャパシティを実現するQPIRプロトコルを構築し,このプロトコルの最適性を証明する。
論文参考訳（メタデータ） (2020-01-13T18:12:20Z)

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