論文の概要: Privacy-Preserving Proof of Human Authorship via Zero-Knowledge Process Attestation
- arxiv url: http://arxiv.org/abs/2603.00179v1
- Date: Thu, 26 Feb 2026 20:38:19 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-10 12:53:47.470705
- Title: Privacy-Preserving Proof of Human Authorship via Zero-Knowledge Process Attestation
- Title（参考訳）: Zero-Knowledge Process Attestation によるヒューマンオーサシップのプライバシ保護証明
- Authors: David Condrey,
- Abstract要約: ZK-PoPは、検証者が(a)シーケンシャルな作業関数連鎖が正しく計算されたこと、(b)行動特徴ベクトルがヒトの集団内にあること、(c)コンテンツ進化がインクリメンタルな人間の編集と整合していることを確認することができる構造である。
我々は,ZK-PoPが計算上ゼロ知識であり,計算上は音声であり,セッション間の無リンク性を証明した。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Process attestation verifies human authorship by collecting behavioral biometric evidence, including keystroke dynamics, typing patterns, and editing behavior, during the creative process. However, the very data needed to prove authenticity can reveal intimate details about an author's cognitive state, health conditions, and identity, constituting sensitive biometric data under GDPR Article 9. We resolve this privacy-attestation paradox using zero-knowledge proofs. We present ZK-PoP, a construction that allows a verifier to confirm that (a) sequential work function chains were computed correctly, (b) behavioral feature vectors fall within human population distributions, and (c) content evolution is consistent with incremental human editing, all without learning the underlying behavioral data, exact timing, or intermediate content. Our construction uses Groth16 proofs over arithmetic circuits with Pedersen commitments and Bulletproof range proofs. We prove that ZK-PoP is computationally zero-knowledge, computationally sound, and achieves unlinkability across sessions. Evaluation shows proof generation in under 30 seconds for a 1-hour writing session, with 192-byte proofs verifiable in 8.2 ms, while incurring less than 5% accuracy loss in simulation at practical privacy levels (epsilon >= 1.0) compared to non-private baselines.
- Abstract（参考訳）: プロセス検証は、創造的プロセス中にキーストロークダイナミクス、タイピングパターン、編集行動を含む行動的バイオメトリックな証拠を収集することによって、人間のオーサリングを検証する。
しかし、真正性を証明するために必要なデータは、GDPR 第9条に基づいて、著者の認知状態、健康状態、およびアイデンティティに関する詳細な詳細を明らかにすることができる。
ゼロ知識証明を用いて、このプライバシー証明パラドックスを解決する。
検証者がそれを確認できる構成であるZK-PoPを提案する。
(a)シーケンシャルな作業関数連鎖を正しく計算した。
b)行動特徴ベクトルは人口分布に該当し、
(c)コンテンツ進化は、基礎となる行動データ、正確なタイミング、中間的なコンテンツを学ぶことなく、インクリメンタルな人間の編集と一致します。
我々の構成では、Pedersenのコミットメントを持つ演算回路上のGroth16証明とBulletproof Range proofを用いている。
我々は,ZK-PoPが計算上ゼロ知識であり,計算上は音声であり,セッション間の非リンク性を実現することを証明した。
評価は、1時間の書き込みセッションで30秒未満で、192バイトの証明が8.2ミリ秒で検証され、実際のプライバシレベル(epsilon >= 1.0)でのシミュレーションでは、非プライベートベースラインと比較して5%未満の精度の損失が生じる。
関連論文リスト
- Detecting Cognitive Signatures in Typing Behavior for Non-Intrusive Authorship Verification [0.0]
AI生成テキストの普及により、信頼性の高いオーサシップ検証の必要性が高まっているが、現在のアウトプットベースのメソッドはますます信頼できないものになっている。
通常のタイピングインタフェースは、キーストロークタイミングにおけるリッチな認知的シグネチャ、測定可能なパターンを捉え、実際の構成の計画、翻訳、修正の段階を反映する。
本稿では、既存の書き込みインターフェース内で動作し、プライバシを保護するためにタイミングメタデータのみを収集する非侵入的検証フレームワークを提案する。
論文 参考訳（メタデータ） (2026-02-26T20:02:55Z) - Witnessd: Proof-of-process via Adversarial Collapse [0.0]
我々は、暗号の完全性とプロセスの証明とのギャップに対処する。
本稿では,物理プロセスが単なる署名キーではなく,デジタルアーティファクトを生み出したことを示す,原始的なカテゴリであるProcess-of-Processを紹介した。
Wetnessdは、ジッタシールと検証遅延関数、外部タイムスタンプアンカー、デュアルソースキーストローク検証を組み合わせたアーキテクチャである。
論文 参考訳（メタデータ） (2026-02-02T05:30:21Z) - A Benchmark for Open-Domain Numerical Fact-Checking Enhanced by Claim Decomposition [7.910984819642885]
QuanTemp++は、自然の数値的クレーム、オープンドメインコーパスからなるデータセットであり、各クレームに関する関連する証拠がある。
キークレーム分解パラダイムの検索性能を特徴付ける。
論文 参考訳（メタデータ） (2025-10-24T22:37:13Z) - Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification [0.0]
我々は,機械的検証により数値忠実度を強制するプレゼンテーション層プロトコルであるtextbfProof-Carrying Numbers (PCN) を提案する。
PCNは軽量でモデルに依存しず、既存のアプリケーションにシームレスに統合され、暗号的なコミットメントで拡張できる。
論文 参考訳（メタデータ） (2025-09-08T17:20:16Z) - Reconstructing Trust Embeddings from Siamese Trust Scores: A Direct-Sum Approach with Fixed-Point Semantics [0.0]
本研究では,多くの分散セキュリティフレームワークが公開している1次元シームズ信頼スコアから高次元信頼埋め込みを再構築する逆問題について検討する。
合成ベンチマークのスイートは、ガウスノイズの存在下でも、回収された埋め込みはユークリッドとコサインの計測値によって測定されたデバイス間幾何学を保存することを確認している。
詳細な信頼スコアを公開することで、デバイスと評価モデルの両方に関する潜伏した行動情報が漏洩する可能性がある。
論文 参考訳（メタデータ） (2025-08-02T20:19:22Z) - Benchmarking Fraud Detectors on Private Graph Data [70.4654745317714]
現在、多くの種類の不正は、グラフ上で動く自動検出アルゴリズムによって部分的に管理されている。
データ保有者が不正検知器の開発を第三者にアウトソースしようとするシナリオを考察する。
サードパーティは、不正検出をデータ保持者に送信し、これらのアルゴリズムをプライベートデータセットで評価し、その結果を公表する。
本システムに対する現実的なプライバシ攻撃を提案し,評価結果のみに基づいて個人データの匿名化を可能にする。
論文 参考訳（メタデータ） (2025-07-30T03:20:15Z) - Privacy-Preserving Biometric Verification with Handwritten Random Digit String [49.77172854374479]
手書き認証は、何十年もの間、安定したアイデンティティ認証方法として存在してきた。
しかし、この技術は、署名などの手書きバイオメトリックスに個人情報が組み込まれているため、潜在的なプライバシー侵害のリスクがある。
プライバシ保護による手書き文字の検証にRandom Digit String (RDS) を用いることを提案する。
論文 参考訳（メタデータ） (2025-03-17T03:47:25Z) - Automated Proof Generation for Rust Code via Self-Evolution [69.25795662658356]
私たちは、Rustコードの自動証明生成を可能にする、人書きスニペットの欠如を克服するフレームワークであるSAFEを紹介します。
SAFEは、細調整されたモデルの自己老化能力を訓練するために、多数の合成不正確な証明を再利用する。
我々は、人間の専門家によるベンチマークで52.52%の精度で達成し、GPT-4oのパフォーマンス14.39%を大きく上回った。
論文 参考訳（メタデータ） (2024-10-21T08:15:45Z) - Generating Natural Language Proofs with Verifier-Guided Search [74.9614610172561]
NLProofS (Natural Language Proof Search) を提案する。
NLProofSは仮説に基づいて関連するステップを生成することを学習する。
EntailmentBank と RuleTaker の最先端のパフォーマンスを実現している。
論文 参考訳（メタデータ） (2022-05-25T02:22:30Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。