論文の概要: Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification

• arxiv url: http://arxiv.org/abs/2604.03902v1
• Date: Sun, 05 Apr 2026 00:14:00 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-07 15:49:18.826323
• Title: Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification
• Title（参考訳）: 検索境界確率証明:暗号化された地理検索をゼロ知識検証に結合する
• Authors: Yoshiyuki Ootani,
• Abstract要約: 暗号化された地理検索とゼロ知識の近接証明を組み合わせた位置情報ベースのシステムは、2つのフェーズを独立したものとして扱う。 我々はこのギャップを,検索認可証明(SAP)のセキュリティ概念として定式化する。 証拠証拠が証明の外部に残されている証明外部機構は、法医学的誤帰を防ぐことができないことを示す具体的な監査再連想攻撃を通じて示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Location-based systems that combine encrypted geographic search with zero-knowledge proximity proofs typically treat the two phases as independent. Under an honest-but-curious server, this leaves an authorization provenance gap: once session state is purged, no forensic procedure can attribute a proof to its originating search session, because the proof's public inputs encode no session-identifying information. We formalize this gap as the search-authorized proof (SAP) security notion and show via a concrete audit re-association attack that proof-external mechanisms, where authorization evidence remains outside the proof, cannot prevent forensic misattribution when the same drop parameters recur across sessions. Search-Bound Proximity Proofs (SBPP) realize the SAP requirements without modifying the ZKP circuit: session nonce, Merkle-root result-set commitment, and signed receipt are decomposed into independently auditable components, enabling property-level fault isolation in offline audit. Experiments on synthetic and real-world data (110,776 OpenStreetMap POIs) show sub-millisecond absolute overhead on a 125 ms Groth16 baseline.
• Abstract（参考訳）: 暗号化された地理的検索とゼロ知識の近接証明を組み合わせた位置情報ベースのシステムは、2つのフェーズを独立したものとして扱うのが一般的である。 一度セッション状態が粛清されると、証明の公開入力がセッション識別情報をエンコードしているため、法医学的な手続きは、その証明を元の検索セッションに属性付けできない。 我々は,このギャップを,探索認可証明(SAP)のセキュリティ概念として定式化し,証明・外部機構が証明の外部に残っており,同一のドロップパラメータがセッション間で再帰した場合の法医学的誤帰を防止できないという具体的な監査的再連想攻撃を通じて示す。 Search-Bound Proximity Proofs (SBPP)は、ZKP回路を変更することなくSAP要件を実現する:セッションナンス、メルクルルート結果セットコミット、署名されたレシートは、独立して監査可能なコンポーネントに分解され、オフライン監査においてプロパティレベルの障害分離を可能にする。 合成および実世界のデータ(110,776 OpenStreetMap POIs)の実験では、125msのGroth16ベースライン上で1ミリ秒以下の絶対オーバーヘッドを示す。

関連論文リスト

• AEGIS: From Clues to Verdicts -- Graph-Guided Deep Vulnerability Reasoning via Dialectics and Meta-Auditing [9.271196825503417]
  大きな言語モデル(LLM)は、脆弱性検出にますます採用されているが、その推論は基本的には正しくない。 AEGISは、未解決の投機から、クローズドな事実ベース上の法医学的検証へ、検出をシフトする新しいマルチエージェントフレームワークである。 これは、主要なベースラインと比較して偽陽性率を最大54.40%削減し、1サンプルあたりの平均コストはタスク固有のトレーニングなしで0.09ドルである。
  論文  参考訳（メタデータ） (2026-03-21T04:12:04Z)
• Authenticated Contradictions from Desynchronized Provenance and Watermarking [48.47756819432157]
  この研究は、$textitIntegrity Clash$を形式化し、実証的に実証している。 本稿では,3500枚のテスト画像に対して100%の分類精度を達成し,証明メタデータと透かし検出ステータスを共同評価する層間監査プロトコルを提案する。
  論文  参考訳（メタデータ） (2026-03-02T20:42:12Z)
• Witnessd: Proof-of-process via Adversarial Collapse [0.0]
  我々は、暗号の完全性とプロセスの証明とのギャップに対処する。 本稿では,物理プロセスが単なる署名キーではなく,デジタルアーティファクトを生み出したことを示す,原始的なカテゴリであるProcess-of-Processを紹介した。 Wetnessdは、ジッタシールと検証遅延関数、外部タイムスタンプアンカー、デュアルソースキーストローク検証を組み合わせたアーキテクチャである。
  論文  参考訳（メタデータ） (2026-02-02T05:30:21Z)
• Orchestrating Specialized Agents for Trustworthy Enterprise RAG [8.772844442593975]
  1パスの検索/書き込みパイプラインは、しばしば浅い要約を生成する。 本稿では,線形検索を反復的かつユーザによる調査に置き換えるエージェントフレームワークであるADOREを紹介する。 私たちのコントリビューションは、メモリロック合成、エビデンスカバレッジ誘導実行、セクションパック長文グラウンドティングの3つです。
  論文  参考訳（メタデータ） (2026-01-26T08:48:41Z)
• Feasibility Preservation under Monotone Retrieval Truncation [0.12183405753834557]
  本研究では,構造的観点からの検索について検討し,クエリ応答をトランケーション下で実現可能な問題としてモデル化する。 個々の問合せに対する有限可視性を保証するために, 単調トランケーションが十分であることを示す。 さらに,非単調なトランケーション,非有限生成クエリクラス,純粋にスロットワイズなカバレッジの失敗を示すシャープな反例を示す。
  論文  参考訳（メタデータ） (2026-01-21T18:25:16Z)
• Evidence Tampering and Chain of Custody in Layered Attestations [0.0]
  分散システムにおいて、信頼決定は、遠隔検定によって生成される完全性証明に基づいて行われる。 提案手法は, 証拠が検出されることなく, 証拠を改ざんできる「戦略」を改ざんするだけでなく, 証拠を改ざんするための全ての改ざん機会を識別するアルゴリズムを提案する。 当社の取り組みは,プロトコル設計者が可能な限り最小かつ信頼性の高いコンポーネントの集合に機会を阻害する証拠を減らすことを支援することを目的としています。
  論文  参考訳（メタデータ） (2024-01-31T21:54:53Z)
• Complex Claim Verification with Evidence Retrieved in the Wild [73.19998942259073]
  Webから生の証拠を取り出すことによって,実世界のクレームをチェックするための,最初の完全自動化パイプラインを提示する。 私たちのパイプラインには,クレーム分解,生文書検索,きめ細かい証拠検索,クレーム中心の要約,正確性判定という5つのコンポーネントが含まれています。
  論文  参考訳（メタデータ） (2023-05-19T17:49:19Z)
• GERE: Generative Evidence Retrieval for Fact Verification [57.78768817972026]
  本稿では,ジェネレーション方式で証拠を検索する最初のシステムであるGEREを提案する。 FEVERデータセットの実験結果は、GEREが最先端のベースラインよりも大幅に改善されていることを示している。
  論文  参考訳（メタデータ） (2022-04-12T03:49:35Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• AmbiFC: Fact-Checking Ambiguous Claims with Evidence [57.7091560922174]
  実世界の情報ニーズから10kクレームを抽出したファクトチェックデータセットであるAmbiFCを提示する。 アンビFCの証拠に対する主張を比較する際に,曖昧さから生じる不一致を分析した。 我々は,このあいまいさをソフトラベルで予測するモデルを開発した。
  論文  参考訳（メタデータ） (2021-04-01T17:40:08Z)

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

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