論文の概要: Automated Selfish Mining Analysis for DAG-based PoW Consensus Protocols

• arxiv url: http://arxiv.org/abs/2501.10888v1
• Date: Sat, 18 Jan 2025 21:57:02 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-22 14:19:12.775075
• Title: Automated Selfish Mining Analysis for DAG-based PoW Consensus Protocols
• Title（参考訳）: DAGに基づくPoWコンセンサスプロトコルの自動自家マイニング解析
• Authors: Patrik Keller,
• Abstract要約: 利己的なマイニングは、仕事の証明プロトコルにおける報酬を最大化するための戦略的なルール破りである。 本稿では,Proof-of-Work,GhostDAG,Parallel Proof-Workなど,幅広いプロトコルをカバーする汎用攻撃モデルを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: Selfish mining is strategic rule-breaking to maximize rewards in proof-of-work protocols. Markov Decision Processes (MDPs) are the preferred tool for finding optimal strategies in Bitcoin and similar linear chain protocols. Protocols increasingly adopt DAG-based chain structures, for which MDP analysis is more involved. To date, researchers have tailored specific MDPs for each protocol. Protocol design suffers long feedback loops, as each protocol change implies manual work on the MDP. To overcome this, we propose a generic attack model that covers a wide range of protocols, including Ethereum Proof-of-Work, GhostDAG, and Parallel Proof-of-Work. Our approach is modular: we specify each protocol as a concise program, and our tooling then derives and solves the selfish mining MDP automatically.
• Abstract（参考訳）: 利己的なマイニングは、仕事の証明プロトコルにおける報酬を最大化するための戦略的なルール破りである。 Markov Decision Processs (MDP) は、Bitcoinや同様のリニアチェーンプロトコルで最適な戦略を見つけるためのツールとして好まれる。 プロトコルはますますDAGベースの連鎖構造を採用しており、MDP分析がより関与している。 これまで、研究者はプロトコルごとに特定のMDPを調整してきた。 プロトコル設計は、それぞれのプロトコルの変更がMDPのマニュアル作業を意味するため、長いフィードバックループに悩まされる。 これを解決するために,Ethereum Proof-Work,GhostDAG,Parallel Proof-Workなど,幅広いプロトコルをカバーする汎用攻撃モデルを提案する。 それぞれのプロトコルを簡潔なプログラムとして指定し、ツールが自動的に自己中心的なマイニングMDPを導出して解決する。

関連論文リスト

• Subversion Strategy Eval: Evaluating AI's stateless strategic capabilities against control protocols [53.53802315778733]
  以前の作業では、AIが人間書きの戦略に従うような、人間とAIのレッドチームでプロトコルを転向させることで、プロトコルを評価していた。 本稿では、プライベートメモリなしで動作しながら制御プロトコルを変換する戦略において、AIシステムがいかにうまく機能するかを検討する。
  論文  参考訳（メタデータ） (2024-12-17T02:33:45Z)
• Automatic State Machine Inference for Binary Protocol Reverse Engineering [20.35198277628804]
  未知プロトコルのための自動PSM推論フレームワークを提案する。 プロトコル状態とそれらの状態間の遷移条件を推論する確率的PSMアルゴリズムを改良する。 実験の結果,既存の Pre 手法と比較して,提案手法はプロトコルのより正確な分類を可能にしつつ PSM を推論できることがわかった。
  論文  参考訳（メタデータ） (2024-12-03T16:33:17Z)
• Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols [52.40622903199512]
  本稿では,多目的かつ部分的に観察可能なゲームとして,AI-Control Gamesを紹介した。 我々は、信頼できない言語モデルをプログラミングアシスタントとしてデプロイするためのプロトコルをモデル化、評価、合成するために、フォーマリズムを適用した。
  論文  参考訳（メタデータ） (2024-09-12T12:30:07Z)
• Reusable Formal Verification of DAG-based Consensus Protocols [8.277981465630377]
  DAGベースのコンセンサスプロトコルは、エネルギーフットプリントの削減とセキュリティ向上のために、ブロックチェーン企業によって採用されている。 本稿では,2つのDAGプロトコルの安全仕様について述べる。
  論文  参考訳（メタデータ） (2024-07-02T11:19:12Z)
• DT-SIM: Property-Based Testing for MPC Security [2.0308771704846245]
  プロパティベースのテストはセキュアプロトコルのセキュリティバグの検出に有効である。 セキュアマルチパーティ計算(MPC)を特に対象とする。 MPCプロトコルのビットレベル実装において,様々な欠陥を検出するテストを作成する。
  論文  参考訳（メタデータ） (2024-03-08T02:02:24Z)
• Generic Selfish Mining MDP for DAG Protocols [0.0]
  Selfish Miningは、仕事の証明プロトコルにおける報酬を最大化するための戦略的なルール破りである。 それぞれのプロトコルをひとつのプログラムとして指定し、自動的に自家製マイニングMDPを導出します。
  論文  参考訳（メタデータ） (2023-09-21T09:34:37Z)
• Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
  我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。 その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
  論文  参考訳（メタデータ） (2022-07-08T14:19:36Z)
• Data post-processing for the one-way heterodyne protocol under composable finite-size security [62.997667081978825]
  本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。 ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。 これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
  論文  参考訳（メタデータ） (2022-05-20T12:37:09Z)
• Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic [59.94347858883343]
  本稿では,マルコフ決定過程(MDP)をモデルとした自律動的システムの運動計画について検討する。 LDGBA と MDP の間に組込み製品 MDP (EP-MDP) を設計することである。 モデルフリー強化学習(RL)のためのLDGBAベースの報酬形成と割引スキームは、EP-MDP状態にのみ依存する。
  論文  参考訳（メタデータ） (2021-02-24T01:11:25Z)
• Planning in Markov Decision Processes with Gap-Dependent Sample Complexity [48.98199700043158]
  マルコフ決定過程における計画のための新しいトラジェクトリに基づくモンテカルロ木探索アルゴリズム MDP-GapE を提案する。 我々は, MDP-GapE に要求される生成モデルに対する呼び出し回数の上限を証明し, 確率の高い準最適動作を同定する。
  論文  参考訳（メタデータ） (2020-06-10T15:05:51Z)
• MAC Protocol Design Optimization Using Deep Learning [1.5469452301122173]
  本稿では,ネットワークプロトコルを体系的に設計し,評価するためのDRLベースの新しいフレームワークを提案する。 他のMLベースのメソッドは主に個々のプロトコルパラメータをチューニングすることに焦点を当てていますが、主な貢献はプロトコルをパラメトリックモジュールのセットに分離することです。 本稿では,一般的な802.11のフレーバーにまたがるブロックの集合にMACプロトコルを分離するフレームワークであるDeepMACを紹介し,評価する。
  論文  参考訳（メタデータ） (2020-02-06T02:36:52Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。