論文の概要: Robust and leakage-resilient device-independent oblivious transfer in MiniQCrypt

• arxiv url: http://arxiv.org/abs/2610.01421v2
• Date: Fri, 02 Oct 2026 10:37:54 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-06 00:14:29.99129
• Title: Robust and leakage-resilient device-independent oblivious transfer in MiniQCrypt
• Title（参考訳）: MiniQCryptにおけるロバストおよび耐リーク性デバイス非依存の可視光伝達
• Abstract要約: デバイス非依存型オブリバスト転送(DI)とビットコミットメントプロトコルを構築した。 正直な当事者は 古典的な計算を使って 静的な量子汚職を 処理している OTはセキュアな計算のために完全であるため、構成はDIプロトコルを生成する。
• 参考スコア（独自算出の注目度）: 7.379655501370348
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Assuming post-quantum one-way functions, we construct device-independent (DI) oblivious transfer (OT) and bit commitment: honest parties use only trusted classical computation to operate untrusted quantum devices, which may share arbitrary entanglement and behave non-IID. Security is simulation-based against quantum polynomial-time adversaries and composes sequentially with efficient simulators. One protocol skeleton serves both, in two regimes. With isolated laboratories and coordinate-local measurements in the honest receiver's device, it tolerates a constant rate of honest-device faults. With polylogarithmically many qubits of adaptive leakage between the laboratories and arbitrary joint measurements, it tolerates an inverse-polylogarithmic rate. Each elementary DI call uses a fresh, isolated batch of polylogarithmically many device coordinates, and total device use in the compiled OT protocol is polynomial. The commitment has efficient simulators against both parties and yields DI coin tossing with abort. Because OT is complete for secure computation, the construction yields a DI protocol, with abort, for every efficiently computable classical functionality on a fixed number of parties, secure against static corruption of any proper subset of them. The commitment's extractor changes a public parity relation through classical equivocation and leaves the device execution, hence its leakage, unchanged. A commit-and-prove functionality, disjoint audits, and an affine consistency check link the certified correlations to ideal OT. Sender security rests on a selector-aware parallel-repetition bound for the Magic Square game, which we derive from the two-round threshold theorem of Kundu and Tan.
• Abstract（参考訳）: 正直な当事者は信頼できない量子デバイスを操作するために古典的計算しか使わず、任意の絡み合いを共有し、非IIDで振る舞うことができる。 セキュリティは、量子多項式時間逆数に対してシミュレーションベースであり、効率的なシミュレータで逐次構成する。 1つのプロトコルスケルトンは2つのレシエーションで両方に機能する。 分離された実験室と、正統な受信機の装置における座標局所測定により、正統なデバイス故障の一定率を許容する。 実験室間での適応的なリークと任意の関節測定の多元対数で、逆多元対数率を許容する。 各基本DIコールは、新たに分離された多くのデバイス座標を用いており、コンパイルされたOTプロトコルで使用されるデバイス総数は多項式である。 このコミットメントは、双方に対して効率的なシミュレータを持ち、中止と共にDIコインを投げる。 OTはセキュアな計算のために完備しているため、構成は、一定数のパーティで効率的に計算可能な古典的機能に対して、任意の適切なサブセットの静的な破損に対して安全であるように、中断されたDIプロトコルを生成する。 コミットメントの抽出器は、古典的等価性を通じて公開パリティ関係を変更し、デバイスの実行を残して、そのリークは変わらない。 コミット・アンド・プロブ機能、ディスジョイント監査、アフィン一貫性チェックは、認定された相関を理想的なOTにリンクする。 セクダーセキュリティは、マジックスクエアゲームに対するセレクター対応の並列反復に依拠し、クンドゥとタンの2ラウンドのしきい値定理から導かれる。

関連論文リスト

• Arbitrarily Loss-Tolerant Quantum Position Verification in a Single Execution [0.8921166277011348]
  量子位置検証(QPV)は、信頼できない証明者の空間的位置を証明しようとする。 量子位置検証(QPV)は、信頼できない証明者の空間的位置を証明しようとする。
  論文  参考訳（メタデータ） (2026-06-23T18:00:18Z)
• QML-PipeGuard: Drift-Aware Behavioral Fingerprinting for Quantum Machine Learning Pipeline Integrity [0.0]
  量子機械学習の統合性は、規制産業における実践的な関心事である。 両問題に対処するコントラクトベースのフレームワークであるQML-PipeGuardを紹介します。 我々は,IBM Heron r2プロセッサ上の2キュービットVMパイプライン上で,フレームワークをエンドツーエンドに検証する。
  論文  参考訳（メタデータ） (2026-05-24T13:21:41Z)
• ECoLAD: Deployment-Oriented Evaluation for Automotive Time-Series Anomaly Detection [1.7751300245073598]
  時系列異常検出器は、制約のない実行下で、ワークステーションクラスのハードウェアで一般的に比較される。 しかし、車内監視は、限られたCPU並列性の下で予測可能なレイテンシと安定した動作を必要とする。 本稿では,プロプライエタリな自動車テレメトリに関する実証的研究として,デプロイ指向評価プロトコルであるECoLADを提案する。
  論文  参考訳（メタデータ） (2026-03-11T16:08:56Z)
• Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
  生成のための教師なし共形推論フレームワークを提案する。 我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。 その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
  論文  参考訳（メタデータ） (2025-09-26T23:40:47Z)
• Perfectly-Private Analog Secure Aggregation in Federated Learning [51.61616734974475]
  連合学習では、複数のパーティがモデルをローカルにトレーニングし、パラメータを中央サーバと共有する。 本稿では,有限場ではなくトーラスを用いた新しいセキュアパラメータアグリゲーション法を提案する。
  論文  参考訳（メタデータ） (2025-09-10T15:22:40Z)
• A robust and composable device-independent protocol for oblivious transfer using (fully) untrusted quantum devices in the bounded storage model [4.644619667965337]
  本稿では,マジックスクエアデバイスを用いたOtlivious Transfer(OT)のためのデバイス非依存(DI)量子プロトコルを提案する。 DELAYと呼ばれる固定定数(実世界)時間間隔の後、量子状態は完全に解離する。 我々のプロトコルは(ラムダで)正当性とセキュリティ上のエラーを無視でき、NISQ時代に実装できる。
  論文  参考訳（メタデータ） (2024-04-17T11:46:36Z)
• Semi-DETR: Semi-Supervised Object Detection with Detection Transformers [105.45018934087076]
  半教師付き物体検出(SSOD)におけるDETRに基づくフレームワークの解析 本報告では,第1次変圧器を用いたエンド・ツー・エンド半教師対象検出器であるSemi-DETRについて述べる。 我々の手法は、最先端の手法をクリアマージンで上回る。
  論文  参考訳（メタデータ） (2023-07-16T16:32:14Z)
• Fault-tolerant parity readout on a shuttling-based trapped-ion quantum computer [64.47265213752996]
  耐故障性ウェイト4パリティチェック測定方式を実験的に実証した。 フラグ条件パリティ測定の単発忠実度は93.2(2)%である。 このスキームは、安定化器量子誤り訂正プロトコルの幅広いクラスにおいて必須な構成要素である。
  論文  参考訳（メタデータ） (2021-07-13T20:08:04Z)
• Composably secure data processing for Gaussian-modulated continuous variable quantum key distribution [58.720142291102135]
  連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。 構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。 特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
  論文  参考訳（メタデータ） (2021-03-30T18:02:55Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。