論文の概要: Too Late to Slash: Coordinating a Risk-Free Equivocation Attack
- arxiv url: http://arxiv.org/abs/2609.30509v1
- Date: Thu, 24 Sep 2026 19:51:41 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 18:27:51.126106
- Title: Too Late to Slash: Coordinating a Risk-Free Equivocation Attack
- Title（参考訳）: スラッシュまで遅すぎる - リスクフリーのエクイティ攻撃の調整
- Abstract要約: 我々は、切り下げだけでは、債券価値に比例する経済の安全を保証できないことを示す。
これらの発見は、独立執行を伴う金融システムから引き出された過度に単純化された議論ではなく、スラッシュのセキュリティに関する公式な分析を呼び起こした。
- 参考スコア（独自算出の注目度）: 3.953304476953445
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Slashing is commonly argued to secure proof-of-stake blockchains by confiscating the stake of misbehaving validators. The usual justification is that, without slashing, validators can solicit an equivocation attack by signing conflicting blocks: if enough others join, the attack succeeds; otherwise, the attempt incurs no loss. Slashing is intended to make such attempts costly and thereby guarantee the security of applications whose economic value is comparable to the bonded stake. This rationale, however, rests on heuristic arguments rather than a formal game-theoretic guarantee. We challenge this rationale by constructing a risk-free coordination protocol for rational validators under algorithmic slashing. We show that the prescribed strategy profile, in which rational validators solicit other validators to equivocate, constitutes an ex post Nash equilibrium, even when validators do not know in advance how many others will participate. The equilibrium holds for any gain $ε>0$ from successful equivocation, however small relative to the bonded stake. Thus, slashing alone does not guarantee economic security proportional to the value of bonded stake. Our results expose a fundamental limitation of algorithmic slashing. Whereas conventional collateral arrangements in many real-world scenarios can rely on external enforcement, for example through courts, algorithmic slashing depends on the same consensus process that the attackers control. These findings call for a formal analysis of slashing's security, rather than overly simplistic arguments drawn from financial systems with independent enforcement.
- Abstract（参考訳）: Slashingは一般的に、不正行為のバリデーターの持ち分を没収することで、ブロックチェーンの証明を確実にする、と主張されている。
通常の正当性は、バリケーターがスラッシュなしで、競合するブロックに署名することで、公平な攻撃を誘致できるということである。
Slashingは、こうした試みをコスト的に行うことを目的としており、それによって、経済的価値が債券に匹敵するアプリケーションのセキュリティを保証する。
しかし、この理性は形式的なゲーム理論の保証というよりも、ヒューリスティックな議論にかかっている。
我々は,アルゴリズムによる切り抜きの下で,合理的なバリデータに対するリスクフリー協調プロトコルを構築することで,この論理に挑戦する。
有理検証者が他のバリデータに同調を要請する所定戦略プロファイルが,前もって何人が参加するかを知らない場合でも,ナッシュ均衡を成立させることを示す。
平衡は、任意の利得$ε>0$に対して、成功した均衡から成り立つが、結合された持株に対して小さい。
したがって、切り下げだけでは、債券価値に比例する経済保障は保証されない。
この結果から,アルゴリズムスラッシュの基本的な限界が明らかになった。
多くの現実世界のシナリオにおける従来の傍観的アレンジメントは、例えば裁判所を通じて外部の執行に依存するが、アルゴリズムによるスラッシュは、攻撃者が制御するのと同じコンセンサスプロセスに依存する。
これらの発見は、独立執行を伴う金融システムから引き出された過度に単純化された議論ではなく、スラッシュのセキュリティに関する公式な分析を呼び起こした。
関連論文リスト
- Compute-Bounded Security Assurance - Coverage, Verification, and Response under Resource Constraints [0.0]
追加の推論計算は、正しく解決されたセキュリティ保証タスクの数を増やすことができる。
我々は、成功、ユニークなカバレッジ、承認された証拠、運用上の保護を分離するリソース制約のあるフレームワークを開発する。
概念的防御アーキテクチャは、証拠分析、判断、運用権限を分離する。
論文 参考訳（メタデータ） (2026-09-07T13:07:55Z) - Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic [2.2889059978882624]
我々は,有限コストの同時ゲーム構造に対して有界な有理DY侵入に対して決定可能であることを証明した。
いくつかのプロトコルはDY非セキュアだが合理的に安全であり、計算可能なしきい値によって分離される。
論文 参考訳（メタデータ） (2026-08-24T08:19:26Z) - Agents That Certify Their Own Exploits: Confidence-Scheduled Restricted Responses for Safe Opponent Exploitation [38.06569764716213]
我々は,Emphbudget-Constrained confidence-scheduled limited response (CS-RNR)を導入する。
CS-RNRは、安全保証がエージェントが実際に展開する戦略に基づいて計算する証明書である最初の相手探索方式である。
論文 参考訳（メタデータ） (2026-07-30T16:57:57Z) - Adversarial procurement in blockchains [2.7433496624899383]
新たなブロックチェーンプロトコル設計パターンは、タスクの実行と検証における計算作業の非対称性を活用する。
我々はこれをメカニズム設計の質問として定式化する。
最適プロトコルの喪失は、ネットワークの逆数でスケールアップされた生活障害のコストで対数的にスケールすることを示す。
論文 参考訳（メタデータ） (2026-05-07T01:08:10Z) - TwinGate: Stateful Defense against Decompositional Jailbreaks in Untraceable Traffic via Asymmetric Contrastive Learning [60.68349524623048]
分解されたジェイルブレイクは、大きな言語モデルにとって重大な脅威となる。
我々はステートフルなデュアルエンコーダ防御フレームワークであるTwinGateを紹介する。
我々は、8600の異なる悪意のある意図にまたがる360万以上の命令の包括的なデータセットを構築した。
論文 参考訳（メタデータ） (2026-04-30T13:44:01Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - A Coin Flip for Safety: LLM Judges Fail to Reliably Measure Adversarial Robustness [57.510025257780306]
既存の検証プロトコルは、レッドチーム固有の分散シフトを考慮できないことを示す。
我々は、より一貫して判断可能な振る舞いのベンチマークであるReliableBenchと、判断失敗を公開するために設計されたデータセットであるJiceStressTestを提案する。
論文 参考訳（メタデータ） (2026-02-04T15:13:35Z) - A Formal Refutation of the Blockchain Trilemma [0.0]
いわゆるブロックチェーントリレンマは、単一のブロックチェーンプロトコル内でスケーラビリティ、セキュリティ、分散化を同時に達成できない、と主張する。
我々は、トリレンマがカテゴリー誤差を構成し、異なる分析領域を混同し、証明できない因果仮定に依存していると主張している。
ブロックチェーンプロトコルは、非バウンダリトランザクションスループット、逆負荷下の暗号化セキュリティ、マルチパス分散伝搬を示す。
論文 参考訳（メタデータ） (2025-07-08T09:29:09Z) - Sequential Manipulation Against Rank Aggregation: Theory and Algorithm [119.57122943187086]
脆弱なデータ収集プロセスに対するオンライン攻撃を活用します。
ゲーム理論の観点からは、対決シナリオは分布的に堅牢なゲームとして定式化される。
提案手法は,ランクアグリゲーション手法の結果を逐次的に操作する。
論文 参考訳（メタデータ） (2024-07-02T03:31:21Z) - From Mean to Extreme: Formal Differential Privacy Bounds on the Success of Real-World Data Reconstruction Attacks [54.25638567385662]
機械学習における微分プライバシーは、しばしばメンバーシップ推論に対する保証として解釈される。
DP予算を定量的な保護に翻訳することで、データ再構築の脅威を悪化させることは、依然として困難な課題である。
本稿では、実証された"ゼロスクラッチ"攻撃のメカニズムに合わせた、最初の公式なプライバシー境界を導出することで、臨界ギャップを埋める。
論文 参考訳（メタデータ） (2024-02-20T09:52:30Z) - Online Adversarial Attacks [57.448101834579624]
我々は、実世界のユースケースで見られる2つの重要な要素を強調し、オンライン敵攻撃問題を定式化する。
まず、オンライン脅威モデルの決定論的変種を厳格に分析する。
このアルゴリズムは、現在の最良の単一しきい値アルゴリズムよりも、$k=2$の競争率を確実に向上させる。
論文 参考訳（メタデータ） (2021-03-02T20:36:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。