論文の概要: Self-Verifying Measurement Records: Hash-Linked Evidence Graphs for Hardware Benchmarking
- arxiv url: http://arxiv.org/abs/2606.27934v1
- Date: Fri, 26 Jun 2026 10:26:50 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-29 18:24:25.452891
- Title: Self-Verifying Measurement Records: Hash-Linked Evidence Graphs for Hardware Benchmarking
- Title（参考訳）: 自己検証計測記録:ハードウェアベンチマークのためのハッシュリンクエビデンスグラフ
- Abstract要約: 報告されたハードウェア計測を,未確認かつ独立にチェック可能な記録として作成する。
テキスト、テーブル、図形の各量は、その内容のハッシュによって、その背後にある観察と検証に拘束される。
行列積は、浮動小数点誤り解析から導かれる寛容の下で、O(k n2) の確率的同一性(フレブラルド)によって検証される。
- 参考スコア（独自算出の注目度）: 0.2864713389096699
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Performance numbers reported for hardware are accepted on trust: the reader cannot recompute them, the apparatus is gone, and the silicon itself can be silently wrong, with fleet studies reporting on the order of one core in a thousand returning incorrect arithmetic with no error raised. We make a reported hardware measurement a tamper-evident, independently checkable record. Every quantity in the text, a table, or a figure is bound, by its content hash, to the observation and the verification behind it; the whole is a hash-linked, append-only structure (a transparency log for measurement) that a verifier audits offline without trusting its producer. Matrix products are verified by a probabilistic identity (Freivalds) at O(k n^2) cost under a tolerance we derive from floating-point error analysis and calibrate to the device's own measured residual floor, so a wrong product is rejected with probability 1 - 2^(-k); quantities with no such identity carry an algebraic checksum and a measured reproducibility class. We then treat the check itself as a security object: a probe seed committed for offline reproducibility is an attack surface, and a probe-aware adversary can hide a corruption in the probe's null space, fooling even a quorum of bit-identical witnesses, while a Fiat-Shamir challenge derived from the claimed output closes this. Driving the device from an unprivileged tenant's reach, with a di/dt power virus and a thermal soak, neither moves the calibrated tolerance nor produces a silent error, placing the physical-fault threat at the rare defective part or the privileged attacker and marking the boundary at which the record must compose with a hardware root of trust. We demonstrate the construction across Blackwell and Hopper GPUs and report a residual-floor and reproducibility map by precision, size, and device.
- Abstract（参考訳）: ハードウェアに報告された性能数値は信頼で受け入れられる: 読み手はそれらを再計算できず、装置は無くなり、シリコン自体が無声で誤りを犯す可能性がある。
報告されたハードウェア計測を,未確認かつ独立にチェック可能な記録として作成する。
テキスト、テーブル、図形の各量は、その内容のハッシュと、その背後にある観察と検証に結びついている; 全体としては、検証者がプロデューサーを信頼せずにオフラインで監査するハッシュリンク付き追加専用構造(測定のための透明性ログ)である。
行列積は、浮動小数点誤差解析から導かれる耐性の下で、O(k n^2) の確率的同一性(Freivalds)によって検証され、デバイスが測定した残差フロアに校正されるので、確率 1 - 2^(-k) で間違った積が拒否される。
オフラインの再現性のためにコミットされたプローブシードは攻撃面であり、プローブを意識した敵は、プローブのヌル空間に汚職を隠蔽し、ビット識別された証人のクォーラムさえも騙すことができる。
ディ/dtパワーウイルスとサーマルソークにより、未所有のテナントのリーチからデバイスを駆動し、校正された耐性を動かさず、サイレントエラーを発生せず、稀な欠陥部分または特権的攻撃者に物理的フォールト脅威を配置し、記録がハードウェアの信頼の根で構成しなければならない境界をマークする。
我々は,Blackwell と Hopper GPU にまたがる構成を実証し,精度,サイズ,デバイスによる残差フロアと再現性マップを報告する。
関連論文リスト
- Watermarks Without Verification: AI Text Watermarking After the EU AI Act [49.51124343181601]
EU AI法第50条では、生成可能なAIプロバイダに対して、システムが生成したコンテンツをマークし、AI生成として検出することを要求している。
Anthropicは、その日後にリリースされたすべてのClaudeモデルが、すべての生成されたテキストにSynthID-Textに基づく透かしを埋め込んでいることを公表した。
我々は、現在、異議や保証は確認できないし、この不信は、それ自体を透かしではなく、実質的なガバナンスの失敗であると論じている。
論文 参考訳（メタデータ） (2026-09-09T01:56:17Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - Fidelity Is Not Enough: Dispatch-Level Instrumentation for Agentic Datasheet Extraction [6.419341495897254]
3つのコンポーネントに対して25のハンドキュレートされたクレームのエージェントベンチマークで、すべてのツールコールをログします。
ルールベースの障害帰属分類器と、2つのルールがどのツールが呼び出されたかのみをチェックするサイレント障害検出器の2つを構築しました。
論文 参考訳（メタデータ） (2026-08-28T15:25:12Z) - Confidently Wrong, Silently So: Auditing Undetectable Failures of a Deployed On-Device Language Model [0.038379177968040606]
本稿では、開発者が利用できるオンデバイス基盤モデルの再現可能な信頼性監査について述べる。
Emphtask-asymmetric miscalibration: そのガードレールはタスク間で反対方向に失敗する。
我々は,モデルに依存しない監査プロトコル,表面識別性テスト,およびデプロイされたモデルの監査のための再利用可能なインフラとして,コードと凍結した評価項目をリリースする。
論文 参考訳（メタデータ） (2026-08-24T16:55:09Z) - Tracing Provenance and Detecting Tampering with Complementary LLM Watermarks [68.64050157343334]
既存の透かしは編集の際は残されているが、このような堅牢性は、敵が帰属を維持しながら重要な内容を変更することを可能にする。
実証と改ざんの証拠を共同で提供する革新的な透かしを導入する。
信号は同じメカニズムを共有するが、独立キーと正規化テキスト上の異なるシードウィンドウを使用するため、一方は編集に耐性があり、もう一方は読み取り可能な変更に敏感である。
論文 参考訳（メタデータ） (2026-08-13T01:55:16Z) - Raw-Curve Quantum Fingerprints: A Mahalanobis Authentication Framework with Drift Early Warning and Adversarial Detection [11.819995530903567]
量子クラウドプラットフォームは強力なコンピューティング機能を提供することを目指しているが、ユーザは、どの物理デバイスがワークロードを実行するかを検証する直接的な手段を持っていない。
この透明性の欠如により、悪意のある敵がジョブを代替または劣等なプロセッサにリダイレクトするハードウェア置換攻撃が可能になる。
実測データから多次元量子指紋を構築することにより,この問題に対処する汎用認証フレームワークを提案する。
論文 参考訳（メタデータ） (2026-06-10T04:10:21Z) - Bit-Exact AI Inference Verification Without Performance Tradeoffs [0.0]
カバー敵は、監視された計算において検証不可能な自由度を利用することができる。
現代の推論エンジンが決定論的だが不変ではない出力をいかに生み出すかを分析する。
ビットワイズな再計算は同一ハードウェアへのアクセスを必要としないことを示す。
論文 参考訳（メタデータ） (2026-05-29T19:15:15Z) - Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer [15.327433995073237]
HammerWatchはRowhammer対応の遠隔検定プロトコルで、外部の検証者が、システムがハードウェアによる障害行動を示すかどうかを評価することができる。
商品ハードウェア上でHammerWatchを実装し,20000 の擬似良性および悪意のあるアクセスパターンで評価する。
以上の結果から, 本検証装置は, 保守的活動下での良性手術とRowhammer様の動作を確実に区別できることが示唆された。
論文 参考訳（メタデータ） (2026-03-25T10:42:08Z) - A Label-Free Heterophily-Guided Approach for Unsupervised Graph Fraud Detection [60.09453163562244]
本稿では,非教師付きGFDのための非教師付きグラフ不正検出手法(HUGE)を提案する。
推定モジュールでは、GFD の臨界グラフ特性をキャプチャする HALO と呼ばれる新しいラベルフリーなヘテロフィリー計量を設計する。
アライメントに基づく不正検出モジュールにおいて、ランキング損失と非対称アライメント損失を有する合同GNNアーキテクチャを開発する。
論文 参考訳（メタデータ） (2025-02-18T22:07:36Z) - Fact-Checking the Output of Large Language Models via Token-Level Uncertainty Quantification [116.77055746066375]
大型言語モデル(LLM)は幻覚、すなわちその出力に誤った主張を生じさせることで有名である。
本稿では,トークンレベルの不確実性定量化に基づくファクトチェックと幻覚検出パイプラインを提案する。
論文 参考訳（メタデータ） (2024-03-07T17:44:17Z) - The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural
Networks [94.63547069706459]
#DNN-Verification問題は、DNNの入力構成の数を数えることによって安全性に反する結果となる。
違反の正確な数を返す新しい手法を提案する。
安全クリティカルなベンチマークのセットに関する実験結果を示す。
論文 参考訳（メタデータ） (2023-01-17T18:32:01Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Fault-tolerant parity readout on a shuttling-based trapped-ion quantum
computer [64.47265213752996]
耐故障性ウェイト4パリティチェック測定方式を実験的に実証した。
フラグ条件パリティ測定の単発忠実度は93.2(2)%である。
このスキームは、安定化器量子誤り訂正プロトコルの幅広いクラスにおいて必須な構成要素である。
論文 参考訳（メタデータ） (2021-07-13T20:08:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。