論文の概要: The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence
- arxiv url: http://arxiv.org/abs/2608.17176v1
- Date: Mon, 17 Aug 2026 22:35:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-19 21:40:53.155285
- Title: The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence
- Title（参考訳）: 認識ポイントはシステムである:AI監査証拠のための永続的なポリシー決定レセプト
- Abstract要約: 私たちは、決定論的政策決定を正確なポリシーソースにバインドし、プライバシを最小化するレコードをコミットし、Ed25519に署名されたレシートを返すAIを構築します。
4つのワーカスレッドと2,048バイトのプロンプトを持つApple M4 Proでは、バッファリングされた署名されたエビデンスが27,193リクエスト/秒に達し、141.9マイクロ秒中央のレイテンシを持つ。
プロトタイプは、モデル実行を証明せず、妥協されたシグナーが歴史をフォークしたり、法的適合性を確立したりするのを防ぐ。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: An AI audit record is useful only if its durability and trust boundary are explicit. Returning a guarded decision before any durable write minimizes latency, but it cannot guarantee that evidence survives an immediate crash. We rebuild RuntimeGuard-AI around this constraint. The resulting research prototype binds each deterministic policy decision to the exact policy source, commits a privacy-minimizing record at a caller-selected synchronization boundary, and returns an Ed25519-signed receipt that states whether that boundary completed. After restart, the engine validates framed records, manifests, shard placement, sequence continuity, and replay identity. A separate attestation path groups committed records into chained, signed Merkle epochs that an auditor verifies with an externally obtained key. On an Apple M4 Pro at four worker threads and 2,048-byte prompts, buffered signed evidence reaches 27,193 requests/s with 141.9 microseconds median latency. Per-record data and full synchronization reduce throughput to approximately 242 requests/s and raise median latency to 16.0 ms. Sealing a 100,000-record signed epoch takes 97.0 ms. The result is a measured durability-latency trade-off, not a "free" asynchronous audit path. The prototype does not prove model execution, prevent a compromised signer from forking history, or establish legal conformity.
- Abstract（参考訳）: AI監査記録は、その耐久性と信頼境界が明示されている場合にのみ有用である。
永続的な書き込みの前にガードされた決定を返すとレイテンシが最小になるが、証拠が即時クラッシュに耐えられることは保証できない。
この制約の周りでRuntimeGuard-AIを再構築します。
結果として得られた研究プロトタイプは、決定論的ポリシー決定を正確なポリシーソースにバインドし、呼び出し側が選択した同期境界でプライバシーを最小化するレコードをコミットし、その境界が完了したかどうかを示すEd25519署名のレシートを返す。
再起動後、エンジンはフレーム化されたレコード、マニフェスト、シャード配置、シーケンス連続性、リプレイIDを検証する。
別個の証明パスグループがレコードをチェーン化して署名したメルクルエポック(英語版)にコミットし、監査人が外部から取得したキーで検証する。
4つのワーカスレッドと2,048バイトのプロンプトを持つApple M4 Proでは、バッファリングされた署名されたエビデンスが27,193リクエスト/秒に達し、141.9マイクロ秒中央のレイテンシを持つ。
レコード毎のデータと完全な同期はスループットを約242リクエスト/秒に削減し、中央値のレイテンシを16.0msに引き上げる。10万レコードの署名されたエポックを封入するには97.0msを要する。その結果は、"フリー"非同期監査パスではなく、測定された耐久性とレイテンシのトレードオフである。
プロトタイプは、モデル実行を証明せず、妥協されたシグナーが歴史をフォークしたり、法的適合性を確立したりするのを防ぐ。
関連論文リスト
- You've Got a BUD in Me: Authenticated Reads from Per-Block Write Logs [41.99844472131922]
我々は,各ブロックの書き込みを認証することで,バリデータがどのように過去のメンバシップや排除証明をサポートできるかを示す。
Block Update Digestは、前のポインタが各キーの連続的な変更をリンクする書き込みログをコミットする。
SuperBUDはウィンドウ上で最後の書き込みを要約する。指数的階層は長い一定間隔を短い証明に変換する。
論文 参考訳（メタデータ） (2026-09-10T08:46:09Z) - When Agent Metrics Measure Different Things: An Evidence-Grounded Audit of the Praxa AI Pipeline [0.0]
本稿では,選択したPraxa AI実装ファイル,過去の評価アーティファクト,運用記録の振り返り評価を行う。
139ケースのオフラインルーティングレポートには、112回のパスと27回の障害が含まれている。
記録された99番目のパーセンタイルは2,147,483,647 msであり、サーバが保存したコールのうち38,118.31 msである。
論文 参考訳（メタデータ） (2026-09-10T07:55:12Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap [0.0]
マルチエージェントAIプラットフォームは、ステージングからプロダクションへ素早く移行するが、エージェントが信頼を確立する方法はまだ初歩的だ。
提案から実行システムまで,エージェント間での検証可能なデータ最小化を行う。
32ビットのしきい値述語は6.2msで証明され、608バイトのBulletproofs証明で1.0msで検証される。
論文 参考訳（メタデータ） (2026-08-30T23:16:17Z) - From Traceability to Justifiability: Accountability Structures in Agentic Software Engineering [0.0]
公開資料のみから、AIレコードがクレームを表現できるかどうか、宣言された場所を保持できるかどうかを測定する。
188個の二重グレード細胞で、デフォルトレコードが行動システムのコンテンツアイデンティティを出力するプラットフォームは見つからなかった。
計器は、パイプラインが発行した排気のみからの保証深度を計算し、宣言された深さと比較する。
論文 参考訳（メタデータ） (2026-08-21T16:45:00Z) - $Z^2$-ACT: End-to-End Verifiable Agentic Intent Control for Open 6G RAN [43.15181031994434]
本稿では,ゼロ知識監査制御とゼロ信頼検証エージェントインテントアーキテクチャを提案する。
実大規模言語モデルは、オペレータの意図をIntent Contractsに変換するために、非リアルタイムパスで使用される。
その結果、動作フィルタリングと攻撃レジリエンスを適度なレイテンシとシグナリングコストで改善したことが示唆された。
論文 参考訳（メタデータ） (2026-08-21T12:44:03Z) - SynthGuard-ReleaseBench: Locked-Audit Evidence for Synthetic Tabular Data Releases [0.0]
SynthGuard-ReleaseBenchは、評価の前に使用、候補パネル、許容度、監査スケジュールをロックする監査フレームワークである。
保護されたデータ上で、実際のトレーニングと合成トレーニングを比較し、損失ギャップの有限サンプル境界を同時に与え、コントロールを必要とし、実用性と経験的なプライバシーリスクメカニズムを分離する。
論文 参考訳（メタデータ） (2026-08-14T03:12:17Z) - From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。
生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。
本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-05T13:37:38Z) - Prediction Is Not Memory: Dual-Timescale Gated Profile Writing for Persistent User Modeling [0.0]
永続的なユーザプロファイルは、リコメンデータシステムにおける再利用可能なメモリとしてますます役立っている。
我々はこの境界を選択的プロファイル書き込み制御として定式化する。
コントローラをSPW-Gate, 長期的, 短期的, 候補となるドリフト機能を用いたライトライトリスクゲートとしてインスタンス化する。
論文 参考訳（メタデータ） (2026-07-03T14:49:15Z) - Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。
観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
論文 参考訳（メタデータ） (2026-05-18T07:52:13Z) - Affordance Agent Harness: Verification-Gated Skill Orchestration [45.231685718099264]
Affordance groundingは、オープンワールドのシーンでエージェントがどこでどのように対話すべきかを特定する必要がある。
本稿では,エビデンスストアとコストコントロールを備えたクローズドループランタイムであるAffordance Agent Harnessを提案する。
論文 参考訳（メタデータ） (2026-05-01T13:45:16Z) - Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling [0.0]
言語モデルエージェントを結合することで、ポリシーに準拠したメッセージの調整を表面レベルで隠蔽することができる。
生成と受け入れを分離するプロトコルであるCLBCを提案する。
このプロトコルは、遅延リークと明示的な残留チャネルの観点から、転写リークの上限をいかに高めるかを示す。
論文 参考訳（メタデータ） (2026-02-27T23:42:37Z) - interwhen: A Generalizable Framework for Verifiable Reasoning with Test-time Monitors [47.363850513075356]
実験時間検証フレームワークであるInterwhenを提案し, 与えられた検証結果に対して, 推論モデルの出力が有効であることを保証する。
検証された推論は、物理的な世界にエージェントを配置するといった高度なシナリオにおいて重要な目標である。
論文 参考訳（メタデータ） (2026-02-05T08:35:01Z) - FIRE: Fact-checking with Iterative Retrieval and Verification [63.67320352038525]
FIREはエビデンス検索とクレーム検証を反復的に統合する新しいフレームワークである。
大きな言語モデル(LLM)のコストを平均7.6倍、検索コストを16.5倍削減しながら、パフォーマンスが若干向上している。
これらの結果から,FIREは大規模ファクトチェック業務における適用を約束していることが明らかとなった。
論文 参考訳（メタデータ） (2024-10-17T06:44:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。