論文の概要: Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines
- arxiv url: http://arxiv.org/abs/2604.04744v1
- Date: Mon, 06 Apr 2026 15:10:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-07 15:49:19.24361
- Title: Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines
- Title(参考訳): VDFに基づくランダムネスビーコンの経済安全--モデル・閾値・設計ガイドライン
- Authors: Zhenhang Shang, Kani Chen,
- Abstract要約: 我々は、VDFベースのランダムネスビーコンの経済的安全のための公式な枠組みを開発する。
提案するVDF遅延の多くは、数秒の順序で、可塑性条件下で経済的に不安定であることを示す。
- 参考スコア(独自算出の注目度): 3.333639687907171
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Randomness beacons based on Verifiable Delay Functions (VDFs) are increasingly proposed for blockchains and distributed systems, promising publicly verifiable delay and bias resistance. Existing analyses, however, treat adversaries purely as cryptographic entities and overlook that real attackers are economically motivated. A VDF may be sequentially secure, yet still vulnerable if a rational adversary can profit by purchasing faster hardware and exploiting reward spikes such as MEV opportunities. We develop a formal framework for economic security of VDF-based randomness beacons. Modeling the attacker as a rational agent facing hardware speedup, operating costs, and stochastic rewards, we cast the attack decision as an optimal-stopping problem and prove that optimal behavior has a monotone threshold structure. This yields tight necessary and sufficient conditions relating delay parameters to adversarial cost and reward distributions. We extend the analysis to grinding, selective abort, and multi-adversary competition, demonstrating how each amplifies effective rewards and increases required delays. Using realistic cloud costs, hardware benchmarks, and MEV data, we show that many proposed VDF delays, on the order of a few seconds, are economically insecure under plausible conditions. We conclude with deployable guidelines and introduce Economically Secure Delay Parameters (ESDPs) to support principled parameter selection in practical systems.
- Abstract(参考訳): 検証遅延関数(VDF)に基づくランダム性ビーコンは、ブロックチェーンや分散システムに対してますます提案されており、公に検証可能な遅延とバイアス耐性を約束している。
しかし、既存の分析では、敵を純粋に暗号的な実体として扱い、実際の攻撃者が経済的に動機づけられていることを見落としている。
VDFは、より高速なハードウェアを購入し、MEVの機会のような報酬スパイクを利用することによって、合理的な敵が利益を得ることができれば、シーケンシャルに安全だが、まだ脆弱である。
我々は、VDFベースのランダムネスビーコンの経済的安全のための公式な枠組みを開発する。
ハードウェアの高速化、運用コスト、確率的報酬に直面する合理的なエージェントとして攻撃者をモデル化し、攻撃決定を最適停止問題とし、最適な動作が単調なしきい値構造を持つことを証明した。
これにより、遅延パラメータと敵のコストと報酬分布に関する厳密で十分な条件が得られる。
分析を研削,選択的中止,多目的競争に拡張し,それぞれが効果的な報酬を増幅し,必要な遅延を増大させる方法を示す。
現実的なクラウドコスト、ハードウェアベンチマーク、MEVデータを用いて、提案されたVDF遅延の多くは、数秒の順序で、妥当な条件下で経済的に不安定であることを示す。
実用システムにおける原則的パラメータ選択を支援するため、デプロイ可能なガイドラインと経済的にセキュアな遅延パラメータ(ESDP)を導入する。
関連論文リスト
- Time Is All It Takes: Spike-Retiming Attacks on Event-Driven Spiking Neural Networks [87.16809558673403]
スパイキングニューラルネットワーク(SNN)は離散スパイクで計算し、時間構造を利用する。
イベント駆動SNNにおけるスパイク数と振幅を保存しながら、既存のスパイクを繰り返すタイミングのみの敵について検討する。
論文 参考訳(メタデータ) (2026-02-03T09:06:53Z) - ReasAlign: Reasoning Enhanced Safety Alignment against Prompt Injection Attack [52.17935054046577]
本稿では、間接的インジェクション攻撃に対する安全性アライメントを改善するためのモデルレベルのソリューションであるReasAlignを提案する。
ReasAlignには、ユーザクエリの分析、競合する命令の検出、ユーザの意図したタスクの継続性を維持するための構造化された推論ステップが組み込まれている。
論文 参考訳(メタデータ) (2026-01-15T08:23:38Z) - Optimistic TEE-Rollups: A Hybrid Architecture for Scalable and Verifiable Generative AI Inference on Blockchain [4.254924788681319]
我々は制約を調和させるハイブリッド検証プロトコルであるOptimistic TEE-Rollups (OTR)を紹介する。
OTRは集中ベースラインのスループットの99%を達成している。
論文 参考訳(メタデータ) (2025-12-23T09:16:41Z) - Towards Explainable and Reliable AI in Finance [2.666791490663749]
ファイナンスにおける説明可能で信頼性の高いAIへのいくつかのアプローチを提案する。
予測性能と信頼性推定とルールベースの推論を統合することで、我々のフレームワークは透明で監査可能な金融AIシステムを発展させる。
論文 参考訳(メタデータ) (2025-10-30T11:05:15Z) - MISLEADER: Defending against Model Extraction with Ensembles of Distilled Models [56.09354775405601]
モデル抽出攻撃は、クエリアクセスを通じてブラックボックスモデルの機能を複製することを目的としている。
既存のディフェンスでは、アタッカークエリにはオフ・オブ・ディストリビューション(OOD)サンプルがあることを前提としており、不審な入力を検出し破壊することができる。
OOD仮定に依存しない新しい防衛戦略であるMISLEADERを提案する。
論文 参考訳(メタデータ) (2025-06-03T01:37:09Z) - Jailbreaking as a Reward Misspecification Problem [80.52431374743998]
本稿では,この脆弱性をアライメントプロセス中に不特定性に対処する新たな視点を提案する。
本稿では,報酬の相違の程度を定量化し,その有効性を実証する指標ReGapを紹介する。
ReMissは、報酬ミスの空間で敵のプロンプトを生成する自動レッドチームリングシステムである。
論文 参考訳(メタデータ) (2024-06-20T15:12:27Z) - PuriDefense: Randomized Local Implicit Adversarial Purification for Defending Black-box Query-based Attacks [17.613736258543096]
ブラックボックスクエリベースの攻撃は機械学習・アズ・ア・サービス(ML)システムに脅威を与える。
低レベルの推論コストで軽量な浄化モデルのアンサンブルでランダムなパッチワイズ処理を施した効率的な防御機構であるPuriDefenseを提案する。
我々の理論的分析は、ランダム性を浄化に組み込むことで、クエリベースの攻撃の収束を遅くすることを示唆している。
論文 参考訳(メタデータ) (2024-01-19T09:54:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。