論文の概要: Private Proofs of When and Where
- arxiv url: http://arxiv.org/abs/2601.18961v1
- Date: Mon, 26 Jan 2026 21:01:18 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-01-28 15:26:51.069854
- Title: Private Proofs of When and Where
- Title（参考訳）: 自己証明の時期と場所
- Authors: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen,
- Abstract要約: 位置検証を2つの方法で一般化するゼロ知識位置検証の概念を導入する。
標準位置検証とポスト量子片道関数からゼロ知識位置検証を構築する。
- 参考スコア（独自算出の注目度）: 3.1333015317129145
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Position verification schemes are interactive protocols where entities prove their physical location to others; this enables interactive proofs for statements of the form "I am at a location $L$." Although secure position verification cannot be achieved with classical protocols (even with computational assumptions), they are feasible with quantum protocols. In this paper we introduce the notion of zero-knowledge position verification, which generalizes position verification in two ways: 1. enabling entities to prove more sophisticated statements about their locations at different times (for example, "I was NOT near location $L$ at noon yesterday"). 2. maintaining privacy for any other detail about their true location besides the statement they are proving. We construct zero-knowledge position verification from standard position verification and post-quantum one-way functions. The central tool in our construction is a primitive we call position commitments, which allow entities to privately commit to their physical position in a particular moment, which is then revealed at some later time.
- Abstract（参考訳）: 位置検証スキームは、実体が他者に対して物理的な位置を証明するインタラクティブなプロトコルであり、「私は位置がL$である」という表現の対話的な証明を可能にする。
セキュアな位置検証は古典的なプロトコルでは達成できないが、量子プロトコルでは実現可能である。
本稿では、ゼロ知識位置検証の概念を紹介し、位置検証を2つの方法で一般化する: 1. 実体がそれぞれの位置についてより洗練された言明を異なるタイミングで証明できるようにする(例えば、昨日正午に$L$の近くでは居なかった)。
2. 証明している声明以外に、真の位置に関するその他の詳細については、プライバシーを維持すること。
標準位置検証とポスト量子片道関数からゼロ知識位置検証を構築する。
私たちの構築における中心的なツールは、位置コミットメントと呼ばれるプリミティブで、エンティティが特定の瞬間に物理的位置をプライベートにコミットすることを可能にする。
関連論文リスト
- A Privacy-Preserving Localization Scheme with Node Selection in Mobile Networks [48.845334743016345]
PPLZNは、クラウドソースのローカライゼーションにおいて、ターゲットノードとアンカーノードの両方の位置プライバシーを保護する。
位置リークなしで正確な位置推定を達成でき、位置決め精度と通信オーバーヘッドの両方において最先端のアプローチより優れている。
論文 参考訳（メタデータ） (2026-01-07T12:48:45Z) - Local perception operators and classicality: new tools for old tests [0.0]
量子非局所性はしばしば、与えられた状態に対するベル型不等式違反によって判断される。
我々はこの問題を、グローバルな観測対象を局所的にアクセス可能な統計量に圧縮する局所認識演算子を通して定式化する。
証人が地域境界と測度幾何学に依存する国家意識の制約にどのように結びつくかを示す。
論文 参考訳（メタデータ） (2025-10-31T23:26:57Z) - A Taxonomy and Methodology for Proof-of-Location Systems [42.222053626544366]
本稿では,PoL(Proof-of-Location)システムの4つの中核領域を同定する分類法を提案する。
次に、アプリケーション固有の要件を適切なPoLアーキテクチャにマッピングする方法論を紹介します。
全体として、この作業はセキュアでスケーラブルで相互運用可能なPoLシステムを構築するための構造化されたアプローチを提供する。
論文 参考訳（メタデータ） (2025-08-19T19:39:05Z) - Mitigate Position Bias in Large Language Models via Scaling a Single Dimension [47.792435921037274]
本稿ではまず,位置バイアスのマイクロレベル表現について考察し,注目重みが位置バイアスのマイクロレベル表現であることを示す。
さらに、位置埋め込みに加えて、因果注意マスクは位置特異的な隠れ状態を作成することによって位置バイアスに寄与する。
これらの知見に基づいて,この位置隠れ状態のスケーリングにより位置バイアスを軽減する手法を提案する。
論文 参考訳（メタデータ） (2024-06-04T17:55:38Z) - The Curious Case of Absolute Position Embeddings [65.13827063579728]
トランスフォーマー言語モデルは、位置情報を用いた単語順序の概念を符号化する。
自然言語では、絶対的な位置ではなく相対的な位置であり、APEがこのような情報を捉えることができる範囲は研究されていない。
我々は, APE を用いて訓練されたモデルが, 位置情報をシフトした文を入力した時点で, 位置情報に基づいて過度に訓練されていることを観察した。
論文 参考訳（メタデータ） (2022-10-23T00:00:04Z) - Efficient verification of arbitrary entangled states with homogeneous
local measurements [0.874274295147112]
量子状態検証(QSV)は、ある量子デバイスが所望の目標状態を生成することを検証するために、局所的な測定に依存するタスクである。
選択非依存測定プロトコルとして開始するものの局所性を考慮し,この問題に対処するための体系的戦略を提案する。
標準パウリプロジェクションを用いてプロトコル設計の明示的な手順を示し、より優れたQSV戦略を実現するための方法の優位性を実証する。
論文 参考訳（メタデータ） (2022-08-01T18:32:56Z) - Quantum secure direct communication with private dense coding using
general preshared quantum state [59.99354397281036]
我々は、一般化された量子状態と高密度符号化の一般化を用いて、セキュアな直接通信を研究する。
本稿では,具体的なプロトコルを提案し,情報漏洩の上限を導出する。
論文 参考訳（メタデータ） (2021-12-30T16:12:07Z) - Beating Classical Impossibility of Position Verification [5.196590087821413]
古典的検証器を用いた位置検証プロトコルについて検討する。
誤りによる学習の量子硬度を仮定し,古典的に検証可能な位置検証を実現する。
また、1-of-2パズルに対する自然な非局所ゲームに対する1-of-2非局所音性の概念も開発する。
論文 参考訳（メタデータ） (2021-09-15T18:23:15Z) - A single-qubit position verification protocol that is secure against
multi-qubit attacks [2.3857747529378917]
量子資源の最小化は、単一量子ビットの形で、古典的な通信と組み合わせることで、量子敵を阻止するのに十分であることを示す。
より正確には、このプロトコルで使用される古典ビットの数を増やすことで、より多くの絡み合いを使用する敵と戦うことができることを示す。
論文 参考訳（メタデータ） (2021-04-13T15:48:11Z) - PGLP: Customizable and Rigorous Location Privacy through Policy Graph [68.3736286350014]
我々はPGLPと呼ばれる新しい位置プライバシーの概念を提案し、カスタマイズ可能で厳格なプライバシー保証を備えたプライベートロケーションをリリースするためのリッチなインターフェースを提供する。
具体的には,ユーザの位置プライバシー要件を,表現的かつカスタマイズ可能なテキスト配置ポリシーグラフを用いて形式化する。
第3に、位置露光の検出、ポリシーグラフの修復、およびカスタマイズ可能な厳格な位置プライバシーを備えたプライベートな軌跡リリースをパイプライン化する、プライベートな位置トレースリリースフレームワークを設計する。
論文 参考訳（メタデータ） (2020-05-04T04:25:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。