論文の概要: Verifiable Random Sampling
- arxiv url: http://arxiv.org/abs/2607.26734v1
- Date: Wed, 29 Jul 2026 10:27:08 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-30 21:06:25.625586
- Title: Verifiable Random Sampling
- Title（参考訳）: 検証可能なランダムサンプリング
- Authors: Yeoh Wei Zhu, Soorya Rethinasamy, Anthony Alexiades Armenakas, Yash Satsangi, Shaltiel Eloul, Ruslan Shaydulin,
- Abstract要約: 検証可能なランダム関数(VRF)は、与えられた入力に対して疑似乱数関数の公に検証可能な評価を必要とする幅広いアプリケーションを支える。
検証可能なランダムサンプリング(VRS)の形式的概念を導入する。
VRSは、検証者の最終的な出力が指定されたターゲット分布に統計的に近いサンプルであるマルチパーティプロトコルをサポートしている。
- 参考スコア（独自算出の注目度）: 0.6085546687631446
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Verifiable random functions (VRF) underpin a wide range of applications that require publicly verifiable evaluations of a pseudorandom function on a given input. However, once the public key is published, the induced function is fixed and is a deterministic function of the input. This determinism can enable collusion and grinding-style attacks in which adversaries precompute and selectively exploit favorable input-output pairs. To address these limitations, we introduce the formal notion of verifiable random sampling (VRS). We propose a concrete VRS construction based on random quantum circuit sampling (RCS) executable on today's quantum computing devices. VRS supports multiparty protocols in which the verifier's final output is a sample that is statistically close to a specified target distribution, while remaining publicly verifiable. We model the construction and prove its security within the constructive cryptography (CC) framework, thereby ensuring composability with other cryptographic protocols. Overall, our results provide a mechanism for verifiable random sampling that simultaneously guarantees sample freshness and public verifiability, enabling applications that require unpredictable, fresh randomness while preserving fairness through public verifiability.
- Abstract（参考訳）: 検証可能なランダム関数(VRF)は、与えられた入力に対して疑似乱数関数の公に検証可能な評価を必要とする幅広いアプリケーションを支える。
しかし、公開鍵が発行されると、誘導関数は固定され、入力の確定関数となる。
この決定論は、敵が優先的に計算し、好適な入出力ペアを選択的に活用する、共謀や研削のような攻撃を可能にする。
これらの制約に対処するために、検証可能なランダムサンプリング(VRS)という形式的概念を導入する。
本稿では,今日の量子コンピューティングデバイス上で実行可能なランダム量子回路サンプリング(RCS)に基づく具体的なVRS構築を提案する。
VRSは、検証者の最終的な出力が指定されたターゲット分布に統計的に近いサンプルであり、公的な検証が可能なマルチパーティプロトコルをサポートしている。
我々は、構築暗号(CC)フレームワーク内での構成をモデル化し、その安全性を証明し、他の暗号プロトコルとのコンポーザビリティを確保する。
全体として,本研究は,サンプルの鮮度と公衆の妥当性を同時に保証し,不予測,新鮮なランダム性を必要とするアプリケーションに対して,公衆の妥当性による公正性を維持しながら,検証可能なランダムサンプリングのメカニズムを提供する。
関連論文リスト
- Continuous-Variable Source-Independent Quantum Random Number Generation with General POVMs [9.797328475012575]
連続変数のソース非依存な量子乱数生成器は、半デバイス非依存プロトコルの中で最も高い生成率を提供する。
本稿では, 一般の無限次元の正演算値に適合する厳密なセキュリティ証明フレームワークを提案する。
提案手法を真空および弱コヒーレント状態を用いた光学プラットフォーム上で実験的に検証し,試料当たり1.11ビットの安全なランダム性抽出を実現する。
論文 参考訳（メタデータ） (2026-06-30T01:48:49Z) - Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference [3.3323431541048385]
完全証明を軽量なサンプリングベースアプローチで置き換える検証フレームワークとプロトコルを提案する。
我々は,機能的に異なるモデル間のトレース分離を活用可能な条件を定式化し,検証可能な推論プロトコルの安全性について議論する。
我々の手法は、最先端の暗号証明システムと比較して、証明時間を桁違いに削減する。
論文 参考訳（メタデータ） (2026-03-19T15:24:27Z) - COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees [51.5976496056012]
COINは、統計的に有効な閾値を校正し、質問毎に1つの生成された回答をフィルタリングする不確実性保護選択フレームワークである。
COINはキャリブレーションセット上で経験的誤差率を推定し、信頼区間法を適用して真誤差率に高い確率上界を確立する。
リスク管理におけるCOINの堅牢性,許容回答を維持するための強いテストタイムパワー,キャリブレーションデータによる予測効率を実証する。
論文 参考訳（メタデータ） (2025-06-25T07:04:49Z) - Improvements on Device Independent and Semi-Device Independent Protocols
of Randomness Expansion [0.0]
デバイス独立性(DI)およびセミデバイス独立性(セミデバイス独立性)プロトコルについて論じる。
出力ランダムネス率、セキュリティ、場合によってはその両方で既存のプロトコルを超える拡張DIと半DIプロトコルを導入します。
注目すべき貢献は、CHSH不等式違反に基づくDIプロトコルの有限ラウンドランダム化率を大幅に向上させる、入力ランダム化をリサイクルするランダム性拡張プロトコルの導入である。
論文 参考訳（メタデータ） (2023-11-22T17:03:04Z) - A privacy-preserving publicly verifiable quantum random number generator [48.7576911714538]
本稿では,ランダムビットのプライバシを損なうことなく,第三者が統計的テストを行うことのできる絡み合いベースのプロトコルの実装について報告する。
コンピューティングパワーの制限は、エンドユーザーによるそのような検証の能力を制限する可能性がある。
論文 参考訳（メタデータ） (2023-05-18T12:13:48Z) - Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal
Abstractions [59.605246463200736]
雑音分布の明示的な表現に依存しない新しい制御器合成法を提案する。
まず、連続制御系を有限状態モデルに抽象化し、離散状態間の確率的遷移によってノイズを捕捉する。
我々は最先端の検証技術を用いてマルコフ決定プロセスの間隔を保証し、これらの保証が元の制御システムに受け継がれるコントローラを演算する。
論文 参考訳（メタデータ） (2023-01-04T10:40:30Z) - Testing randomness of series generated in Bell's experiment [62.997667081978825]
おもちゃの光ファイバーをベースとしたセットアップを用いてバイナリシリーズを生成し、そのランダム度をVilleの原理に従って評価する。
標準統計指標の電池、ハースト、コルモゴロフ複雑性、最小エントロピー、埋め込みのTakensarity次元、および拡張ディッキー・フラーとクワイアトコフスキー・フィリップス・シュミット・シン(英語版)でテストされ、ステーション指数をチェックする。
Toeplitz 抽出器を不規則級数に適用することにより得られる系列のランダム性のレベルは、非還元原料のレベルと区別できない。
論文 参考訳（メタデータ） (2022-08-31T17:39:29Z) - Error-based Knockoffs Inference for Controlled Feature Selection [49.99321384855201]
本手法では, ノックオフ特徴量, エラーベース特徴重要度統計量, ステップダウン手順を一体化して, エラーベースのノックオフ推定手法を提案する。
提案手法では回帰モデルを指定する必要はなく,理論的保証で特徴選択を処理できる。
論文 参考訳（メタデータ） (2022-03-09T01:55:59Z) - Certified Random Number Generation from Quantum Steering [1.0820909926464386]
非局所性を利用してデバイスへの信頼をなくすための認証ランダム性プロトコルが開発されている。
ここでは、量子ステアリングシナリオで動作するプロトコルを実装するために、フォトニックプラットフォームを使用します。
提案手法は,公あるいは私的ランダムネスのステアリングに基づくジェネレータと,検出ループを閉じた第1世代のランダムビットに対するアプローチを示す。
論文 参考訳（メタデータ） (2021-11-18T03:49:43Z) - Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise [59.47042225257565]
雑音分布の明示的な表現に依存しない新しい計画法を提案する。
まず、連続系を離散状態モデルに抽象化し、状態間の確率的遷移によってノイズを捕捉する。
いわゆる区間マルコフ決定過程(iMDP)の遷移確率区間におけるこれらの境界を捉える。
論文 参考訳（メタデータ） (2021-10-25T06:18:55Z) - Certified Randomness From Steering Using Sequential Measurements [0.0]
単一の絡み合った2ビットの純粋状態は、任意の量の証明されたランダム性を生成するために使用できる。
デバイスに依存しない環境でのこれらの困難に感銘を受け、一方的なデバイス独立のシナリオを考察する。
このシナリオに先行する作業の特定の側面が適用可能であることを示し、証明可能なランダム性の量に関する理論的境界を提供する。
論文 参考訳（メタデータ） (2020-08-03T08:18:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。